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ženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 15; číslo 4; s. 321 - 336
Hlavní autoři:	Kahlon, Vineet, Sankaranarayanan, Sriram, Gupta, Aarti
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2013 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!