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

摘要：

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

机标关键词：带标记信号量、互斥机制、并发程序、同步与互斥、程序设计语言、描述能力、信号量机制、多操作系统、原语、语言设计、应用、共享变量、程序行为、欣赏、机理、工具、分割、处理、保护

所属期刊栏目：28

分类号：TP391(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：15-17