分散系統中的飢餓，臨界競賽，死結及終止

Abstract

分散式系統具有資源共享及運算更有效率等優點，使得分散式系統的應用越來越廣泛，有關分散式系統的研究也越受重視。一些存在分散式系統中的不正常現象，如：死結(deadlock)，饑餓(stravation)，及臨界競賽(critical race)往往會抵消掉資源共享的好處並且容易產生通訊(communication)的錯誤，另外，保證一分散系統中行程(process)均能正確的執行終止(termination)也是一項值得研究的重要課題。

There are some addvantages of distributed systems, such as resources sharing and computing efficiency. Thus, the applications of distributed systems are more prevalent. The research of distributed systems had got great worth. Some undesired or abcdrmal behaviors such as deadlock, starvation, and critical race exist in distributed systems, which often offset the advantages of resources sharing and are prone to communication errors. It is very important to guarantee the processes of a distributed system which can terminate finitely.