基于未来锁集的死锁规避

来源：计算机研究与发展杂志2017年第2期北京时间：

作者：禹振,苏小红,齐鹏,马培军,

摘要：针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题，提出一种基于未来锁集的动静结合死锁规避方案Flider.基本思想是，对于一个加锁操作，若其未来锁集中的所有锁都是空闲的，则执行该加锁操作不会导致死锁.一个加锁操作的未来锁集包括当前要加锁的锁和从该加锁操作到与之相对应的解锁操作过程中遇到的所有加锁操作所要加的锁.通过静态分析，计算锁效应信息并插桩到相应的加锁操作和函数调用操作前后.通过动态分析，劫持加锁操作，根据其锁效应信息为之计算未来锁集，只有当未来锁集中的所有锁都未被锁定才执行该加锁操作，否则等待.测评实验和对比实验表明Flider能智能主动地规避多种类型死锁，开销较小，扩展性好，不影响程序正确性.

关键词：并发缺陷, 并发测试, 死锁, 死锁检测, 死锁规避, 未来锁集,