基于Petri网结构的多处理机实时操作系统
| 外文标题 | The Multi-Processor Real-Time Operating System Based on Petri Net Model |
| 文献类型 | 期刊 |
| 作者 | 任爱华[1];杜悦冬[2] |
| 机构 | [1]北京航空航天大学计算机科学与工程系!北京100083,北京航空航天大学计算机科学与工程系!北京100083 [2]北京航空航天大学计算机科学与工程系!北京100083,北京航空航天大学计算机科学与工程系!北京100083 ↓ |
| 来源信息 | 年:2001卷:12期:7页码范围:1064-1073 |
| 期刊信息 | 软件学报ISSN:1000-9825 |
| 关键词 | 多处理机操作系统;Petri网;面向对象技术;并发系统建模 |
| 摘要 | 多处理机环境下的实时系统具有并发事件驱动性质,其软件结构展现了多重同步点以及生产者与消费者之间的关系,这导致了复杂的控制结构.对于此类系统软件的开发缺少标准的方法和工具,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现.根据Petri网易于描述并行/并发现象的特点,采用它来解决多处理机软件的描述问题,介绍了一种以Petri网图形方式在多处理机系统环境下进行程序设计的方法.该方法基于两种程序设计级别:任务级和作业级.前者负责描述基本操作,由单一控制线程完成;后者用于并行/并发程序建模,由整个多处理机系统来执行.在作业级程序设计中,用户采用面向对象Petri网来描述并行程序结构,以建立系统模型.该方法以一种接近于程序员的思维方式去设计并发软件,提供了一种可靠的并行结构的程序.阐述了支持此种程序设计方法的操作系统结构及其实现原理. |
| 收录情况 | PKU |
| 所属部门 | 计算机学院 |
| 链接地址 | http://d.g.wanfangdata.com.cn/Periodical_rjxb200107014.aspx |
| 人气指数 | 3 |
| 浏览次数 | 3 |
| 基金 | 国家自然科学基金 |
全文
影响因子：
软件工程研究所
dc:title:基于Petri网结构的多处理机实时操作系统
dc:creator:任爱华;杜悦冬
dc:date: publishDate:2001-07-23
dc:type:期刊
dc:format: Media：软件学报
dc:identifier: LnterrelatedLiterature：软件学报.2001,12(7),1064-1073.
dc:identifier:DOI：
dc: identifier:ISBN:1000-9825
