0
Your cart

Your cart is empty

Books > Social sciences > Education

Buy Now

Toward the Static Detection of Deadlock in Java Software (Paperback) Loot Price: R1,131 Discovery Miles 11 310
Toward the Static Detection of Deadlock in Java Software (Paperback): Jose E. Fadul
Toward the Static Detection of Deadlock in Java Software (Paperback): Jose E. Fadul

Share your images

Toward the Static Detection of Deadlock in Java Software (Paperback)

Jose E. Fadul

 (sign in to rate)
Loot Price R1,131 Discovery Miles 11 310

Bookmark and Share

Usually dispatched within 7 - 15 working days.

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.

General

Imprint: Biblioscholar
Country of origin: United States
Release date: November 2012
First published: November 2012
Authors: Jose E. Fadul
Dimensions: 246 x 189 x 7mm (L x W x T)
Format: Paperback - Trade
Pages: 122
ISBN-13: 978-1-288-33520-6
Barcode: 9781288335206
Categories: Books > Social sciences > Education
Books > Social sciences > Education > General
LSN: 1-288-33520-2

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners