论文部分内容阅读
针对两个进程互斥进入临界区算法的不足,利用Petri Net中库所和变迁的元素来逐一进行图形化的描述。为得到遵守同步机制四准则的解决方案,采用逐步演进的方法。此算法可以有效的利用资源,且能保证同步机制中＂忙则等待＂,又实现了＂空闲让进＂的原则,使得算法满足实现进程互斥的三原则,避免了错误的发生。