Deadlock-freedom

複数のプロセスが、お互いのリソース開放を永久に待ち続ける状態が発生しない