Lecture 15: synchronization design for concurrent data structures October 23, 2018 Discussion of lock types and synchronization design.