conference paper
On the liveness of transactional memory
2012
Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12
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.
Type
conference paper
Author(s)
Date Issued
2012
Publisher
Publisher place
New York, New York, USA
Published in
Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12
Start page
9
Editorial or Peer reviewed
NON-REVIEWED
Written at
EPFL
EPFL units
| Event name | Event place | Event date |
Madeira, Portugal | 16-18 07 2012 | |
Available on Infoscience
July 31, 2012
Use this identifier to reference this record