arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1807.04835cs.DC
收藏

自适应流媒体应用的建模、分析和硬实时调度

Modeling, Analysis, and Hard Real-time Scheduling of Adaptive Streaming Applications

Jiali Teddy Zhai, Sobhan Niknam, Todor Stefanov

摘要:

在实时的【形】系统中,应用程序的行为必须在编译时是可预测的,以保证时间约束。然而,由于在运行时的模式切换而表现出自适应行为的现代流应用可能由于在模式转换期间应用的未知行为而降低系统可预测性。因此,在模式转换过程中进行适当的时间分析是保持系统可预测性的必要条件。为此,在本文中,我们首先介绍模式感知数据流(MADF),这是我们的新的可预测的计算模型(MoC),有效地捕捉自适应流应用程序的行为。然后,作为MADF的操作语义的重要组成部分,我们提出了最大重叠偏移(MOO),这是我们的新协议的模式转换。该转换协议的主要优点在于,与自定时转换协议相比,它避免了模式转换时模式之间的定时干扰。因此,任何模式转换都可以独立于过去发生的模式转换进行分析。基于这个过渡协议,我们提出了一个硬实时分析,以及保证定时约束,避免处理器过载模式转换过程中。因此,使用该协议,我们可以推导出一个下限和上限的最早开始时间的任务在新的模式在模式转换的方式,硬实时的【形】约束的尊重。

英文摘要:

In real-time systems, the application's behavior has to be predictable at compile-time to guarantee timing constraints. However, modern streaming applications which exhibit adaptive behavior due to mode switching at run-time, may degrade system predictability due to unknown behavior of the application during mode transitions. Therefore, proper temporal analysis during mode transitions is imperative to preserve system predictability. To this end, in this paper, we initially introduce Mode Aware Data Flow (MADF) which is our new predictable Model of Computation (MoC) to efficiently capture the behavior of adaptive streaming applications. Then, as an important part of the operational semantics of MADF, we propose the Maximum-Overlap Offset (MOO) which is our novel protocol for mode transitions. The main advantage of this transition protocol is that, in contrast to self-timed transition protocols, it avoids timing interference between modes upon mode transitions. As a result, any mode transition can be analyzed independently from the mode transitions that occurred in the past. Based on this transition protocol, we propose a hard real-time analysis as well to guarantee timing constraints by avoiding processor overloading during mode transitions. Therefore, using this protocol, we can derive a lower bound and an upper bound on the earliest starting time of the tasks in the new mode during mode transitions in such a way that hard real-time constraints are respected.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑