关于线性izability与随机化算法的终止性
分布式、并行与集群计算
2020-10-30 v1 数据结构与算法
摘要
我们研究以下问题：当将随机化算法所使用的原子寄存器替换为线性izable（可线性化）寄存器（的实现）时，该算法“以概率1终止”的性质是否得以保持。我们证明一般情况下并非如此：粗略地说，每个随机化算法A都有一个对应的算法A'，若其使用的寄存器是原子的或强线性izable的，则A'解决相同问题，但若将这些寄存器替换为“仅仅”线性izable的寄存器，则A'不会终止。结合[15]中先前证明的一个结果，这意味着人们不能利用消息传递系统中众所周知的ABD寄存器实现，将任何在共享内存系统中可行的随机化算法自动转换为在消息传递系统中可行的随机化算法：在强敌手下，所得算法可能不终止。
引用
@article{arxiv.2010.15210,
title = {On Linearizability and the Termination of Randomized Algorithms},
author = {Vassos Hadzilacos and Xing Hu and Sam Toueg},
journal= {arXiv preprint arXiv:2010.15210},
year = {2020}
}