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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	International journal on software tools for technology transfer Ročník 15; číslo 4; s. 321 - 336
Hlavní autori:	Kahlon, Vineet, Sankaranarayanan, Sriram, Gupta, Aarti
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2013 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!