Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Opacity Proof for CaPR+ Algorithm   In this paper, we describe an enhanced Automatic Check- pointing and Partial
Rollback algorithm(CaP R + ) to realize Software Transactional Memory(STM) that
is based on con- tinuous conflict detection, lazy versioning with automatic
checkpointing, and partial rollback. Further, we provide a proof of correctness
of CaP R+ algorithm, in particular, Opacity, a STM correctness criterion, that
precisely captures the intuitive correctness guarantees required of
transactional memories. The algorithm provides a natural way to realize a
hybrid system of pure aborts and partial rollbacks. We have also implemented
the algorithm, and shown its effectiveness with reference to the Red-black tree
micro-benchmark and STAMP benchmarks. The results obtained demonstrate the
effectiveness of the Partial Rollback mechanism over pure abort mechanisms,
particularly in applications consisting of large transaction lengths.

4
The categories of this paper are: cond-mat
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph