死锁检测

作品数：79被引量：100H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：韩耀军廖名学胡国玲杨朝红白哥乐更多>>
相关机构：华为技术有限公司山东科技大学北京邮电大学中兴通讯股份有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划安徽省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于深度优先搜索算法的操作系统死锁检测
《电脑与信息技术》2024年第3期17-19,54,共4页丁红霞 
操作系统在现代生活中扮演着至关重要的角色,它被嵌入各种物联网和各种规模的计算机中。操作系统提供的服务之一是为进程分配资源,在分配过程中,可能会出现死锁。因此,操作系统必须提供一个能够检查系统状态以确定是否发生了死锁的算法...
关键词：深度优先搜索 死锁检测 操作系统 等待图模型 
带有启发式因子的死锁模型检测算法
《重庆理工大学学报（自然科学）》2022年第12期305-312,共8页王焱 吴涛 杨斐 
四川省科技计划项目(2021YFQ0056,2021YFS0396,2019ZDZX0001)。
提出了一种基于差分进化算法的模型检测算法,用以解决模型检测中的死锁检测问题。模型检测方法通过抽象出一个系统的模型和定义关于该系统的具体规范,模型检测器就可以自动验证系统是否满足规范。由于一般的显式模型检测器是采用确定性...
关键词：模型检测 差分进化算法 死锁检测 
基于静态分析的分布式数据库死锁检测方法被引量：2
《信息工程大学学报》2022年第3期331-336,共6页李银萍 
由于当前使用的关联规则挖掘、支撑集融合检测方法受到空间爆炸问题影响,不能及时更新分布式数据库死锁集合,导致检测误差大等问题。因此,对基于静态分析的分布式数据库死锁检测方法进行了研究。对分布式数据库进行分析,及时更新分布式...
关键词：静态分析 分布式数据库 死锁检测 空间爆炸 常微分方程 
基于程序运行轨迹Petri网模型挖掘的死锁检测方法被引量：2
《计算机集成制造系统》2021年第9期2611-2624,共14页鲁法明 崔明浩 包云霞 曾庆田 段华 
国家自然科学基金资助项目(61602279);山东省泰山学者工程专项基金资助项目(ts20190936);山东省高等学校青创科技支持计划资助项目(2019KJN024);国家海洋局海洋遥测工程技术研究中心开放基金资助项目(2018002);青岛西海岸新区揭榜挂帅技术攻关项目。
程序死锁检测对于保证软件系统的稳定性具有重要作用。动态死锁分析方法由于具有高效和低误报率的特点而得到广泛研究。然而,传统的动态分析方法采用锁图及其各类扩展模型进行程序运行轨迹的建模和分析,它们难以对锁的授权/释放操作及...
关键词：程序运行轨迹 死锁检测 PETRI网 死锁重演 过程挖掘 
面向高带宽I/O的片上网络优化被引量：1
《计算机工程与科学》2021年第9期1538-1545,共8页石伟 龚锐 刘威 王蕾 冯权友 张剑锋 
核高基国家科技重大专项(2017ZX01028-103-002);科技部重点研发计划(2020AAA0104602,2018YFB2202603);国家自然科学基金(61832018)。
在高性能处理器中,I/O带宽需求不断增加,一方面高速接口的通道数目不断增加,另一方面接口传输速率也在逐渐提升。高性能处理器的片上网络必须能够匹配各种高速I/O的带宽需求,且必须保证DMA请求能够正确完成。然而各种高速接口协议与片...
关键词：片上网络 协议转换 高带宽 死锁检测 死锁解除 
基于锁增广分段图的多线程程序死锁检测被引量：3
《软件学报》2021年第6期1682-1700,共19页鲁法明 郑佳静 包云霞 曾庆田 段华 王晓宇 
国家自然科学基金(61602279,61472229);国家重点研发计划(2016YFC0801406);山东省泰山学者工程专项基金(ts20190936);山东省高等学校青创科技支持计划(2019KJN024);山东省自然科学基金智慧计算联合基金(ZL2019LZh001);山东省博士后创新专项基金(201603056);国家海洋局海洋遥测工程技术研究中心开放基金(2018002);山东科技大学领军人才与优秀科研创新团队项目(2015TDJH102)。
死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁...
关键词：程序验证 死锁检测 锁图 分段图 动态死锁分析 
基于CSP的多线程自动建模及死锁检测研究被引量：4
《现代电子技术》2019年第12期57-61,共5页高飞 武淑红 王耀力 
全国工程专业学位研究生教育指导委员会立项项目(2016-ZX-095);山西省应用基础研究项目(201801D121141)~~
并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSIX线程库开发的C语言程序研究并不多。为了检测POSIX线程库开发的C语言程序是否存在死锁问题,提出一种对...
关键词：多线程建模 死锁检测 语义转换 形式化验证 通信顺序进程 过程分析 
面向国产平台的程序并发性能分析技术被引量：1
《计算机系统应用》2019年第6期100-104,共5页王立杰 胡先浪 张大方 
随着国产处理器和国产操作系统的逐步推广应用,越来越多的开发人员在国产平台下开发多线程程序.目前国产平台普遍采用的Qt Creator 工具中缺乏可视化的并发性能分析工具,使得优化由于多线程同步/互斥和资源竞争带来的性能问题变得特别困...
关键词：国产平台 多线程 并发 QT Creator插件 死锁检测 
基于占优关系的MPI并行程序死锁检测被引量：1
《聊城大学学报（自然科学版）》2018年第4期104-110,共7页田甜 郭庆 张辰 
国家自然科学基金项目(61503220)资助
随着高性能技术的发展,MPI并行程序得到了越来越广泛的应用,其可靠性也得到了软件工程界越来越多的关注.一个MPI并行程序有多个并行执行的进程,每个进程包含一系列串行执行语句.死锁是并行程序的一类典型错误,本文提出一种基于占优关系...
关键词：并行程序 占优关系 死锁 通信边 
基于SMT的时钟约束语言CCSL的形式化分析方法与工具
《软件学报》2018年第6期1595-1606,共12页应云辉 张民 
国家自然科学基金(61502171)~~
时钟约束语言CCSL是一种用于描述实时嵌入式系统中事件之间约束的形式化语言,它是UML针对实时嵌入式系统建模的扩展包MARTE(modeling and analysis of real-time and embedded systems)中用于对时间建模的一个子语言.给定一组由CCSL定...
关键词：CCSL SMT 有效性证明 迹分析 死锁检测 LTL模型检测 工具 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部