期刊文献+
共找到384篇文章
< 1 2 20 >
每页显示 20 50 100
Kind of deadlock-free scheduling method
1
作者 徐刚 吴智铭 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2004年第3期399-406,共8页
Deadlock must be avoided in a manufacturing system. In this paper, an efficient algorithm for finding an optimal deadlock-free schedules in a manufacturing system with very limited buffer is presented. This algorithm ... Deadlock must be avoided in a manufacturing system. In this paper, an efficient algorithm for finding an optimal deadlock-free schedules in a manufacturing system with very limited buffer is presented. This algorithm is based on the effective genetic algorithm (GA) search method, and a formal Petri net structure is introduced to detect the token player assuring deadlock-free. In order to make the scheduling strategy generated by GA meet the required constraint of deadlock-free, some results of the structure analysis of Petri net are involved as a criterion to select deadlock-free schedule from the population generated by GA. The effectiveness and efficiency of the proposed approach is illustrated by using an example. 展开更多
关键词 GA Petri net deadlock scheduling.
在线阅读 下载PDF
基于跳点优化蚁群算法的菠萝田间导航路径规划 被引量:1
2
作者 刘天湖 赖嘉上 +4 位作者 孙伟龙 陈嘉鹏 梁兆正 刘舒阳 陈思远 《农业机械学报》 北大核心 2025年第4期387-396,共10页
针对传统蚁群算法在农机导航路径规划中存在前期搜索盲目、死锁、收敛速度慢、收敛路径质量低的问题,本文提出基于跳点优化蚁群算法(Jump point optimized ant colony algorithm,JPOACO)的路径规划方法。首先,使用优化跳点搜索算法对地... 针对传统蚁群算法在农机导航路径规划中存在前期搜索盲目、死锁、收敛速度慢、收敛路径质量低的问题,本文提出基于跳点优化蚁群算法(Jump point optimized ant colony algorithm,JPOACO)的路径规划方法。首先,使用优化跳点搜索算法对地图进行预处理,获得简化跳点;其次,通过简化跳点对栅格地图进行信息素初始化,以加强简化跳点的引导能力和减少前期盲目搜索;接着,设计蚂蚁死亡惩罚机制,以降低陷入死锁蚂蚁走过路径的信息素,减少死锁问题的发生;再者,通过重新设计启发式信息函数并引入分级式信息素因子改进状态转移概率函数,以提高收敛速度,缩短路径长度;最后,采用路径优化策略删减不必要路径节点,以进一步缩短路径长度、提升平滑度,提高路径质量。仿真结果表明,在简单环境中,JPOACO算法求得的路径长度较传统蚁群算法和另一种优化蚁群算法短约22.6%和2.0%,收敛迭代次数、收敛时间分别减少约77.0%、77.5%和49.3%、87.8%,零死亡迭代次数和零死亡时间较后者减少约19.5%和80.5%;在复杂菠萝种植环境中,JPOACO算法较传统蚁群算法和另一种优化蚁群算法求得的路径长度短16.6%和4.7%,收敛迭代次数、收敛时间分别减少约77.1%、17.4%和73.7%、47.4%,零死亡迭代次数和零死亡时间较后者减少约34.3%和58.2%,表明本文算法具有较高的适用性和可行性。 展开更多
关键词 菠萝园 路径规划 蚁群算法 跳点搜索算法 死锁
在线阅读 下载PDF
多芯粒网络中负载均衡的死锁解决算法
3
作者 周宏伟 陈志强 +1 位作者 曾坤 邓让钰 《国防科技大学学报》 北大核心 2025年第2期146-154,共9页
针对多芯粒网络中存在跨芯粒的死锁问题以及链路故障导致的网络连通性问题,提出一种面向多芯粒网络的优化报文重传机制。通过在重传机制中使用“报文合并”功能来减少控制报文的数目,降低网络的负载;通过使用“报文转发”功能并采用转... 针对多芯粒网络中存在跨芯粒的死锁问题以及链路故障导致的网络连通性问题,提出一种面向多芯粒网络的优化报文重传机制。通过在重传机制中使用“报文合并”功能来减少控制报文的数目,降低网络的负载;通过使用“报文转发”功能并采用转发到邻居策略,降低芯粒间网络链路故障的容错成本,实现芯粒内网络更均衡的负载。模拟实验结果表明:相较于转向限制,所提方法在延迟基本不变的前提下提升12.5%~25%的饱和带宽,在出现链路故障时,最高提升50%的饱和带宽。“报文合并”可以有效减少控制报文的数目从而降低网络整体的负载。“报文转发”容错成本更低、能够实现芯粒内网络更均衡的负载。 展开更多
关键词 芯粒 容错 死锁 重传
在线阅读 下载PDF
仓库多AGV路径冲突问题研究综述
4
作者 颜伟 黄冠鹏 +1 位作者 高玉萍 刘阳 《科学技术与工程》 北大核心 2025年第18期7465-7474,共10页
近年来,中国制造业持续快速发展,越来越多的企业选择无人搬运车(automated guided vehicle, AGV)作为智能物流系统的核心设备。为保证仓储运行效率,解决AGV间运输路径冲突的问题越发得到学者们的关注。从两个角度对仓库多AGV路径冲突问... 近年来,中国制造业持续快速发展,越来越多的企业选择无人搬运车(automated guided vehicle, AGV)作为智能物流系统的核心设备。为保证仓储运行效率,解决AGV间运输路径冲突的问题越发得到学者们的关注。从两个角度对仓库多AGV路径冲突问题进行文献综述。首先,从冲突类型的角度,将研究问题分为碰撞问题和死锁问题,分析不同冲突类型下多AGV防碰撞策略的研究现状。其次,从模型求解算法的角度,将其分为启发式算法和强化学习算法,分析近年来两者在仓库多AGV路径冲突问题中的应用;最后,对现有文献进行总结,并提出未来仓库多AGV路径冲突问题的发展方向。 展开更多
关键词 碰撞 死锁 多AGV 启发式算法 强化学习
在线阅读 下载PDF
新《公司法》背景下司法解散制度的柔性适用
5
作者 汪青松 《政治与法律》 北大核心 2025年第6期51-63,共13页
司法解散制度存在裁判标准模糊、替代措施虚化等实践困境,由此造成的刚性适用容易导致部分有存续价值的公司被迫解散,增加社会资源损耗。2023年修订后的《中华人民共和国公司法》背景下的司法解散制度应当实现从股东个体利益到公司整体... 司法解散制度存在裁判标准模糊、替代措施虚化等实践困境,由此造成的刚性适用容易导致部分有存续价值的公司被迫解散,增加社会资源损耗。2023年修订后的《中华人民共和国公司法》背景下的司法解散制度应当实现从股东个体利益到公司整体利益、从增强股东救济到尊重多数意志、从“割裂式判决”到系统性判决的应然转向。这些转向彰显出司法解散制度从刚性司法向柔性司法理念变革的必要性。司法解散制度柔性适用理念可以为完善公司退出法律制度提供理论支持,为司法机关提供操作性强的裁判指引。实现司法解散制度柔性适用的主要路径包括实体层面细化法律规则的适用标准,程序层面增强审理流程的制度弹性,救济层面注重多元措施的灵活运用。 展开更多
关键词 司法解散 公司僵局 股东压制 柔性适用
在线阅读 下载PDF
基三众核架构中基于同步哈密顿环的无死锁策略
6
作者 李春峰 Karim Soliman +1 位作者 计卫星 石峰 《计算机研究与发展》 北大核心 2025年第4期930-949,共20页
确保片上网络(network-on-chip,NoC)中的数据传输无死锁,是NoC为多处理器片上系统(multi-processor system-on-chip,MPSoC)提供可靠通信服务的前提,决定了NoC甚至MPSoC的可用性.现有的通用防死锁策略难以发挥出特定拓扑结构的自身特点... 确保片上网络(network-on-chip,NoC)中的数据传输无死锁,是NoC为多处理器片上系统(multi-processor system-on-chip,MPSoC)提供可靠通信服务的前提,决定了NoC甚至MPSoC的可用性.现有的通用防死锁策略难以发挥出特定拓扑结构的自身特点和优势,甚至可能会增加网络延迟、功耗以及硬件复杂性.另外,由于路由级和协议级死锁存在显著差异,现有无死锁方案较难同时解决这2类死锁问题,影响了MPSoC的可靠性.利用基三众核架构(triplet-based many-core architecture,TriBA)中拓扑结构自身具有的哈密顿特性提出了基于同步哈密顿环的无死锁策略,该策略依据拓扑结构自身的对称轴和哈密顿边对数据传输进行分类,预防了协议级死锁并提高了数据传输速度;同时使用循环链表技术判断同一缓冲区内数据同步传输方向,消除了路由级死锁并降低了数据传输延迟.在优化前瞻路由算法基础上,设计了基于同步哈密顿环的无死锁路由机制HamSPR(Hamiltonian shortest path routing).GEM5仿真结果表明,与TriBA现有方法相比,HamSPR在合成流量下的平均数据包延迟和功耗分别降低了8.78%~65.40%和6.94%~34.15%,吞吐量提高了8.00%~59.17%;在PARSEC测试集下的应用运行时间和平均数据包延迟分别最高实现了16.51%和42.75%的降低.与2D-Mesh架构相比,TriBA在PARSEC测试集下的应用性能实现了1%~10%的提升. 展开更多
关键词 众核处理器 片上网络 基三众核架构 哈密顿特性 路由算法 死锁预防
在线阅读 下载PDF
混合离散蛙跳算法求解柔性装配系统调度问题
7
作者 李晓玲 冯彦翔 +1 位作者 张广辉 段浩浩 《控制理论与应用》 北大核心 2025年第4期816-826,共11页
本文主要研究不含中间缓冲区的柔性装配系统(FAS)的优化调度问题,其中当工件竞争使用有限的生产资源时,不合理的资源分配会导致系统死锁(deadlock).针对易死锁(deadlock-prone)FAS的优化调度问题,本文采用Petri网建模,提出了一种混合离... 本文主要研究不含中间缓冲区的柔性装配系统(FAS)的优化调度问题,其中当工件竞争使用有限的生产资源时,不合理的资源分配会导致系统死锁(deadlock).针对易死锁(deadlock-prone)FAS的优化调度问题,本文采用Petri网建模,提出了一种混合离散蛙跳算法(HDSFLA)以最小化最大完工时间(makespan).首先,提出了一种新的编码解码方法,其中一个个体编码为一个包含全部工件加工信息的变迁序列,可解码为一个工件–工序序列;其次,为了保证种群中个体的可行性,提出了一个个体修正算法和基于最早引发时间的改进个体修正算法,从而将不可行个体修复为可行个体;然后,结合编码特征设计了用于生成新个体的交叉操作;最后,为了平衡算法的全局搜索和局部开发能力,设计了一个基于交换和插入算子的局部搜索策略.通过不同规模算例上的仿真实验和算法对比分析,验证了HDSFLA的有效性. 展开更多
关键词 柔性装配系统 死锁 PETRI网 调度 混合离散蛙跳算法
在线阅读 下载PDF
面向对象范型体系结构中构件行为相容性研究 被引量:18
8
作者 胡海洋 吕建 +1 位作者 马晓星 陶先平 《软件学报》 EI CSCD 北大核心 2006年第6期1276-1286,共11页
软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结... 软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性. 展开更多
关键词 构件 构件组装 软件体系结构 行为相容 无死锁
在线阅读 下载PDF
基于面向对象赋时Petri网的出入库系统建模 被引量:16
9
作者 刘韬 傅卫平 +2 位作者 王雯 李德信 谢敬 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第3期537-541,共5页
采用面向对象的赋时Petri网(ObjectOrientedTimedPetriNet,OOTPN)来讨论自动化立体仓库出入库(AS/RS)调度的建模问题。首先,对立体仓库的出入库调度元素进行分类和抽象聚合,得到系统的类关系;然后,在此基础上建立了由六个子模块组成的... 采用面向对象的赋时Petri网(ObjectOrientedTimedPetriNet,OOTPN)来讨论自动化立体仓库出入库(AS/RS)调度的建模问题。首先,对立体仓库的出入库调度元素进行分类和抽象聚合,得到系统的类关系;然后,在此基础上建立了由六个子模块组成的立体仓库出入库调度的OOTPN模型;最后,分析了该模型的死锁问题。 展开更多
关键词 自动化立体仓库 出入库调度 OOTPN 死锁
在线阅读 下载PDF
Torus网络中分布式自适应路由算法 被引量:11
10
作者 顾华玺 刘增基 +1 位作者 王琨 谢启明 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第3期352-358,共7页
基于转向模型提出适用于Torus网络的3种分布式自适应路由算法.算法将物理网络逻辑上分为虚网络,分组路由按照预定的规则使用不同的虚网络,从而达到无死锁,无活锁的目的.在二维Torus网络中实现这3种算法,仅需3条虚信道,这是目前Torus网... 基于转向模型提出适用于Torus网络的3种分布式自适应路由算法.算法将物理网络逻辑上分为虚网络,分组路由按照预定的规则使用不同的虚网络,从而达到无死锁,无活锁的目的.在二维Torus网络中实现这3种算法,仅需3条虚信道,这是目前Torus网络中实现无死锁自适应路由所需虚信道数目的最小值.对所提算法的性能采用OPNET软件进行仿真,拓扑采用8×8 2D Torus.结果表明,与广泛用于实际系统的维序路由算法相比,这3种算法具备自适应性,在不同流量配置下都能提高网络的时延吞吐性能. 展开更多
关键词 TORUS网络 路由 死锁 活锁 自适应
在线阅读 下载PDF
基于2D Mesh的NoC路由算法设计与仿真 被引量:27
11
作者 欧阳一鸣 董少周 梁华国 《计算机工程》 CAS CSCD 北大核心 2009年第22期227-229,235,共4页
在研究Turn Model模型的基础上,提出一种基于2D Mesh结构的XY-YX路由算法,是一种确定性的无死锁的最短路径路由算法。给出无死锁的证明,通过片上网络(NoC)模拟仿真实验平台NIRGAM,将该算法在一个4×4的2D Mesh网络中进行仿真。
关键词 片上网络 路由算法 死锁 仿真
在线阅读 下载PDF
并发缺陷暴露、检测与规避研究综述 被引量:20
12
作者 苏小红 禹振 +1 位作者 王甜甜 马培军 《计算机学报》 EI CSCD 北大核心 2015年第11期2215-2233,共19页
当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定性,并发程序易于遭遇并发缺陷,并且它们难以检测、调试和修复.文中指出软件开发正从顺序模式转向并发模式... 当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定性,并发程序易于遭遇并发缺陷,并且它们难以检测、调试和修复.文中指出软件开发正从顺序模式转向并发模式的趋势,揭示并发程序和并发缺陷各自的三大特点,剖析并发缺陷面临的三大挑战,然后将并发缺陷分为死锁、数据竞争、原子性违背和顺序违背4类,并讨论4类并发缺陷的相互关系,接着就如何尽快暴露、及时检测和高效规避各类并发缺陷对已有研究作出分析、比较和归纳,最后从智能快速的缺陷暴露、通用准确的缺陷检测、确定性重放支持、软硬件协同设计和新的并发编程模型等5个方面展望了未来的研究重点. 展开更多
关键词 并发缺陷 死锁 数据竞争 原子性违背 顺序违背 程序分析 软件测试
在线阅读 下载PDF
一种无死锁的时间管理算法 被引量:23
13
作者 刘步权 王怀民 姚益平 《软件学报》 EI CSCD 北大核心 2003年第9期1515-1522,共8页
高层体系结构HLA(high level architecture)是美国国防部提出的建模和仿真的标准,时间管理服务是其重要的组成部分,而GALT(greatest available logical time)的计算是RTI(runtime infrastructure)时间管理服务实现的核心技术.GALT算法... 高层体系结构HLA(high level architecture)是美国国防部提出的建模和仿真的标准,时间管理服务是其重要的组成部分,而GALT(greatest available logical time)的计算是RTI(runtime infrastructure)时间管理服务实现的核心技术.GALT算法容易导致死锁,继而导致整个仿真无法推进.在Frederick Kuhl算法的基础上探讨了死锁产生时系统所特有的一些规律,得出了一些重要结论:如果系统处于死锁状态,则所有盟员的GALT和输出时间一定分别相等,并且GALT一定等于输出时间;所有Lookahead大于0的盟员一定处于NMR/NMRA推进状态而不会处于其他推进状态(TAR/TARA/FQR).最后提出了基于身高测量法的无死锁的GALT算法,身高测量法为RTI中时间管理模块的实现提供了可靠保证. 展开更多
关键词 高层体系结构 时间管理 GALT 死锁 身高测量法
在线阅读 下载PDF
自动导引车系统实时多属性任务调度方法 被引量:14
14
作者 肖海宁 楼佩煌 +1 位作者 满增光 钱晓明 《计算机集成制造系统》 EI CSCD 北大核心 2012年第10期2224-2230,共7页
针对制造系统环境下自动导引车系统任务调度问题,提出一种实时多属性任务调度方法;建立综合考虑加工子系统和搬运子系统的制造系统模型;采用输入输出缓冲区状态等系统属性衡量搬运任务的紧迫性,暂时禁止搬运非紧急任务以提高加工子系统... 针对制造系统环境下自动导引车系统任务调度问题,提出一种实时多属性任务调度方法;建立综合考虑加工子系统和搬运子系统的制造系统模型;采用输入输出缓冲区状态等系统属性衡量搬运任务的紧迫性,暂时禁止搬运非紧急任务以提高加工子系统的效率;为避免制造系统出现死锁,在调度过程中采用启发式调度规则临时禁止一些关键任务;为提高搬运子系统的效率,将空载路程作为任务分配的依据。仿真结果表明,与三种常用调度方法相比,所提方法具有更好的整体性能。 展开更多
关键词 自动导引车 死锁 多属性任务调度方法 调度
在线阅读 下载PDF
基于Petri网的RGVs系统中环路死锁研究 被引量:20
15
作者 吴长庆 罗键 +2 位作者 陈火国 庄进发 彭彦卿 《计算机科学》 CSCD 北大核心 2009年第4期250-253,260,共5页
为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Ti med Petri Nets,CTPN)构建了RGVs系统(Rail-Guided Vehicles system,RGVs)的动态模型。同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略。... 为实现自动小车存取系统的实时控制,基于双重着色赋时Petri网(Colored Ti med Petri Nets,CTPN)构建了RGVs系统(Rail-Guided Vehicles system,RGVs)的动态模型。同时为了提高RGVs系统的存储效率,对RGV小车采用基于最短路径的调度策略。并针对RGVs系统的临界状态即将发生环路(环路链)死锁的状况,提出了一种死锁预防的方法。最后基于VC.NET验证其有效性。 展开更多
关键词 自动小车存取系统 RGVs系统 环路死锁 PETRI网
在线阅读 下载PDF
直流调制对大型交直流互联电网安控的影响 被引量:15
16
作者 邱丽萍 陈向宜 +3 位作者 马世英 丁理杰 唐晓骏 王彪 《电力系统及其自动化学报》 CSCD 北大核心 2015年第2期89-91,102,共4页
随着大电网互联工程的推进,交直流混联运行成为趋势。大型直流系统接入系统后大大改变了原有电网运行特性,直流故障可能对电网运行带来极大隐患。为此,以四川电网为例,针对直流闭锁故障分析了不同安控措施条件下大电网的稳定恢复特性。... 随着大电网互联工程的推进,交直流混联运行成为趋势。大型直流系统接入系统后大大改变了原有电网运行特性,直流故障可能对电网运行带来极大隐患。为此,以四川电网为例,针对直流闭锁故障分析了不同安控措施条件下大电网的稳定恢复特性。综合比对分析认为:在发生系统闭锁故障后快速提升直流功率,可避免在系统中进行切机切负荷,或者降低切机切负荷量。但直流短时过负荷后的大量功率释放可能对系统造成更为严重的冲击,导致系统稳定水平下降。 展开更多
关键词 交直流混联电网 直流调制 安全稳定控制策略 直流闭锁
在线阅读 下载PDF
基于行为的多移动机器人实时队形保持 被引量:13
17
作者 曹志强 张斌 谭民 《高技术通讯》 EI CAS CSCD 2001年第10期74-77,共4页
多移动机器人队形问题是多机器人系统富有挑战性的研究方向之一。为了在动态、复杂的环境中实现队形的完全保持 ,设计了四种行为 :奔向目标行为、保持队形行为、切线避碰行为和随机扰动行为 ,同时采用“leader更换”方法实现了机器人间... 多移动机器人队形问题是多机器人系统富有挑战性的研究方向之一。为了在动态、复杂的环境中实现队形的完全保持 ,设计了四种行为 :奔向目标行为、保持队形行为、切线避碰行为和随机扰动行为 ,同时采用“leader更换”方法实现了机器人间的协调运动规划。仿真实验表明了所提行为策略可以有效的解决机器人运动过程中可能发生的冲突和死锁 ,确保了任务的顺利完成。 展开更多
关键词 队形保持 Leader更换 死锁 多移动机器人 控制策略 奔向目标行为 协调运动
在线阅读 下载PDF
MS SQL Server数据库锁技术研究 被引量:9
18
作者 谢安明 邵美珍 李冬海 《计算机工程》 CAS CSCD 北大核心 2000年第12期170-172,共3页
数据库锁是保证网络数据库中的数据安全的重要手段。文章通过对Microsoft SQL Server的锁管理机制的分析,讨论了锁的多粒度性和锁的多模式性,以及由此引出的锁升级和锁的兼容性,还有减少死锁可能性的几种方法。之后给出了手工加锁的... 数据库锁是保证网络数据库中的数据安全的重要手段。文章通过对Microsoft SQL Server的锁管理机制的分析,讨论了锁的多粒度性和锁的多模式性,以及由此引出的锁升级和锁的兼容性,还有减少死锁可能性的几种方法。之后给出了手工加锁的方法,以保证应用程序的正确运行及保持数据的一致性和正确性。 展开更多
关键词 数据库锁 数据安全 SQLSERVER 网络数据库
在线阅读 下载PDF
分布式多自主机器人系统冲突及其消解策略的实例研究 被引量:10
19
作者 陈卫东 李振海 席裕庚 《系统仿真学报》 CAS CSCD 2002年第10期1288-1292,1301,共6页
对于具有全分布式特点的大规模多机器人群体特性的研究,由于其复杂性和交互动态特性,往往缺乏明确的数学工具和分析手段,本文针对典型的群体觅食任务,以计算机仿真为手段,通过对机器人间冲突的分析,直观地揭示这类系统的典型特征。在此... 对于具有全分布式特点的大规模多机器人群体特性的研究,由于其复杂性和交互动态特性,往往缺乏明确的数学工具和分析手段,本文针对典型的群体觅食任务,以计算机仿真为手段,通过对机器人间冲突的分析,直观地揭示这类系统的典型特征。在此基础上,提出了一种基于局部广播式通讯的消解冲突策略,给出了该策略的有限状态机描述,并进行了与其他方法的对比仿真实验,实验结果表明了本文方法对提高群体性能的有效性。 展开更多
关键词 分布式多自主机器人系统 冲突 消解策略 实例 群体特性 计算机仿真
在线阅读 下载PDF
一种基于依赖分析的并发程序潜在死锁检测算法 被引量:6
20
作者 卢超 卢炎生 +1 位作者 谢晓东 赵小松 《小型微型计算机系统》 CSCD 北大核心 2007年第5期841-844,共4页
死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的并发程序潜在死锁检测算法,该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,并能定位死... 死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的并发程序潜在死锁检测算法,该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,并能定位死锁发生时各线程可能被挂起的语句节点.本文给出了算法的形式化定义和时间复杂度分析,实验测试结果表明算法是正确且有效的. 展开更多
关键词 死锁 并发 依赖分析 软件测试
在线阅读 下载PDF
上一页 1 2 20 下一页 到第
使用帮助 返回顶部