Brain Transport (cont’d)
For practical purposes, if user waits for T1 to commit before starting T2, then the data manager can ignore brain transport.
This is called a transaction handshake (T1 commits before T2 starts)
Reason - Locking preserves the order imposed by transaction handshakes
- e.g., it serializes T1 before T2.
Stating this precisely and proving it is non-trivial.