Imperial College London
Portrait Picture

ProfessorAlastairDonaldson

Faculty of Engineering, Department of Computing

Professor of Programming Languages
 
 
 
//

Contact

 

+44 (0)20 7594 8266alastair.donaldson Website

 
 
//

Location

 

422Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Sorensen:2016:10.1145/2908080.2908114,
author = {Sorensen, T and Donaldson, AF},
doi = {10.1145/2908080.2908114},
pages = {100--113},
publisher = {ACM},
title = {Exposing errors related to weak memory in GPU applications},
url = {http://dx.doi.org/10.1145/2908080.2908114},
year = {2016}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We present the systematic design of a testing environment that uses stressing and fuzzing to reveal errors in GPU applications that arise due to weak memory effects. We evaluate our approach on seven GPUs spanning three Nvidia architectures, across ten CUDA applications that use fine-grained concurrency. Our results show that applications that rarely or never exhibit errors related to weak memory when executed natively can readily exhibit these errors when executed in our testing environment. Our testing environment also provides a means to help identify the root causes of such errors, and automatically suggests how to insert fences that harden an application against weak memory bugs. To understand the cost of GPU fences, we benchmark applications with fences provided by the hardening strategy as well as a more conservative, sound fencing strategy.
AU  - Sorensen,T
AU  - Donaldson,AF
DO  - 10.1145/2908080.2908114
EP  - 113
PB  - ACM
PY  - 2016///
SP  - 100
TI  - Exposing errors related to weak memory in GPU applications
UR  - http://dx.doi.org/10.1145/2908080.2908114
UR  - http://hdl.handle.net/10044/1/31580
ER  -
Download