Lamport面包店算法 Lamport面包店算法是解决多个线程并发访问一个共享的单用户资源的互斥问题的算法 由莱斯利兰波特发明