Forward progress on GPU concurrency
File(s)
Published version
Author(s)
Donaldson, AF
Ketema, J
Sorensen, T
Wickerson, J
Type
Conference Paper
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.
Date Issued
2017-09-05
Date Acceptance
2017-06-20
Citation
Leibniz International Proceedings in Informatics, LIPIcs, 2017, 85
ISBN
9783959770484
ISSN
1868-8969
Publisher
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Journal / Book Title
Leibniz International Proceedings in Informatics, LIPIcs
Volume
85
Copyright Statement
© Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, and John Wickerson;
licensed under Creative Commons License CC-BY (https://creativecommons.org/licenses/by/3.0/)
licensed under Creative Commons License CC-BY (https://creativecommons.org/licenses/by/3.0/)
Sponsor
Imperial College London
Grant Number
Imperial College London
Source
28th International Conference on Concurrency Theory
Publication Status
Published
Start Date
2017-09-05
Finish Date
2017-09-08
Coverage Spatial
Berlin, Germany
Date Publish Online
2017-09-05