0. 总览

• Dekker：历史上第一个仅靠读/写实现两线程互斥；特色是“撤销意向（withdraw intent）”避免活锁。
• Peterson：对 Dekker 的精炼版；仍是两线程，结构更简，证明更清晰。
• Lamport Bakery：面向 N 线程 的“取号排队”算法，提供 FCFS（先来先服务） 公平性。