OS-SP08: Lecture 12: Atomic transaction (Chapter 6.9)