-
Anglický jazyk
The Design and Construction of Deadlock-Free Concurrent Systems
Autor: Jeremy Malcolm Randolph Martin
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
31.64 €
bežná cena: 33.30 €
O knihe
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 deadlock freedom by verifying adherence to these methods. The use of this tool is illustrated with several case studies. The thesis concludes with a discussion of related issues of parallel program reliability.
- Vydavateľstvo: University of Buckingham Press
- Rok vydania: 2024
- Formát: Paperback
- Rozmer: 229 x 152 mm
- Jazyk: Anglický jazyk
- ISBN: 9781917163781
Nemecký jazyk 
