MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs

Data race detection is highly essential for debugging multithreaded programs and assuring their correctness. Nevertheless, there is no single universal technique capable of handling the task efficiently, since the data race detection problem is computationally hard in the general case. Thus, all cur...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Concurrency and computation Jg. 19; H. 3; S. 327 - 340
Hauptverfasser:	Pozniansky, Eli, Schuster, Assaf
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Chichester, UK John Wiley & Sons, Ltd 10.03.2007
Schlagworte:	concurrency data race instrumentation multithreading synchronization
ISSN:	1532-0626, 1532-0634
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!