Toward the Static Detection of Deadlock in Java Software - Tapa blanda

Fadul, Jose E.

 
9781288335206: Toward the Static Detection of Deadlock in Java Software
Tapa blanda
ISBN 10: 1288335202 ISBN 13: 9781288335206
Editorial: BiblioScholar, 2012

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
BiblioScholar
Año de publicación
2012
Idioma
Inglés
ISBN 10 
1288335202
ISBN 13 
9781288335206
Encuadernación
Tapa blanda
Número de páginas
122
Contacto del fabricante
no disponible
Persona responsable
no disponible