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

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