多核系统上的调度策略建模与分析

摘要	第1-6页
ABSTRACT	第6-10页
第一章 绪论	第10-13页
·研究的背景和意义	第10-11页
·研究的主要内容	第11-12页
·本文的组织结构	第12-13页
第二章 时序自动机概述	第13-18页
·时间约束	第13页
·时序自动机	第13-15页
·跃迁安全性	第14页
·时序自动机定义	第14-15页
·时序自动机语义	第15页
·可判定性分析	第15-18页
·语言覆盖	第15-16页
·互模拟	第16-17页
·可达性分析	第17-18页
第三章 任务自动机概述	第18-27页
·任务与调度策略	第18-20页
·任务自动机	第20-23页
·任务自动机定义	第20-21页
·任务自动机语义	第21-23页
·任务自动机可判定性分析	第23-27页
·可调度性	第23-24页
·可判定性	第24-27页
第四章 不可抢占式调度策略建模与分析	第27-35页
·多核系统	第27页
·多核任务自动机	第27-28页
·不可抢占式调度策略建模	第28-31页
·边定义	第30-31页
·可判定性分析	第31-35页
第五章 可抢占式调度策略建模与分析	第35-45页
·时钟减法自动机	第35-37页
·抢占式调度策略建模	第37-40页
·可判定性分析	第40-45页
全文总结	第45-46页
参考文献	第46-49页
致谢	第49-50页
攻读学位论文期间发表的学术论文目录	第50页