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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal methods in system design Jg. 41; H. 3; S. 321 - 347
Hauptverfasser:	Raman, Raghavan, Zhao, Jisheng, Sarkar, Vivek, Vechev, Martin, Yahav, Eran
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Boston Springer US 01.12.2012
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!