Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reconfigurable Atomic Transaction Commit (Extended Version)   Modern data stores achieve scalability by partitioning data into shards and
fault-tolerance by replicating each shard across several servers. A key
component of such systems is a Transaction Certification Service (TCS), which
atomically commits a transaction spanning multiple shards. Existing TCS
protocols require 2f+1 crash-stop replicas per shard to tolerate f failures. In
this paper we present atomic commit protocols that require only f+1 replicas
and reconfigure the system upon failures using an external reconfiguration
service. We furthermore rigorously prove that these protocols correctly
implement a recently proposed TCS specification. We present protocols in two
different models--the standard asynchronous message-passing model and a model
with Remote Direct Memory Access (RDMA), which allows a machine to access the
memory of another machine over the network without involving the latter's CPU.
Our protocols are inspired by a recent FARM system for RDMA-based transaction
processing. Our work codifies the core ideas of FARM as distributed TCS
protocols, rigorously proves them correct and highlights the trade-offs
required by the use of RDMA.

14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
26
The categories of this paper are: bayes-an