论文标题
混合批判性计划中的资源有效隔离机制
Resource Efficient Isolation Mechanisms in Mixed-Criticality Scheduling
论文作者
论文摘要
已经开发了混合批判性实时调度,以改善资源利用率,同时确保安全执行关键应用程序。这些研究对所有应用程序都使用乐观的资源保留来改善利用率,但是当保留时间在运行时不足时,将关键应用程序确定。然而,他们中的许多人都有一个不切实际的假设,即所有关键应用程序都将同时需要额外的资源。因此,他们通过惩罚所有低临界应用程序来利用资源来利用资源。在本文中,我们使用一种新的机制克服了这一缺点,该机制包括一个参数,以同时要求更多资源的关键应用程序的预期数量,以及基于参数的执行策略,以改善资源利用率。由于实践中的大多数混合性系统都是基于组件的,因此我们设计了我们的机制,使组件边界提供了支持低临界应用程序执行所必需的隔离,同时保护关键的界限。我们还在平面和层次调度框架下针对所提出的机制开发了计划测试。最后,通过模拟,我们将提议方法的性能与现有研究的可调度性和支持低临界应用程序的能力进行了比较。
Mixed-criticality real-time scheduling has been developed to improve resource utilization while guaranteeing safe execution of critical applications. These studies use optimistic resource reservation for all the applications to improve utilization, but prioritize critical applications when the reservations become insufficient at runtime. Many of them however share an impractical assumption that all the critical applications will simultaneously demand additional resources. As a consequence, they under-utilize resources by penalizing all the low-criticality applications. In this paper we overcome this shortcoming using a novel mechanism that comprises a parameter to model the expected number of critical applications simultaneously demanding more resources, and an execution strategy based on the parameter to improve resource utilization. Since most mixed-criticality systems in practice are component-based, we design our mechanism such that the component boundaries provide the isolation necessary to support the execution of low-criticality applications, and at the same time protect the critical ones. We also develop schedulability tests for the proposed mechanism under both a flat as well as a hierarchical scheduling framework. Finally, through simulations, we compare the performance of the proposed approach with existing studies in terms of schedulability and the capability to support low-criticality applications.