助教：林吟风，计算机系楼409室

期末考试时间：2021年12月22日周三1-2节，8:00am - 9:50am，地点：仙II-306，闭卷

Lecture Notes

• [09/01]: Overview (notes).
• [09/08]: Memory models (notes).
• [09/15]: The C/C++11 memory model (Mark Batty's notes). Try the online interactive tool CppMem for fun.
• [09/22]: Advanced topic: a promising solution to OOTA (Viktor Vafeiadis' notes, with slight modifications).
• [09/26]: Mutual exclusion (notes).
• [09/29]: Mutual exclusion (continued).
• [10/13]: Mutual exclusion (continued). Concurrent objects (notes). Also see the explanation on safety and liveness (notes).
• [10/20]: Concurrent objects (continued).
• [10/27]: Concurrent objects (continued). Relative power of synchronization operations (notes).
• [11/03]: Relative power of synchronization operations (continued).
• [11/10]: Spin locks and contention (notes).
• [11/17]: Spin locks and contention (continued).
• [11/24]: Linked lists (notes).
• [12/01]: Linked lists (continued).
• [12/08]: Concurrent queues and stacks (notes).
• [12/15]: Concurrent queues and stacks (continued). Review (notes).

Assignments

• [09/15]: Assignment on memory models. Due by 23:59pm, 09/26.
• [10/13]: Exercises 9, 11 and 14. Due by 23:59pm, 10/20.
• [10/27]: Exercises 24, 27 and 32. Due by 23:59pm, 11/03.
• [11/17]: Exercises 54, 69 and 85. Due by 23:59pm, 11/24.