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

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

一种操作系统的PowerPC440内存管理机制研究

以PowerPC440为平台,设计了完全基于Hash页表的段页式存储管理方法,实现了操作系统内核以及各应用进程之间的存储空间保护。针对Hash页表构筑方式和特点的研究证明,给嵌入式操作系统施加特定约束后,该方法能够显著减少空间开销和时间开销,增加空间确定性,满足无人机系统的应用要求。该研究为进一步提出更优化的内存管理设计方法奠定了基础。