操作系统--进程互斥的软件实现方法

单标志法

并发运行的问题：单标志法违反了空闲让进的原则

双标志先检查法

并发运行的问题：双标志先检查法违反了忙则等待的原则

双标志后检查法

并发运行的问题：违背了空闲让进和有限等待的原则

Peterson算法

手动推导：
一：1，2，3，6，7，8
二：1，6，2，3
三：1，3，6，7，8
四：1，6，2，7，8

Peterson算法用软件方法解决了进程互斥问题，遵循了空闲让进、忙则等待、有限等待三个原则，
但是依然未遵循让权等待的原则（没有放弃处理机）。