| 摘要 | 第1-12页 |
| Abstract | 第12-14页 |
| 第一章 绪论 | 第14-30页 |
| ·研究背景 | 第14-19页 |
| ·多核处理器 | 第14-16页 |
| ·多核处理器在实时系统中的应用 | 第16-17页 |
| ·多核处理器对实时系统 WCET 分析提出的挑战 | 第17-18页 |
| ·课题目标与来源 | 第18-19页 |
| ·国内外研究现状 | 第19-23页 |
| ·基于单核处理器平台的 WCET 分析 | 第19-21页 |
| ·基于多核处理器平台的 WCET 分析 | 第21-23页 |
| ·本文研究内容 | 第23-25页 |
| ·多核处理器平台的实时系统 WCET 静态分析模型 | 第23-24页 |
| ·多核处理器平台的共享 Cache 干扰分析 | 第24页 |
| ·多核处理器平台的片上互连干扰分析 | 第24-25页 |
| ·多核处理器平台的片外共享存储访问干扰分析 | 第25页 |
| ·多核处理器平台的实时系统 WCET 静态工具设计与实现 | 第25页 |
| ·本文主要创新工作 | 第25-27页 |
| ·论文结构 | 第27-30页 |
| 第二章 WCET 分析技术 | 第30-42页 |
| ·WCET 分析的定义、要求和主要问题 | 第30-33页 |
| ·定义 | 第30-31页 |
| ·WCET 分析的要求 | 第31-32页 |
| ·WCET 分析的主要问题 | 第32-33页 |
| ·WCET 分析方法及分析工具 | 第33-36页 |
| ·动态测量方法 | 第33页 |
| ·静态分析方法 | 第33-35页 |
| ·混合分析方法 | 第35页 |
| ·WCET 分析方法比较 | 第35-36页 |
| ·WCET 分析对多核处理器共享资源的考虑 | 第36-41页 |
| ·多核处理器共享 Cache | 第36-37页 |
| ·多核处理器片上互连 | 第37-40页 |
| ·多核处理器片外共享存储 | 第40-41页 |
| ·小结 | 第41-42页 |
| 第三章 多核处理器平台的实时系统 WCET 静态分析模型 | 第42-56页 |
| ·引言 | 第42-43页 |
| ·多核处理器模型 | 第43-44页 |
| ·基于多核处理器平台的实时系统 WCET 静态分析模型 | 第44-46页 |
| ·WCET 计算 | 第46-47页 |
| ·程序流分析 | 第47-48页 |
| ·微体系结构分析 | 第48-53页 |
| ·私有指令 Cache | 第49页 |
| ·共享 Cache | 第49-51页 |
| ·片上互连 | 第51-52页 |
| ·片外共享存储 | 第52-53页 |
| ·实验设计 | 第53-55页 |
| ·测试集 | 第54页 |
| ·验证方法 | 第54-55页 |
| ·实验环境 | 第55页 |
| ·本章小结 | 第55-56页 |
| 第四章 基于指令取指执行时序范畴的共享 Cache 干扰分析方法 | 第56-82页 |
| ·引言 | 第56-58页 |
| ·指令取指执行时序 | 第58-61页 |
| ·基于指令取指执行时序范畴的共享 Cache 干扰分析方法 | 第61-69页 |
| ·非干扰状态的充分不必要条件 | 第61-63页 |
| ·共享 Cache 干扰分析 | 第63-66页 |
| ·WCET 分析 | 第66-69页 |
| ·基于深度优先搜索的指令取指执行时序范畴分析 | 第69-74页 |
| ·基本思想 | 第69-70页 |
| ·基于分支和循环结构的取指执行时序分析 | 第70-74页 |
| ·实验 | 第74-80页 |
| ·实验环境与参数设置 | 第74-75页 |
| ·实验方法 | 第75-76页 |
| ·实验结果 | 第76-80页 |
| ·本章小结 | 第80-82页 |
| 第五章 多核处理器平台中共享总线干扰迭代分析方法 | 第82-110页 |
| ·引言 | 第82-84页 |
| ·系统模型 | 第84-86页 |
| ·基于共享总线和共享 Cache 的多核 WCET 分析 | 第86-91页 |
| ·示例 | 第88-91页 |
| ·迭代流程分析 | 第91-104页 |
| ·共享总线分析 | 第91-97页 |
| ·共享 Cache 分析 | 第97-99页 |
| ·迭代分析 | 第99-104页 |
| ·实验 | 第104-108页 |
| ·实验环境与参数设置 | 第104页 |
| ·实验方法 | 第104-105页 |
| ·实验结果 | 第105-108页 |
| ·本章小结 | 第108-110页 |
| 第六章 基于访问时序范畴的片外共享存储干扰分析方法 | 第110-134页 |
| ·引言 | 第110-111页 |
| ·动态随机存取存储器 DRAM | 第111-116页 |
| ·DRAM 存储访问 | 第112-113页 |
| ·存储访问操作延迟 | 第113-114页 |
| ·并行线程间存储访问干扰延迟 | 第114-115页 |
| ·刷新操作对存储访问的干扰 | 第115-116页 |
| ·基于时序范畴的片外共享存储干扰分析 | 第116-130页 |
| ·系统模型 | 第117-119页 |
| ·存储访问图 | 第119-123页 |
| ·存储访问操作延迟分析 | 第123-126页 |
| ·并行线程间存储访问干扰延迟分析 | 第126-129页 |
| ·WCET 计算 | 第129-130页 |
| ·实验 | 第130-133页 |
| ·实验环境与参数设置 | 第130页 |
| ·实验策略 | 第130-131页 |
| ·实验结果 | 第131-133页 |
| ·本章小结 | 第133-134页 |
| 第七章 实时系统 WCET 静态分析工具设计与实现 | 第134-144页 |
| ·MCTA | 第134-137页 |
| ·微体系结构模拟器 | 第137-141页 |
| ·处理器核分析器 | 第137-138页 |
| ·时序范畴分析器 | 第138-140页 |
| ·干扰分析器 | 第140页 |
| ·流水线分析器 | 第140-141页 |
| ·MCTA 支持的多核处理器特性 | 第141-142页 |
| ·本章小结 | 第142-144页 |
| 第八章 结论与展望 | 第144-148页 |
| ·工作总结 | 第144-145页 |
| ·工作展望 | 第145-148页 |
| 致谢 | 第148-150页 |
| 参考文献 | 第150-162页 |
| 作者在学期间取得的学术成果 | 第162-164页 |
| 作者在学期间参与的科研项目 | 第164页 |
