Skip to Main content Skip to Navigation
Conference papers

Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort

Damien Imbs 1 Michel Raynal 1
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
IRISA-D1 - SYSTÈMES LARGE ÉCHELLE, Inria Rennes – Bretagne Atlantique
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00440361
Contributor : François Bonnet <>
Submitted on : Thursday, December 10, 2009 - 2:40:52 PM
Last modification on : Tuesday, June 15, 2021 - 4:14:59 PM

Links full text

Identifiers

Citation

Damien Imbs, Michel Raynal. Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. International Conference on Distributed Computing and Networking (ICDCN'09), Jan 2009, Hyderabad, India. ⟨10.1007/978-3-540-92295-7_11⟩. ⟨inria-00440361⟩

Share

Metrics

Record views

371