收藏本站
《国防科学技术大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

嵌入式多核处理器在线追踪调试与错误检测关键技术研究

扈啸  
【摘要】: 随着嵌入式系统产业的蓬勃发展,高效的开发调试工具越来越受到关注。片上在线追踪(片上trace)调试技术通过专用硬件非入侵地实时记录处理器的运行信息,具有可信度高、无需代码改动和不影响系统运行状态等优点,可有效解决当前高集成度和高实时性嵌入式系统的调试困难,因此成为近几年来嵌入式调试技术的重要研究方向。 在航天和军事等应用领域中,处理器的可靠性成为至关重要的问题,因此需要在线容错机制处理各类硬件故障。错误检测是容错的首要步骤,满足嵌入式系统对成本和功耗的要求,研究低硬件开销和低性能损失的错误检测方法具有重要意义。 本文针对片上trace调试技术和错误检测技术展开研究。首先讨论了嵌入式处理器的调试模型,对片上trace技术的原理、优势和实现模型进行了深入分析,而后对片上信息采集压缩、trace数据流的片上传输结构和trace辅助的调试调优应用等几个方面进行了深入研究,并在上述研究工作的基础上,设计实现了一个多核片上trace调试系统,验证了本文的研究结论。本文还提出了一种控制流错误检测方法,满足了嵌入式处理器低开销的容错需求。 本文取得的主要研究成果如下: (1)在片上trace信息的采集压缩方面提出旨在提高压缩率和灵活性的改进和创新:设计了有效压缩条件分支消息的长短串编码方式;设计了分支输出配置位,用于控制采集内容与输出数据量之间的灵活折中;设置了有效辅助程序调优的事件trace,提供了在精度和数据量之间灵活折中的编码方式;设计了对trace功能进行非入侵配置访问的NOP config指令。 (2)根据多核trace数据流传输的特点,提出一种基于服务请求门限和最小服务粒度双重约束的懒惰队列调度算法。该算法通过设置各队列的服务请求门限控制队长分布,通过设置最小服务粒度和懒惰服务切换减少队列切换开销。实验结果表明,该算法能够按设置的队列优先级充分利用缓冲容量,有效降低各缓冲队列的溢出。该算法的实现代价合理,具有良好的可扩展性。 (3)扩展了片上trace技术的应用领域,提出一种将代码排布技术与指令预取技术结合使用的方法。由片上trace非入侵地获得带有时间信息的程序执行路径,利用程序运行的周期行为特性设置预取,以增加预取容限为目标进行函数级的代码排布,并利用VLIW的空闲单元执行预取指令。实验结果表明,同单独实施的指令预取或代码排布相比,该方法能更有效地减少指令Cache失效。 (4)针对嵌入式系统低开销的容错需求,结合VLIW结构处理器的特点,提出一种基于特征值监督的控制流错误检测方法。设计了弱位置约束的特征值指令,允许在一定范围内寻找空闲指令槽或NOP指令位置来执行特征值指令,由此减小了处理器的性能损失和代码长度开销。设计了动态特征值修正指令,可根据分支寄存器的内容动态修正预期特征值,相比硬件方法扩大了故障检测范围,相比软件方法减小了性能损失。该方法可以检测15种控制流错误和指令码的位翻转错误,具有较高的故障覆盖率和较小的硬件开销。 (5)建立了基于存储元件状态集合的嵌入式处理器调试模型,对片上trace的工作机理、内在优势和实现模型进行了深入分析和讨论。实现了一套较为完善的片上trace调试系统,通过对多核程序的实例研究,该系统可有效辅助调试和调优。
【学位授予单位】:国防科学技术大学
【学位级别】:博士
【学位授予年份】:2007
【分类号】:TP332

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 陈东伟;韩娜;;嵌入式数据库在基于多核处理器的视频监控中的应用[J];郑州大学学报(理学版);2007年04期
2 陈东伟;韩娜;;嵌入式数据库在基于多核处理器的视频监控中的应用[J];安防科技;2008年02期
3 WARREN WEBB;;嵌入式装置上网的保密措施[J];电子设计技术;2001年12期
4 陈利锋;刘博勤;涂时亮;陈章龙;;嵌入式系统网络互连技术的设计与实现[J];计算机科学;2001年10期
5 高峰;质量提高 新品涌现——2002年嵌入式系统及其应用研讨会暨多国产品展示会侧记[J];电子产品世界;2002年23期
6 张承瑞,吴俊卿,李剑峰;嵌入式Linux在数控系统中的应用[J];制造业自动化;2003年02期
7 蒋巧文,潘孟春;高性能低功耗的32位RISC微处理器HMS30C7202[J];湖南理工学院学报(自然科学版);2004年03期
8 倪天龙 ,张贤高 ,王培;数据库SQLite在嵌入式系统中的应用[J];单片机与嵌入式系统应用;2005年10期
9 曹玲芝 ,石军 ,任亚萍;无线通信在嵌入式系统中的应用[J];微计算机信息;2005年22期
10 ;演绎普适计算应用创新——飞思卡尔利用Linux OS和PowerPC架构推动技术汇聚[J];半导体技术;2006年03期
中国重要会议论文全文数据库 前10条
1 陈福;周树杰;林小竹;杨跃翔;;应用嵌入式系统进行数据采集的研究[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
2 孙柏林;;从“自成系统”到“嵌为一体”——军用嵌入式系统漫谈[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
3 冯斌;张恩军;隗娜;;基于嵌入式系统的无线监控终端研究[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年
4 刘树鑫;曹云东;侯春光;刘晓明;;嵌入式系统在断路器智能控制中的应用[A];第一届电器装备及其智能化学术会议论文集[C];2007年
5 朱芳;章坚武;;基于网络处理器的VoIP网关设计[A];浙江省电子学会第七次会员代表大会暨2007学术年会论文集[C];2007年
6 董治华;张林锐;刘亮;;基于智能压力变送器的嵌入式检测系统研究[A];第十九届测控、计量、仪器仪表学术年会(MCMI'2009)论文集[C];2009年
7 李光先;陆阳;;应用UC/OS-Ⅱ设计嵌入式实时多任务软件[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
8 梁磊;洪永强;;基于网络技术的嵌入式系统[A];福建省科协第四届学术年会提升福建制造业竞争力的战略思考专题学术年会论文集[C];2004年
9 尔宾;虞小伟;吴强;刘明亮;;基于实时嵌入式操作系统的多媒体播放器设计[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
10 黄品文;郑丽敏;;嵌入式电子鼻系统的研究现状与发展趋势[A];2007年中国农业工程学会学术年会论文摘要集[C];2007年
中国重要报纸全文数据库 前10条
1 ;软件行业嵌入式系统分会成立[N];中国高新技术产业导报;2004年
2 龚炳铮;嵌入式系统大有作为[N];中国石油报;2003年
3 记者 王晓涛;物联网勿求中心和终端两全其美[N];中国经济导报;2010年
4 艾文;国产嵌入式系统重视二次开发[N];中国计算机报;2001年
5 ;微软嵌入式系统开发中心正式成立[N];人民邮电;2008年
6 朱挺;中国嵌入式系统产业联盟成立[N];中国高新技术产业导报;2008年
7 本报记者  凡晓芝;微软嵌入式系统大赛中国学生创佳绩[N];计算机世界;2006年
8 周晨;中国嵌入式工程师抢手[N];科技日报;2007年
9 ;有了VSPWorks嵌入式系统进通信[N];中国计算机报;2002年
10 郭淳学;嵌入式系统是嵌入式软件与IC发展基础[N];中国电子报;2008年
中国博士学位论文全文数据库 前10条
1 扈啸;嵌入式多核处理器在线追踪调试与错误检测关键技术研究[D];国防科学技术大学;2007年
2 程国达;嵌入式系统的硬/软件协同设计研究[D];复旦大学;2003年
3 赵国冬;嵌入式系统弹性应对方法研究[D];哈尔滨工程大学;2011年
4 谢铖;多内核构件化嵌入式操作系统的研究[D];浙江大学;2006年
5 李晖;高性能计算机若干关键问题研究[D];中国科学技术大学;2009年
6 陈文智;Pcanel——基于模型驱动的嵌入式系统设计平台[D];浙江大学;2005年
7 郭军;基于Petri网的嵌入式系统高层级设计方法与技术研究[D];西北大学;2007年
8 刘大亮;一种球形移动机器人的运动分析与控制技术的研究[D];北京邮电大学;2009年
9 吴刚;对低功耗进程调度算法的研究[D];复旦大学;2006年
10 张付祥;创伤手指康复机械手系统研究[D];哈尔滨工业大学;2007年
中国硕士学位论文全文数据库 前10条
1 张荫芾;基于多核处理器架构的嵌入式微内核操作系统的研究与设计[D];上海交通大学;2009年
2 亓向国;MicroWindows在嵌入式系统中的应用研究[D];昆明理工大学;2009年
3 徐超;基于嵌入式系统的安全网关的设计[D];武汉理工大学;2003年
4 毛碧波;多平台下嵌入式Linux的调试及驱动程序开发[D];中国科学院研究生院(软件研究所);2003年
5 刘洋;基于Linux的嵌入式操作系统实时性技术研究[D];哈尔滨理工大学;2003年
6 王建华;基于嵌入式系统的机器视觉及其在机器人控制中的应用[D];重庆大学;2004年
7 郝永君;嵌入式Linux的研究与应用[D];西安电子科技大学;2005年
8 胡其鹏;基于以太网的嵌入式控制器设计[D];浙江大学;2005年
9 王军;基于CAN总线的智能供热控制器的研究[D];河北工业大学;2005年
10 韩进;基于无线传感器网络嵌入式测控系统的应用研究[D];合肥工业大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026