Efficient data race detection for async-finish parallelism

A major productivity hurdle for parallel programming is the presence of data races . Data races can lead to all kinds of harmful program behaviors, including determinism violations and corrupted memory. However, runtime overheads of current dynamic data race detectors are still prohibitively large (...

Celý popis

Podrobná bibliografia

Vydané v:	Formal methods in system design Ročník 41; číslo 3; s. 321 - 347
Hlavní autori:	Raman, Raghavan, Zhao, Jisheng, Sarkar, Vivek, Vechev, Martin, Yahav, Eran
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Boston Springer US 01.12.2012
Predmet:	CAE) and Design Circuits and Systems Computer-Aided Engineering (CAD Electrical Engineering Engineering Software Engineering/Programming and Operating Systems Data races Determinism Parallel programming Program analysis
ISSN:	0925-9856, 1572-8102
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!