实时调度理论与Ada

审核人：玛丽安·乔尔赫（Marian Gheorghe）

在回顾了单调速率调度理论中的一些基本结果之后，本文提出了它们对Ada的启示。第一部分概述了单调速率调度理论的一些重要结果。首先，作者提出了确保由单调速率算法调度的独立周期任务满足其最后期限的问题。然后，他们检查如何确保关键任务在超载情况下满足其最后期限。他们还考虑了调度周期性和非周期性任务的重要问题。本节的最后一部分讨论了应用于必须交互的实时任务的单调速率调度理论。它还审查了实时同步和通信问题。最后一节回顾了Ada任务模型，并更详细地考虑了Ada的t任务模型是否适合支持单调速率调度算法的要求。这种方法对于实时系统的开发和维护以及在Ada中设计有用的实时应用程序非常有意义。