{"product_id":"the-design-and-construction-of-jeremy-malcolm-randolph-martin-9781917163781","title":"The Design and Construction of Deadlock-Free Concurrent Systems","description":"\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\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jeremy Malcolm Randolph Martin\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1917163789\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781917163781\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e University of Buckingham Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 04\/18\/2024\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 172\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.52lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.00h x 6.00w x 0.37d","brand":"Jeremy Malcolm Randolph Martin","offers":[{"title":"Paperback","offer_id":47001825739007,"sku":"9781917163781","price":30.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_343131a5-2cca-410b-862a-46b92e91f237.jpg?v=1751602258","url":"https:\/\/www.whiterainbookhouse.com\/products\/the-design-and-construction-of-jeremy-malcolm-randolph-martin-9781917163781","provider":"WR Book House","version":"1.0","type":"link"}