信号量和进程互斥

本文给出了信号量的具体含义并提出用P,V原语实现进程互斥的一般模型。     

分布式系统中互斥算法的研究

公平、健壮和易于实现的分布式互斥算法对分布式系统保证数据一致性、逻辑一致性及时序一致性至关重要，互斥问题是分布式系统中一个非常重要的内容。互斥算法是用来解决共享资源访问冲突问题，阐述了分布式系统中进程的互斥问题。对几种算法进行了讨论，分析了其特点，最后给出了一个后一互斥问题的算法，并介绍了该算法应满足的条件和实现过程。     

分布式操作系统的互斥算法研究

本文主要介绍了分布式操作系统中的分布式互斥算法和令牌环互斥算法,并着重针对几种不同的令牌环算法,分析了它们算法的正确性,最后还讨论了各个算法的性能并加以比较。     

Java语言中的线程同步互斥研究

在介绍操作系统中引入多线程的原因后,介绍了Java语言中的多线程机制和编程实现方案,介绍了线程同步互斥机制,并用经典操作系统进程同步互斥算法实现程序,演示如何编写Java并发程序。     

互斥方案价值分析应用研究

在互斥方案评价中，针对如何把方案的经济效益、社会效益、生态环境效益有机地结合起来，对方案进行评价的问题，提出了一种价值分析的方法，建立了数学模型。     

智能规划中互斥动作延迟算法

为解决扩张规划图时某一时间步出现的互斥动作的延迟问题，引进了无序要求互斥动作和有序要求互斥动作的概念，并且在此基础上，给出互斥动作延迟算法．利用这一算法生成的规划图，在进行有效规划的搜索时是非常方便的．     

一种基于动作条件互斥的处理动作条件效果的算法

在给出动作无条件互斥、动作半条件互斥和动作全条件互斥等概念的基础上,提出一种新的算法,在规划图的扩张阶段建立各种互斥关系,在规划解的搜索过程中利用这些互斥关系,判断是否需要进行条件冲突检测,从而加快了有效规划的搜索,提高了系统的效率.     

互斥方案决策的增量内部收益率法探讨

针对比率型决策指标用于互斥方案比选失效的问题，提出增量内部收益率法（ΔＩＲＲ），并用边际分析和数学分析的理论方法证明该方法的正确性。最后举例说明了在资本本成本未定条件下ΔＩＲＲ法的优越性。     

谈计算机操作系统中的进程并行和互斥

操作系统的发展要求并行，而互斥是并行的前提和保证。正是并行技术和互斥技术的不断发展，推动了计算机操作系统的发展和完善。     

并发程序设计的互斥、同步及其复杂性

并行性指同时性和并发性.由于进程的并发执行,产生资源共享问题,必须考虑进程的互斥与同步问题,这增加了程序设计的难度.本文讨论并发程序设计中的互斥及同步方法,并以SISD,SIMD,MIMD等3种计算机系统结构为例,分析各种并发程序的复杂性函数.这里主要讨论程序执行时的时间复杂性问题.     

一种Glibc互斥锁的统计方法

提出一种Glibc互斥锁的快速查找统计方法。利用面向对象技术和基于接口的编程思想,使用哈希算法查找mutex统计对象,使用循环队列技术记录mutex近期的操作,使用原子操作解决资源冲突,实现了Glibc互斥锁的快速统计。试验并结合X86CPU的打点技术进行统计分析,结果表明算法可以节约统计空间开销和避免资源冲突。     

基于记录型信号量机制的进程互斥实现问题研究

从利用加锁法实现进程互斥存在的缺陷出发,论述了解决问题的方案,最后阐述了基于记录型信号量的进程互斥实现与其优势.     

同步互斥机制中的读者-写者模型

对进程同步互斥机制中读者-写者模型的3种常见类型及其2种变形进行了分析,给出了各种情况下基于P、V原语和信号量机制的解决方案,最后指出了解决这类问题的关键技术在于:采用资源计数变量把对资源的访问控制转换为对变量的访问控制.     

基于记录型信号量机制的进程互斥实现问题研究

从利用加锁法实现进程互斥存在的缺陷出发，论述了解决问题的方案，最后阐述了基于记录型信号量的进程互斥实现与其优势．     

一种改进的分布式资源共享的互斥控制算法

改进了Andfew S.TanenlJaum等提出的分布式进程互斥算法,主要方法是客户进程给其他所有进程发送请求进入临界区的消息,然后当前使用临界区的进程回答NO消息,并把该进程排入等待队列.当使用临界区的进程退出时,再行唤醒因等待该临界区而被阻塞的进程.每次如此传递,一直到再无进程使用临界区.通过性能比较,该算法能明显减少网络传输的消息数量,具有一定优势.     

一种改进的分布式互斥请求集生成算法

分布式互斥请求集的性能,对基于竞争的分布式互斥算法的消息复杂度、对称性、同步时间及容错能力等均具有直接影响.而分布式互斥请求集生成算法性能,如时间复杂度、空间复杂度,则对算法的运行速度、计算能力具有直接影响.通过对基于循环编码的分布式互斥请求集生成算法运行过程的研究,特别是对该算法的时间复杂度的研究,提出一种改进的基于循环编码的分布式互斥请求集生成算法.此算法在不明显增加算法空间复杂度和请求集长度的基础上,能够显著提高请求集生成算法的时间复杂度,从而使得算法的运行速度和计算能力都得到显著增加.     

一种引入互斥关系的功能单元分配算法

为使条件分支数据通道中功能单元的分配结果得到进一步优化,在数据流图操作相容性分析中引入操作间互斥关系,并构建基于图论的分配模型.使用团划分算法在该模型上进行功能单元分配,同时提出一种针对功能单元分配问题的团划分启发式方法.不仅提高了团划分算法求解功能单元分配问题的计算结果一致性,而且使算法的收敛速度得以提高.根据实验结果,该算法得到的数据通道中所需功能单元平均减少了41%,同时执行速度加快了50%.     

互斥多变量逻辑函数的化简方法

基于变量互斥的约束关系,以二进制编码器为例讨论了互斥多变量逻辑函数最小化及简化电路结构的公式化简问题.目的是探索特殊逻辑函数的化简方法.结论是所述方法化简过程简单、方便快捷,能提高数字逻辑电路的设计效率.     

关于进程互斥同步的讨论及PV操作编程的实践

本文从进程和并发进程的基本概念出发，较为详细地论述了进程之间的互斥和同步关系，此后，根据个人的编程经验，作者描述了三类同步互斥问题，分别给出了用ＰＶ操作解决这三类问题的编程方法，并对ＰＶ操作编程的特点进行了评价。     

试证互斥方案多种解法具有内在一致性

针对工程经济给出寿命期不等的互斥方案求解的诸解法之间关系问题，基于买方原则，证明互斥方案的多种解法具有内在一致性．证明结果表明，各种解法的解导致相同的选择，以短期寿命方案为研究期计算净现值比较，不需要各方案可完全重复的假设，且计算量不大；诸方法中以直接计算各方案之净年值并取最大者为最简单．