带标记信号量——一种新型同步与互斥机制

1 问题的引出 信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护).信号量原语自问世二十余年来,已广泛地应用于许多操作系统与程序设计语言的研究与设计中,成了它们不可分割的一部分.信号量虽然不为一些语言设计者所欣赏,但它仍然得到了很广泛的应用,是研究并发程序同步与互斥的必不可少的工具.尽管如此,也有一些问题用信号量描述起来比较困难或比较复杂.下面是一个典型的入厕问题:

带标记信号量机制的拓广

本文通过对现有普通信号量及带标记信号量机制的研究 ,提出带标记数组型信号量和泛化带标记数组型信号量机制 ,可以很好地解决原有信号量难以解决的问题 。

带标记数组型信号量机制的扩展

由于现实中同步与互斥问题复杂多样，如果都使用普通信号量机制来实现，显得灵活复杂、非常不便。本文在普通信号量机制的基础上，对带标记信号量和带标记数组型信号量进行了研究，提出了带标记多维数组型信号量机制，可以很好地解决原有信号量难以解决的复杂问题，拓宽了信号量机制在同步与互斥环境下的使用范围。