进程互斥算法的Petri Net实现

• 作者: 罗冬梅
• 来源期刊: 青岛大学学报（自然科学版）
• 学科: 工学
• 关键词: 互斥 Petri Net 库所 变迁 临界区
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 信息工程
• 页码范围: 77-79,110
• 页数: 4页
• 分类号: TP316
• 字数: 3100字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-1037.2015.11.16

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗冬梅	集美大学计算机工程学院	8	3	1.0	1.0