000170486 001__ 170486
000170486 005__ 20190316235233.0
000170486 037__ $$aREP_WORK
000170486 245__ $$aOn the Liveness of Transactional Memory
000170486 269__ $$a2011
000170486 260__ $$c2011
000170486 300__ $$a10
000170486 336__ $$aReports
000170486 520__ $$aDespite 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.
000170486 6531_ $$atransactional memory
000170486 6531_ $$aliveness
000170486 6531_ $$aformal methods
000170486 700__ $$0245645$$g200037$$aBushkov, Victor
000170486 700__ $$g105326$$aGuerraoui, Rachid$$0240335
000170486 700__ $$aKapalka, Michal
000170486 8564_ $$uhttps://infoscience.epfl.ch/record/170486/files/tm_liveness.pdf$$zn/a$$s299756$$yn/a
000170486 909C0 $$xU10407$$0252114$$pDCL
000170486 909CO $$ooai:infoscience.tind.io:170486$$qGLOBAL_SET$$pIC$$preport
000170486 917Z8 $$x200037
000170486 937__ $$aEPFL-REPORT-170486
000170486 973__ $$sPUBLISHED$$aEPFL
000170486 980__ $$aREPORT