http://bit.ly/CoffmanDeadlocks - 相互排除: ある並行プロセスがリソースに対して排他的な権利をどの時点においても保持している - 条件まち: ある並行プロセスはリソースの保持と追加のリソース待ちを同時に行わなければならない。 - 横取り不可: ある並行プロセスによって保持されているリソースは、そのプロセスによってのみ解放される。 - 循環待ち: ある並行プロセス(P1)は、他の連なっている並行プロセス(P2)を待たなければならない。 そして P2 は P1 を待っている。