摘要
近年来,嵌入式系统的应用数量和复杂度以及程序的规模增长迅速,构件化嵌入式操作系统已经成为研究热点.过去的以抽象接口和封装计算为基础的通用构件体系结构难以满足许多数据流应用(包括多媒体处理和信号处理等)在并发性和实时性等方面的要求.对此设计了一个构件化嵌入式操作系统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.
出处
《计算机学报》
EI
CSCD
北大核心
2006年第6期867-874,共8页
Chinese Journal of Computers
基金
国家"八六三"高技术研究发展计划项目基金(2002AA1Z2302
2004AA1Z2050)
浙江省重点科研项目基金(2004C21059)资助.
关键词
嵌入式
构件
操作系统
模型驱动
embedded
component
operating system
model driven
