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
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00440361
Contributor : François Bonnet Connect in order to contact the contributor
Submitted on : Thursday, December 10, 2009 - 2:40:52 PM
Last modification on : Thursday, January 20, 2022 - 4:20:32 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

44