Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

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

Dates and versions

inria-00440361 , version 1 (10-12-2009)

Identifiers

Cite

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⟩
56 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More