What is a data-race and why do you want to avoid them? The meaning of “undefined behavior.” Pthread mutexes: creation, destruction, lock, and unlock operations. The semantics of mutexes. The critical section problem.
Slides: 14_threads2.pdf
Formal methods, concurrency, and verification