使用锁分配图动态检测混合死锁

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:yangtianmei03
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
死锁难以暴露、重演和调试.一旦发生,将导致多线程程序响应时间增长、吞吐量下降甚至宕机崩溃.现有死锁检测技术每次只能检测一个互斥锁死锁.为一次性检测由多个线程和多个互斥锁或读写锁造成的所有类型死锁,首先提出混合锁分配图的概念和构建方法,然后提出一种利用混合锁分配图动态检测混合死锁的方法.通过劫持所有互斥锁和读写锁的加锁解锁操作,以动态构建和实时更新一个反映目标程序同步状态的混合锁分配图.通过在锁分配图上检测环并判定该环是否为死锁环来检测死锁.当检测到死锁时,输出死锁信息来辅助调试.死锁检测实验、性能影响实验
其他文献
以开发用于复合材料快速成型的感应工艺而著称的Roctool公司,正准备在RTM工艺中应用"Cage System"。目的就是有效缩短生产周期,实现每天生产约1000个RTM成型件。
期刊
为探讨绝经后期女性血清脂质及雌激素与冠心病(CHD)的关系,对63例绝经后期女性冠心病患者及45例非冠心病(对照组),进行了血清总胆固醇(TC)、甘油三脂(TG)、高密度脂蛋白胆固醇(HDL-C)、低密度脂蛋白胆固醇
非易失性内存(non-volatile memory,NVM)技术是非常具有应用前景的计算机内存技术,将会对计算机存储层次结构产生极大的影响.NVM具有可字节寻址、可持久存储、低访问延迟等特点
简要介绍了中国近年来复合材料的发展状况、应用领域、市场规模和未来的趋势,特别对玻璃纤维和碳纤维增强树脂基复合材料及其市场进行了比较全面和详细的分析总结,指出了尚存在
商业级碳纤维供应商Zoltek公司报道了在2005财政年销售额达6020万美元,比2004年的3980万美元净增加51%。但是,随着在净销售额上的上升,营业损失也从570万美元增加到810万。
公司主要产品为高品质的奶牛性控冻精,占产值的90%。另外还生产肉牛、羊和鹿性控冻精,以及根据客户需求提供少量奶牛等家畜性控胚胎、繁育部分奶牛克隆种公牛和高产母牛。
在聚合物里添加传导填料是一种提高塑料导热性的有效方法。对注塑成型的聚对苯二甲酸丁二酯板材进行广泛的热和成分测量表明,最好的传导填料是由短铝纤维组成,并且通过使用20
期刊
9月17日.由科技部农村中心副主任蒋丹平、国家林业局副司长杜纪山等六人组成的国家农业科技园区考察组来我市.就和林格尔国家农业科技园区建设情况进行中期评估考察。自治区科
基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小
网络中心化仿真的核心问题是如何动态地把散布在网络上的各种服务进行整合,以形成新的、满足不同用户需求的仿真任务共同体.提出了一种仿真任务共同体服务选择算法(simulation