All Publications

Analysis of Branch Misses in Quicksort

Jan 2015 (Written: Aug 2014)

Conrado Martínez, Markus Nebel, Sebastian Wild:

Meeting on Analytic Algorithmics and Combinatorics 2015
in Y. Azar and H. Bast and G. Herman (Eds.): ESA 2018, LIPIcs 112, Dagstuhl, 2018, 63:1-63:16 pp 114–128

| read herePDFDOI arXivslides |

Pipelined execution in modern processors is slowed down by conditional branches unless their outcome is easy to predict. In sorting, branches corresponding to key comparisons are usually hard to predict because they are not mostly taken or not taken, but depend on the input.

In this paper, we give the first rigorous analysis of the expected number of branch misses in Quicksort, both for classic Quicksort and with YBB partitioning, and including pivot sampling. The latter is particularly important since it reduces the overall number of comparisons, which makes each of these comparisons necessarily less predictable.

In fact, the overall result is that median-of-$k$ Quicksort incurs more branch misses the larger $k$ gets.

A second interesting result is that YBB Quicksort and classic Quicksort perform almost the same w.r.t. branch misses; in particular, the number of branch misses cannot be the reason for the favorable running time of YBB Quicksort (rather, it is most likely a memory-hierarchy effect, see my dissertation).

Relation to Other Papers

In my dissertation, I sketch how to extend the analysis of this paper to generic $s$-way one-pass partitioning, and also give a rigorous proof that we can safely use the steady state of the predictor automaton to determine expected branch-miss counts.