GPU Concurrency: Weak Behaviours and Programming Assumptions
- Submitting institution
-
University College London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 14030
- Type
- E - Conference contribution
- DOI
-
10.1145/2775054.2694391
- Title of conference / published proceedings
- ACM SIGPLAN NOTICES
- First page
- 577
- Volume
- 50
- Issue
- 4
- ISSN
- 0362-1340
- Open access status
- Out of scope for open access requirements
- Month of publication
- March
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
7
- Research group(s)
-
-
- Citation count
- 25
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper presents a model of Nvidia GPUs. This demonstrates that the original framework of the Herding Cats paper scales to different concurrent systems. This gave the community hope that all those concurrent systems could be described in the same fundamental terms. An immediate pragmatic consequence of this work was Nvidia inviting some of the authors to visit them to develop a formal model of the Volta chip. Further, this work has started a complete revamp of Nvidia’s concurrency model, as witnessed by further papers by Olivier Giroux and Dan Lustig.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -