經典互斥算法解析

本文用較為輕松的方式介紹了幾個經典的互斥算法： Dekker 算法、Dijkstra 提出的算法、Peterson 算法和面包店算法，並簡單地給出了每一個算法的正確性證明和相關的討論。本文探尋分布式計 ...