Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The read/write protocol complex is collapsible   The celebrated \emph{asynchronous computability theorem} provides a
characterization of the class of decision tasks that can be solved in a
wait-free manner by asynchronous processes that communicate by writing and
taking atomic snapshots of a shared memory. Several variations of the model
have been proposed (immediate snapshots and iterated immediate snapshots), all
equivalent for wait-free solution of decision tasks, in spite of the fact that
the protocol complexes that arise from the different models are structurally
distinct. The topological and combinatorial properties of these snapshot
protocol complexes have been studied in detail, providing explanations for why
the asynchronous computability theorem holds in all the models.
  In reality concurrent systems do not provide processes with snapshot
operations. Instead, snapshots are implemented (by a wait-free protocol) using
operations that write and read individual shared memory locations. Thus,
read/write protocols are also computationally equivalent to snapshot protocols.
However, the structure of the read/write protocol complex has not been studied.
In this paper we show that the read/write iterated protocol complex is
collapsible (and hence contractible). Furthermore, we show that a distributed
protocol that wait-free implements atomic snapshots in effect is performing the
collapses.

26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
16
The categories of this paper are: stat