15-213 Introduction to Computer Systems
Lecture 26: Synchronization