peterson算法三进程互斥