多线程死锁静态检测方法研究

来源 :第十四届全国容错计算学术会议 | 被引量 : 0次 | 上传用户:dengsanhua
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  死锁会导致程序无法正常运行或终止,甚至导致系统崩溃,带来不必要的损失。死锁的运行状态空间过大,难于重现和修正等问题使其成为软件领域的难题之一。本文基于对Java多线程程序死锁的分析,提出了多线程死锁静态检测方法。该方法首先通过对待测源程序的预分析,生成抽象语法树和控制流图等辅助分析结构;然后通过可达分析检测程序中线程的并发特征,使用别名分析检测所有可能存在死锁情况。之后,对潜在的死锁集合进行分析,通过门锁分析和并发与逃逸分析,排除其中不可能的死锁情况,逐步缩小死锁集合,提高检测精度。本文通过对225K行代码测试,验证了该方法可有效检测多线程程序中潜在的死锁问题。
其他文献
  由被测电路自己施加测试向量(TVAC)的内建自测试技术把被测电路视为一种可利用的资源,但因为使用多路开关、计数器、译码器等测试结构,硬件开销较大。线性反馈移位寄存器(L
在我崇敬的作家中,史铁生是重要的一位。我常常随着他两条深深的轮椅车辙,去追问何谓“命运”、“生存”以及“母亲”的真正含义。史铁生的人生,是受尽磨难的人生。荆棘丛生,
  随着FPGA集成电路制造技术的不断进步,晶体管特征尺寸已经进入到纳米级别,可靠性逐渐成为制约FPGA应用 的瓶颈。由于SRAM型FPGA包含大量存储单元,芯片受软错误的影响尤为严
会议
近年来美国单方面退出一系列世界贸易协定,以长期贸易逆差为由对中国发起了持续的贸易限制和技术封锁,对其他多个国家采取单边贸易措施,给全球制造业发展带来严重影响.在逆全
  系统管理模式(System Management Mode SMM)是x86构架下具有最高权限的操作模式,是一种预留的操作环境。它能够进行有效的电源管理,控制系统硬件或者为运行厂商设计的特殊私
会议
  本文对基于SWIFI的操作系统容错性测试框架进行了研究。操作系统容错性测试框架是在对国外相关可信基准(如DBench项目)进行充分研究的基础上,根据操作系统的具体特征确定操
  随着超大规模集成电路的飞速发展,集成电路的工艺尺寸不断减小,从而使晶体管更容易老化。本文介绍了一种预测老化电路,检测电路中的PMOS管在不工作的情况下关闭,降低了PMOS管
一月rn①中国天眼正式开放运行rn1月11日,位于四川盆地,被誉为“中国天眼”的500米口径球面射电望远镜通过国家验收正式开放运行,成为全球最大且最灵敏的射电望远镜,也意味着
期刊
  作为航天系统的重要组成部分,航天测控通信系统如何面对灾难的破坏成为航天测控通信系统的一个研究重点。本文根据信息系统承担任务的特点与灾难恢复需求的关系,提出了三种
Redmi Note9(5G)rn·6+128GB售价1299元起rn2020年11月26日,Redmi Note 9发布,新机配备6.53寸FHD+屏幕,搭载天玑800U芯片,首发UFS2.2存储,配备4800万像素三摄,搭载5000mAh电
期刊