Concurrency: Algorithms and Theories, Fall 2023

学期：2023-2024学年第一学期

时间：周二1-2节，8:00am - 9:50am

地点：逸B-105

QQ群：915483415

授课老师：梁红瑾，计算机系楼404室

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

[09/05]: Introduction (notes). Also see the explanation on safety and liveness (notes).
[09/12]: Mutual exclusion (notes).
[09/19]: Mutual exclusion (continued). Concurrent objects (notes).
[09/26]: Concurrent objects (continued).
[10/10]: Concurrent objects (continued). Relative power of synchronization operations (notes).
[10/17]: Relative power of synchronization operations (continued). Spin locks and contention (notes).
[10/24]: Spin locks and contention (continued).
[10/31]: Linked lists (notes).
[11/07]: Linked lists (continued).
[11/14]: Linked lists (continued). Concurrent queues and stacks (notes).
[11/21]: Concurrent queues and stacks (continued).
[11/28]: Concurrent queues and stacks (continued). Review of concurrent algorithms (notes). The happens-before memory model and Java memory model (notes).
[12/05]: The happens-before memory model and Java memory model (continued).
[12/12]: Basic operational semantics for concurrency (notes).
[12/19]: Declarative semantics for concurrency (notes).
[12/26]: Declarative semantics for concurrency (continued). The C/C++11 memory model (notes). Try the online interactive tool CppMem for fun.

Submission guidelines:

Please email to TA<yinfenglin@smail.nju.edu.cn>.
Your answers can be in either Chinese or English. They should be submitted in pdf.
Late submissions are not accepted (unless special reasons provided).

Please read one or more papers in the reading list, and write a report about your understanding of the paper(s).
Your report should be in Chinese, and submitted in pdf. There is no restriction on the number of words. Please indicate your name and student ID on the first page of your report.
Email your report to TA<yinfenglin@smail.nju.edu.cn>.
Due by 23:59pm, 12/31. Late submissions are not accepted.

Maurice Herlihy and Nir Shavit. The Art of Multiprocessor Programming. Morgan Kaufmann. 2008/2012/2020.
（英文影印版/中文翻译版：《多处理器编程的艺术》，机械工业出版社出版）
With companion materials.
Ori Lahav and Viktor Vafeiadis. Lecture notes for the course Weak Memory Consistency.
Mark Batty, Alastair Donaldson, Martin Vechev, and Francesco Zappa Nardelli. Lecture notes for the course Semantics and Tools for Low-Level Concurrent Programming.

最后更新日期：2023-12-25