The Design and Construction of Deadlock-Free Concurrent Systems

The Design and Construction of Deadlock-Free Concurrent Systems

Versandkostenfrei!
Versandfertig in 1-2 Wochen
30,99 €
inkl. MwSt.
PAYBACK Punkte
15 °P sammeln!
It is a difficult task to produce software that is guaranteed never to fail, but it is a vital goal for which to strive in many real-life situations. The problem is especially complex in the field of parallel programming, where there are extra things that can go wrong. A particularly serious problem is deadlock. Here, we consider how to construct systems that are guaranteed deadlock-free by design. Design rules, old and new, that eliminate deadlock are catalogued and their theoretical foundation illuminated. Then the development of a software engineering tool is described, which proves deadloc...