分时分区操作系统互斥信号量的设计与分析  

Design and Analysis of Mutex in Temporal and Spatial Partitioning Operating System

作　　者：冉鹏[1] 颜纪迅[1] 

机构地区：[1]飞行自动控制研究所,陕西西安710065

出　　处：《计算机技术与发展》2013年第1期43-46,50,共5页Computer Technology and Development

基　　金：中航科学基金(20100718004)

摘　　要：随着航空电子系统日趋复杂化以及对安全性的不断提高,采用空间隔离、时间预先分配的分时分区操作系统已成为未来的发展方向。分时分区操作系统FCOS中为了使分区内部并发执行的多个任务之间合理有效的共享资源和相互合作,需要一种可靠的互斥信号量机制进行保障。文中设计了一种同时采用优先级继承和优先级天花板的混合型互斥信号量机制,并在PowerPC755平台与其他操作系统的互斥信号量进行了试验对比分析,证明其可以高效地防止任务间发生优先级反转。With the increasing complexity of avionics system and the continuous improvement of security, adopting the temporal and spa- tial partitioning operating system of spatial separation and time preassignment has become the developing direction in the future. Within the temporal and spatial partitioning operating system FCOS in order to enable the concurrent execution of multiple tasks in the internal of partition to share resource and mutually cooperate reasonably and effectively ,a kind of reliable mutex mechanism is needed for security. In this paper a kind of hybrid mutex semaphore mechanism adopting both priority inheritance and priority ceiling is designed,and make an experiment to comparative analysis with the mutex of other operating system on the platform of PowerPC755 to prove that can high effec- tively prevent the occurrence of priority inversion among tasks.

关 键 词：分时分区操作系统 互斥信号量 优先级反转 

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