×

排名:同步问题的分类。 (英语) Zbl 0801.68029号

摘要:由于各种原因,需要同步并发计算。所有需要同步的情况都抽象为几个众所周知的问题:生产者-消费者、互斥、用餐哲学家等。本文提出了解决此类同步问题的一般机制和相应的方法。本文首先认识到同步问题所有解决方案的一个共同性质,即存在某种形式的仲裁。通过引入等级作为执行仲裁的机制,以及引入等级作为根据请求计算等级的分布式模块,这一思想得以具体化。指定了等级的强制和可选属性。根据该规范,确定了四个日益强大的等级的严格等级。这个层次结构中的每个等级最适合解决一类特定的同步问题,这四个等级加在一起就足以解决文献中的大多数同步问题。提出了一种使用秩来解决同步问题的通用方法。通过解决文献中的一些同步问题来说明这种方法。

MSC公司:

68N25号 操作系统理论
第68季度10 计算模式(非确定性、并行、交互式、概率性等)
68平方米 计算机系统环境下的性能评估、排队和调度
60年第68季度 规范和验证(程序逻辑、模型检查等)
68宽15 分布式算法
PDF格式BibTeX公司 XML格式引用
全文: DOI程序