死锁检测相关论文
由于当前使用的关联规则挖掘、支撑集融合检测方法受到空间爆炸问题影响，不能及时更新分布式数据库死锁集合，导致检测误差大等问题。......
程序死锁检测对于保证软件系统的稳定性具有重要作用。动态死锁分析方法由于具有高效和低误报率的特点而得到广泛研究。然而,传统......
在高性能处理器中,I/O带宽需求不断增加,一方面高速接口的通道数目不断增加,另一方面接口传输速率也在逐渐提升。高性能处理器的片......
随着电力行业信息化程度不断普及,电力系统对现场数据的实时处理的需求日渐提高,催生了支持实时性的高性能数据库的诞生。内存容量......
众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对P......
利用面向对象技术和Petri网相结合的建模方法,提出了"面向对象着色Petri网模型(OOCPN),把FMS的物理组成划分为不同的对象类,每一对......
该文以Petri网为理论工具,对于并行系统中的死锁检测问题和分布式多媒体系统的同步建模问题作了分析和研究,主要内容和研究成果包......
该文主要研究Petri网在FMS建模及死锁控制中的应用.与已有的这方面工作的区别是:以往所讨论的资源共享FMS虽然允许同一种资源可以......
分布在网络中的各个进程的协同工作是分布式实时系统中非常受关注的一个方向，通常分布式系统中使用同步与并发控制来实现各个进程的......
利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。对于一个网模型而言,找到死锁节点,利用一定办法对其死锁节点进......
计算机已经进入多核时代，从Intel，AMD，Sparc到PowerPC，CPU的设计者们不再追求单核的高频率而是向多核发展，现在的双核乃至四核CPU已经成......
MPI是分布式内存并行处理计算机上开发基于消息传递应用系统的事实标准，主要用于并行计算机和集群的高性能运算，MPICH是其重要实现。......
信息技术和计算机的快速发展使得软件的执行效率和硬件的性能得到了很大的提高。在现代生活中,具备计算能力和数字通信能力的设备......
本文作者对基于CTR逻辑的控制流图形式化描述和验证方法进行了深入研究，完善了验证算法，加入了死锁检测功能，使该系统可以对包含死......
智能机器人是一个对外界环境高度开放的智能系统,由一系列具有独立问题求解能力的子系统组合而成。机器人各子系统在自主地完成各......
随着网络技术的发展，基于网络的软件在表现形态上有了新的变化，如今软件的开发和运行正面临一个多变、复杂、难控的网络环境，因而软件......
作为互连网络中一种流行的拓扑网络,k-ary n-cube网络目前面临着多应用、多业务以及业务分布不均等问题,这就要求设计的路由算法要......
学位
随着多核处理器的发展和多线程程序的普及,多线程技术的应用越来越广泛。但是在多线程程序中,当多个线程之间运行推进顺序不合适时......
由于面向对象Petri网的应用越来越广泛,以及人机交互行为在软件开发过程和实际应用中的重要性,因此本论文通过分析面向对象Petri网......
多线程技术因其可以提高计算效率、共享数据存储和节省资源开销在程序开发中得到了广泛应用,然而随着多线程程序的复杂度越来越高,......
随着信息技术的发展,越来越多的分布式并发系统呈现出同步、并发、资源共享与冲突等特性,死锁成为这类系统必须面对的一类现象。Pe......
死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变......
随着实时嵌入式系统在汽车和航空电子等领域的复杂性和安全性日益突出,应用严格分析技术以确保系统可预测就显得非常重要。因此统......
并发故障普遍存在于并发程序中。并发类是并发程序开发和测试的基础。死锁是常见而不易检测的并发故障。单元测试在故障检测中发挥......
随着POSIX多线程(POSIX Threads,Pthreads)广泛应用于各类复杂并发系统,由线程竞争资源或推进顺序不合适所引发的死锁问题变得越来......
本文着重讨论了ＦＭＳ运控软件调试环境系统中被测对象的建模问题，提出了一种基于Ｐｅｔｒｉ网理论的宏Ｐｅｔｒｉ网（ＭＰＮ）模型，介绍了其特点及建模方法，最后给出了使用......
一、 ( 5 0分 )编译部分1 .( 1 4分 )问答题1 ) ( 8分 )当要为一种程序设计语言构造一个运行于某类机器系统上的编译程序时 ,作为......
本文深入研究了操作系统死锁产生的原因以及死锁检测的算法,并提出了一种新的改进检测算法并讨论了实现方案.本算法不但对单机系统......
容错设计随着计算机的不断发展,越来越被系统设计者所重视,同时亦为有经验的用户所关注。容错设计的优劣直接影响到系统的可靠性......
分布式系统是计算机科学领域的一个重要发展方向。但其分布式数据库的并发控制却是一个很复杂的问题。该文对分布式数据库中的并发......
该文根据数据库系统当前状态，给出了一种状态数据库，根据状态数据建立了一个Ｐｅｔｒｉ网模型，并由该模型构造出可达标识图。通过分析该可达标识......
在当今的制造领域,越来越多柔性制造系统已经取代了传统的大批量单一种类加工制造系统,而现代企业也越来越多地把柔性制造系统作为......
随着云计算和Web服务技术的持续升温,Web服务组合也逐渐成为业界关注的重点。Web服务组合是一系列相互独立的Web服务构件的聚集,是......
模型的建立是使用Petri Net对柔性制造系统(FMS)进行控制,确认,性能分析和仿真的第一步。本文将一个子类L-S3PR网中的活性性质进行......
死锁的处理长期以来一直是分布式系统的研究重点,已有许多成熟算法.随着网络技术的发展,越来越多的客户和资源可在网络中自由移动,......
深入研究了操作系统死锁产生的原因以及死锁检测算法，提出了一种新的死锁检测算法并讨论了实现方案。该算法不但对单机系统的死锁有......
时钟约束语言CCSL是一种用于描述实时嵌入式系统中事件之间约束的形式化语言,它是UML针对实时嵌入式系统建模的扩展包MARTE（modelin......
并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri......
针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足，提出扩展C／C＋＋标准语法，增加临界资源定义及操作关键字的......
Elastos是基于构件的操作系统，构件对象的行为模式决定了内核底层机制的实现。在Elastos中，进程对象、线程对象以及线程的同步对象等......
在每种资源只有一个个体的情况下，本文给出了一种避免死锁的安全算法。该算法是对现有的一种安全算法的改进，改进后的算法被命名为触......
信标的受控性是检测柔性制造系统（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网的应用能很......
在分布式多数据库环境下，局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生，故采用......
