Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Impossibility Result on Strong Linearizability in Message-Passing
  Systems   We prove that in asynchronous message-passing systems where at most one
process may crash, there is no lock-free strongly linearizable implementation
of a weak object that we call Test-or-Set (ToS). This object allows a single
distinguished process to apply the set operation once, and a different
distinguished process to apply the test operation also once. Since this weak
object can be directly implemented by a single-writer single-reader (SWSR)
register (and other common objects such as max-register, snapshot and counter),
this result implies that there is no $1$-resilient lock-free strongly
linearizable implementation of a SWSR register (and of these other objects) in
message-passing systems.
  We also prove that there is no $1$-resilient lock-free \emph{write}
strongly-linearizable implementation of a 2-writer 1-reader (2W1R) register in
asynchronous message-passing systems.

0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
9
The categories of this paper are: nlin