The Design and Construction of Deadlock-Free Concurrent Systems
Martin, Jeremy Malcolm Randolph
| Autor: | Martin, Jeremy Malcolm Randolph |
|---|---|
| Veröffentlichungsdatum: | 18.04.2024 |
| EAN: | 9781917163781 |
| Sprache: | Englisch |
| Seitenzahl: | 172 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | University of Buckingham Press |
Produktinformationen "The Design and Construction of Deadlock-Free Concurrent Systems"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen