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ženo v:

Podrobná bibliografie
Vydáno v:	International Conference for High Performance Computing, Networking, Storage and Analysis (Online) s. 1 - 14
Hlavní autoři:	Liao, Chunhua, Lin, Pei-Hung, Asplund, Joshua, Schordan, Markus, Karlin, Ian
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 12.11.2017
Edice:	ACM Conferences
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!