2 Description of the work carried out during the STSM 2 2.1 Defining model of a TM with irrevocable operations . . . . . . . . . . . . . . . . 2 2.2 Reasoning about the correctness of a TM with irrevocable support . . . . . . . . 3 2.3 Impact of side-effects on correctness . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.4 The number of irrevocable transactions at a time . . . . . . . . . . . . . . . . . . 4 2.5 Liveness of a TM with irrevocable support . . . . . . . . . . . . . . . . . . . . . . 5 2.5.1 Transiting to the irrevocable state . . . . . . . . . . . . . . . . . . . . . . 6 2.5.2 Liveness of revocable transactions while an irrevocable is live . . . . . . . 6 2.6 Re-using existing properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.7 Cost of adding irrevocability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.8 Obstruction-freedom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.9 Failures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

https://gsd.inesc-id.pt/~mcouceiro/eurotm/stsm/konczak.pdf

Host Rachid Guerraoui

Papers

STSM Scientific Report Towards a model of Transactional Memory with Irrevocable Operations