%0 Journal Article
%T The Multi-Processor Real-Time Operating System Based on Petri Net Model<br>基于Petri网结构的多处理机实时操作系统
%A REN Ai hua
%A DU Yue dong
%A <br>任爱华
%A 杜悦冬
%J 软件学报
%D 2001
%I 
%X 多处理机环境下的实时系统具有并发事件驱动性质,其软件结构展现了多重同步点以及生产者与消费者之间的关系,这导致了复杂的控制结构.对于此类系统软件的开发缺少标准的方法和工具,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现.根据Petri网易于描述并行/并发现象的特点,采用它来解决多处理机软件的描述问题,介绍了一种以Petri网图形方式在多处理机系统环境下进行程序设计的方法.该方法基于两种程序设计级别:任务级和作业级.前者负责描述基本操作,由单一控制线程完成;后者用于并行/并发程序建模,由整个多处理机系统来执行.在作业级程序设计中,用户采用面向对象Petri网来描述并行程序结构,以建立系统模型.该方法以一种接近于程序员的思维方式去设计并发软件,提供了一种可靠的并行结构的程序.阐述了支持此种程序设计方法的操作系统结构及其实现原理.
%K multiprocessor operating system
%K Petri net
%K object oriented technique
%K concurrent system modeling<br>多处理机操作系统
%K Petri网
%K 面向对象技术
%K 并发系统建模
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=7E96DB2B43CEBB20&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=DF92D298D3FF1E6E&sid=941A3E905B9F2AD9&eid=F79A45851FD04E0C&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=11