基于Petri网结构的多处理机实时操作系统

• 作者: 任爱华 杜悦冬
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 多处理机操作系统 Petri网 面向对象技术 并发系统建模
• 年，卷（期）: 2001,（7）
• 页码范围: 1064-1073
• 页数: 10页
• 分类号: TP316
• 字数: 6474字
• 语种: 中文

摘要

多处理机环境下的实时系统具有并发事件驱动性质,其软件结构展现了多重同步点以及生产者与消费者之间的关系,这导致了复杂的控制结构.对于此类系统软件的开发缺少标准的方法和工具,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现.根据Petri网易于描述并行/并发现象的特点,采用它来解决多处理机软件的描述问题,介绍了一种以Petri网图形方式在多处理机系统环境下进行程序设计的方法.该方法基于两种程序设计级别:任务级和作业级.前者负责描述基本操作,由单一控制线程完成;后者用于并行/并发程序建模,由整个多处理机系统来执行.在作业级程序设计中,用户采用面向对象Petri网来描述并行程序结构,以建立系统模型.该方法以一种接近于程序员的思维方式去设计并发软件,提供了一种可靠的并行结构的程序.阐述了支持此种程序设计方法的操作系统结构及其实现原理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	任爱华	北京航空航天大学计算机科学与工程系	22	136	7.0	11.0
2	杜悦冬	北京航空航天大学计算机科学与工程系	4	15	2.0	3.0