计算机技术与发展Issue(1)：43-46,50,5.DOI:10.3969/j.jssn.1673-629X.2013.01.011
分时分区操作系统互斥信号量的设计与分析
Design and Analysis of Mutex in Temporal and Spatial Partitioning Operating System
摘要
Abstract
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.关键词
分时分区操作系统/互斥信号量/优先级反转Key words
temporal and spatial partitioning operating system/mutex semaphore/priority inversion分类
信息技术与安全科学引用本文复制引用
冉鹏,颜纪迅..分时分区操作系统互斥信号量的设计与分析[J].计算机技术与发展,2013,(1):43-46,50,5.基金项目
中航科学基金(20100718004) （20100718004）
