Toward the Static Detection of Deadlock in Java Software - Jose E. Fadul
-40% koodiga BOOKS
Saadetis 10-16 tööpäeva jooksul
30-päevane tagastamisõigus
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 cont ... Täielik kirjeldus
Võib-olla meeldib sulle ka
TOP
The Culture Map: Breaking Through the Invisible Boundaries of Global Business
-40% koodiga BOOKS
Laos
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-40% koodiga BOOKS
Laos
TOP
Women Who Run with the Wolves: Myths and Stories of the Wild Woman Archetype
Clarissa Pinkola Estés, Clarissa Pinkola Estes
-40% koodiga BOOKS
Meie tarnija laos
TOP
How Democracies Die
Steven Levitsky, Daniel Ziblatt
-40% koodiga BOOKS
Meie tarnija laos
TOP
Prisoners of Geography: Updated 10th Anniversary Edition: Ten Maps That Tell You Everything You Need To Know About Global Politics
-40% koodiga BOOKS
Meie tarnija laos
TOP
Classic Football Shirts
Classic Football Shirts, Rory Smith
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Whole-Brain Child: 12 Revolutionary Strategies to Nurture Your Child's Developing Mind
Daniel J. Siegel, Tina Payne Bryson
-40% koodiga BOOKS
Meie tarnija laos
TOP
Braiding Sweetgrass: Indigenous Wisdom, Scientific Knowledge and the Teachings of Plants
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Unabridged Journals of Sylvia Plath
-40% koodiga BOOKS
Meie tarnija laos
TOP
To Kill a Mockingbird. 60th Anniversary Edition
-40% koodiga BOOKS
Meie tarnija laos
TOP
Caliban and the Witch: Women, the Body and Primitive Accumulation
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Will to Change: Men, Masculinity, and Love
-40% koodiga BOOKS
Meie tarnija laos
Kirjeldus
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.
Lisateave
| Autor | Jose E. Fadul |
|---|---|
| Kirjastaja | Creative Media Partners, LLC |
| Väljalaskeaasta | 2012 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9781288335206 |