Home > プログラム分析


プログラムにおけるデッドロック状況の最小要件とその分析

相互排他条件 (Mutual Exclusion): デッドロックが発生するためには、少なくとも2つのリソースが存在し、それぞれのリソースが排他的に使用される必要があります。つまり、同一時点で複数のスレッドやプロセスが同じリソースを同時に利用することはできません。>>More