Deadlock Resolution in Computer-Integrated Systems

A guide for electrical and control engineers and manufacturing, intelligent and network systems designers to prevent and manage deadlock issues in their systems. It addresses deadlock-free models and scheduling, detection and recovery methods, the formulation of dynamic control policies and comparison and studies that evaluate various approaches.
Deadlock Resolution in Computer-Integrated Systems serves as a comprehensive reference that covers research, development, and implementation for deadlock-free computer-integrated systems. These systems include automated production systems, transportation systems, computer operating systems, concurrent software systems, computer networks, distributed database systems, and other automated systems. No other single title summarizes this important area of research. The book contains 18 chapters contributed by prominent researchers in the area, all classified on the deadlock modeling approaches they present, the solution types they propose, and the applications they seek.