随机调度下寄存器协议网络的几乎必然可达性
计算机科学中的逻辑
2016-05-06 v3
摘要
我们研究在分布式系统中的几乎必然可达性（almost-sure reachability）问题，该分布式系统由同一个自动机（称为协议）的N个副本（称为进程）的异步组合获得，这些进程可通过具有有限域的共享寄存器进行通信。该自动机有两类转移：写转移更新寄存器的值，而读转移根据寄存器的内容转移到新状态。非确定性由随机调度器解决。给定一个协议，我们关注其中一个进程几乎必然到达目标状态。该问题的答案自然取决于进程数N。然而，我们证明我们的设置具有截断性质（cut-off property）：当N足够大时，几乎必然可达性问题的答案是恒定的；随后我们开发了EXPSPACE算法来决定该恒定答案是肯定还是否定。
引用
@article{arxiv.1602.05928,
title = {Reachability in Networks of Register Protocols under Stochastic Schedulers},
author = {Patricia Bouyer and Nicolas Markey and Mickael Randour and Arnaud Sangnier and Daniel Stan},
journal= {arXiv preprint arXiv:1602.05928},
year = {2016}
}
备注
Extended version of ICALP 2016 paper