摘要
针对有色Petri网(CPN)在并行、并发、资源共享描述上的适用性,将其引入到嵌入式实时操作系统(RTOS)建模中,解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型,结果表明该模型能有效反映RTOS系统的动态特性,准确定量模拟出RTOS系统的效率、切换频率指标。
Aiming at the finesses of＇ system in parallel, concurrency and resource sharing description, this paper introduces Colored Petri Net（CPN） into embedded Real Time Operating System（RTOS） modeling. It solves the realistic problem of CPU monopolization, the realization of task queue based on priority, the time dealing of task preempt, and the cycle of the tasks in RTOS task schedule model. A CPN model is built for preemptive priority task schedule example. Results show that this CPN model can relevantly describe the dynamic characters, and exactly simulate the efficiency and other performance of the RTOS.
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第21期1-3,共3页
Computer Engineering
基金
国家"973"计划基金资助项目(2009CB724205)
国家自然科学基金资助项目(50577037)
中国博士后科学基金资助项目(20080440377)
关键词
有色PETRI网
嵌入式实时操作系统
任务调度
Colored Petri Net（CPN）
embedded Real Time Operating System（RTOS）
task schedule
