[PDF][PDF] KUDA: GPU accelerated split race checker

UC Bekar, T Elmas, S Okur, S Tasiran - Workshop on Determinism …, 2012 - academia.edu
… Having explained the CPU part of our runtime monitoring system, we present parallel
algorithms for the data-race checking on the GPU cores. We first brief on GPU computing using the …

[PDF][PDF] Kuda: accelerating dynamic race detection using parallelism on a GPU

ÜC Bekar - 2013 - academia.edu
… present the CPU and GPU components of Kuda project respectively, throughout these
chapters our splitting framework has been contrasted with traditional race checkers. In Chapter 5, …

Accelerating data race detection utilizing on-chip data-parallel cores

V Mekkat, A Holey, A Zhai - … , RV 2013, Rennes, France, September 24-27 …, 2013 - Springer
GPU Accelerated Data Race Detector (GUARD) that utilizes … Data races can be divided into
three categories: (i) read-after-write (… The GPU threads monitor the signature table for new …

Parv: Parallelizing runtime detection and prevention of concurrency errors

I Kuru, HS Matar, A Cristal, G Kestor… - Runtime Verification: Third …, 2013 - Springer
… allows race-free execution of application binaries at a modest overhead even for legacy
applications. With the availability of TM hardwareKuda: Gpu accelerated split race checker. In: …

Hardware support for concurrent detection of multiple concurrency bugs on fused cpu-gpu architectures

W Zhang, S Yu, H Wang, Z Dai… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
… The computation resource in GPU can be divided into general… lock-set algorithm on GPU
to detect data race only, which, … detection during systematic testing of parallel programs,” in …

An Architecture for a Tri-Programming Model-Based Parallel Hybrid Testing Tool

SM Altalhi, FE Eassa, ASAM Al-Ghamdi, SA Sharaf… - Applied Sciences, 2023 - mdpi.com
… decrease programming effort and capitalise on GPU acceleration. … A data race is a critical
race condition that occurs when … Dynamic techniques are also used to test dual systems that …

[PDF][PDF] Accelerating precise race detection using commercially-available hardware transactional memory support

HS Matar, I Kuru, S Tasiran… - … on Determinism and …, 2014 - wodet.cs.washington.edu
race detection techniques monitor program executions and produce warnings about
potential or actual race … Others (eg, [16, 23]) make use of custom hardware to accelerate race

[PDF][PDF] Software testing techniques for parallel systems: A survey

AM Alghamdi, FE Eassa - Int. J. Comput. Sci. Netw. Secur., 2019 - researchgate.net
… in November 2006 by NVIDIA Corporation that only targeting NVIDIA GPUs, which can be
… Finally, GRace is also used to test the OpenCL programming model for detecting data race. …

Parallel hybrid testing techniques for the dual-programming models-based programs

AM Alghamdi, FE Eassa, MA Khamakhem… - Symmetry, 2020 - mdpi.com
… parallelism and accelerate C, C++, and Fortran codes for heterogeneous CPU/GPU systems
… Finally, GRace is also used to test the OpenCL programming model for detecting data race. …

Hydra: Efficient Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architecture

Z Dai, H Wang, W Zhang, H Chen… - 2014 43rd International …, 2014 - ieeexplore.ieee.org
… 1The computation resource in GPU can be divided into … hardware design for data race
detection, but leverages GPU … Accurate and efficient filtering for the intel thread checker race