Ricart & Agrawla同步互斥算法的改进*

在分布式网络系统中，为了实现系统协调一致的工作，必须要有相应的同步互斥算法来保证临界资源的互斥访问和操作。介绍了Ricart ＆ Agrawla算法的基本思想、卫星编队飞行系统层次网络环境结构的基本特点，针对系统结构背景，详细介绍了改进后算法的基本方法和消息处理实现流程。     

同步互斥问题的研究性教学

在操作系统中，引入了进程的概念之后，多个进程并发合作，或相互通信，在这个过程中，引发出一些同步一互斥的问题．学生在《操作系统》这门课程的学习中，这一问题也是一个重难点，本文探讨了这类问题的教学方法，并通过对几个实例的进一步分析，以期寻求一些求解规律。     

分布式系统中进程的同步与互斥算法讨论

详细阐述了分布式系统中进程的同步与互斥问题。对几种算法进行了讨论,分析了其特点,还提出了令牌环算法的一个改进算法。该算法解决了在真网络中可能出现的部分问题,并经过了实验验证。     

嵌入式实时操作系统任务的同步与互斥机制

文章对嵌入式实时操作系统任务管理的特点做了分析,并侧重论述了嵌入式实时操作系统任务管理的特殊性,尤其是对优先反转问题做了剖析,并指出相应的处理机制和方法,尤其是对应用较广的优先级继承算法的问题做了分析,得出其最大的缺陷是隐含有死锁问题。经过对比,得出优先级天花板算法更为可靠的结论。     

同步互斥问题的研究性教学

在操作系统中,引入了进程的概念之后,多个进程并发合作,或相互通信,在这个过程中,引发出一些同步-互斥的问题。学生在《操作系统》这门课程的学习中,这一问题也是一个重难点,本文探讨了这类问题的教学方法,并通过对几个实例的进一步分析,以期寻求一些求解规律。     

实时数据库事务的互斥与同步

实时数据库事务具有许多不同于传统数据库事务的特性,其互斥和同步问题远比传统数据库事务复杂。该文结合已研制成功的嵌入式实时数据库系统ARTs-EDB,重点讨论实时数据库事务的互斥与同步技术。事务互斥用于实现对数据库共享数据“互斥地”访问。根据数据共享特性的不同,实时事务的互斥可分为两类,一类是通过设置“优先级相关”互斥量而实现的互斥,另一类是通过数据库系统提供的并发控制策略而实现的互斥。事务同步是实时数据库事务的特有要求,主要用于实现嵌套事务内部事务的互相等待与互通消息,以保证嵌套事务的内部一致性。     

VXWORKS实时操作系统中信号量用于多任务同步与互斥的讨论

实时操作系统中对任务的响应时间提供了机制上的保障．但任务的同步与互斥又会削弱对任务响应的实时性，本文通过针对一个具体的实时操作系统VxWorks．详细的讨论了任务的同步与互斥机制．重点的讨论了互斥信号量机制对系统的影响。     

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

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

进程互斥与同步应用于排课管理的教学初探

进程互斥与同步是操作系统课程中的一个重要知识点,抽象且学生较难理解;排课管理是我院教务工作中的一个难点.本文介绍了进程互斥与同步的基本原理,将该原理应用到排课管理中,并设计出算法,既方便了教学,又为排课管理提供了一定的支持,效果良好.     

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

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

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

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

OFDM系统同步算法研究

正交频分复用(OFDM)技术是一种高效的调制技术,其基本思想是把串行高速的数据流分散到正交的子载波上进行并行传输,而同步问题是OFDM技术的一个关键问题。给出OFDM系统的模型,对同步问题进行了具体分析,给出载波频率同步的算法的描述,并对基于CP的同步算法进行仿真,结果表明其具有较好的频率捕获能力和较小的误差。     

多线程同步资源冲突解决方法

该文探讨了用监界区，互斥，信号量方法解决多个线程同步使用进程的共享资源，以免线程产生冲突。     

一种事件触发型传感器网络时钟同步算法*

通过介绍时钟同步机制的作用和现状,针对节点能源有限的特点,提出一种事件触发型传感器网络时钟同步算法。仿真结果表明该算法能较好地节约能源开销,延长网络寿命。     

基于信号量机制的理发师模型在复杂语义下的研究

理发师问题是计算机科学中多系统进程间通信和同步的经典问题之一,研究者们多在原始版本基础上进行 扩展,形成较多版本,没有考虑问题语义变化产生的新问题。从生活原型和问题语义的角度出发,对理发师问题进行 新的语义分析,提出面向资源的模式分析方法,给出了利用Try-p信号量机制和PV原语解决具有复杂语义进程间同 步问题的算法和方案。     

离散事件系统的同步诊断算法

针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提高了诊断的速度。同时对提出的同步方法进行了可行性分析和简单实现,得到了较好的结果。     

分布离散事件仿真的集中同步算法

分布离散事件仿真和一般的离散事件仿真不同,它没有公共的时钟和事件表,通过分布在多台主机上的仿真模型进行消息传递来实现世界中的事件的并发执行。同步算法是分离散事件离散事件仿真中确保模型之间发生的因果关系正确性的机制。文中提出了一种集中同步算法,它采用建立模型之间的关联关系和仿真控制节点的方法,来对仿真模型之间的交互事件和仿真模型内部事件进行调度。其实现机制简单,避免了死锁的产生,并能实现事件的并发执行。文中最后对在WindowsNT环境下实现该算法进行了探讨。