转自：http://blog.csdn.net/iiprogram/archive/2006/04/13/662160.aspx 带详细解释的冲击波原代码-decanted from : http : / / blog.csdn.net/iiprogram/archive/2006/0 4/13/662160.aspx with a detailed explanation of the shock wave source code

进程同步临界区问题Peterson算法证明。通过模拟各种可能的操作序列来正明Peterson算法的正确性。详见：http://blog.csdn.net/zha_1525515/archive/2009/10/27/4733056.aspx-Critical zone in the process of synchronization algorithm for proof of Peterson. By simulating every possible sequence of actions