Abstract | ||
---|---|---|
Heterogeneous multi-core architectures achieve high performance and energy efficiency in real-time domain towards various applications. Most real-time parallel applications on heterogeneous multi-cores can be modeled as a typed directed acyclic graph (DAG) task, where the workload of each vertex is only allowed to execute on a particular type of core. Traditional worst-case response time (WCRT) analysis methods for these applications modeled as DAG are very pessimistic and impractical, i.e., there is a big gap between existing WCRT bounds and the exact WCRT. In this paper, we propose a satisfiability modulo theories-based method to exactly analyze the WCRT of the typed DAG task scheduled upon heterogeneous multi-cores. Experimental results show that our method can significantly improve the precision of the WCRT, and thus, dramatically increase the acceptance rate in the schedulability analysis. |
Year | DOI | Venue |
---|---|---|
2022 | 10.1016/j.sysarc.2021.102385 | Journal of Systems Architecture |
Keywords | DocType | Volume |
Heterogeneous multi-cores,Typed DAG tasks,Satisfiability modulo theories,WCRT | Journal | 124 |
ISSN | Citations | PageRank |
1383-7621 | 0 | 0.34 |
References | Authors | |
0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shuangshuang Chang | 1 | 6 | 2.10 |
Jinghao Sun | 2 | 11 | 4.19 |
Zhixiong Hao | 3 | 0 | 0.34 |
Qingxu Deng | 4 | 361 | 46.24 |
Nan Guan | 5 | 685 | 49.29 |