四、在死結（deadlock）發生時，一定會有循環等待（circular wait）的情形，試提出一 解決循環等待的方法，並證明該方法之正確性。（20 分）