Deadlock Resolution in Computer-Integrated Systems

TRAMA

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.

NOTE EDITORE

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.

SOMMARIO

LIST OF CONTRIBUTORSPREFACEINTRODUCTION TO DEADLOCK RESEARCH IN COMPUTER-INTEGRATED SYSTEMSM.P. Fanti and M.C. ZhouDEADLOCK AVOIDANCE IN AUTOMATED MANUFACTURING SYSTEMS USING FINITE AUTOMATA AND STATE SPACE SEARCHA. Yalcin, T. Tai, and T.O. BoucherSYNTHESIS OF DEADLOCK-FREE SUPERVISORY CONTROLLERS USING AUTOMATAA. Ramirez-Serrano and B. BenhabibDEADLOCK AVOIDANCE AND DYNAMIC ROUTING FLEXIBILITY IN AUTOMATED MANUFACTURING SYSTEMSM. LawleyDIGRAPH-BASED TECHNIQUES FOR DEADLOCK RESOLUTION IN AUTOMATED MANUFACTURING SYSTEMSM.P. Fanti, B. Maione, G. Maione, and B. TurchianoDEADLOCK-FREE SUPERVISORY CONTROL FOR ASSEMBLY AND DISASSEMBLY SYSTEMSE. RoszkowskaDEADLOCK AVOIDANCE ALGORITHMS AND IMPLEMENTATION: A MATRIX-BASED APPROACHJ. Mireles Jr., F. Lewis, A. Gürel, and S. BogdanDEADLOCK DETECTION AND PREVENTION OF AUTOMATED MANUFACTURING SYSTEMS USING PETRI NETS AND SIPHONSM.D. Jeng, and X. XieSIPHON-BASED CHARACTERIZATION OF LIVENESS AND LIVENESS-ENFORCING SUPERVISION FOR SEQUENTIAL RESOURCE ALLOCATION SYSTEMSS. ReveliotisELEMENTARY SIPHONS OF PETRI NETS FOR EFFICIENT DEADLOCK CONTROLZ. Li and M.C. ZhouRESOURCE-ORIENTED PETRI NETS IN DEADLOCK PREVENTION AND AVOIDANCEN. Wu and M.C. ZhouTHE EFFECT OF MODELING AND CONTROL TECHNIQUES ON THE MANAGEMENT OF DEADLOCKS IN FMSL. Ferrarini and L. PiroddiDEADLOCK CHARACTERIZATION AND RESOLUTION IN INTERCONNECTION NETWORKST. M. PinkstonDEADLOCK MODELS FOR A MULTI-SERVICE MEDIUM ACCESS PROTOCOL EMPLOYING A SLOTTED ALOHA OR Q-ARY TREE BASED SIGNALING CHANNELM.V. IvanovichDEADLOCK-FREE TCP OVER HIGH-SPEED INTERNETR.K.C. Chang, H.Y. Chan and A.W. YeungDEADLOCK RESOLUTION IN LARGE-SCALE INTERNET COMPUTINGJ. ParkMODELS USED IN STATIC ANALYSIS FOR DEADLOCKS OF ADA TASKING PROGRAMSM. Tiusanen and T. MurataDEADLOCK HANDLING IN DATABASE SYSTEMSM. WeskeINDEX

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9780824753689
• Dimensioni: 9.2 x 6.1428571 in Ø 2.45 lb
• Formato: Copertina rigida
• Illustration Notes: 263 b/w images, 38 tables and 263 halftones
• Pagine Arabe: 696