Deadlock Resolution in Computer-Integrated Systems
eBook - ePub

Deadlock Resolution in Computer-Integrated Systems

  1. 696 pages
  2. English
  3. ePUB (mobile friendly)
  4. Available on iOS & Android
eBook - ePub

Deadlock Resolution in Computer-Integrated Systems

About this book

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.

Frequently asked questions

Yes, you can cancel anytime from the Subscription tab in your account settings on the Perlego website. Your subscription will stay active until the end of your current billing period. Learn how to cancel your subscription.
No, books cannot be downloaded as external files, such as PDFs, for use outside of Perlego. However, you can download books within the Perlego app for offline reading on mobile or tablet. Learn more here.
Perlego offers two plans: Essential and Complete
  • Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
  • Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Both plans are available with monthly, semester, or annual billing cycles.
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Yes! You can use the Perlego app on both iOS or Android devices to read anytime, anywhere — even offline. Perfect for commutes or when you’re on the go.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Yes, you can access Deadlock Resolution in Computer-Integrated Systems by MengChu Zhou,Maria Pia Fanti in PDF and/or ePUB format, as well as other popular books in Computer Science & Operating Systems. We have over one million books available in our catalogue for you to explore.

Information

Publisher
CRC Press
Year
2018
eBook ISBN
9781351830553
Topic
Computer Science
Subtopic
Operating Systems
Index
Computer Science

Table of contents

  1. Cover
  2. Half Title
  3. Title Page
  4. Copyright Page
  5. Table of Contents
  6. List of Contributors
  7. Preface
  8. 1: Introduction to Deadlock Research in Computer-integrated Systems
  9. 2: Deadlock Avoidance in Automated Manufacturing Systems Using Finite Automata and State Space Search
  10. 3: Synthesis of Deadlock-free Supervisory Controllers Using Automata
  11. 4: Deadlock Avoidance and Dynamic Routing Flexibility in Automated Manufacturing Systems  1
  12. 5: Digraph-Based Techniques for Deadlock Resolution in Automated Manufacturing Systems
  13. 6: Deadlock-Free Supervisory Control for Assembly and Disassembly Systems
  14. 7: Deadlock Avoidance Algorithms and Implementation, a Matrix Based Approach
  15. 8: Deadlock Detection and Prevention of Automated Manufacturing Systems Using Petri Nets and Siphons
  16. 9: Siphon-based characterization of liveness and liveness-enforcing supervision for sequential resource allocation systems
  17. 10: Elementary Siphons of Petri Nets for Efficient Deadlock Control in FMS
  18. 11: Resource-Oriented Petri Nets in Deadlock Prevention and Avoidance
  19. 12: The Effect of Modeling and Control Techniques on the Management of Deadlocks in FMS
  20. 13: Deadlock Characterization and Resolution in Interconnection Networks
  21. 14: Deadlock Models for a Multi-Service Medium Access Protocol Employing a Slotted Aloha or Q-ary Tree Based Signaling Channel
  22. 15: Deadlock-Free TCP Over HighSpeed Internet
  23. 16: Deadlock Resolution in Large-Scale Internet Computing
  24. 17: Models Used in Static Analysis for Deadlocks of Ada Tasking Programs
  25. 18: Deadlock Handling in Database Systems
  26. Index