基于信号量机制实现特定数量关系下的进程同步

进程的同步与互斥是进程管理的重要内容,本文主要讨论了使用信号量机制实现一类具有特定数量关系要求的进程同步与互斥的方法。     

操作系统中进程同步的实现

进程同步包括进程的互斥和进程的同步两个方面,是操作系统管理共享资源的一种手段。对《操作系统》课程的进程同步教学问题进行了讨论,举例分析了通过P、V操作实现进程的同步与互斥的方法。     

基于Petri网建模的互斥问题优化方案

互斥是解决资源利用冲突、实现资源共享的一种有效方法,但是简单互斥方法给同步带来一些问题.为此从Petri网对互斥进程的表示入手,分析并提出了改进和优化的互斥进程解决方案,利用同步距离的概念对不同性质互斥进程的逻辑同步距离、时间同步距离和数据同步策略进行分析和计算,证明了优化方案在缩小同步距离、减少系统运行耗时和资源占用率方面的优势.     

用PV操作原语实现进程的同步

首先建立“进程”的概念,理解进程的动态性以及进程间的相互作用——互斥与同步,接着分析了“互斥”与“同步”在概念上的差异,重点介绍多道程序系统中的同步互斥机制——PV操作原语,详细讨论了生产者-消费者典型问题,从而总结出PV操作应用的方法。     

Posix同步机制在UNIX实时应用软件中的实现

在UNIX多进程、多线程实时应用中,同步机制是保证共享数据同步和完整的重要手段.通过一个应用实例,介绍了Posix互斥锁、条件变量、读写锁等同步机制和信号技术在多进程、多线程实时应用软件中的实现方法.     

用PV操作实现进程互斥与同步

介绍了操作系统中进程互斥与同步的基本概念,给出了用PV操作实现进程互斥与同步的基本方法,并对软件设计师考试中出现的相关试题进行了解析.     

一种基于消息槽的K资源互斥算法

在分布式操作系统等一些有多个进程同时活跃的应用中,必须妥善解决不同进程对资源的需求,即同步与互斥问题.文章提出了一种基于消息槽的K资源互斥算法,介绍了该算法的原理,详细描述了该算法的运作过程,并进行了深入的分析.分析结果表明,该算法能够有效地满足K资源分布式环境下同步与互斥的要求.     

进程互斥与同步——浅谈信号量的设置与使用

进程的同步与互斥是操作系统的重要内容,合理运用P、V操作可以防止进程死锁,本文给出分析进程同步与互斥的方法及如何编制程序。     

进程的同步与互斥

本论文中介绍了进程间的两种主要关系——同步与互斥,并举了一些例子进行说明.     

用P,V操作实现进程的同步与互斥

针对操作系统中的同步与互斥问题,首先介绍了同步与互斥的相关概念,然后对信号量与P,V操作的原理进行叙述,提出了P,V操作解决同步与互斥的模型,最后通过两个实例详细介绍了用P,V操作解决同步与互斥的过程。     

操作系统中进程同步实现方法探讨

进程同步是操作系统课程教学中的一个重点和难点,从区分简单的同步与互斥问题入手,归纳出单一的和混合的进程同步与互斥问题,并给出了解题思路和解题步骤。     

EPA通信协议在嵌入式Linux上的设计与实现

针对嵌入式系统的资源受限问题，提出了EPA通信协议在内存管理和资源同步等方面的一种设计方案。采用静态内存池的方式来避免内存碎片问题，使用阻塞/唤醒机制来同步多线程，使用互斥锁来互斥访问临界资源，从而提高EPA通信协议的实时性和稳定性；给出了EPA通信协议主要模块在嵌入式Linux下的实现过程及EPA协议的一致性测试结果。     

基于任务的SolCS内核实时能力的实现

自主研发一个嵌入式操作系统内核SolCS,其内核主要包括任务管理、中断管理、内存管理、同步与通信管理、时间管理、I/O管理等功能模块。通过对其总体架构的分析与设计,在任务管理方面实现了基于优先级的抢占式任务调度和分时间轮转调度,同时采用信号量机制来实现对临界资源的互斥访问以及利用优先级继承协议来解决优先级逆转的问题,在涉及任务的中断管理方面也作了改进,以此来增强其实时能力,使其可以提高嵌入式应用系统的实时性,能够满足实时应用的要求。     

改善Linux核心可抢占性方法的研究与实现

随着开放源码的Linux应用逐渐普及，改进Linux的性能，使其适用于实时领域成为一个极具潜力的发展方向．在参考了与此相关的研究的基础上，该文对改善Linux核心可抢占性的方法提出了3个改进措施：中断管理进程化、改进互斥锁的机制和增加互斥锁协议支持，并在Linux2．2系列的核心上加以实现．试验证明，这些改进达到了减少系统的抢占粒度，提高调度精度的目的。     

一种引入归一化常数的多值因果图推理算法

在将原单值因果图推理算法直接应用于多值因果图推理时,存在不严格满足概率推理中的归一性和互斥性要求的严重问题.该文提出的算法采用以下方法成功解决了这一难题：①假定多值因果图中原因节点对结果节点只贡献概率值,且每个贡献是简单相加的关系.即原因节点对结果节点状态的影响是非直接的,原因节点只影响结果节点各状态的概率分布,结果节点的状态由这个状态概率分布随机决定;②引入归一化常数来保证推理过程中的归一性;③通过推导出多值因果图的一个性质,即可以在推理过程中假定指向同一节点的所有连接事件的各状态之间彼此互斥来保证推理过程的互斥性.从而使得算法在推理过程中同一节点的各状态间完备且互斥,保证了推理的正确性.     

Long-distance mutual exclusion for planning

Mutual exclusion (mutex) is a powerful mechanism for search space pruning in planning. However, a serious limitation of mutex is that it cannot specify constraints relating actions and facts across different time steps. In this paper, we propose a new class of mutual exclusions that significantly generalizes mutex and can be efficiently computed. The proposed long-distance mutual exclusion (londex) can capture constraints over actions and facts not only at the same time step but also across multiple steps. As a generalization, londex is much stronger than mutex, and provides a general and effective tool for developing efficient planners.We propose two levels of londex. The first level, londex₁, is derived from individual domain transition graphs (DTGs), and the second level, londex_m, is derived from multiple DTGs by taking into account the interactions among them. Londex constraints provide stronger pruning power but also require a large amount of memory. To address the memory problem, we further develop a virtual realization mechanism in which only a small proportion of londex constraints are dynamically generated as needed during the search. This scheme can save a huge amount of memory without sacrificing the pruning power of londex.For evaluation purposes, we incorporate londex into SATPlan04 and SATPlan06, two efficient SAT-based planners. Our experimental results show that londex_m can significantly improve over londex₁ since the former exploits causal dependencies among DTGs. Our experimental results for various planning domains also show significant advantages of using londex constraints for reducing planning time.     

基于控制器局域网的分布式同步时钟的实现

由于没有一个全局的系统时钟,很难实现精度达微秒级的实时时钟。在分布式系统中,一种解决方法是将网络中所有节点的本地时钟以足够的精度进行控制同步。而控制器局域网以其严格的时间确定性为我们提供了一个简单实用,不需额外硬件的方法来实现时钟同步。文章提出了一种时钟同步协议,并且,在控制器局域网上加以实现。     

基于卫星共视法的电网时频测量及同步技术

时间同步对电网的安全和管理有着重要影响,如何准确可靠地同步电网时间值得研究。为此,提出利用卫星共视技术进行电网时间频率的远程校准、进而实现电网时间同步的方法。首先,提出电力系统的四级时间频率溯源体系,明确了电网时间频率溯源关系。其次,研究建立了可以满足卫星共视要求的时间频率计量标准装置,依托标准装置,将卫星共视技术应用于电力系统时间频率远程校准中,利用卡尔曼滤波算法去除干扰,并分析了基于卫星共视技术的电网时间频率同步方法。为定量评价提出方法的有效性,研究了采用提出的方法进行溯源时的时间不确定度和频率不确定度。实验及分析结果表明,提出的方法可以实现时间频率量值的高精度远程传递,从而保障电力系统中的时间同步。     

基于共享存储器多处理器片上系统的互斥模型*

在原有模型和算法分析的基础上,提出了一种共享存储器MPSOC互斥模型。该模型能适应各种互斥算法的描述、论证需求,能更好地描述任务优先级、实时性;能够适应区分处理器源任务的互斥算法（即区分对待来自不同处理器的任务）;严格区分并发性、并行性,描述更加精确;扩展了服务周期、事件之间关系;能够精确地量化互斥性能指标,以便更好地比较互斥算法优劣。最后,给出了该模型的一个简单实例,对模型应用提供指导。