基于OOPN的多处理机操作系统设计与实现

The Design and Implementation of OOPN－based Multiprocessor Real－time Operating System

大多数实时系统具有事件驱动的并发特性，同时多处理机系统在实时领域得到了广泛的应用。实时系统内在的并发性以及与环境的交互性导致了实时软件复杂的控制结构，使得开发实时软件十分困难。由于PETRI网是一种适合于描述并发的可视化建模语言，有形式化描述。所以，作者采用PETRI网来表示一个实时软件中的并发部分，用普通编程语言实现剩下的顺序程序部分。两级程序设计方法可以更加有效、可靠地开发实时软件。文章涉及的实时操作系统是以RTLinux为基础，对其内核进行扩展，使之支持OOPN1形式的作业描述，并具有实时多处理机调度功能。

： Multiprocessor systems have been widely used in real－time domain．Most real－time systems have a concurrent event－driven nature．The real－time software is inherently parallel and intensively interacts with the real world．These properties give rise to a very complex control structure，therefore，make it difficult to develop such software．Petri Net is a kind of visual modeling language suitable for concurrency descriptions with formalized descriptions．So the Petri Net is adopted to represent concurrent parts of the real－time software．Sequential parts for the rest are programmed by using normal program languages and embed into the transition of Petri nets．The two level programming method can make the system software with high reliability and efficiency．Objected－Oriented Petri Nets are used to describe the real－time jobs．The real－time operating system mentioned in the paper is based on RTLinux．The kernel of RTLinux is modified to support the job described by OOPN with multi－processor real－time scheduling．