License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2017.1
URN: urn:nbn:de:0030-drops-78055
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7805/
Go to the corresponding LIPIcs Volume Portal


Donaldson, Alastair F. ; Ketema, Jeroen ; Sorensen, Tyler ; Wickerson, John

Forward Progress on GPU Concurrency (Invited Talk)

pdf-format:
LIPIcs-CONCUR-2017-1.pdf (0.5 MB)


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.

BibTeX - Entry

@InProceedings{donaldson_et_al:LIPIcs:2017:7805,
  author =	{Alastair F. Donaldson and Jeroen Ketema and Tyler Sorensen and John Wickerson},
  title =	{{Forward Progress on GPU Concurrency (Invited Talk)}},
  booktitle =	{28th International Conference on Concurrency Theory (CONCUR 2017)},
  pages =	{1:1--1:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-048-4},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{85},
  editor =	{Roland Meyer and Uwe Nestmann},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7805},
  URN =		{urn:nbn:de:0030-drops-78055},
  doi =		{10.4230/LIPIcs.CONCUR.2017.1},
  annote =	{Keywords: GPUs, concurrency, formal verification, memory models, data races}
}

Keywords: GPUs, concurrency, formal verification, memory models, data races
Seminar: 28th International Conference on Concurrency Theory (CONCUR 2017)
Issue Date: 2017
Date of publication: 25.08.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI