On the Semantics of Weakly Consistent Transactions

Summary

We study the semantics of weakly consistent transactions in a setting that allows concurrent transactional and non-transactional accesses to the same data, where the non-transactional accesses are not instrumented.

Papers

• Azalea Raad, Ori Lahav, and Viktor Vafeiadis.
  On parallel snapshot isolation and release/acquire consistency.
  In ESOP 2018: 27th European Symposium on Programming, 2018.
  [Technical appendix]
• Azalea Raad, Ori Lahav, and Viktor Vafeiadis.
  On the semantics of snapshot isolation.
  CoRR abs/1805.06196 (May 2018)
  [@arXiv]

People

• Azalea Raad (MPI-SWS)
• Ori Lahav (Tel Aviv University)
• Viktor Vafeiadis (MPI-SWS)