Tracing Snapshot Isolation in Transactions (Extended Abstract)


Effect traces provide a simple methodology of reasoning about program semantics while abstracting away from low-level details. They describe the semantics of a transaction in terms of reads and writes to locations in shared memory. In this work, we propose a definition for traces of transactions under snapshot isolation. Snapshot traces simplify the… (More)


Cite this paper

@inproceedings{Bieniusa2012TracingSI, title={Tracing Snapshot Isolation in Transactions (Extended Abstract)}, author={Annette Bieniusa and Peter Thiemann}, year={2012} }