计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2013年
1期
43-46
,共4页
分时分区操作系统%互斥信号量%优先级反转
分時分區操作繫統%互斥信號量%優先級反轉
분시분구조작계통%호척신호량%우선급반전
temporal and spatial partitioning operating system%mutex semaphore%priority inversion
随着航空电子系统日趋复杂化以及对安全性的不断提高,采用空间隔离、时间预先分配的分时分区操作系统已成为未来的发展方向.分时分区操作系统 FCOS 中为了使分区内部并发执行的多个任务之间合理有效的共享资源和相互合作,需要一种可靠的互斥信号量机制进行保障.文中设计了一种同时采用优先级继承和优先级天花板的混合型互斥信号量机制,并在 PowerPC755平台与其他操作系统的互斥信号量进行了试验对比分析,证明其可以高效地防止任务间发生优先级反转.
隨著航空電子繫統日趨複雜化以及對安全性的不斷提高,採用空間隔離、時間預先分配的分時分區操作繫統已成為未來的髮展方嚮.分時分區操作繫統 FCOS 中為瞭使分區內部併髮執行的多箇任務之間閤理有效的共享資源和相互閤作,需要一種可靠的互斥信號量機製進行保障.文中設計瞭一種同時採用優先級繼承和優先級天花闆的混閤型互斥信號量機製,併在 PowerPC755平檯與其他操作繫統的互斥信號量進行瞭試驗對比分析,證明其可以高效地防止任務間髮生優先級反轉.
수착항공전자계통일추복잡화이급대안전성적불단제고,채용공간격리、시간예선분배적분시분구조작계통이성위미래적발전방향.분시분구조작계통 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.