ScholarlyCommons

Title

Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems

Author(s)

Jin Hyun Kim, University of PennsylvaniaFollow
Kygong Hoon Kim, Gyeongsang National UniversityFollow
Arvind Easwaran, Nanyang Technological UniversityFollow
Insup Lee, University of PennsylvaniaFollow

Document Type

Technical Report

Date of this Version

5-2-2018

Comments

MS-CIS-18-02

Abstract

Much recent research has been conducted on compositional real-time scheduling framework as the framework becomes a useful fundamental theory for real-time OS-Hypervisor. Much recent research has been conducted on compositional real-time scheduling as the framework becomes a useful fundamental theory for real-time OS-Hypervisor. However, compositional frameworks suffer from abstraction overheads in composing components. In this paper, we classify the composition overheads into i) supply abstraction overhead associated with the supply from a resource provider, and ii) demand abstraction overhead associated with the component workload. Then, we provide sufficient conditions for each abstraction overhead to be eliminated. In addition, this paper provides a heuristic technique that transforms any component to satisfy the sufficient conditions so that the abstraction overheads are minimized. In our comparison, we showed our technique outperforms the prior overhead-reducing CF about 10% at average and other combination techniques about 8% in reducing the overhead.

Recommended Citation

Jin Hyun Kim, Kygong Hoon Kim, Arvind Easwaran, and Insup Lee, "Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems", . May 2018.