TY - GEN
T1 - Assessing the pessimism of current multicore global fixed-priority schedulability analysis
AU - Sun, Youcheng
AU - Di Natale, Marco
N1 - Funding Information:
The project leading to this application has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 644080.
Funding Information:
This work was partially supported by Innovate UK and the UK aerospace industry through the SECT-AIR project.
Publisher Copyright:
© 2018 ACM.
PY - 2018/4/9
Y1 - 2018/4/9
N2 - This work provides a formal assessment on the pessimism of existing methods for the schedulability analysis of multicores with global fixed priority (FP) scheduling. We show how according to the existing analysis methods for FP scheduling, it is relatively easy to define a simple task allocation strategy followed by local analysis that dominates existing global-FP feasibility analysis algorithms, in terms of deadline guarantees. Rather than being an indication of a true comparison between the effectiveness of local and global policies, we consider the result as an indication of the limited maturity of multicore global analysis (and its outstanding pessimism). In addition, we show how a simple change in the task model, consisting in splitting the task execution and performing the analysis in two stages, allows to provide a better global schedulability analysis that overcomes this limitation.
AB - This work provides a formal assessment on the pessimism of existing methods for the schedulability analysis of multicores with global fixed priority (FP) scheduling. We show how according to the existing analysis methods for FP scheduling, it is relatively easy to define a simple task allocation strategy followed by local analysis that dominates existing global-FP feasibility analysis algorithms, in terms of deadline guarantees. Rather than being an indication of a true comparison between the effectiveness of local and global policies, we consider the result as an indication of the limited maturity of multicore global analysis (and its outstanding pessimism). In addition, we show how a simple change in the task model, consisting in splitting the task execution and performing the analysis in two stages, allows to provide a better global schedulability analysis that overcomes this limitation.
KW - Fixed priority
KW - Global
KW - Multicore scheduling
KW - Partitioned
KW - Schedulability analysis
UR - http://www.scopus.com/inward/record.url?scp=85049275373&partnerID=8YFLogxK
U2 - 10.1145/3167132.3167195
DO - 10.1145/3167132.3167195
M3 - Conference contribution
AN - SCOPUS:85049275373
T3 - Proceedings of the ACM Symposium on Applied Computing
SP - 575
EP - 583
BT - Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018
PB - Association for Computing Machinery
T2 - 33rd Annual ACM Symposium on Applied Computing, SAC 2018
Y2 - 9 April 2018 through 13 April 2018
ER -