Title:
Peterson_algorithm_proof
Download
Description: 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
To Search:
File list (Check if you may need any files):
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算法证明
