进程同步临界区问题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

BlogEngine.NET（博易） 是一款免费、开源的博客系统，BlogEngine.NET（博易）完全遵循 W3C 标准，具有极强的可扩展性、高性能、良好的 SEO 性能和非凡的用户体验。 不仅如此，博易还拥有一批高质量的用户群，他们的支持使博易得以不断地发展。-BlogEngine.NET (AnyP) is a free, open source blog system BlogEngine.NET (AnyP) full compliance with W3C standards, h