 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| 任爱华,杜悦冬.基于Petri网结构的多处理机实时操作系统.软件学报,2001,12(7):1064-1073 |
| 基于Petri网结构的多处理机实时操作系统 |
| The Multi-Processor Real-Time Operating System Based on Petri Net Model |
| 投稿时间：2000-01-07 修订日期：2000-03-23 |
| DOI： |
| 中文关键词: 多处理机操作系统 Petri网 面向对象技术 并发系统建模 |
| 英文关键词:multiprocessor operating system Petri net object oriented technique concurrent system modeling |
| 基金项目:国家自然科学基金资助项目(69883002) |
|
| 摘要点击次数: 3029 |
| 全文下载次数: 2991 |
| 中文摘要: |
| 多处理机环境下的实时系统具有并发事件驱动性质,其软件结构展现了多重同步点以及生产者与消费者之间的关系,这导致了复杂的控制结构.对于此类系统软件的开发缺少标准的方法和工具,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现.根据Petri网易于描述并行/并发现象的特点,采用它来解决多处理机软件的描述问题,介绍了一种以Petri网图形方式在多处理机系统环境下进行程序设计的方法.该方法基于两种程序设计级别:任务级和作业级.前者负责描述基本操作,由单一控制线程完成;后者用于并行/并发程序建模,由整个多处理机系统来执行.在作业级程序设计中,用户采用面向对象Petri网来描述并行程序结构,以建立系统模型.该方法以一种接近于程序员的思维方式去设计并发软件,提供了一种可靠的并行结构的程序.阐述了支持此种程序设计方法的操作系统结构及其实现原理. |
| 英文摘要: |
| In the multi-processor environment, real-time systems have a concurrent event-driven nature. The software structure presents multiple synchronization points and producer-consumer interrelations, which give rise to a very complex control structure. The lack of standard methods and tools for software development in these systems results in poorly specified software with an unclear structure that is very difficult and expensive to maintain. In order to develop this kind of software with high efficiency and maintainability, the Petri net is adopted to represent multi-processor system software since the Petri net is a very powerful description tool for the parallel and concurrent program. In this paper, a methodology for programming multiprocessor real-time systems is discussed. This methodology is based on two programming levels: the task level, which involves programming the basic actions that may be executed in the system as units with a single control thread, and the job level, on which parallel programs to be executed by the complete multiprocessor system are developed. The model that has been chosen for the representation of the system software is based on an objected oriented oriented Petri net, which facilitates job-level Programming. In this research, in order to support a reliable program structure, a natural, simple, and flexible procedure has been sought to describe the concurrence, synchronization, and communication phenomena inherent in this kind of software in a way that is very close to how the human programmer conceives of them. The structure and implementation of an operating system for the proposed methodology are described in this paper. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
