hal-00722947, version 1
On the time and space complexity of randomized test-and-set
George Giakkoupis
1Philipp Woelfel 2
PODC - 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (2012)
Résumé : We study the time and space complexity of randomized Test-And-Set (TAS) implementations from atomic read/write registers in asynchronous shared memory models with $n$ processes. We present an adaptive TAS algorithm with an expected (individual) step complexity of $O(\log^\ast k)$, for contention $k$, against the oblivious adversary, improving a previous (non-adaptive) upper bound of $O(\log\log n)$ (Alistarh and Aspnes, 2011). We also present a modified version of the adaptive RatRace TAS algorithm (Alistarh et al., 2010), which improves the space complexity from $O(n^3)$ to $O(n)$, while maintaining logarithmic expected step complexity against the adaptive adversary. We complement this upper bound with an $\Omega(\log n)$ lower bound on the space complexity of any TAS algorithm that has the nondeterministic solo-termination property (which is a weaker progress condition than wait-freedom). No non-trivial lower bounds on the space requirements of TAS were known prior to this work.
- 1 : ASAP (INRIA - IRISA)
- CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
- 2 : Department of Computer Science [Calgary] (CPSC)
- University of Calgary
- Domaine : Informatique/Calcul parallèle, distribué et partagé
- hal-00722947, version 1
- http://hal.inria.fr/hal-00722947
- oai:hal.inria.fr:hal-00722947
- Contributeur : George Giakkoupis
- Soumis le : Lundi 6 Août 2012, 17:07:44
- Dernière modification le : Mardi 7 Août 2012, 08:56:55






Documents associés
Exporter