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

Full description

Bibliographic Details

Published in:	Formal methods in system design Vol. 41; no. 3; pp. 321 - 347
Main Authors:	Raman, Raghavan, Zhao, Jisheng, Sarkar, Vivek, Vechev, Martin, Yahav, Eran
Format:	Journal Article
Language:	English
Published:	Boston Springer US 01.12.2012
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!