CURD: a dynamic CUDA race detector

As GPUs have become an integral part of nearly every pro- cessor, GPU programming has become increasingly popular. GPU programming requires a combination of extreme levels of parallelism and low-level programming, making it easy for concurrency bugs such as data races to arise. These con- currency b...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	SIGPLAN notices 2018-12, Vol.53 (4), p.390-403
Hauptverfasser:	Peng, Yuanfeng, Grover, Vinod, Devietti, Joseph
Format:	Artikel
Sprache:	eng
Schlagworte:	Compilers Concurrent programming languages General programming languages Language types Program analysis Program reasoning Runtime environments Semantics and reasoning Software and its engineering Software creation and management Software defect analysis Software notations and tools Software verification and validation Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!