在Linux下，模拟实现四种软件互斥算法：Dekker,Peterson,Lamport,Eisen...

MikTeX是Tex/LaTex最新的实现程序，使用Anaconda将文档保存成PDF时需要安装。