分布式软件事件级重演调试方法与工具

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:sandybobo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着分布式系统的不断发展,分布式软件的调试成为一个日益重要的问题。然而,由于分布式软件执行行为存在“不确定性”,无法应用传统的循环调试方法;同时,全局一致性状态的维护问题使得传统调试中断点和单步调试等方法无法适用。基于事件模型的记录重演机制可使分布式软件的错误再现,同时提供了事件级别的调试方法,可以有效的提高分布式软件的调试效率。本文将基于事件模型的记录重演机制应用到分布式软件的调试中,研究提出了事件级别的重演调试方法。首先,在对分布式软件的特征以及调试需求进行分析的基础上,本文给出了一种基于事件模型的分布式软件调试框架及调试流程。其次,重点研究了监测过程中系统偏序模型的建立、监测后分布式系统因果分布式断点的计算以及重演的控制策略等问题,同时针对分布式调试提出了事件级别的断点和单步调试方法。最后对重演调试策略及事件级别调试方法进行了实现。本文已将所实现工具应用至综合化航空机载分布式领域,通过对实验过程和实验结果的研究和分析,验证了事件级重演调试方法的有效性。
其他文献
随着我国经济社会的不断发展以及全球化发展的不断推进,中学生的思想道德教育面临着越来越复杂的局面,外部环境以及国外思想价值观的对中学思想道德产生了一定的冲击,在这种情况
目的探究儿科留置针穿刺置管中使用单手送管的临床应用价值。方法由该院自2018年1月—2019年12月接收外周静脉留置穿刺患儿中,随机选出100例进行分组研究,选50例行双手送管的
目的:本研究主要应用CKD生存质量的特异性量表(KDQOLTM-36)以及Zung焦虑自评量表(SAS)和Zung抑郁自评量表(SDS),对70例不同中医正虚证型的慢性肾脏病1-4期患者进行生存质量评
二十世纪以来,实证法学受到越来越多的质疑,世界各国开始普遍地承认法律的道德性,这种倾向被称之为自然法的复兴。如果从比较法的角度来看,容隐制度的现代化转型也未尝不可以
陕西作为西部地区的省份之一,处于我国东部与西部之间的接合点,如何搞好地方立法工作,推动大开发,实现经济和社会各项事业的新跨越,是陕西地方立法工作面临的十分紧迫的任务。
2020年9月初,小提琴家宁峰在国内多次演出了贝多芬的小提琴协奏曲,以及十首为钢琴和小提琴而作的奏鸣曲(钢琴:黄秋宁)。他以超凡的演奏强度,系统地呈现了贝多芬除两首浪漫曲
俗话说,“一日之计在于晨”。清晨学生头脑清醒,记忆力好,精力旺盛,利用好英语早读课对学生的英语学习起到事半功倍的作用。那么如何提高英语早渎课的有效性呢?下面我就谈谈自己任
随着我国科学技术的不断发展,我国已经逐渐迈入了网络信息时代。同时云计算下网络安全技术得到了广泛的运用,为人民群众的生活和生产带来了翻天覆地的变化。文章就云计算的基本含义作为切入点,立足于云计算下网络安全技术的现状,就云计算下网络安全技术的问题和隐患提出了改进建议。希望能为广大业内人士提供一些浅薄的建议。
研究显示,黄颡鱼雄鱼生长速度明显快于雌鱼,一龄雄性黄颡鱼比同类雌鱼的生长速度快30%左右。养殖第2年的雄鱼可生长至200~350克,而雌鱼却只有75~150克,雌雄生长差异接近3倍。利用鱼
目的研究山东地区乙型肝炎(简称乙肝)和丙型肝炎(简称丙肝)重叠感染状况及流行病学特点。方法采用化学发光免疫分析法对2011-2016年在山东省立医院就诊的321 501例患者进行乙