并发算法与理论

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