Execution of Transactions (cont)
Example of transaction execution:
BEGIN
READ(A,v); v = v*2; WRITE(A,v);
READ(B,v); v = v+1; WRITE(B,v);
COMMIT
|
READ accesses the buffer manager and may cause INPUT .
COMMIT needs to ensure that buffer contents go to disk.
|