The Design and Construction of Deadlock-Free Concurrent Systems - Couverture souple

Martin, Jeremy Malcolm Randolph

 
9781917163781: The Design and Construction of Deadlock-Free Concurrent Systems
Couverture souple
ISBN 10 : 1917163789 ISBN 13 : 9781917163781
Editeur : University of Buckingham Press, 2024

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
University of Buckingham Press
Date d'édition
2024
Langue
anglais
ISBN 10 
1917163789
ISBN 13 
9781917163781
Reliure
Broché
Nombre de pages
170
Coordonnées du fabricant
Manufactured by Amazon on behalf of the author
https://www.amazon.fr/hz/contact-us

c/o Amazon Media EU S.à.r.l., 38 Avenue John F. Kennedy
Luxembourg
L-1855
Luxembourg