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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	International Conference for High Performance Computing, Networking, Storage and Analysis (Online) s. 1 - 14
Hlavní autori:	Liao, Chunhua, Lin, Pei-Hung, Asplund, Joshua, Schordan, Markus, Karlin, Ian
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 12.11.2017
Edícia:	ACM Conferences
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!