Atomic Transactions
Example: online bank transaction:
withdraw(amount, account1)
deposit(amount, account2)
What if network fails before deposit?
Solution: Group operations in an atomic transaction.
Volatile storage vs. stable storage.
Primitives:
- BEGIN_TRANSACTION
- END_TRANSACTION
- ABORT_TRANSACTION
- READ
- WRITE