H. Zahaf, A. Benyamina, G. Lipari, R. Olejnik, Pierre Boulet
{"title":"Modeling Parallel Real-time Tasks with Di-Graphs","authors":"H. Zahaf, A. Benyamina, G. Lipari, R. Olejnik, Pierre Boulet","doi":"10.1145/2997465.2997475","DOIUrl":null,"url":null,"abstract":"Multiframe, generalised multiframe and di-graph task models have been proposed to cope with the increasing complexity of real-time applications. However, these models have been designed for single processor systems and cannot express the potential intra-task parallelism of many modern real-time applications. In this paper, we extend the di-graph model to support parallel tasks. We propose a sufficient feasibility test for partitioned scheduling of a set of di-graph tasks on an identical core platform. Based on this test, we also propose a set of heuristics for parallelising and partitioning a set of di-graph tasks and for assigning the core frequency. Thus, our frequency selection algorithm can be used to reduce the energy consumption of a system. A set of synthetic experiments are presented that emphasise the effectiveness of our model against other less expressive models proposed in the literature.","PeriodicalId":245345,"journal":{"name":"Proceedings of the 24th International Conference on Real-Time Networks and Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 24th International Conference on Real-Time Networks and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2997465.2997475","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 6
Abstract
Multiframe, generalised multiframe and di-graph task models have been proposed to cope with the increasing complexity of real-time applications. However, these models have been designed for single processor systems and cannot express the potential intra-task parallelism of many modern real-time applications. In this paper, we extend the di-graph model to support parallel tasks. We propose a sufficient feasibility test for partitioned scheduling of a set of di-graph tasks on an identical core platform. Based on this test, we also propose a set of heuristics for parallelising and partitioning a set of di-graph tasks and for assigning the core frequency. Thus, our frequency selection algorithm can be used to reduce the energy consumption of a system. A set of synthetic experiments are presented that emphasise the effectiveness of our model against other less expressive models proposed in the literature.