资源列表
[操作系统开发] Peterson_algorithm_proof
说明:进程同步临界区问题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 ever<hotloofah> 在 2025-04-04 上传 | 大小:73kb | 下载:0