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 Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

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

Dates et versions

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

Identifiants

Citer

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⟩
51 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More