Concurrency: Algorithms and Theories, Fall 2022

并发算法与理论（Concurrency: Algorithms and Theories）

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

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

地点：仙II-105

在线教学：腾讯会议 452 9165 8016

QQ群：707885821

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

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

Lecture Notes

[09/06]: Overview (notes).
[09/13]: The happens-before memory model and Java memory model (notes).
[09/20]: Basic operational semantics for concurrency (notes).
[09/27]: Declarative semantics for concurrency (notes).
[10/04]: Declarative semantics for concurrency (continued).
[10/11]: The C/C++11 memory model (notes), and a promising solution to OOTA (notes). Try the online interactive tool CppMem for fun.
[10/18]: A promising solution to OOTA (continued).
[10/25]: A promising solution to OOTA (continued). Concurrent objects (notes). Also see the explanation on safety and liveness (notes).
[11/01]: Concurrent objects (continued).
[11/08]: Concurrent objects (continued). Linked lists (notes).
[11/15]: Linked lists (continued).
[11/22]: Linked lists (continued). Concurrent queues and stacks (notes).
[11/29]: Concurrent queues and stacks (continued).
[12/06]: Concurrent queues and stacks (continued).
[12/13]: Relative power of synchronization operations (notes).

Assignments

[09/13]: Assignment on the happens-before memory model. Due by 23:59pm, 09/20.
[10/04]: Assignment on the declarative semantics. Due by 23:59pm, 10/11.
[10/18]: Assignment on the promising semantics. Due by 23:59pm, 10/25.
[11/01]: Exercises 24, 27 and 32. Due by 23:59pm, 11/08.
[11/22]: Exercises 104, 109 and 112. Due by 23:59pm, 11/29.

Submission guidelines:

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

Course Report

Please read one or more papers in the reading list, and write a report about your understanding of the paper(s). Email your report to TA<yinfenglin@smail.nju.edu.cn>. Due by 23:59pm, 12/31.

References

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.
Maurice Herlihy and Nir Shavit. The Art of Multiprocessor Programming. Morgan Kaufmann. 2008/2012/2020.
（英文影印版/中文翻译版：《多处理器编程的艺术》，机械工业出版社出版）
With companion materials.

最后更新日期：2022-12-12