Opacity proof for CaPR+ algorithm-Reference-Cited by-同舟云学术

Opacity proof for CaPR+ algorithm

Published:2016-01-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th International Conference on Distributed Computing and Networking
language:
Short-container-title:

Author:

Anand Anshu S.¹,Shyamasundar R. K.²,Peri Sathya³

Affiliation:

1. Homi Bhabha National Institute, Mumbai

2. Indian Institute of Technology, Mumbai

3. Indian Institute of Technology, Hyderabad

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2833312.2833445

Reference12 articles.

1. Software transactional memory;Shavit N.;Distributed Computing, Special Issue (10),1997

2. Checkpoints and continuations instead of nested transactions

3. Lupei D.: "A study of conflict detection in software transactional memory". Masters thesis University of Toronto the Netherlands (2009) Lupei D.: "A study of conflict detection in software transactional memory". Masters thesis University of Toronto the Netherlands (2009)

4. Clustered checkpointing and partial rollbacks for reducing conflict costs in stms;Agarwal R. K.;IBM IRL Report, also in International Journal of Computer Applications,2010

5. Gupta M. Shyamasundar R. K. Agarwal S. "Automatic checkpointing and partial rollback in software transaction memory" (January 2012) IBM patent Publication 20110029490. Gupta M. Shyamasundar R. K. Agarwal S. "Automatic checkpointing and partial rollback in software transaction memory" (January 2012) IBM patent Publication 20110029490.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation;XXVI Brazilian Symposium on Programming Languages;2022-10-06

2. A Graph Transformation System formalism for correctness of Transactional Memory algorithms;25th Brazilian Symposium on Programming Languages;2021-09-27

3. Mechanized proofs of opacity: a comparison of two techniques;Formal Aspects of Computing;2018-09

4. STMs in practice: Partial rollback vs pure abort mechanisms;Concurrency and Computation: Practice and Experience;2018-03-12