Deadlock Resolution in Computer-Integrated Systems: 1st Edition (Hardback) book cover

Deadlock Resolution in Computer-Integrated Systems

1st Edition

Edited by MengChu Zhou, Maria Pia Fanti

CRC Press

696 pages | 263 B/W Illus.

Purchasing Options:$ = USD
Hardback: 9780824753689
pub: 2004-12-27
SAVE ~$48.00
$240.00
$192.00
x
eBook (VitalSource) : 9781315214665
pub: 2018-10-08
from $28.98


FREE Standard Shipping!

Description

Complex computer-integrated systems offer enormous benefits across a wide array of applications, including automated production, transportation, concurrent software, and computer operating systems, computer networks, distributed database systems, and many other automated systems. Yet, as these systems become more complex, automated, distributed, and computing-intensive, the opportunity for deadlock issues rises exponentially. Deadlock modeling, detection, avoidance, and recovery are critical to improving system performance.

Deadlock Resolution in Computer-Integrated Systems is the first text to summarize and comprehensively treat this issue in a systematic manner. Consisting of contributions from prominent researchers in the field, this book addresses deadlock-free models and scheduling, detection and recovery methods, the formulation of dynamic control policies, and comparison and industrial benchmark studies that evaluate various approaches. The editors lay the foundation for exploring deadlock issues with a typical example of an automated manufacturing process, illustrating three primary modeling methods (digraphs, Petri nets, and automata) and comparing their respective advantages and disadvantages.

Providing all of the important models and resolution approaches, this book is the complete guide for electrical and control engineers and manufacturing, intelligent, and network systems designers to prevent and manage deadlock issues in their systems.

Table of Contents

LIST OF CONTRIBUTORS

PREFACE

INTRODUCTION TO DEADLOCK RESEARCH IN COMPUTER-INTEGRATED SYSTEMS

M.P. Fanti and M.C. Zhou

DEADLOCK AVOIDANCE IN AUTOMATED MANUFACTURING SYSTEMS USING FINITE AUTOMATA AND STATE SPACE SEARCH

A. Yalcin, T. Tai, and T.O. Boucher

SYNTHESIS OF DEADLOCK-FREE SUPERVISORY CONTROLLERS USING AUTOMATA

A. Ramirez-Serrano and B. Benhabib

DEADLOCK AVOIDANCE AND DYNAMIC ROUTING FLEXIBILITY IN AUTOMATED MANUFACTURING SYSTEMS

M. Lawley

DIGRAPH-BASED TECHNIQUES FOR DEADLOCK RESOLUTION IN AUTOMATED MANUFACTURING SYSTEMS

M.P. Fanti, B. Maione, G. Maione, and B. Turchiano

DEADLOCK-FREE SUPERVISORY CONTROL FOR ASSEMBLY AND DISASSEMBLY SYSTEMS

E. Roszkowska

DEADLOCK AVOIDANCE ALGORITHMS AND IMPLEMENTATION: A MATRIX-BASED APPROACH

J. Mireles Jr., F. Lewis, A. Gürel, and S. Bogdan

DEADLOCK DETECTION AND PREVENTION OF AUTOMATED MANUFACTURING SYSTEMS USING PETRI NETS AND SIPHONS

M.D. Jeng, and X. Xie

SIPHON-BASED CHARACTERIZATION OF LIVENESS AND LIVENESS-ENFORCING SUPERVISION FOR SEQUENTIAL RESOURCE ALLOCATION SYSTEMS

S. Reveliotis

ELEMENTARY SIPHONS OF PETRI NETS FOR EFFICIENT DEADLOCK CONTROL

Z. Li and M.C. Zhou

RESOURCE-ORIENTED PETRI NETS IN DEADLOCK PREVENTION AND AVOIDANCE

N. Wu and M.C. Zhou

THE EFFECT OF MODELING AND CONTROL TECHNIQUES ON THE MANAGEMENT OF DEADLOCKS IN FMS

L. Ferrarini and L. Piroddi

DEADLOCK CHARACTERIZATION AND RESOLUTION IN INTERCONNECTION NETWORKS

T. M. Pinkston

DEADLOCK MODELS FOR A MULTI-SERVICE MEDIUM ACCESS PROTOCOL EMPLOYING A SLOTTED ALOHA OR Q-ARY TREE BASED SIGNALING CHANNEL

M.V. Ivanovich

DEADLOCK-FREE TCP OVER HIGH-SPEED INTERNET

R.K.C. Chang, H.Y. Chan and A.W. Yeung

DEADLOCK RESOLUTION IN LARGE-SCALE INTERNET COMPUTING

J. Park

MODELS USED IN STATIC ANALYSIS FOR DEADLOCKS OF ADA TASKING PROGRAMS

M. Tiusanen and T. Murata

DEADLOCK HANDLING IN DATABASE SYSTEMS

M. Weske

INDEX

Subject Categories

BISAC Subject Codes/Headings:
COM046000
COMPUTERS / Operating Systems / General
COM059000
COMPUTERS / Computer Engineering