Operating Systems: Three Easy Pieces - Locks