portada Toward the Static Detection of Deadlock in Java Software (en Inglés)

Toward the Static Detection of Deadlock in Java Software (en Inglés)

Formato

Libro Físico

Autor

Jose E. Fadul

Editorial

Biblioscholar

Idioma

Inglés

N° páginas

122

Encuadernación

Tapa Blanda

Dimensiones

24.6x18.9x0.7 cm

Peso

0.23 kg.

ISBN13

9781288335206

Categorías

Educación

Toward the Static Detection of Deadlock in Java Software (en Inglés)

Jose E. Fadul (Autor) · Biblioscholar · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 23 días háb.

$ 54.12$ 27.06

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 27.06

Llega entre el 21 Sep y el 01 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Toward the Static Detection of Deadlock in Java Software (en Inglés)"

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.