Sequential Proximity: Towards Provably Scalable Concurrent Search Algorithms
Establishing the scalability of a concurrent algorithm a priori, before implementing and evaluating it on a concrete multi-core platform, seems difficult, if not impossible. In the context of search data structures however, according to all practical work of the past decade, algorithms that scale share a common characteristic: They all resemble standard sequential implementations for their respective data structure type and strive to minimize the number of synchronization operations. In this paper, we present sequential proximity, a theoretical framework to determine whether a concurrent search algorithm is close to its sequential counterpart. With sequential proximity we take the first step towards a theory of scalability for concurrent search algorithms.
Cite this item
Antoniadis, K., Guerraoui, R., Stainer, J., & Trigonakis, V. (2017). Sequential Proximity: Towards Provably Scalable Concurrent Search Algorithms. In A. El Abbadi & B. Garbinato (Editors), Networked Systems. https://doi.org/10.1007/978-3-319-59647-1_30
Click Copy to copy the citation, or select the text manually.