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