Effective static deadlock detection

We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary condition for a deadlock. We have implemented the algorithm and report upon our experience applying it to a suite of multi-...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2009 IEEE 31st International Conference on Software Engineering s. 386 - 396
Hlavní autoři:	Naik, Mayur, Park, Chang-Seo, Sen, Koushik, Gay, David
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Washington, DC, USA IEEE Computer Society 16.05.2009 IEEE
Edice:	ACM Conferences
Témata:	Algorithm design and analysis Concurrent computing Data analysis Detection algorithms Java Multicore processing Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software notations and tools > General programming languages > Language features > Concurrent programming structures Software and its engineering > Software notations and tools > General programming languages > Language types Sun System recovery Yarn
ISBN:	9781424434534, 142443453X
ISSN:	0270-5257
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!