基于CPN的嵌入式RTOS任务调度建模  

Embedded RTOS Task Schedule Modeling Based on CPN

作　　者：刘经宇[1] 朱煜[1] 尹文生[1] 

机构地区：[1]清华大学精密仪器与机械学系,北京100084

出　　处：《计算机工程》2010年第21期1-3,共3页Computer Engineering

基　　金：国家"973"计划基金资助项目(2009CB724205);国家自然科学基金资助项目(50577037);中国博士后科学基金资助项目(20080440377)

摘　　要：针对有色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.

关 键 词：有色PETRI网 嵌入式实时操作系统 任务调度 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]