{"product_id":"the-design-and-construction-of-deadlock-free-concurrent-systems-9781917163781","title":"The Design and Construction of Deadlock-Free Concurrent Systems","description":"\u003cp\u003e • Author(s): Jeremy Malcolm Randolph Martin\u003cbr\u003e • Publisher: University of Buckingham Press\u003cbr\u003e • Publisher Imprint: University of Buckingham Press\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eIt 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.\u003c\/p\u003e\u003cp\u003eDesign 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.\u003c\/p\u003e\u003cp\u003eThe thesis concludes with a discussion of related issues of parallel program reliability.\u003c\/p\u003e","brand":"Atlantic Books","offers":[{"title":"Paperback","offer_id":46443719295127,"sku":"9781917163781","price":3113.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781917163781.webp?v=1769127812","url":"https:\/\/atlanticbooks.com\/products\/the-design-and-construction-of-deadlock-free-concurrent-systems-9781917163781","provider":"Atlantic Books","version":"1.0","type":"link"}