Lecture 12: Parallel quicksort algorithms