Opacity Proof for CaPR+ Algorithm

Anshu S Anand, R K Shyamasundar, Sathya Peri

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- tinuou…