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.

Product details

• Authors: Jeremy Malcolm Randolph Martin, Jeremy Malcolm Randolph Martin
• Publisher: LEGEND PRESS
• Languages: English
• Product format: Paperback / Softback
• Released: 18.04.2024
• EAN: 9781917163781
• ISBN: 978-1-917163-78-1
• Dimensions: 152 mm x 229 mm x 9 mm
• Weight: 236 g
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; COMPUTERS / Programming / General, Computer programming / software engineering, Computer Programming / Software Development