Transaction Processing (cont)
Atomicity is handled by the commit and abort mechanisms
- commit ends tx and ensures all changes are saved
- abort ends tx and undoes changes "already made"
Durability is handled by implementing stable storage, via
- redundancy, to deal with hardware failures
- logging/checkpoint mechanisms, to recover state
Isolation is handled by concurrency control mechanisms
- possibilities: lock-based, timestamp-based, check-based
- various levels of isolation are possible (e.g. serializable)
|