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

Tagged Semaphores:A New Mechanism for Synchronization and Mutual Exclusion

作　　者：徐宝文[1] 

机构地区：[1]东南大学计算机科学与工程系,南京210096

出　　处：《计算机科学》2001年第1期15-17,共3页Computer Science

摘　　要：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.

关 键 词：并发程序设计 标记信号量 同步机制 互斥机制 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]