Reading material

pages 77-86

Assignments

Discuss in detail (by means of an example) why the Chandy-Misra-Haas algorithm for deadlock detection in the resource model cannot be used in the communication model.