基于避让阻塞的优先级天花板协议

为了提高空间飞行器计算机的CPU利用率,新一代空间飞行器操作系统使用了一种同时包含固定时间点启动任务和偶发任务的混合调度算法.其中固定时间点启动任务往往是安全攸关任务,需要在固定时间点启动,且执行期间不能被阻塞.在固定时间点启动任务和偶发任务共存的条件下,现有的实时锁协议无法保证固定时间点启动任务的阻塞时间为零,因此在经典的优先级天花板协议的基础上,提出基于避让思想的实时锁协议,通过提前预判和设置虚拟启动点的方式,确保偶发任务对共享资源的访问不会影响到固定时间点启动任务的执行.同时暂时提升部分共享资源的访问优先级,降低了任务抢占所带来的运行开销.给出上述锁协议的最坏阻塞时间,并通过可调度率实验分析其性能,实验表明,在临界区较短的情况下,本协议可将因访问共享资源而导致的可调度性损失控制在27%以内.

一种改进型优先级天花板协议设计与实现

分析了嵌入式操作系统μC/OS-II产生的优先级反转问题及缺陷,提出了一种改进型优先级天花板协议,给出了协议的原理,该协议可以解决优先级反转问题,具有预防系统死锁等特点,并介绍了"修改μC/OS-II内核以实现改进型优先级天花板协议"的思想和方法。

嵌入式RTOS优先级天花板协议研究

优先级天花板协议的研究是为了解决嵌入式实时操作系统中存在的死锁问题和优先级反转问题。通过对优先级天花板协议调度和资源分配规则的分析,从任务优先级管理和资源管理两部分详细阐述了在嵌入式实时操作系统上实现优先级天花板协议的方法,并对其失效情况做出了说明,最后给出了基于C/OS-Ⅱ的优先级天花板协议的测试原理。

基于μ C／OS-Ⅱ的优先级天花板协议的实现

本文在分析优先级天花板协议原理的基础上,阐述了优先级天花板协议在嵌入式操作系统C/OS-Ⅱ上的实现方法及关键步骤,最后给出了基于μC/OS-Ⅱ的优先级天花板协议的测试结果和分析。

基于μC/OS-II嵌入式实时系统的优先级倒置分析

优先级继承协议和天花板优先级协议都可在一定程度上解决实时系统(RTOS)中的优先级倒置。文中讨论在嵌入式实时操作系统μC/OS-II中的优先级倒置问题。通过对比选择合适的优先级天花板协议进行详细的系统分析设计,在μC/OS-II应用中避免优先级倒置问题。

优先级反转和死锁的资源管理模式研究与实现

为了抑制优先级反转现象,采用优先级继承协议来解决优先级反转现象,在此协议中不能避免系统死锁现象的发生。分析了死锁现象产生的原因的,在优先级继承协议基础上提出了优先级反转和死锁问题的资源管理模式,采用排序锁定共享资源的方法,使共享资源按照SourceID由低到高的共享顺序依次被访问。理论证明该方法在一定程度上抑制优先级反转且避免了死锁现象的发生,通过实验结果表明了解决优先级反转和死锁的资源管理模式的正确性与可行性。

嵌入式操作系统SolCS中优先级反转问题研究

研发一个嵌入式实时操作系统时需要解决很多任务与共享资源之间的关系问题。介绍了优先级反转问题的理论模型,详细分析和比较了解决优先级反转问题的常规方案——优先级继承协议和优先级天花板协议。重点针对一个自主研发的嵌入式实时操作系统SolCS,提出了一种新的优先级反转问题解决方案并应用于其中,获得一个强实时能力的嵌入式操作系统。