Jeremy Malcolm Randolph Martin: The Design and Construction of Deadlock-Free Concurrent Systems
The Design and Construction of Deadlock-Free Concurrent Systems
Buch
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
EUR 42,81*
Verlängerter Rückgabezeitraum bis 31. Januar 2025
Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2024 gekauft wurden, können bis zum 31. Januar 2025 zurückgegeben werden.
- University of Buckingham Press, 04/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9781917163781
- Bestellnummer: 11942770
- Umfang: 172 Seiten
- Gewicht: 259 g
- Maße: 229 x 152 mm
- Stärke: 10 mm
- Erscheinungstermin: 18.4.2024
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
