专利详情

专利名称	一种基于锁提前获取的死锁自动修复方法
申请号	CN201610069697.7	专利类型	发明专利
公开（公告）号	CN105786703A	公开（授权）日	2016.07.20
申请（专利权）人	中国科学院软件研究所	发明（设计）人	蔡彦;曹玲微
主分类号	G06F11/36(2006.01)I	IPC主分类号	G06F11/36(2006.01)I
专利有效期	一种基于锁提前获取的死锁自动修复方法至一种基于锁提前获取的死锁自动修复方法	法律状态	实质审查的生效
说明书摘要	本发明涉及一种基于锁提前获取的死锁自动修复方法，属于软件测试领域和软件可靠性领域，步骤包括：首先提取程序的同步模块以及同步模块中的控制流程图，计算同步模块中对其他锁的操作的集合；然后选择合适的候选线程执行死锁修复操作：如果涉及死锁的线程中，存在一个线程，其中两个获取锁的操作之间不存在对其它锁的操作，那么，直接对该线程执行锁提前获取操作，进行死锁修复；否则，在执行锁提前获取操作的基础上附加context?aware条件控制，进行死锁修复。本发明在不引入新的锁的情况下，去修复程序中的死锁。理论上可以证明，本发明不会引入新的死锁，在成功修复20个死锁的过程中没有引入新的死锁，并且不会造成严重的性能降低问题。