飢餓 (計算機科學)

在計算機科學中，飢餓（starvation）是指在並發計算中，進程一直無法獲得運行所需的必要資源而發生的問題^[1]。排程、互斥鎖算法、資源泄漏等都可能導致飢餓，或者在被DoS攻擊（如fork炸彈）時主動產生飢餓。

在並發計算中，如果飢餓不可能發生，這個算法就被稱為是「starvation-free」（無飢餓）、「lockout-freed」（無閉鎖）的^[2]，或者稱其擁有「有限旁路」（finite bypass）^[3]。這一屬性是存活（英語：Liveness）的例子，也是互斥鎖算法的兩個條件之一（另一個是正確性）。

相關條目

• 哲學家就餐問題