Towards overhead-free interface theory for compositional hierarchical real-time systems
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 pap...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/140147 |
| _version_ | 1811687443550699520 |
|---|---|
| author | Kim, Jin Hyun Kim, Kyong Hoon Easwaran, Arvind Lee, Insup |
| author2 | School of Computer Science and Engineering |
| author_facet | School of Computer Science and Engineering Kim, Jin Hyun Kim, Kyong Hoon Easwaran, Arvind Lee, Insup |
| author_sort | Kim, Jin Hyun |
| collection | NTU |
| description | 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. |
| first_indexed | 2024-10-01T05:16:24Z |
| format | Journal Article |
| id | ntu-10356/140147 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T05:16:24Z |
| publishDate | 2020 |
| record_format | dspace |
| spelling | ntu-10356/1401472020-05-27T02:27:31Z Towards overhead-free interface theory for compositional hierarchical real-time systems Kim, Jin Hyun Kim, Kyong Hoon Easwaran, Arvind Lee, Insup School of Computer Science and Engineering Engineering::Computer science and engineering Compositional Framework (CF) Harmonic Tasks 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. NRF (Natl Research Foundation, S’pore) MOE (Min. of Education, S’pore) 2020-05-27T02:27:31Z 2020-05-27T02:27:31Z 2018 Journal Article Kim, J. H., Kim, K. H., Easwaran, A., & Lee, I. (2018). Towards overhead-free interface theory for compositional hierarchical real-time systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37(11), 2869-2880. doi:10.1109/TCAD.2018.2858465 0278-0070 https://hdl.handle.net/10356/140147 10.1109/TCAD.2018.2858465 2-s2.0-85055248154 11 37 2869 2880 en IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems © 2018 IEEE. All rights reserved. |
| spellingShingle | Engineering::Computer science and engineering Compositional Framework (CF) Harmonic Tasks Kim, Jin Hyun Kim, Kyong Hoon Easwaran, Arvind Lee, Insup Towards overhead-free interface theory for compositional hierarchical real-time systems |
| title | Towards overhead-free interface theory for compositional hierarchical real-time systems |
| title_full | Towards overhead-free interface theory for compositional hierarchical real-time systems |
| title_fullStr | Towards overhead-free interface theory for compositional hierarchical real-time systems |
| title_full_unstemmed | Towards overhead-free interface theory for compositional hierarchical real-time systems |
| title_short | Towards overhead-free interface theory for compositional hierarchical real-time systems |
| title_sort | towards overhead free interface theory for compositional hierarchical real time systems |
| topic | Engineering::Computer science and engineering Compositional Framework (CF) Harmonic Tasks |
| url | https://hdl.handle.net/10356/140147 |
| work_keys_str_mv | AT kimjinhyun towardsoverheadfreeinterfacetheoryforcompositionalhierarchicalrealtimesystems AT kimkyonghoon towardsoverheadfreeinterfacetheoryforcompositionalhierarchicalrealtimesystems AT easwaranarvind towardsoverheadfreeinterfacetheoryforcompositionalhierarchicalrealtimesystems AT leeinsup towardsoverheadfreeinterfacetheoryforcompositionalhierarchicalrealtimesystems |