摘要
1 问题的引出
信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护).信号量原语自问世二十余年来,已广泛地应用于许多操作系统与程序设计语言的研究与设计中,成了它们不可分割的一部分.信号量虽然不为一些语言设计者所欣赏,但它仍然得到了很广泛的应用,是研究并发程序同步与互斥的必不可少的工具.尽管如此,也有一些问题用信号量描述起来比较困难或比较复杂.下面是一个典型的入厕问题:
This paper introduces a new kind of semaphores--tagged semaphores. Tagged semaphores
are the generalization of standard semaphores and have more powerful capability than the latter.
出处
《计算机科学》
CSCD
北大核心
2001年第1期15-17,共3页
Computer Science
关键词
并发程序设计
标记信号量
同步机制
互斥机制
Concurrent programming, Semaphore , Tagged semaphore, Mutual exclusion, Synchronization
