1 / 13

Interconnection Networks: Deadlock and Livelock

Learn about the definitions of deadlock and livelock in network systems, understand the cycle of deadlock, examples like 1D Torus and 2D Mesh, and techniques for deadlock avoidance through restricted physical routes and dimension order.

westfall
Download Presentation

Interconnection Networks: Deadlock and Livelock

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Interconnection Networks: Deadlock and Livelock Feb. 26th, 2007 Prof. Chung-Kuan Cheng Transcribed by: Mohammad Al-Fares

  2. Definitions • Deadlock: • A group of agents (packets) are unable to make progress because they’re waiting on one another to release resources (buffers, channels, etc.) • Livelock: • Packets continue to move through the network, but without making progress towards their destination

  3. Deadlock • Cycle of deadlock: • Construct edges hold(a, b): Agent a holds resource b • Construct edges waitfor(a, b): Agent a waits for resource b • Reverse waitfor edges • Find Cycles of the graph: The cycles cause deadlock

  4. Example

  5. Example

  6. Example: 1D Torus

  7. Example: 1D Mesh

  8. Example: 2D Mesh

  9. Deadlock Avoidance • Restricted Physical Route • Dimension Order (K-ary n-mesh) • i.e. x → y → z • +x packet waitfor +x, -y, +y, -z, +z • -x packet waitfor -x, -y, +y, -z, +z • +y packet waitfor +y, -z, +z • -y packet waitfor -y, -z, +z • +z packet waitfor +z • -z packet waitfor -z

  10. Deadlock Avoidance • Restricted Physical Route • Dimension Order (K-ary n-mesh)

  11. Deadlock Avoidance • Turn Model Routing

  12. Deadlock Avoidance Eliminate +y -x turns: • Eliminate -y -x turns: west-first route • Eliminate +y +x turns: north-last route • Eliminate +x -y turns: negative-first route • Eliminate -y -x turns: possible cycle, not allowed

  13. Deadlock Avoidance • For restricted physical routes, we can enforce the rule by numbering the channels, and we go only from a channel to a channel with a higher number • Reduces path diversity → (performance, fault-tolerance)

More Related