Static analysis for concurrent programs with applications to data race detection

We propose a general framework for static analysis of concurrent multi-threaded programs in the presence of various types of synchronization primitives such as locks and pairwise rendezvous. In order to capture interference between threads, we use the notion of a transaction , i.e., a sequence of st...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 15; H. 4; S. 321 - 336
Hauptverfasser:	Kahlon, Vineet, Sankaranarayanan, Sriram, Gupta, Aarti
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2013 Springer Nature B.V
Schlagworte:	Computer programs Computer Science Concurrent engineering Data analysis Graphs Invariants Mathematical models Race Software Software Engineering Software Engineering/Programming and Operating Systems Static code analysis Synchronism Tacas 2009 Theory of Computation Warning Transaction graphs Abstract interpretation Data race detection Multi-threaded programs Static analysis
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!