5.1 共享内存式同步模式

基本概念

事件、事件序、先于、并发、

临界区

过滤锁

锁的公平性

Bakery 算法

共享单元数量的下界

并发对象的正确性

静态一致性

顺序一致性

并发对象的前进保障