Concurrent Algorithms and Data Structures for Many-Core Processors

The convergence of highly parallel many-core graphics processors with conventional multi-core processorsis becoming a reality.To allow algorithms and data structures to scale efficiently on these new platforms,several important factors needs to be considered.(i) The algorithmic design needs to utilize the inherent parallelism of the problem at hand.Sorting, which is one of the classic computing components in computer science, has a high degree of inherent parallelism.In this thesis we present the first efficient design of Quicksort for graphics processors and show thatit performs well in comparison with other available sorting methods.(ii) The work needs to be distributed efficiently across the available processing units.We present an evaluation of a set ofdynamic load balancing schemes for graphics processors, comparing blocking methods with non-blocking.(iii) The required synchronization needs to be efficient, composable and easy to use.We present a methodology to easily compose the two mostcommon operations provided by a data structure -- the insertion and deletion of elements. By exploiting a common construction found inmost non-blocking data structures, we created a move operation thatcan atomically move elements between different types of non-blocking data structures, without requiring a specific design for each coupling.We also present, to the best of our knowledge, the first application of software transactional memory to graphics processors. Two different STM designs, one blocking and one obstruction-free, were evaluated on the task of implementing different types of common concurrent data structures on a graphics processor