一种基于并行技术的死锁检测算法

在介绍基于资源分配图的、传统的死锁检测算法基础上，提出一种新的基于并行技术的死锁检测算法，并用1个实例说明该算法的执行过程。新的死锁检测算法是基于矩阵表示方法，在最坏情况下，运行时间复杂度是O(min(m，n))，其中m和n分别是进程和资源的数量。新的死锁检测算法与传统的算法相比，执行时间大大减少，需要内存也比较小，系统能够很好地检测死锁的发生，并且释放占有资源。     

仿真网格中预防死锁的资源分配方法及其仿真分析

仿真网格中资源协同分配是资源组织和调度的一个重要组成部分,如何避免仿真应用之间的死锁是资源协同分配过程中需要解决的重要问题。通过对仿真网格中死锁原因的分析,对死锁的特点进行了描述。根据解决死锁问题的不同策略,提出了仿真网格中基于原子事务预防死锁的资源协同分配方法,并根据应用的不同资源分配方案给出了具体算法。通过理论分析并结合仿真试验研究了该算法在资源协同分配过程中的性能,试验证明使用该方法不仅能够避免应用资源分配过程中的死锁,与其它方法相比,还能获得好的资源分配性能。     

Java多线程的实现

介绍了使用Java语言实现多线程程序的设计方法以及应注意的问题。     

基于占优关系的MPI并行程序死锁检测

随着高性能技术的发展,MPI并行程序得到了越来越广泛的应用,其可靠性也得到了软件工程界越来越多的关注.一个MPI并行程序有多个并行执行的进程,每个进程包含一系列串行执行语句.死锁是并行程序的一类典型错误,本文提出一种基于占优关系的死锁检测方法.首先,根据通信语句之间的占优关系,得到每个进程内,通信边之间的占优关系;然后,通过判定通信边占优关系是否相互违背,检测程序中的死锁.基于上述思想,开发了基于占优关系的死锁检测原型工具,用于检测多个典型的MPI并行程序.结果表明,本文方法能够检测出程序中的死锁缺陷.     

通过回退机制解决哲学家进餐问题

根据预防死锁策略,提出一种基于回退机制的哲学家进餐问题的解决方案,并在JAVA多线程环境下通过编程实现了该方案.模拟程序运行结果验证了方案的可行性和有效性.     

分布式数据库死锁检测协议

为解决分布式数据中,由于文件加锁的冲突而引起死锁的问题。这类死锁产生的充要条件是在它的请求图中有一有向回路,本文中提出了两个死锁检测协议。协议1适用于一般分布式数据库,它只要求进行一次通讯,且只要求传送一个表的信息;协议2 是针对巨型系统的,是一个层次协议。     

Linux下的多线程编程

介绍了Linux多线程库、几种线程间互斥和同步方法的实现，及多线程程序的基本程序结构。     

网上多用户程序编制中死锁及死锁的处理

用户要在ＮＯＶＥＬＬ网络系统环境下工作，应建立起多用户的共享程序和数据库文件。在开发多用户应用程序时，因两个用户在同一时间不能锁定相同文件或数据，因此，可能在运行时因访问共享文件而发生“碰撞”，导致死锁。本文，作者对死锁产生的条件、防止方法及产生死锁后的处理进行了探讨。     

死锁定理与死锁的预防方法

本介绍了计算机操作系统中检测死锁的充分必要条件，即“死锁定理”，同时还介绍和讨论了预防计算机出现死锁的几个方法。     

浅析离散数学在计算机科学中的应用

离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性.