Cross-thread critical sections and efficient dynamic race prediction methods

The lock set method and the partial order method are two main approaches to guarantee that dynamic data race prediction remains efficient. There are many variations of these ideas. Common to all of them is the assumption that the events in a critical section belong to the same thread. We have eviden...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Sulzmann, Martin, Thiemann, Peter
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Programming Languages
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!