Forward progress on GPU concurrency

Autor: Donaldson, A.F., Ketema, J., Sorensen, T., Wickerson, J.
Přispěvatelé: Imperial College London
Jazyk: angličtina
Rok vydání: 2017
Předmět:
Zdroj: 28th International Conference on Concurrency Theory
Meyer, R.Nestmann, U., 28th International Conference on Concurrency Theory, CONCUR 2017. 5 September 2017 through 8 September 2017, 85
Popis: The tutorial at CONCUR will provide a practical overview of work undertaken over the last six years in the Multicore Programming Group at Imperial College London, and with collaborators internationally, related to understanding and reasoning about concurrency in software designed for acceleration on GPUs. In this article we provide an overview of this work, which includes contributions to data race analysis, compiler testing, memory model understanding and formalisation, and most recently efforts to enable portable GPU implementations of algorithms that require forward progress guarantees.
Databáze: OpenAIRE