arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1606.04434cs.DC
收藏

分布式决策综述

Survey of Distributed Decision

Laurent Feuilloley, Pierre Fraigniaud

摘要:

我们调查了最近的分布式计算文献检查是否一个给定的分布式系统配置满足一个给定的布尔谓词,即,无论配置是合法的还是非法的。这个谓词。我们考虑经典的分布式计算环境,包括大多数同步无故障网络计算(同步和CONGEST模型),但也有异步易崩溃的共享内存计算(WAIT-FREE模型),和移动计算(FSYNC模型)。

英文摘要:

We survey the recent distributed computing literature on checking whether a given distributed system configuration satisfies a given boolean predicate, i.e., whether the configuration is legal or illegal w.r.t. that predicate. We consider classical distributed computing environments, including mostly synchronous fault-free network computing (LOCAL and CONGEST models), but also asynchronous crash-prone shared-memory computing (WAIT-FREE model), and mobile computing (FSYNC model).

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑