Critical zone in the process of synchronization algorithm for proof of Peterson. By simulating every possible sequence of actions to prove the correctness of Peterson algorithm. See: http://blog.csdn.net/zha_1525515/archive/2009/10/27/4733056.aspx

Peterson算法证明\Debug\Peterson算法序列1.exe
................\.....\Peterson算法序列2.exe
................\.....\Peterson算法序列3.exe
................\.....\算法1.exe
................\.....\算法2.exe
................\.....\算法3.exe
................\Peterson算法序列1\Peterson算法序列1.cpp
................\.................\Peterson算法序列1.vcproj
................\.................\Peterson算法序列1.vcproj.Peter_ZHA-PC.Peter_ZHA.user
................\................2\Peterson算法序列2.cpp
................\.................\Peterson算法序列2.vcproj
................\.................\Peterson算法序列2.vcproj.Peter_ZHA-PC.Peter_ZHA.user
................\................3\Peterson算法序列3.cpp
................\.................\Peterson算法序列3.vcproj
................\.................\Peterson算法序列3.vcproj.Peter_ZHA-PC.Peter_ZHA.user
................\Peterson算法证明.sln
................\Peterson算法证明.suo
................\算法1\算法1.cpp
................\.....\算法1.vcproj
................\.....\算法1.vcproj.Peter_ZHA-PC.Peter_ZHA.user
................\....2\算法2.cpp
................\.....\算法2.vcproj
................\.....\算法2.vcproj.Peter_ZHA-PC.Peter_ZHA.user
................\....3\Peterson算法证明.vcproj
................\.....\Peterson算法证明.vcproj.Peter_ZHA-PC.Peter_ZHA.user
................\.....\算法3.cpp
................\Peterson算法序列1\Debug
................\................2\Debug
................\................3\Debug
................\算法1\Debug
................\....2\Debug
................\....3\Debug
................\Debug
................\Peterson算法序列1
................\Peterson算法序列2
................\Peterson算法序列3
................\算法1
................\算法2
................\算法3
Peterson算法证明

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．