408 操作系统 皮特森算法

皮特森算法，这个按1 2 6 3 7 8顺序执行，p0 p1岂不是都堵在while循环那了吗?可皮特森算法不会产生堵塞啊，那些错了?

1 2 6 3 7 8 ,再+3不就解开了吗