Toward the Static Detection of Deadlock in Java Software - Softcover

Fadul, Jose E.

 
9781288335206: Toward the Static Detection of Deadlock in Java Software
Softcover
ISBN 10: 1288335202 ISBN 13: 9781288335206
Verlag: LIGHTNING SOURCE INC, 2012

Inhaltsangabe

Concurrency is the source of many real-world software reliability and security problems. Concurrency defects are difficult to detect because they defy conventional software testing techniques due to their non-local and non-deterministic nature. We focus on one important aspect of this problem: static detection of the possibility of deadlock--a situation in which two or more processes are prevented from continuing while each waits for resources to be freed by the continuation of the other. This thesis proposes a flow-insensitive interprocedural static analysis that detects the possibility that a program can deadlock at runtime. Our analysis proceeds in two steps. The first extracts the "real" call graph decorated with acquired locks from the target program.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
LIGHTNING SOURCE INC
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
1288335202
ISBN 13 
9781288335206
Einband
Taschenbuch
Anzahl der Seiten
122
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
preigu
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
49078
Deutschland