【摘 要】
：
针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题,提出一种基于未来锁集的动静结合死锁规避方案Flider.基本思想是,对于一个加锁操作,
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金项目(61173021)~~
论文部分内容阅读
针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题,提出一种基于未来锁集的动静结合死锁规避方案Flider.基本思想是,对于一个加锁操作,若其未来锁集中的所有锁都是空闲的,则执行该加锁操作不会导致死锁.一个加锁操作的未来锁集包括当前要加锁的锁和从该加锁操作到与之相对应的解锁操作过程中遇到的所有加锁操作所要加的锁.通过静态分析,计算锁效应信息并插桩到相应的加锁操作和函数调用操作前后.通过动态分析,劫持加锁操作,根据其锁效应信息为之计算未来锁集,只有当未来锁集中的所有锁都未被锁
其他文献
提起今年《政府工作报告》中关于“积极构建综合交通体系”部分，市人大代表、高铁安阳东站站长薛梅英十分赞同。$$ “记得高铁刚开通不久后的一天早晨，一位老人带着孙子乘车
构建创客空间是新形势下图书馆服务转型的重要契机。通过对美国和我国的公共图书馆及高校图书馆创客空间的建设情况做对比分析,探讨高校图书馆在构建创客空间方面的优、劣势,
司法权运行具有更高程度的法定性和稳定性，其各个环节和要素都必须符合法律规定的条件，从审判组织的组成，到管辖、立案、送达，开庭、判决等都必须严格依法进行，否则就可能造成裁判
<正>上一讲我们主要介绍了出院后支气管哮喘病人在社区管理中的药物治疗,这讲主要介绍非药物治疗。健康教育管理目标①达到并维持症状的控制;②维持正常活动,包括运动量;③维
目的:探讨综合护理干预对哮喘患者在雾霾天气中达到哮喘良好控制的作用。方法:收治哮喘患者100例,进行综合护理干预,包括在雾霾天气中的自我防护、正确使用吸入药物、病情监
<正>基本情况与过程患者,男,47岁。因患有中度脂肪肝收住院。2年前使用伊曲康唑治疗灰指甲。入院后行胆囊切除术后出现黄疸,ALT、AST升高,胆汁分泌<100ml/日。
随着我国经济的快速发展,城市化建设也在加快步伐,城市化进程日益深入,房地产项目越来越多。日常生活中随处可见高楼大厦,这些建筑提升了人们的生活质量,但其安全稳定性一直
地球上大部分的路况都不是平面地形,非足式类型的机器人无法实现在这种地形上运动,而足式机器人在复杂地形适应性、灵活性等方面具有突出的优势且具有很强的综合性。四足机器人的步态规划是其稳定行走的基础,对机器人在军事国防、勘探侦查,野外救援等多个领域中作业时提高其运动稳定性具有重要的研究意义和实用价值。本论文以实验室自主设计研发的平面八杆腿式四足步行机器人为研究对象,对四足步行机器人步态规划及稳定性进行研
高血压的最终治疗目标是减少高血压患者心、脑血管病的发生率和死亡率。中国高血压的特点是"三高三低",患病率高、增长趋势高,危害性高、知晓率低、治疗率低、控制率低,因此
目的:通过建立新生儿听力普遍筛查(universalnewbornhearingscreen-ingUNHS)模式,获得佛山地区出生婴儿听力损失的基本资料。方法:选择佛山市妇幼保健院2001-05-14/2002-12-2