Proof and Evaluation of Improved Slack Reclamation for Response Time Analysis of Real-Time Multiprocessor Systems

Hyeongboo BAEK  Donghyouk LIM  Jinkyu LEE  

IEICE TRANSACTIONS on Information and Systems   Vol.E101-D   No.8   pp.2136-2140
Publication Date: 2018/08/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.2017EDL8260
Type of Manuscript: LETTER
Category: Software System
response time analysis,  real-time multiprocessor systems,  slack reclamation,  

Full Text: PDF(216.3KB)
>>Buy this Article

RTA (Response time analysis) is a popular technique to guarantee timing requirements for a real-time system, and therefore the RTA framework has been widely studied for popular scheduling algorithms such as EDF (Earliest Deadline First) and FP (Fixed Priority). While a number of extended techniques of RTA have been introduced, some of them cannot be used since they have not been proved and evaluated in terms of their correctness and empirical performance. In this letter, we address the state of the art technique of slack reclamation of the existing generic RTA framework for multiprocessors. We present its mathematical proof of correctness and empirical performance evaluation, which have not been revealed to this day.