死锁检测相关论文
由于当前使用的关联规则挖掘、支撑集融合检测方法受到空间爆炸问题影响，不能及时更新分布式数据库死锁集合，导致检测误差大等问题。......
随着电力行业信息化程度不断普及,电力系统对现场数据的实时处理的需求日渐提高,催生了支持实时性的高性能数据库的诞生。内存容量......
众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对P......
机器人足球比赛已经成为当前人工智能和机器人领域的研究热点之一，它的兴起促进了多智能体系统、分布式人工智能及机器人学，视觉系统......
信息技术和计算机的快速发展使得软件的执行效率和硬件的性能得到了很大的提高。在现代生活中,具备计算能力和数字通信能力的设备......
随着计算机的发展,软件的规模不断扩大,其复杂度也随之增加,软件故障正成为计算机系统失效和停机的主要因素,软件质量成为计算机领......
本文作者对基于CTR逻辑的控制流图形式化描述和验证方法进行了深入研究，完善了验证算法，加入了死锁检测功能，使该系统可以对包含死......
智能机器人是一个对外界环境高度开放的智能系统,由一系列具有独立问题求解能力的子系统组合而成。机器人各子系统在自主地完成各......
作为互连网络中一种流行的拓扑网络,k-ary n-cube网络目前面临着多应用、多业务以及业务分布不均等问题,这就要求设计的路由算法要......
学位
随着多核处理器的发展和多线程程序的普及,多线程技术的应用越来越广泛。但是在多线程程序中,当多个线程之间运行推进顺序不合适时......
由于面向对象Petri网的应用越来越广泛,以及人机交互行为在软件开发过程和实际应用中的重要性,因此本论文通过分析面向对象Petri网......
多线程技术因其可以提高计算效率、共享数据存储和节省资源开销在程序开发中得到了广泛应用,然而随着多线程程序的复杂度越来越高,......
随着实时嵌入式系统在汽车和航空电子等领域的复杂性和安全性日益突出,应用严格分析技术以确保系统可预测就显得非常重要。因此统......
并发故障普遍存在于并发程序中。并发类是并发程序开发和测试的基础。死锁是常见而不易检测的并发故障。单元测试在故障检测中发挥......
随着POSIX多线程(POSIX Threads,Pthreads)广泛应用于各类复杂并发系统,由线程竞争资源或推进顺序不合适所引发的死锁问题变得越来......
在当今的制造领域,越来越多柔性制造系统已经取代了传统的大批量单一种类加工制造系统,而现代企业也越来越多地把柔性制造系统作为......
随着云计算和Web服务技术的持续升温,Web服务组合也逐渐成为业界关注的重点。Web服务组合是一系列相互独立的Web服务构件的聚集,是......
模型的建立是使用Petri Net对柔性制造系统(FMS)进行控制,确认,性能分析和仿真的第一步。本文将一个子类L-S3PR网中的活性性质进行......
死锁的处理长期以来一直是分布式系统的研究重点,已有许多成熟算法.随着网络技术的发展,越来越多的客户和资源可在网络中自由移动,......
深入研究了操作系统死锁产生的原因以及死锁检测算法，提出了一种新的死锁检测算法并讨论了实现方案。该算法不但对单机系统的死锁有......
时钟约束语言CCSL是一种用于描述实时嵌入式系统中事件之间约束的形式化语言,它是UML针对实时嵌入式系统建模的扩展包MARTE（modelin......
针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足，提出扩展C／C＋＋标准语法，增加临界资源定义及操作关键字的......
在每种资源只有一个个体的情况下，本文给出了一种避免死锁的安全算法。该算法是对现有的一种安全算法的改进，改进后的算法被命名为触......
信标的受控性是检测柔性制造系统（flexible manufacturing system,FMS）Petri网模型是否存在死锁的关键因素.对于普通Petri网,在任何......
利用模块化设计的思想,首先为分布式数据库系统中各事务的每一种操作(读锁、写锁、解锁)构造一个基本的加权Petri网模型,并给出了......
Concurrency and sharing resource of system are the main properties of concurrent operating system. Dead-lock is a import......
分布式锁管理DLM细化了锁模式的粒度,使得分布式系统具有更高的并发性,但死锁检测等锁的管理过程却更加复杂了,Petri网的应用能很......
本文提出一种基于资源分配图的死锁检测算法，由于以进程间通信的方式进行死锁检测，使得该算法既适用于集中式系统又适用于分布式系统......
为了使FMS实时控制系统OCPN(面向对象的着色Petri网)模型具有可靠性,本文在D' Souza的死锁分析算法基础上,提出了检测通用OPN(......
用静态分析方法对并发程序进行死锁检测通常比较困难，其原因是会遇到状态空间爆炸问题．文中针对作者曾提出的一种可有效避免状态爆炸......
卡恩进程网络（KPN）是一种应用于数据流建模的模型。由于理想的KPN需要无限制容量的用于通信的管道,而这种要求用计算机是无法实现的,......
移动代理技术在为分布式应用提供全新的网络计算方式的同时也产生了传统分布式计算领域所没有的新的交互模式和执行模式。传统分布......
并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSI......
动车组网测试装置是保证高铁快速稳定运行的重要部件。传统的动车组网测试装置采用侧变流器逻辑调速控制,采用出现电网谐波污染和......
死锁是操作系统、数据库系统以及通信网络中经常出现的现象。分析了使用资源分配图和进程等待图完成死锁检测的不足,提出了资源等......
多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划......
针对BPEL（Business Process Execution Language）流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程......
针对为工步准备刀具的柔性制造系统中由于刀具资源竞争导致的死锁问题，采用图论方法进行了分析，建立了刀具流状态演变图，定义了机床阻......
分布式系统技术为采用低成本购建高性能系统提供了有效的途径，但是由于资源的分配与需求可能产生冲突，造成系统中发生死锁，导致系统运......
死锁难以暴露、重演和调试．一旦发生，将导致多线程程序响应时间增长、吞吐量下降甚至宕机崩溃．现有死锁检测技术每次只能检测一个互斥......
随着国产处理器和国产操作系统的逐步推广应用,越来越多的开发人员在国产平台下开发多线程程序.目前国产平台普遍采用的Qt Creator......
针对嵌入式系统死锁缺陷问题,提出了一种基于Lamport clock插桩记录的嵌入式系统死锁检测方法——LPM（Lamport clock Pile Record D......
在操作系统内核中,自旋锁是一种应用非常广泛的锁机制,能大幅提高系统性能和吞吐量;另一方面,自旋锁的使用不当,会立即将系统锁死,......
讨论了并发执行的移动代理间的一致性控制问题,给出了移动代理的形式模型及其交互执行的正确性准则,然后基于上述模型,提出了一种......
针对RS-485接口收发电路的特点,讨论RS-485总线在Polling和CSMA/CA通信方式中死锁检测和解除死锁的方法。该方法同样适用于RS-422......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
