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