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

来源 :计算机科学 | 被引量 : 0次 | 上传用户:bitgxd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1 问题的引出信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护).信号量原语自问世二十余年来,已广泛地应用于许多操作系统与程序设计语言的研究与设计中,成了它们不可分割的一部分.信号量虽然不为一些语言设计者所欣赏,但它仍然得到了很广泛的应用,是研究并发程序同步与互斥的必不可少的工具.尽管如此,也有一些问题用
其他文献
The refined algorithm is put forward mainly based on the Wget. Combining the advantages of HTTrackand Wget, the download algorithm is rewritten on the following
1 引言在图像处理流程中,存在大量相互独立的重复计算,例如点操作和邻域操作中,像素之间的操作是互不相关的,这就使并行图像处理成为可能。很久以来,研究人员考虑设计并行图像处理算法在并行计算机上运行,以提高图像处理算法的执行效率,尤其在遥感图像处理、导弹武器系统的实时景像匹配制导等一些实时性要求较高的场合。在近二十年中,西方发达国家、俄罗斯等均在这些领域进行了大量研究并取得了具有实用价值的成果。如美国
随着Internet访问的增加,传统的Internet接入服务已越来越满足不了用户需求,因为传统的Internet提供浏览、电子邮件、文件传送等相对比较单一的服务,没有服务质量保证,没有权
1 引言利用计算机进行自动、快速的人脸识别,一直是模式识别领域的前沿课题。目前的研究已不仅仅局限于人脸的几何特征,还包括统计特征和频谱特征等。许多方法考虑将多种特征结合以形成人脸的多元特征表达。Lades提出的弹性图匹配方法是一种基于整体的研究方法,它通过能量函数来实现匹配,其整体识别性能要优于特征脸方法。当向人脸库加入新的人脸时,特征脸法需要重新计算特征库中的特征脸,而弹性匹配法不需要改变已有的
一、分组密码计数模式简介在分组密码中CBC模式是广为人知的,而计数模式(counter mode)则鲜为人知,其实早在1979年,就由Diffie和Hellman提出[1].
本文首先指出角色继承的两种不同类型:泛化继承和监管继承,接着提出了与角色继承有关的两个问题:如何维护数据完整性和一致性、如何减少关键角色的缺席对系统正常运行造成的
1引言操作系统(Operating Systems,OS)是计算机系统的核心.著名操作系统专家,曾获ACM Karl V.Karlstrom杰出教育奖和ACM/SIGCSE计算机科学教育杰出贡献奖的An-drews Tanenbau
1引言  计算机自动分词是现代汉语处理的重要组成部分,也是最基础的工作.汉语处理的后续工作,如词性标注、句法分析、语义分析、篇章理解以及机器翻译等,都以自动分词后的
期刊