Title
Forward progress on GPU concurrency
Author
Donaldson, A.F.
Ketema, J.
Sorensen, T.
Wickerson, J.
Contributor
Meyer, R. (editor)
Nestmann, U. (editor)
Publication year
2017
Abstract
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.
Subject
2016 ICT
ESI - Embedded Systems Innovations
TS - Technical Sciences
Informatics
Industrial Innovation
Concurrency
Data races
Formal verification
GPUs
To reference this document use:
http://resolver.tudelft.nl/uuid:cf0627e8-26ab-4ed6-8b60-d58ddc7271c8
DOI
https://doi.org/10.4230/lipics.concur.2017.1
TNO identifier
781900
Publisher
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN
9783959770484
ISSN
1868-8969
Source
28th International Conference on Concurrency Theory, CONCUR 2017. 5 September 2017 through 8 September 2017, 85
Series
Leibniz International Proceedings in Informatics, LIPIcs
Article number
1
Document type
conference paper