Serializable Snapshot Isolation in PostgreSQL

@article{Ports2012SerializableSI,
  title={Serializable Snapshot Isolation in PostgreSQL},
  author={Dan R. K. Ports and Kevin Grittner},
  journal={Proc. VLDB Endow.},
  year={2012},
  volume={5},
  pages={1850-1861}
}
This paper describes our experience implementing PostgreSQL's new serializable isolation level. It is based on the recently-developed Serializable Snapshot Isolation (SSI) technique. This is the first implementation of SSI in a production database release as well as the first in a database that did not previously have a lock-based serializable isolation level. We reflect on our experience and describe how we overcame some of the resulting challenges, including the implementation of a new lock… 

Figures from this paper

Performance evaluation of serializable snapshot isolation in PostgreSQL
TLDR
This work explores the impact of the approach based on changing the SI concurrency control mechanism to ensure serializability of executions on performance, and conducts an experimental study to examine the only serializable variant of SI that is actually in use.
Performance of Serializable Snapshot Isolation on Multicore Servers
TLDR
This work uses three implementations of two different algorithms of this type, all based on the InnoDB open source infrastructure, and explores the impact of the differences in algorithm, and also of the low-level implementation decisions.
On Reading Fresher Snapshots in Parallel Snapshot Isolation
TLDR
FPSI is a distributed transactional in-memory key-value store whose primary goal is to enable transactions to read more up-to-date versions of shared objects than existing implementations of the well-known Parallel Snapshot Isolation correctness level, in the absence of a synchronized clock service among nodes.
Serializable executions with Snapshot Isolation and two-phase locking: Revisited
  • M. Alomari
  • Computer Science
    2013 ACS International Conference on Computer Systems and Applications (AICCSA)
  • 2013
TLDR
The causes that harm performance of Pivot 2PL are identified, and an improved approach is proposed, called Pivot Ordered2PL, in which a few transactions are rewritten (without changing their functionality), and it is found it ensures serializable execution with performance close to that of SI.
Pisces: A Scalable and Efficient Persistent Transactional Memory
TLDR
Pisces is presented, a read-friendly PTM that exploits snapshot isolation (SI) on NVM and proposes a dual-version concurrency control (DVCC) protocol that maintains up to two versions in NVMbacked storage hierarchy.
Timestamp reassignment: taming transaction abort for serializable snapshot isolation
TLDR
This paper proposes to suppress transaction aborts by reassigning timestamps, and combines static analysis with augmented query plan, to save both aborts caused by read-write and write-write conflicts, without tracking transitive dependency and annotating transaction programs.
Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems
TLDR
This work presents a novel MVCC implementation for main-memory database systems that has very little overhead compared to serial execution with single-version concurrency control and verifies that the (extensional) writes of recently committed transactions do not intersect with the (intensional) read predicate space of a committing transaction.
EXCITE-VM: Extending the virtual memory system to support snapshot isolation transactions
TLDR
This paper describes how EXCITE-VM implements snapshot isolation transactions efficiently by manipulating virtual memory mappings and using a novel copy-on-read mechanism with a customized page cache.
...
...

References

SHOWING 1-10 OF 22 REFERENCES
Serializable isolation for snapshot databases
TLDR
A modification to the concurrency control algorithm of a database management system that automatically detects and prevents snapshot isolation anomalies at runtime for arbitrary applications, thus providing serializable isolation.
The Design of the POSTGRES Storage System
TLDR
The design of the storage system for the POSTGRES data base system under construction at Berkeley is novel in several ways and suggests that it is performance competitive with WAL systems in many situations.
A read-only transaction anomaly under snapshot isolation
TLDR
It is possible for an SI history to be non-serializable while the sub-history containing all update transactions is serializable, contradicting assumptions under which read-only transactions always execute serializably.
Automating the Detection of Snapshot Isolation Anomalies
TLDR
This paper first shows how to mechanically find a set of programs which are large enough so that all executions will be free of SI anomalies, by modifying these programs appropriately, and addresses the problem of false positives.
Precisely Serializable Snapshot Isolation (PSSI)
TLDR
The PSSI algorithm is demonstrated to detect cycles in a snapshot isolation dependency graph and abort transactions to break the cycle, which provides a much more precise criterion to perform aborts.
Making snapshot isolation serializable
TLDR
A theory is developed that characterizes when nonserializable executions of applications can occur under Snapshot Isolation, and it is applied to demonstrate that the TPC-C benchmark application has no serialization anomalies under SI, and how this demonstration can be generalized to other applications.
ARIES/KVL: A Key-Value Locking Method for Concurrency Control of Multiaction Transactions Operating on B-Tree Indexes
TLDR
ARIESIKVL, by also using for key value locking the IX and SIX lock modes that were intended originally for table level locking, is able to better exploit the semantics of the operations to improve concurrency, compared to the System R index protocols.
The design of POSTGRES
TLDR
The main design goals of the new system are toprovide better support for complex objects, provide user extendibility for data types, operators and access methods, provide facilities for active databases and inferencing including forward- and backward-chaining.
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
TLDR
This thesis presents the first implementation-independent specifications of existing ANSI isolation levels and a number of levels that are widely used in commercial systems, e.g., Cursor Stability, Snapshot Isolation, and specifies a variety of guarantees for predicate-based operations in an implementation- independent manner.
Transactional Consistency and Automatic Management in an Application Data Cache
TLDR
Adding TxCache to an application increased the throughput of a web application by up to 5.2×, only slightly less than a non-transactional cache, showing that consistency does not have to come at the price of performance.
...
...