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á bibliografie

Vydáno v:	Formal methods in system design Ročník 41; číslo 3; s. 321 - 347
Hlavní autoři:	Raman, Raghavan, Zhao, Jisheng, Sarkar, Vivek, Vechev, Martin, Yahav, Eran
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Boston Springer US 01.12.2012
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!