Example of a Resource Allocation Graph

• no cycle IMPLIES no deadlock
• deadlock IMPLIES cycle (necessary condition)
• cycle IMPLIES maybe deadlock (but not sufficient condition)
  single instance resource AND cycle IMPLIES deadlock
• (necessary and sufficient