论文部分内容阅读
在开放式嵌入式实时系统中，多个实时和非实时的应用程序可以共享同一处理器资源，基于资源预留的分层调度能够为应用提供资源上的隔离支持，从而提高应用程序对时间约束的鲁棒性.在已有的资源预留策略中，有界延迟模型是一种动态的资源分配算法，它定义了在任意时间周期上系统最少可用的处理器时间.基于网络分析理论中的负载约束函数和服务约束函数概念，分析了在该资源分配模型下采用静态优先级调度可调度时的资源利用率最小上界，给出了一个任务组可调度的充分条件，讨论了有界延迟资源模型中参数的设计方法.本文提出的可调度分析方法为资源预留调度系统的分析提供了一种新的方法。