会议

分布式算法国际研讨会

内容:分布式算法国际研讨会是一个学术会议。会议主要发表在以下领域:分布式算法和共享内存。在整个生命周期中,该会议共发表了269篇论文,收到5584次引用。
每年发表的论文
论文
多个过滤器

本章 DOI
巴特勒·w·兰普森1
微软 1
1996年10月09
TL;博士:阐述了高效高可用性计算的一般方案,给出了理解并发和容错程序的一般方法,并推导了Paxos算法作为该方法的实例。
文摘:Lamport展示了一个复制的确定性状态机是实现高可用性系统的一种通用方法,前提是给出一个一致性算法,副本可以使用该算法对每个输入达成一致。他的Paxos算法是在没有实时保证的情况下获得共识的最容错的方法。因为通用共识是昂贵的,所以实际系统将其保留以备紧急情况,并对大多数计算使用租约(锁定该时间)。本文阐述了高效高可用性计算的一般方案,给出了理解并发和容错程序的一般方法,并推导出Paxos算法作为该方法的实例。

171引用


本章 DOI
一九九七年五月三十日
TL;博士:心跳故障检测器很新颖:它可以在没有超时的情况下实现,而且它不像典型的故障检测器那样输出可疑点列表,这表明只输出可疑点列表的传统故障检测器具有基本的局限性。
文摘:我们研究了在具有进程崩溃和有损耗链路的异步系统中,使用静态算法(即最终停止发送消息的算法)实现可靠通信的问题。我们首先表明,没有故障检测器是不可能解决这个问题的。然后,我们将展示如何使用名为heartbeat的新故障检测器来解决这个问题。与以前用于避免不可能结果的失败检测器相比,心跳失败检测器是可实现的,它的实现不使用超时。这些结果具有广泛的适用性:它们可用于将许多只容忍进程崩溃的现有算法转换为同时容忍进程崩溃和消息丢失的静态算法。这可以应用于共识、原子广播、k集协议、原子承诺等。心跳失败检测器是新颖的:它可以在没有超时的情况下实现,而且它不像典型的失败检测器那样输出可疑的列表。如果我们将故障检测器限制为只输出可疑列表,静止可靠通信需要>

170引用


本章 DOI
1989年9月26日
TL;博士:本文提出的因果排序的实现采用了Mattern-Fidge的逻辑时钟,与ISIS中的实现相比有两个优点:在消息中添加信息以确保因果排序受系统中站点数量的限制,并且当这些添加的信息变得无用时不需要特殊的协议来处理。
文摘:本文提出的因果排序的实现采用了Mattern-Fidge的逻辑时钟(它定义了分布式系统中事件之间的部分顺序),与ISIS的实现相比有两个优点:(1)添加到消息中的信息以确保因果顺序受系统中站点数量的限制,(2)当这些添加的信息变得无用时,不需要特殊的协议来处理这些信息

165引用


本章 DOI
一九九七年九月二十四日
TL;博士:在网络中漫游的进程(代理)在描述可执行的安全策略以及执行这些策略的方法方面提出了新的技术挑战。
文摘:在网络中漫游的进程——代理——提出了新的技术挑战。这里讨论两个。第一个问题是在实现容错代理时出现的,它涉及选民如何验证组成其选民的代理。第二种方法是描述可执行的安全策略以及执行这些策略的方法。

162引用


本章 DOI
1995年9月13日
TL;博士:本文证实了NB-AC算法比Consensus算法更难,并证明了任何用不可靠的故障检测器解决Consensus算法也能解决Uniform Consensus算法。
文摘:本文讨论了具有不可靠故障检测器的异步系统中的非阻塞原子承诺问题(NB-AC)和一致性问题之间的关系。我们首先确认NB-AC比Consensus更难。与共识相反,NB-AC是不可能解决不可靠的故障检测器,即使是一个单一的碰撞故障。我们定义了一个比NB-AC更弱的问题,称为非阻塞弱原子承诺(NB-WAC),它足以解决大多数实际情况。NB-WAC的一个基本特征是其可简化为共识。因此,以往用不可靠故障检测器求解共识的结果也适用于NB-WAC。这种可约性的一个有趣的中间结果是一致共识和共识是等价的问题。我们实际上证明了任何算法都可以用不可靠的故障检测器来解决一致性问题,同时也可以解决一致一致性问题。

157引用


网络信息
相关会议(5)
分布式计算原理

2.1 k论文82.7 k引用

93%相关
分布式计算系统国际会议

3.8 k论文118.6 k引用

87%相关
自动机、语言与编程国际研讨会

4.1 k论文123.4 k引用

87%相关
计算机理论研讨会

4.1 k论文387.5 k引用

85%相关
计算机科学基础

4.5 k论文306.5 k引用

84%相关
性能
指标
不。会议前几年的文件
一年 论文
1997 25
1996 26
1995 25
1994 26
1993 22
1992 24