【摘 要】
:
交互式调试要求我们能重现测试过程中发现的bug,反复执行程序,逐步定位错误的根源。然而,随着计算机体系结构、程序设计语言等的不断丰富,以及计算机应用的快速发展,软件系统
论文部分内容阅读
交互式调试要求我们能重现测试过程中发现的bug,反复执行程序,逐步定位错误的根源。然而,随着计算机体系结构、程序设计语言等的不断丰富,以及计算机应用的快速发展,软件系统规模不断增大,任务复杂度不断提高,软件的并发性不断加强,程序中存在着大量不确定性的因素导致bug难以复现。为了解决这个问题,学术界提出了执行重放的方法,找出程序中所有不确定因素,并在一次执行中将它们的表现记录下来,使得这些不确定因素始终按记录中的方式表现。采用重放的方法支持软件调试与故障诊断具有实现成本低、调试效果好等特点。但是,现有的重放系统只关注于应用程序,无法支持系统级的重放,并且这些技术往往需要修改操作系统或库函数。基于虚拟机扩展技术的重放技术不需要修改应用程序与操作系统,系统的行为能够与真实情况下做到尽可能的一致,对于用户来说可以做到透明。因而我们采取这种方法来实现系统的重放,研发了全系统重放系统Bbreplayer(bochs-based replayer)。Bbreplayer以较小的时间(平均开销小于8%)和存储开销实现了全系统的精确回放。同时,为了在重放过程快速高效重构系统状态并有效支持系统回退,Bbreplayer支持增量型检查点的设置,对比相应的全量检查点,它在时间开销上减少了60%以上,存储开销上减少了70%以上。
其他文献
随着人们对美的追求,针织面料紧身内衣越来越受到人们的青睐,由此而引起的服装压舒适性问题也引起了业内专家的关注。因此,影响弹性针织面料服装压因素的研究有着重要的意义
餐饮废油质量极差、极不卫生,过氧化值、酸价、水分严重超标,含有大量的腐败因子、黄曲霉菌和不洁物质,食用后对人体危害极大,餐饮废油重返餐桌,让人们谈之色变。生物柴油是
齿轮高速、重载、重量轻、小尺寸的发展趋势使得采用传统表面强化方法增加齿面硬度和增大齿轮模数来改善齿轮承载能力的方法面临很大的局限,在特殊条件下,当要求比较高时,需
本文采用β酪啡肽(Beta-casomorphins,βCMs)的RP-HPLC分析方法,系统探索其在大鼠胃肠道内的释放、吸收和代谢特性以及经胃肠道内灌注后对小肠内营养物质(葡萄糖和氨基酸)吸收的影
华法林是大多数国家长期抗凝的主要药物之一。华法林虽然可以口服给药,但其治疗范围狭窄,必须严格掌握治疗指征。此外华法林与其他药物相互作用大,个体差异较大,治疗期间需严
左手材料是一种介电常数与磁导率同时为负的人工合成材料。自2000年被成功制造出后,左手材料迅速成为物理学与电磁学领域的研究前沿与热点。目前实现左手材料已有多种方法,其
磁悬浮列车作为一种新兴的交通工具,具有速度高、污染小和能耗小等优点。但其行驶速度快,在行驶中车身引起周围空气流动,并形成涡流,会产生很大的空气动力性噪声[1 ]。如果车
随着供热和空调能耗在国民生产总能耗中所占的比率逐渐增大,各国越来越重视建筑节能的问题。蓄热是被动式太阳能建筑的三大要素之一,良好的热存储技术和系统设计能有效的降低建
目的探讨推拿治疗小儿腹泻的临床疗效。方法对笔者所在医院2010年1~12月收治的55例小儿腹泻的患儿采用推拿治疗,并与对照组进行疗效比较。结果推拿组有34例患儿痊愈,5例患儿治
随着经济的发展和改革开放的进行,我国经济体制的模式和结构发生了重大变化,发生在经济领域和商业活动中的商业贿赂(包括商业违法行为和商业犯罪行为)日益增多,滋生了犯罪和