文件名称:Peterson_algorithm_proof
- 所属分类：
- 操作系统开发
- 资源属性：
- [Windows] [Visual.Net] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 73kb
- 下载次数：
- 0次
- 提 供 者：
- hotl*****
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
进程同步临界区问题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 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算法证明
................\.....\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算法证明