DataRaceBench a benchmark suite for systematic evaluation of data race detection tools

Data races in multi-threaded parallel applications are notoriously damaging while extremely difficult to detect. Many tools have been developed to help programmers find data races. However, there is no dedicated OpenMP benchmark suite to systematically evaluate data race detection tools for their st...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Conference for High Performance Computing, Networking, Storage and Analysis (Online) S. 1 - 14
Hauptverfasser:	Liao, Chunhua, Lin, Pei-Hung, Asplund, Joshua, Schordan, Markus, Karlin, Ian
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 12.11.2017
Schriftenreihe:	ACM Conferences
Schlagworte:	Benchmark Suite Computing methodologies > Parallel computing methodologies > Parallel programming languages Data Race Detection Instruction sets Measurement OpenMP Parallel programming Runtime Software and its engineering > Software creation and management > Software verification and validation Software and its engineering > Software organization and properties > Software functional properties > Correctness Static analysis Systematics Waste materials data race detection benchmark suite openMP
ISBN:	9781450351140, 145035114X
ISSN:	2167-4337
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!