嵌入式系统快速硬件检查点设计和实现.doc

多拿未  ）户 ，ｌ  硕士学位论文 嵌入式系统的快速硬件检查点的设计和实现  Ｄｅｓｉｇｎ ａｎｄ ｉｍｐｌｅｍｅｎｔａｔｉｏｎ ｏｆ ｆａｓｔ ｈａｒｄｗａｒｅ ｃｈｅｃｋｐｏｉｎｔ ｅｍｂｅｄｄｅｄ ｓｙｓｔｅｍ 作者：蔡翔 导师：袁小龙 北京交通大学  ｏｎ  万方数据  ２０１  ５年４月 学位论文版权使用授权书 本学位论文作者完全了解北京交通大学有关保留、使用学位论文的规定。特 授权北京交通大学可以将学位论文的全部或部分内容编入有关数据库进行检索， 提供阅览服务，并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。 同意学校向国家有关部门或机构送交论文的复印件和磁盘。学校可以为存在馆际 合作关系的兄弟高校用户提供文献传递服务和交换服务。 （保密的学位论文在解密后适用本授权说明）  万方数据  学位论文作者签名：秦细刁 签字日期：９，０ｌ厂年牛月乎ＦＩ  新繇去１． 签字日期：旷年笋月孑Ｅｔ 学校代码：１０００４ 北京交通大学 硕士学位论文 嵌入式系统的快速硬件检查点的设计和实现  密级：公开  Ｄｅｓｉｇｎ ａｎｄ ｉｍｐｌｅｍｅｎｔａｔｉｏｎ ｏｆ ｆａｓｔ ｈａｒｄｗａｒｅ ｃｈｅｃｋｐｏｉｎｔ ｓｙｓｔｅｍ  ｏｎ  ｅｍｂｅｄｄｅｄ  作者姓名：蔡翔 导师姓名：袁小龙  学 职  号 称：副教授  学位类别：工学 学科专业：微电子学与固体电子学  学位级别：硕士 研究方向：集成电路设计  北京交通大学 ２０１５年４月 万方数据 致谢 本论文的工作是在我的导师袁小龙教授的悉心指导下完成的，袁老师严谨的 治学态度和科学的工作方法给了我极大的帮助和影响。袁老师悉心指导我们完成 了实验室的科研工作，在学习上和生活上都给予了我很大的关心和帮助，在此向 袁老师表示衷心的谢意。 同时非常感谢中国科学院计算技术研究所的韩银和老师，在我的科研项目中 提出了很多中肯的意见，并帮助我解决了许多科研难题。 在实验室工作及撰写论文期间，宋莉莉等同学对我论文中的研究工作给予了 热情帮助，在此向他们表达我的感激之情。 另外也要感谢我的父母，他们的理解和支持使我能够在学校专心完成我的学 、Ｉ匕。 万方数据 摘要 摘要 目前，嵌入式系统已经广泛应用在交通，医疗，航空等各种领域，对应的可 靠性问题逐渐成为人们关注的焦点。考虑一个需要长时间运行的任务，在执行过 程中，如果发生突发情况，导致程序不得不重新开始执行，就造成了不必要的时 间开销和资源浪费。因此，能够在突发情况发生时容忍故障就显得尤为重要了。 检查点技术就是这样一种有效的容错手段【１ｌ，计算机和嵌入式系统中使用这种技 术，从而提高可靠性。 本文主要研究基于Ｃｏｒｔｅｘ．Ｍ３１２】的嵌入式系统上的硬件检查点实现。该检查点 用于应对断电这类突发状况。传统的检查点技术通过软件来实现，每隔一段时间 对程序的中间状态进行备份，虽然可以保证数据不会丢失，但会占用大量的应用 资源来设置检查点，并且通用性较差。而硬件检查点具有很强的可移植性，也不 需要多余的代码来实现。因此本文提出的硬件检查点有很好的应用前景和研究意 义。 首先我们采用一个基于Ｃｏｒｔｅｘ．Ｍ３核的嵌入式系统作为研究对象，该系统包 括ＣＰＵ软核、ＲＡＭ、ＵＡＲＴ接口、ＳＰＩ接口、ＪＴＡＧ调试接口和外部存储器。根 据模块的接口时序和映射地址，将各个模块挂载到总线上供ＣＰＵ访问。并配置ＳＰＩ 接口总线使应用程序从外部存储器启动。 针对基于Ｃｏｒｔｅｘ．Ｍ３核的嵌入式系统，本文提出了一种内存检查点的设计方 案和～种寄存器检查点设计方案。同时，设计了一个外部存储器到ＲＡＭ的代码拷 贝模块，用来提高内存检查点的效率。并通过实验对比，说明优化后的效果。 然后我们编写了一个检查点演示系统，在ＦＰＧＡ平台实现。该程序执行计数 操作，同时将计数通过ＵＡＲＴ串口发送到液晶屏上显示。用外部中断来模拟断电 触发，当外部中断到来时，系统将当前所计的数字存入非易失的铁电存储器中， 等下次复位上电时，系统将