Papers Papers/2022 Papers Papers/2022



Paper Unlock

Authors: Santonu Sarkar 1 ; Prateek Kandelwal 2 ; Soumyadip Bandyopadhyay 3 and Holger Giese 3

Affiliations: 1 ABB Corporate Research and India ; 2 MathWorks and India ; 3 Hasso Plattner Institute für Digital Engineering gGmbH and Germany

Keyword(s): Verification, SMT Solver, CUDA, GPGPU, Data Races, Barrier Divergence.

Related Ontology Subjects/Areas/Topics: Distributed and Mobile Software Systems ; Formal Methods ; Parallel and High Performance Computing ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: Todays business and scientific applications have a high computing demand due to the increasing data size and the demand for responsiveness. Many such applications have a high degree of parallelism and GPGPUs emerge as a fit candidate for the demand. GPGPUs can offer an extremely high degree of data parallelism owing to its architecture that has many computing cores. However, unless the programs written to exploit the architecture are correct, the potential gain in performance cannot be achieved. In this paper, we focus on the two important properties of the programs written for GPGPUs, namely i) the data-race conditions and ii) the barrier divergence. We present a technique to identify the existence of these properties in a CUDA program using a static property verification method. The proposed approach can be utilized in tandem with normal application development process to help the programmer to remove the bugs that can have an impact on the performance and improve the safety of a C UDA program. (More)


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Sarkar, S.; Kandelwal, P.; Bandyopadhyay, S. and Giese, H. (2018). Analysis of GPGPU Programs for Data-race and Barrier Divergence. In Proceedings of the 13th International Conference on Software Technologies - ICSOFT; ISBN 978-989-758-320-9; ISSN 2184-2833, SciTePress, pages 460-471. DOI: 10.5220/0006834904940505

author={Santonu Sarkar. and Prateek Kandelwal. and Soumyadip Bandyopadhyay. and Holger Giese.},
title={Analysis of GPGPU Programs for Data-race and Barrier Divergence},
booktitle={Proceedings of the 13th International Conference on Software Technologies - ICSOFT},


JO - Proceedings of the 13th International Conference on Software Technologies - ICSOFT
TI - Analysis of GPGPU Programs for Data-race and Barrier Divergence
SN - 978-989-758-320-9
IS - 2184-2833
AU - Sarkar, S.
AU - Kandelwal, P.
AU - Bandyopadhyay, S.
AU - Giese, H.
PY - 2018
SP - 460
EP - 471
DO - 10.5220/0006834904940505
PB - SciTePress