The Serial Safety Net: Efficient Concurrency Control on Modern Hardware
The serializability of concurrent database updates