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

发布时间：2020-05-05 15:45

【摘要】： 随着嵌入式系统产业的蓬勃发展,高效的开发调试工具越来越受到关注。片上在线追踪(片上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调试系统,通过对多核程序的实例研究,该系统可有效辅助调试和调优。
【图文】：

样片,版图,物理

a)物理版图b)设计样片图1.3YHFT一DsP/80o的物理版图以及设计样片过不断改进，YHFT系列DsP已经形成了一套较为完善的开发系统上硬件调试逻辑、JTAG接口的硬件仿真器、软件模拟器以及可视发环境(YHFT一IDE)等。与通用微处理器相比，DSP的片上资源开发环境在与目标处理器分离的调试主机中实现。在调试目标处件调试逻辑和JTAG调试接口，通过硬件仿真器与YHFT一IDE实试系统采用了ICD调试方式，断点和单步调试手段严重影响程序一方面，该调试系统针对单核设计，无法对多核环境下的数据共试支持。性能DsP应用于空间环境时需要一定的抗辐照能力I’“8]。在60C。射场中对YHFT一DSP/700进行了针对总剂量效应的测试，试验结率为10rad(Si)/s、总剂量为1巧.2krad(Si)时芯片能够正常工作，间不是很长的低轨卫星星载信号处理平台的需要l’09]。但在辐照效

多核,结构原型,在线调试,错误检测

单芯片多核结构是当前高性能微处理器体系结构最重要的发展方向之一，高性能多核DSP具有巨大的市场潜力，，对自主研制多核DSP提出了迫切的需求。本人所在课题组基于己有成果YHFT一DSP/800，正在研制一款异构多核处理器YHFT一QDSP(以下称Qnsp)。QDSP包含四个增强的YHFT一DSP/80O内核和一个犯位班SC核，如图1.4所示。RISC核主要用于实现前端用户接口与任务控制以及故障处理等功能，四个DSP核主要负责后端数据处理与计算加速。班SC核的存储空间与DSP核相互独立，二者通过公共总线进行通信。四个DSP核采用彼此独立的片外存储空间和两级Cache结构，通过快速共享数据缓冲池(FSDP)实现“DSP核一DSP核”的紧祸合数据共享与交换，通过片外存储接口控制器(E叨C)访问各自的片外存储空间。QDSP片内还设计了支持核间数据松藕合传输的片上互联机制Qlink。Qlink互联由高速交叉开关(Switch)和Qlink模块组成，Qlink模块是DSP核间通信接口，Switch完成各Qlink模块之间的全交叉互连。Qlink互联机制支持单播和组播两类传输模式，每次传输的最大数据长度为1024字。
【学位授予单位】：国防科学技术大学
【学位级别】：博士
【学位授予年份】：2007
【分类号】：TP332

【相似文献】