On the liveness of transactional memory

Despite the large amount of work on Transactional Memory (TM), little is known about how much liveness it could provide. This paper presents the first formal treatment of the question. We prove that no TM implementation can ensure local progress, the analogous of wait-freedom in the TM context, and we highlight different ways to circumvent the impossibility.


Publié dans:
Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12, 9
Présenté à:
31st ACM Symposium on Principles of Distributed Computing, Madeira, Portugal, 16-18 07 2012
Année
2012
Publisher:
New York, New York, USA, ACM Press
Mots-clefs:
Laboratoires:




 Notice créée le 2012-07-31, modifiée le 2019-12-05

Postprint:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)