一个构件化嵌入式操作系统的精确控制内核  

A Precise Control Core for Component-Based Embedded Operating System

作　　者：陈文智[1] 谢铖[1] 石教英[1] 

机构地区：[1]浙江大学计算机科学与技术学院,杭州310027

出　　处：《计算机学报》2006年第6期867-874,共8页Chinese Journal of Computers

基　　金：国家"八六三"高技术研究发展计划项目基金(2002AA1Z2302;2004AA1Z2050);浙江省重点科研项目基金(2004C21059)资助.

摘　　要：近年来,嵌入式系统的应用数量和复杂度以及程序的规模增长迅速,构件化嵌入式操作系统已经成为研究热点.过去的以抽象接口和封装计算为基础的通用构件体系结构难以满足许多数据流应用(包括多媒体处理和信号处理等)在并发性和实时性等方面的要求.对此设计了一个构件化嵌入式操作系统Pcanel,其核心是一个基于构件转换控制模型的精确控制核PCC.PCC将构件分成静止和执行两种状态.构件计算采用并行与分段执行的方法.同时,采用非阻塞式的调度方法有效解决了优先级倒置的问题.PCC由事件控制器和任务控制器协同工作,具备高度并发处理能力,从而支持构件技术在嵌入式系统中的应用.Embedded applications are proliferating at an amazing rate. The continuous growth of complexity and scale of embedded system motivates the research focus on Component based Embedded Operating System. However, general component-based architectures that are built on interface of functionality＇ and encapsulation of computation fail to satiety concurrency and real-time issues of data flow applications, such as multimedia processing and signal processing. Pcanel is a novel component-based operating system for embedded systems. The paper describes the kernel, called Precise Control Core （PCC）, which is based on a component transition model. PCC parti tions states of component into quiescent states and executing states. The computation of concurrent components is recomposed into a sequence of split-phases of transitions. A wait-free synchronization technique is used preventing priority inversion. The collaboration of event controller and task controller of PCC achieves massively concurrency, thus supports using components in embedded systems.

关 键 词：嵌入式 构件 操作系统 模型驱动 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]