多核实时系统的最优动态资源分配

中文摘要 AI 辅助

我们针对多核实时系统中的数据驱动动态资源分配问题，提出了一种新颖的最优控制问题。所提出的公式考虑了硬截止期限约束和资源界限。在温和假设下，我们证明了该公式可行性和最优解存在的若干结果。基于这些分析，我们设计了一种算法来解决多核动态资源分配问题。我们通过在真实多核平台上使用文献中的四个基准进行实验评估，展示了该新算法的实际用途。

英文摘要

We formulate a novel optimal control problem for data-driven dynamic resource allocation in multicore real-time systems. The proposed formulation accounts for hard deadline constraints and resource bounds. Under mild assumptions, we prove several results on the feasibility and existence of optimal solution for the proposed formulation. Building on these analyses, we design an algorithm to solve the multi-core dynamic resource allocation problem. We demonstrate the practical use of this new algorithm by experimentally evaluating it on a real multicore platform using four benchmarks from the literature.

发表机构

• University of California Santa Cruz（加州大学圣克鲁兹分校）
• University of Pennsylvania（宾夕法尼亚大学）
• Iowa State University（爱荷华州立大学）

机构由 AI 辅助整理，请以论文原文为准。