bokomslag Toward the Static Detection of Deadlock in Java Software
Psykologi & pedagogik

Toward the Static Detection of Deadlock in Java Software

Jose E Fadul

Pocket

889:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 122 sidor
  • 2012
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.
  • Författare: Jose E Fadul
  • Format: Pocket/Paperback
  • ISBN: 9781288335206
  • Språk: Engelska
  • Antal sidor: 122
  • Utgivningsdatum: 2012-11-21
  • Förlag: Biblioscholar