On the Semantics of Snapshot Isolation

Azalea Raad, Ori Lahav, Viktor Vafeiadis

Snapshot isolation (SI) is a standard transactional consistency model used in databases, distributed systems and software transactional memory (STM). Its semantics is formally defi…