2026-07-23T12:33:22Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10810 2024-03-06T10:46:42Z ddc:004 open_access

Reliable State Machines: A Framework for Programming Reliable Cloud Services Mukherjee, Suvam Raj, Nitin John Govindraj, Krishnan Deligiannis, Pantazis Ravichandran, Chandramouleswaran Lal, Akash Rastogi, Aseem Krishnaswamy, Raja Fault tolerance Cloud computing Actor framework Building reliable applications for the cloud is challenging because of unpredictable failures during a program’s execution. This paper presents a programming framework, called Reliable State Machines (RSMs), that offers fault-tolerance by construction. In our framework, an application comprises several (possibly distributed) RSMs that communicate with each other via messages, much in the style of actor-based programming. Each RSM is fault-tolerant by design, thereby offering the illusion of being "always-alive". An RSM is guaranteed to process each input request exactly once, as one would expect in a failure-free environment. The RSM runtime automatically takes care of persisting state and rehydrating it on a failover. We present the core syntax and semantics of RSMs, along with a formal proof of failure-transparency. We provide a .NET implementation of the RSM framework for deploying services to Microsoft Azure. We carry out an extensive performance evaluation on micro-benchmarks to show that one can build high-throughput applications with RSMs. We also present a case study where we rewrite a significant part of a production cloud service using RSMs. The resulting service has simpler code and exhibits production-grade performance. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Suvam Mukherjee and Nitin John Raj and Krishnan Govindraj and Pantazis Deligiannis and Chandramouleswaran Ravichandran and Akash Lal and Aseem Rastogi and Raja Krishnaswamy 2019 Is Part Of LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2019.18 urn:nbn:de:0030-drops-108101 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.18 eng https://creativecommons.org/licenses/by/3.0/legalcode