page_title: Chandy–Misra–Haas algorithm resource model
section_title: Example
hierarchical_section_title: Chandy–Misra–Haas algorithm resource model / Example
caption_attribution_description: English: descibes a distributed deadlock
context_page_description: The Chandy–Misra–Haas algorithm resource model checks for deadlock in a distributed system. It was developed by K. Mani Chandy, Jayadev Misra and Laura M Haas.
context_section_description: P₁ initiates deadlock detection. C₁ sends the probe saying P₂ depends on P₃. Once the message is received by C₂, it checks whether P₃ is idle. P₃ is idle because it is locally dependent on P₄ and updates dependent₃(2) to True.
  As above, C₂ sends probe to C₃ and C₃ sends probe to C₁. At C₁, P₁ is idle so it update dependent₁(1) to True. Therefore, deadlock can be declared.
caption: occurrence of deadlock in distributed system
exif: {"Image Orientation": "Horizontal (normal)", "Image XResolution": "72", "Image YResolution": "72", "Image ResolutionUnit": "Pixels/Inch", "Image Software": "Adobe Photoshop CS6 (Macintosh)", "Image DateTime": "2013:04:18 16:03:06", "Image ExifOffset": "168", "Thumbnail Compression": "JPEG (old-style)", "Thumbnail XResolution": "72", "Thumbnail YResolution": "72", "Thumbnail ResolutionUnit": "Pixels/Inch", "Thumbnail JPEGInterchangeFormat": "306", "Thumbnail JPEGInterchangeFormatLength": "8371", "EXIF ColorSpace": "sRGB", "EXIF ExifImageWidth": "300", "EXIF ExifImageLength": "300"}