Ambuj K·辛格。;穆罕默德·古达。 排名:同步问题的分类。 (英语) Zbl 0801.68029号 科学。计算。程序。 21,第3期,191-223(1993). 摘要:由于各种原因,需要同步并发计算。所有需要同步的情况都抽象为几个众所周知的问题:生产者-消费者、互斥、用餐哲学家等。本文提出了解决此类同步问题的一般机制和相应的方法。本文首先认识到同步问题所有解决方案的一个共同性质,即存在某种形式的仲裁。通过引入等级作为执行仲裁的机制,以及引入等级作为根据请求计算等级的分布式模块,这一思想得以具体化。指定了等级的强制和可选属性。根据该规范,确定了四个日益强大的等级的严格等级。这个层次结构中的每个等级最适合解决一类特定的同步问题,这四个等级加在一起就足以解决文献中的大多数同步问题。提出了一种使用秩来解决同步问题的通用方法。通过解决文献中的一些同步问题来说明这种方法。 引用于1文件 MSC公司: 68N25号 操作系统理论 第68季度10 计算模式(非确定性、并行、交互式、概率性等) 68平方米 计算机系统环境下的性能评估、排队和调度 60年第68季度 规范和验证(程序逻辑、模型检查等) 68宽15 分布式算法 关键词:资源分配;同步;并行计算;相互排斥;餐饮哲学家;规格 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Singh}和\textit{M.G.Gouda},科学。计算。程序。21,第3号,191--223(1993;Zbl 0801.68029) 全文: DOI程序