Advanced Topics in Computer Systems
Joe Hellerstein & Timothy Roscoe

Introduction to Transactions

Quick History


Kinds of Actions


A transaction should enjoy the following guarantees: Roughly speaking:
A and D are guaranteed by recovery (usually implemented via logging).
C and I are guaranteed by concurrency control (usually implemented via locking).

It's worth noting that this is not a theoretical formalism, just a mnemonic.  Don't expect it to be a perfect factoring of the issues -- there is overlap of concerns among the four.

Concurrency Control & Serializability

CS186 material you might not know.


Just you wait!  We will dig (deep) into this subject in subsequent reading on ARIES.