Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reliable State Machines: A Framework for Programming Reliable Cloud
  Services   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. Using our framework, a programmer can build an
application as several (possibly distributed) RSMs that communicate with each
other via messages, much in the style of actor-based programming. Each RSM is
additionally fault-tolerant by design and offers 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 an implementation of the RSM framework and
runtime on the .NET platform for deploying services to Microsoft Azure. We
carried 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 rewrote a significant part of a production cloud service
using RSMs. The resulting service has simpler code and exhibits
production-grade performance.

16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
9
The categories of this paper are: nlin