七、當作業系統當中，某些行程因為無法獲得所需的資源而導致這些行程的狀態無法改變，我們稱此現象為死結(deadlock)，請簡述形成 deadlock 的充分必要條件。(15 分)