Wed 15 Jun 2016 14:00 - 14:30 at Grand Ballroom Santa Ynez - Testing & Debugging Chair(s): Benjamin Zorn

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 identify the root causes of erroneous weak effects, and automatically suggests how to insert fences that harden the 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.

Wed 15 Jun

pldi-2016-papers
13:30 - 15:00: Research Papers - Testing & Debugging at Grand Ballroom Santa Ynez
Chair(s): Benjamin ZornMicrosoft Research
pldi-2016-papers146599020000013:30 - 14:00
Talk
Yuting ChenShanghai Jiao Tong University, Ting SuEast China Normal University, Chengnian SunUniversity of California at Davis, USA, Zhendong SuUniversity of California, Davis, Jianjun ZhaoShanghai Jiao Tong University
Media Attached
pldi-2016-papers146599200000014:00 - 14:30
Talk
Tyler SorensenUniversity College London, Alastair DonaldsonImperial College London
Pre-print Media Attached
pldi-2016-papers146599380000014:30 - 15:00
Talk
Maarten FaddegonUniversity of Kent, UK, Olaf ChitilUniversity of Kent, UK
Media Attached