可中止 Test-And-Set 的近似紧 RMR 下界
分布式、并行与集群计算
2018-05-15 v1
摘要
我们证明了在缓存一致性（CC）模型和分布式共享内存（DSM）模型中，可中止 Test-And-Set（领导者选举）的远程内存引用（RMR）复杂度下界为 。这区分了可中止与不可中止 Test-And-Set 的复杂度，因为后者的 RMR 复杂度为常数（Golab, Hendler, Woelfel, SIAM Journal of Computing Vol. 39, 2010）。Golab, Hendler, Hadzilacos 和 Woelfel（Distributed Computing Vol. 25, 2012）证明了 compare-and-swap 可以用寄存器和 TAS 对象以常数 RMR 复杂度实现。我们观察到，只要所使用的 TAS 对象是可中止的，对该实现进行微小修改即可使其变为可中止的。
引用
@article{arxiv.1805.04840,
title = {An Almost Tight RMR Lower Bound for Abortable Test-And-Set},
author = {Aryaz Eghbali and Philipp Woelfel},
journal= {arXiv preprint arXiv:1805.04840},
year = {2018}
}