并发算法与理论

课程编号：081200D19

课程教师：梁红瑾

课程主页：https://cs.nju.edu.cn/hongjin/teaching/concurrency/

Syllabus

Weak Memory Models
Locks Implemented by Read/Write
Linearizability
Synchronization Operations
Pratical Locks
List-Based Sets
Concurrent Queues and Stacks
Snapshot