基于未来锁集的死锁规避

发布时间：2018-03-17 19:34

  本文选题：并发缺陷　切入点：并发测试　出处：《计算机研究与发展》2017年02期 　论文类型：期刊论文

【摘要】：针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题,提出一种基于未来锁集的动静结合死锁规避方案Flider.基本思想是,对于一个加锁操作,若其未来锁集中的所有锁都是空闲的,则执行该加锁操作不会导致死锁.一个加锁操作的未来锁集包括当前要加锁的锁和从该加锁操作到与之相对应的解锁操作过程中遇到的所有加锁操作所要加的锁.通过静态分析,计算锁效应信息并插桩到相应的加锁操作和函数调用操作前后.通过动态分析,劫持加锁操作,根据其锁效应信息为之计算未来锁集,只有当未来锁集中的所有锁都未被锁定才执行该加锁操作,否则等待.测评实验和对比实验表明Flider能智能主动地规避多种类型死锁,开销较小,扩展性好,不影响程序正确性.
[Abstract]:Aiming at the problems of the existing dynamic deadlock avoidance methods, such as limited ability, passive blindness, large overhead and affecting the correctness of target program, a dynamic and static combined deadlock avoidance scheme based on the future lock set is proposed. The basic idea is:. For a lock operation, if all locks in its future lock set are free, The future set of locks for a lock operation includes the lock currently to be locked and all locks to be added from the lock operation to the corresponding unlock operation. Through static analysis, Calculate the lock effect information and insert the pile before and after the corresponding locking operation and function call operation. Through dynamic analysis, hijack lock operation, calculate the future lock set according to its lock effect information, Only when all the locks in the future lock set are not locked can the locking operation be performed or wait. The evaluation and comparison experiments show that Flider can intelligently avoid various types of deadlocks intelligently and initiatively, which has the advantages of low overhead, good expansibility and no influence on the correctness of the program.
【作者单位】： 哈尔滨工业大学计算机科学与技术学院;
【基金】：国家自然科学基金项目(61173021)~~
【分类号】：TP311.1

【相似文献】

相关期刊论文 前10条

1 郝克刚,叶祖尧;分布式程序中固有死锁的检测[J];西北大学学报(自然科学版);1984年04期

2 鄢勇,刘键;一种新的分布式死锁探测与解除方法[J];华中理工大学学报;1990年01期

3 孟章荣;死锁的解法[J];计算机工程与设计;1990年01期

4 常忠;126系统用户号死锁故障的探讨[J];天津通信技术;1994年03期

5 杨英;超立方和其他网络中的无死锁全自适应最小包路径的选择:算法和模拟[J];管理科学文摘;1996年02期

6 柯东林;;死锁与事务优化[J];鄂州大学学报;2007年02期

7 孙钟秀;;防止死锁的一种方法[J];南京大学学报(自然科学版);1978年02期

8 陆云升;关于计算机“死锁”问题的探讨——兼谈九○五甲机死锁问题[J];南通职大教学研究;1994年01期

9 王化冰;多资源复合共用FMS的死锁研究[J];计算机集成制造系统-CIMS;2000年04期

10 茹雨,吴维敏;基于有限容量库所方法的死锁防止算法[J];系统仿真学报;2003年S1期

相关会议论文 前4条

1 王商武;张长水;韩曾晋;;FMS运行中死锁的预测和避免[A];1993中国控制与决策学术年会论文集[C];1993年

2 张少润;吴学军;;分布式数据库系统中探测及消除死锁的算法[A];第十届全国数据库学术会议论文集[C];1992年

3 岳昊;;具有多资源需求和柔性加工路径的顺序资源分配系统Petri网模型的死锁结构特征[A];第二十九届中国控制会议论文集[C];2010年

4 白哥乐;杨朝红;王雅文;;多线程死锁静态检测方法研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年

相关重要报纸文章 前1条

1 人民银行吉林市中心支行科技处 刘志明;解决Sybase数据库死锁的方法[N];计算机世界;2001年

相关博士学位论文 前4条

1 朱森;资源分配系统死锁控制及其应用研究[D];西安电子科技大学;2009年

2 赵咪;基于一般Petri网的自动制造系统活性控制器设计[D];西安电子科技大学;2009年

3 黄忠华;自动制造系统中的无死锁调度与控制[D];上海交通大学;2007年

4 韦娜;基于无死锁初始标识的Petri网控制器设计[D];西安电子科技大学;2008年

相关硕士学位论文 前10条

1 齐鹏;基于未来锁集的死锁规避技术研究[D];哈尔滨工业大学;2015年

2 范景杨;基于时间调度的柔性制造系统控制器设计[D];西安电子科技大学;2014年

3 韦娜;基于混合整数规划的FMS活性控制器设计[D];西安电子科技大学;2006年

4 周刚;一种柔性制造系统死锁控制器的行为优化研究[D];西安电子科技大学;2007年

5 史文博;基于高级死锁检测的制造系统生产调度研究[D];上海交通大学;2009年

6 翁东良;基于二型模糊逻辑的死锁与数据竞争检测方法研究[D];苏州大学;2012年

7 郝林;基于Petri网的自动制造系统的死锁分析[D];西安电子科技大学;2002年

8 王心宇;基于一般Petri网的死锁迭代控制策略的研究[D];西安电子科技大学;2011年

9 汪世勇;Petri网死锁迭代控制中若干问题研究[D];西安电子科技大学;2010年

10 马元飞;基于时间着色Petri网的SIP协议形式化验证与分析[D];内蒙古大学;2012年

，

本文编号：1626187