The Design and Construction of Deadlock-Free Concurrent Systems - Paperback
$48.60
Skip to product information
The Design and Construction of Deadlock-Free Concurrent Systems - Paperback
$48.60
Shipping calculated at checkout.
by Jeremy Malcolm Randolph Martin (Author)
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.
Number of Pages: 172
Dimensions: 0.37 x 9 x 6 IN
Publication Date: July 30, 2024
Details
This product is crafted with quality materials to ensure durability and performance. Designed with your convenience in mind, it seamlessly fits into your everyday life.
Shipping & Returns
We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.
We are committed to ensuring a positive shopping experience for all our customers. If for any reason you wish to return an item, we invite you to reach out to our team for assistance, and we will evaluate every return request with care and consideration.
