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

• 作者: 冉鹏 颜纪迅
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 分时分区操作系统 互斥信号量 优先级反转
• 年，卷（期）: 2013,（1）
• 页码范围: 43-46
• 分类号: TP31
• 字数: 3438字
• 语种: 中文
• DOI: 10.3969/j.jssn.1673-629X.2013.01.011

摘要

随着航空电子系统日趋复杂化以及对安全性的不断提高,采用空间隔离、时间预先分配的分时分区操作系统已成为未来的发展方向.分时分区操作系统 FCOS 中为了使分区内部并发执行的多个任务之间合理有效的共享资源和相互合作,需要一种可靠的互斥信号量机制进行保障.文中设计了一种同时采用优先级继承和优先级天花板的混合型互斥信号量机制,并在 PowerPC755平台与其他操作系统的互斥信号量进行了试验对比分析,证明其可以高效地防止任务间发生优先级反转.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冉鹏		4	9	2.0	2.0
2	颜纪迅		1	5	1.0	1.0