Starvation-freedom

• Lockout-freedomとも

• Livenessの一つ

• どのプロセスも必要なリソースを永久に待ち続けることがない状態

• Deadlockでも引き起こされるので、Starvation-freedomはDeadlock-freedomを内包している、ともいわれる

• 最終的にすべてのスレッドがCritical sectionに入ることを保証するものの、それにかかる時間は保証しない。また、Fairnessも保証しない。