Loading...
report
On the Liveness of Transactional Memory
2011
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.
Loading...
Name
tm_liveness.pdf
Access type
openaccess
Size
292.73 KB
Format
Adobe PDF
Checksum (MD5)
67ddad618202cba6f8866ed971a8cf42