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
Type de document :
Communication dans un congrès
International Conference on Distributed Computing and Networking (ICDCN'09), Jan 2009, Hyderabad, India. 2009, 〈10.1007/978-3-540-92295-7_11〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00440361
Contributeur : François Bonnet <>
Soumis le : jeudi 10 décembre 2009 - 14:40:52
Dernière modification le : mercredi 11 avril 2018 - 01:56:45

Lien texte intégral

Identifiants

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. 2009, 〈10.1007/978-3-540-92295-7_11〉. 〈inria-00440361〉

Partager

Métriques

Consultations de la notice

313