经典互斥算法解析

本文用较为轻松的方式介绍了几个经典的互斥算法： Dekker 算法、Dijkstra 提出的算法、Peterson 算法和面包店算法，并简单地给出了每一个算法的正确性证明和相关的讨论。本文探寻分布式计 ...