Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Separation and Equivalence results for the Crash-stop and Crash-recovery
  Shared Memory Models   Linearizability, the traditional correctness condition for concurrent data
structures is considered insufficient for the non-volatile shared memory model
where processes recover following a crash. For this crash-recovery shared
memory model, strict-linearizability is considered appropriate since, unlike
linearizability, it ensures operations that crash take effect prior to the
crash or not at all.
  This work formalizes and answers the question of whether an implementation of
a data type derived for the crash-stop shared memory model is also
strict-linearizable in the crash-recovery model. This work presents a rigorous
study to prove how helping mechanisms, typically employed by non-blocking
implementations, is the algorithmic abstraction that delineates linearizability
from strict-linearizability. Our first contribution formalizes the
crash-recovery model and how explicit process crashes and recovery introduces
further dimensionalities over the standard crash-stop shared memory model. We
make the following technical contributions: (i) we prove that
strict-linearizability is independent of any known help definition; (ii) we
then present a natural definition of help-freedom to prove that any
obstruction-free, linearizable and help-free implementation of a total object
type is also strict-linearizable; (iii) finally, we prove that for a large
class of object types, a non-blocking strict-linearizable implementation cannot
have helping. Viewed holistically, this work provides the first precise
characterization of the intricacies in applying a concurrent implementation
designed for the crash-stop model to the crash-recovery model, and vice-versa.

19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
25
The categories of this paper are: patt-sol
36
The categories of this paper are: cmp-lg