Toward the Static Detection of Deadlock in Java Software - Brossura

Fadul, Jose E.

 
9781288335206: Toward the Static Detection of Deadlock in Java Software
Brossura
ISBN 10: 1288335202 ISBN 13: 9781288335206
Casa editrice: Legare Street Press, 2012

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Legare Street Press
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
1288335202
ISBN 13 
9781288335206
Rilegatura
Copertina flessibile
Numero di pagine
120
Contatto del produttore
non disponibile
Persona responsabile
non disponibile