并发算法与理论

课程编号：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