| 考虑缓存预热时间的多核调度系统验证 |
| |
| 引用本文： | 盛伟,李曦,高妍妍,周学海.考虑缓存预热时间的多核调度系统验证[J].中国科学技术大学学报,2011,41(8). |
| |
| 作者姓名： | 盛伟 李曦 高妍妍 周学海 |
| |
| 作者单位： | 中国科学技术大学计算机科学与技术学院,安徽合肥230027;中国科学技术大学苏州研究院嵌入式系统实验室,江苏苏州215123 |
| |
| 基金项目： | 中国高技术研究发展(863)计划(2008AA01Z101)资助 |
| |
| 摘 要： | 随着多核架构在实时系统中的应用,多核实时调度已成为研究热点.在多核全局调度中,任务在多核间迁移通常会引起缓存预热.在严格实时调度中,这部分时间可能导致任务错过截止时间.为此基于调度理论的测试方法比较悲观,在作可调度性判定时,引入模型检测.考虑缓存预热时间的抽象模型仅局限在双核,提出一种建模方法,能够在更多核的条件下,验证调度系统的正确性和可调度性.
|
| 关 键 词： | 多核架构 可调度性分析 缓存预热时间 模型检测 |
Verifying multi-core scheduling systems under cache warm-up overheads |
| |
| SHENG Wei,LI Xi,GAO Yanyan,ZHOU Xuehai.Verifying multi-core scheduling systems under cache warm-up overheads[J].Journal of University of Science and Technology of China,2011,41(8). |
| |
| Authors: | SHENG Wei LI Xi GAO Yanyan ZHOU Xuehai |
| |
| Institution: | SHENG Wei1,2,LI Xi1,GAO Yanyan1,ZHOU Xuehai1,2(1.School of Computer Science and Technology,USTC,Hefei 230027,China,2.Embedded System Laboratory,Suzhou Institute for Advanced Study,Suzhou 215123,China) |
| |
| Abstract: | With multicore architectures applied in real-time systems,multicore real-time scheduling has become a hot topic.In multicore global scheduling,tasks migrating among cores usually result in cache warm-up overheads.In tight real-time scheduling,these overheads may lead to missed deadlines for tasks.For schedulability analysis,since the tests based on scheduling theory are pessimistic,model checking is introduced.However,the abstract model considering cache warm-up overheads is limited to two cores.Hence a mod... |
| |
| Keywords: | multicore architecture schedulability analysis cache warm-up overheads model checking |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
