导读:本文包含了可逆调试论文开题报告文献综述及选题提纲参考文献,主要关键词:嵌入式,多核架构,记录-回放,检查点
可逆调试论文文献综述
江山[1](2016)在《嵌入式多核架构可逆调试技术研究》一文中研究指出嵌入式软件调试中,可逆调试技术是解决复杂程序调试过程中错误复现、错误定位问题的有效技术,近年来成为研究的热点。本文在分析可逆调试技术领域的研究现状之后,针对目前缺乏适用于嵌入式多核架构的可逆调试方案的现状,提出了一套面向嵌入式多核架构的可逆调试方案,然后基于C-SKY体系结构的嵌入式软件平台实现。首先,我们分析了一套经典嵌入式应用程序调试系统作为后续研究方案的实现平台,主要包括调试器GDB和模拟器QEMU。通过源码分析以及跟踪调试的方式细致地研究分析了软件的框架、工作模式、原理。最后,紧扣本文主题,对基于该嵌入式调试系统进行多核可逆调试技术研究的可行性作出分析,为后续的研究奠定基础。然后,本文重点针对嵌入式多核架构下程序运行不确定性问题,提出了一套完整的记录-回放方案。该方案是一套纯软件方案,不需要额外的辅助硬件,方便开发、节约成本。基于此方案,我们提出了一种低性能损耗的记录策略和一种高并行度回放策略,分别用于降低记录阶段时间开销以及提高回放的并行度。并且,对该方案基于前面介绍的嵌入式调试系统的实现进行了详细介绍。最后,通过将记录-回放技术与检查点技术结合,实现了主要的可逆调试命令,完善了嵌入式多核可逆调试方案。并且设计实验,对整个方案的功能进行验证,并主要分析了多核记录-回放调试方案的性能。(本文来源于《浙江大学》期刊2016-01-17)
罗学钢,罗晔[2](2013)在《直流电动机(可逆)传动调速系统调试研讨》一文中研究指出在工业工程的建设中,电气调试工作领域很广,直流电动机及其控制系统调试只是其中的一种,直流传动控制系统调试比较复杂,它除了要有基本理论知识外,还要有丰富的实践电气调试经验。研讨了已基本形成的可行地调试流程、方法以及步骤。(本文来源于《机电工程技术》期刊2013年07期)
邵腾刚,张俊飞[3](2011)在《基于虚拟机日志记录回放的可逆调试方法》一文中研究指出传统的调试器调试程序时,仅仅能够让程序正向运行并获取其当前的状态。提出了一种可以让程序逆向运行,回到过去任意时刻的调试方法,来增强调试器的功能。该方法是通过为Xen虚拟机添加完整的日志记录和回放功能以及对GDB调试器作相应修改来实现的;调试对象可以恢复到其运行过程的任意时刻。该可逆调试器,可以解决大型软件和操作系统内核开发调试困难的问题,大大提高了开发进度。(本文来源于《计算机应用与软件》期刊2011年04期)
刘西洋,刘涛,柏志文,王艳,穆浩英[4](2009)在《一种优化的跨平台可逆调试器》一文中研究指出针对大型软件系统中调试效率低下以及并发程序错误难以重现的问题,设计和实现了基于虚拟技术的可移植优化逆向调试器(PORD).PORD动态翻译被调试程序的二进制可执行代码,并且在翻译过程中向检查点处植入代码来保存程序运行状态,使程序在执行过程中以增量的形式自动生成状态日志.PORD中集成的功能扩展的GDB远程控制虚拟机,根据检查点的状态日志重建历史执行状态,从而达到逆向执行目的.当被调程序与宿主机有相同的指令集架构时,动态二进制翻译就被优化为直接拷贝执行被调试程序的二进制可执行码,使被调程序能够以接近本地速度的速度执行.实验结果表明,PORD可以为程序提供快速的可移植的逆向调试环境.(本文来源于《西安电子科技大学学报》期刊2009年01期)
王艳[5](2009)在《嵌入式系统可逆调试器的设计与实现》一文中研究指出随着嵌入式系统复杂程度的不断提高,调试越来越被嵌入式系统开发人员所重视。对于诸如嵌入式操作系统和并发程序等具有不确定性的程序,传统的循环调试是不够的。可逆调试可以很好的解决由于程序的不确定性所带来的很多问题。基于记录与重放的逆向执行技术可以使得程序员通过记录下来的程序执行轨迹回滚到程序的任意点,并重演这一执行过程。这样程序员就可以快速的定位错误的根源,避免了反复重启调试会话的麻烦,同时还可以准确的重放错误的场景。基于开源的模拟器QEMU和通用调试器GDB,本文设计实现了可逆调试器PORD。PORD为嵌入式系统提供了一个高效的交叉可逆调试工具。它可以在通用的X86宿主架构上调试目标架构为ARM,SPARC,PPC或者MIPS的嵌入式系统。程序的执行状态主要包括寄存器状态和内存状态。对于寄存器状态的保存,PORD针对不同的目标架构采用不同的保存方法。而对于内存状态的保存,PORD对于不同的目标架构采用了统一的记录方法。为了减少记录执行轨迹所需要的时间与空间开销,检查点可以采用不同的记录粒度。同时PORD为X86目标架构实现了一个接近于本地执行速度的高效可逆调试器。PORD主要有两部分组成。一个是通过修改QEMU而实现记录与重放功能的虚拟机。另一部分是RGDB。RGDB通过在通用调试器GDB中扩充逆向执行命令而实现。RGDB解析用户命令,并且构建发送调试命令数据包到GDB调试桩。存在于虚拟机端的GDB调试桩解析收到的数据包,之后控制虚拟机执行相应的调试命令。实验表明可逆调试器PORD能够快速高效的重演程序的历史状态。对于调试而言,PORD记录日志的时间与空间开销是可以接受的。(本文来源于《西安电子科技大学》期刊2009-01-01)
邢德臣[6](2005)在《江阴西城钢铁公司1450mm六辊可逆冷轧机调试结束通过用户考核验收》一文中研究指出江阴西城钢铁公司1450m m六辊可逆冷轧机,是我公司近10年来第一套机电液专业全面自主设计、制造、调试,具有完全自主知识产权的现代化轧机,也是我公司第一套交钥匙工程。这套轧机具有两级计算机控制系统,设有直观方便的人机操作监视画面;具有现代先进的直流传动(本文来源于《一重技术》期刊2005年04期)
冯和平[7](2004)在《有准备逻辑无环流可逆调速系统及其调试》一文中研究指出铜绿山矿新副井选用JKM-208×4型多绳摩擦轮 提升机。该提升机采用有准备逻辑无环流可逆调速系统。 介绍了调速系统的组成、各单元的功能与参数,分析了现场 调试中出现的问题及原因。(本文来源于《矿业研究与开发》期刊2004年06期)
В,Ф,Рашников,朱晓光,高真凤[8](2004)在《双机架可逆冷轧机的建设与调试》一文中研究指出马格尼特哥尔斯克钢铁公司 5号板材轧制车间投产于 1 969年 ,是当今最大的冷轧板生产设备之一。 2 5 0 0四机架连轧机每年可生产 1 70万 t厚度为 0 .6~ 3.0 mm、宽度不超过 2 35 0 mm的板材 ,但目前其产品已不能满足用户要(本文来源于《鞍钢技术》期刊2004年01期)
汪瑞庆,张国辉[9](2003)在《可逆锤击式碎煤机及附属设备的安装调试》一文中研究指出循环流化床锅炉 (以下简称CFB锅炉 )对燃煤粒径有着不同于煤粉炉的严格要求 ,它要求燃煤粒径有一定的粒度分布。通过对国内已运行的CFB锅炉碎煤机的配套运行情况调研可知 ,国产碎煤设备的出料粒度满足不了CFB锅炉的运行要求。经充分调研和详细的技术经济分析(本文来源于《河北电力技术》期刊2003年06期)
胡少清,宁宇,黄建民[10](2000)在《可逆冷轧机主传动电气调试技术》一文中研究指出通过可逆冷轧机主传动的电气调试 ,介绍了一些调试方法和实际经验 ,分析了负荷试车出现的机电问题 .实践证明 ,这些调试方法显着地提高了调试的效率和精度 .(本文来源于《焦作工学院学报(自然科学版)》期刊2000年05期)
可逆调试论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
在工业工程的建设中,电气调试工作领域很广,直流电动机及其控制系统调试只是其中的一种,直流传动控制系统调试比较复杂,它除了要有基本理论知识外,还要有丰富的实践电气调试经验。研讨了已基本形成的可行地调试流程、方法以及步骤。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
可逆调试论文参考文献
[1].江山.嵌入式多核架构可逆调试技术研究[D].浙江大学.2016
[2].罗学钢,罗晔.直流电动机(可逆)传动调速系统调试研讨[J].机电工程技术.2013
[3].邵腾刚,张俊飞.基于虚拟机日志记录回放的可逆调试方法[J].计算机应用与软件.2011
[4].刘西洋,刘涛,柏志文,王艳,穆浩英.一种优化的跨平台可逆调试器[J].西安电子科技大学学报.2009
[5].王艳.嵌入式系统可逆调试器的设计与实现[D].西安电子科技大学.2009
[6].邢德臣.江阴西城钢铁公司1450mm六辊可逆冷轧机调试结束通过用户考核验收[J].一重技术.2005
[7].冯和平.有准备逻辑无环流可逆调速系统及其调试[J].矿业研究与开发.2004
[8].В,Ф,Рашников,朱晓光,高真凤.双机架可逆冷轧机的建设与调试[J].鞍钢技术.2004
[9].汪瑞庆,张国辉.可逆锤击式碎煤机及附属设备的安装调试[J].河北电力技术.2003
[10].胡少清,宁宇,黄建民.可逆冷轧机主传动电气调试技术[J].焦作工学院学报(自然科学版).2000