15-213 Introduction to Computer Systems
Lecture 25: Basic Synchronization