Randomized Two-Process Wait-Free Test-and-Set
分布式、并行与集群计算
2007-05-23 v2
摘要
We present the first explicit, and currently simplest, randomized algorithm for 2-process wait-free test-and-set. It is implemented with two 4-valued single writer single reader atomic variables. A test-and-set takes at most 11 expected elementary steps, while a reset takes exactly 1 elementary step. Based on a finite-state analysis, the proofs of correctness and expected length are compressed into one table.
引用
@article{arxiv.cs/0106056,
title = {Randomized Two-Process Wait-Free Test-and-Set},
author = {John Tromp and Paul Vitanyi},
journal= {arXiv preprint arXiv:cs/0106056},
year = {2007}
}
备注
9 pages, 4 figures, LaTeX source; Submitted