A methodology for creating fast wait-free data structures

Lock-freedom is a progress guarantee that ensures overall program Progress. Wait-freedom is a stronger progress guarantee that en- sores the progress of each thread in the program. While many park- tidal lock-free algorithms exist, wait-free algorithms are typically inefficient and hardly used in practice. In this paper, we propose a methodology called fast-path-slow-path for creating efficient wait- free algorithms. The idea is to execute the efficient lock-free ver.- soon most of the time and revert to the wait-free version only when things go wrong. The generality and effectiveness of this method- logy is demonstrated by two examples. In this paper, we apply this idea to a recent construction of a wait-free queue, bringing the wait-free implementation to perform in practice as efficient as the lock-free implementation. In another work, the fast-path-slow-path methodology has been used for (dramatically) improving the per- romance of a wait-free linked-list.