A significant amount of research has been conducted in the past on compositional real-time scheduling as it has become a useful foundational theory for real-time operating systems and hypervisors. However, compositional frameworks suffer from abstraction overhead in composing components. In this paper, we decompose the abstraction overhead into: 1) supply abstraction overhead associated with the supply from a resource provider and 2) 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 a component to satisfy the sufficient conditions so that the abstraction overhead can be minimized. In experiments, we show that our technique outperforms two prior overhead-reducing techniques. The reduction in overhead is about 10% on average when compared to a technique that uses a single global period and about 8% on average when compared to a technique based on harmonicity.

+More

global period operating systems abstraction overhead resource theory heuristic technique overheadreducing harmonicity compositional realtime scheduling

Jin Hyun KimKyong Hoon KimArvind EaswaranInsup Lee,.Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. 37 (11),2869-2880.

Jin Hyun KimKyong Hoon KimArvind EaswaranInsup Lee,"Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems" 37

Jin Hyun KimKyong Hoon KimArvind EaswaranInsup Lee,"Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems"