Revisiting GPC and AND Connector in Real-Time Calculus
Revisiting GPC and AND Connector in Real-Time Calculus
复制标题
DOI：
10.1109/rtss.2017.00031
复制
发表时间：
2017-12
期刊：
影响因子：
--
通讯作者：
Yue Tang;Nan Guan;Weichen Liu;L. T. Phan;W. Yi
中科院分区：
文献类型：
--
作者：
Yue Tang;Nan Guan;Weichen Liu;L. T. Phan;W. Yi
实时演算(RTC)是一个用于网络系统建模和最坏情况性能分析的强大框架。GPC和和是RTC中的两个基本组件，分别对基于优先级的资源仲裁和同步操作进行建模。在本文中，我们回顾了GPC和AND。对于GPC，我们开发了更紧密的输出到达曲线，以更精确地表征输出事件流。对于和，我们首先找出现有分析方法中可能导致输出曲线为负值的问题，并提出对该问题的修正。然后，我们泛化并同步两个以上的输入事件流。我们实现了我们新的理论结果，并进行了实验来评估它们的性能。实验结果表明，我们的新方法在分析精度和效率方面都有显著的提高。
Real-Time Calculus (RTC) is a powerful framework for modeling and worst-case performance analysis of networked systems. GPC and AND are two fundamental components in RTC, which model priority-based resource arbitration and synchronization operations, respectively. In this paper, we revisit GPC and AND. For GPC, we develop tighter output arrival curves to more precisely characterize the output event streams. For AND, we first identify a problem in the existing analysis method that may lead to negative values in the output curves, and present corrections to the problem. Then we generalize AND to synchronize more than two input event streams. We implement our new theoretical results and conduct experiments to evaluate their performance. Experiment results show significant improvement of our new methods in analysis precision and efficiency.