j·l·w·凯塞尔斯著
ACM通讯,1977年7月,第20卷,第7号,500-503页
10.1145/359636.359710
评论
在由Brinch Hansen和Hoare提出的监视器概念中,事件队列用于同步。本文描述了另一种同步原语,它几乎与条件等待一样具有表现力,但可以更有效地实现。给出了该原语的P和V运算的实现,并给出了正确性证明。给出了两个例子:读写问题和信息流共享有限缓冲池的问题。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择以下选项之一,以访问优质内容和功能。
创建Web帐户
如果您已经是ACM会员,通信数码图书馆的订阅者,请建立一个网页帐户,以访问本网站的优质内容。
参加ACM
成为ACM的会员可以充分利用ACM杰出的计算信息资源、联网机会和其他好处。
订阅ACM通讯杂志
获得《中华文化纵横》50年以上的完整内容,每月获得印刷版。
购买这篇文章
非会员可以购买这篇文章或它所在的杂志。