| dc.contributor.advisor | 張宏慶 | zh_TW |
| dc.contributor.advisor | Jang, Hung Chin | en_US |
| dc.contributor.author (作者) | 王耀輝 | zh_TW |
| dc.contributor.author (作者) | Wang, Yao Huei | en_US |
| dc.creator (作者) | 王耀輝 | zh_TW |
| dc.creator (作者) | Wang, Yao Huei | en_US |
| dc.date (日期) | 1994 | en_US |
| dc.date.accessioned | 29-四月-2016 16:32:10 (UTC+8) | - |
| dc.date.available | 29-四月-2016 16:32:10 (UTC+8) | - |
| dc.date.issued (上傳時間) | 29-四月-2016 16:32:10 (UTC+8) | - |
| dc.identifier (其他 識別碼) | B2002003899 | en_US |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/88731 | - |
| dc.description (描述) | 碩士 | zh_TW |
| dc.description (描述) | 國立政治大學 | zh_TW |
| dc.description (描述) | 應用數學系 | zh_TW |
| dc.description (描述) | 81155002 | zh_TW |
| dc.description.abstract (摘要) | 分散式系統具有資源共享及運算更有效率等優點，使得分散式系統的應用越來越廣泛，有關分散式系統的研究也越受重視。一些存在分散式系統中的不正常現象，如：死結(deadlock)，饑餓(stravation)，及臨界競賽(critical race)往往會抵消掉資源共享的好處並且容易產生通訊(communication)的錯誤，另外，保證一分散系統中行程(process)均能正確的執行終止(termination)也是一項值得研究的重要課題。 | zh_TW |
| dc.description.abstract (摘要) | 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. | en_US |
| dc.description.tableofcontents | 中文摘要 Abstract Contents-----i List of Figures-----iii List of Tables-----iv 0 Motivation-----1 1 Deadlock of Distributed Systems-----4 1.1 Related Works-----8 1.1.1 Graph-Oriented Approach-----8 1.1.2 Temporal Logic-Based Approach-----9 1.1.3 Priority-Based Approach-----11 1.1.4 Transaction-Control Approach-----13 1.1.5 Object-Oriented Approach-----14 1.2 Comparisons-----15 2 Termination of Distributed Systems-----21 2.1 Re1ated Works-----22 2.1.1 Rooted Spanning Tree-Based Approach-----22 2.1.2 Message Counting-Based Approach-----23 2.1.3 Distributed Snapshots-Based Approach-----25 2.2 Comparisons-----26 3 Critical Race and Starvation of Distributed Systems-----29 3.1 Related Works-----30 3.1.1 CRF Language-Based Approach: Karam et al. (1989)-----30 3.1.2 PSA-Tree-Based Approach: Karam and Buhr (1990)-----32 3.2 Comparisons-----33 4 Conclusions and Future Works-----36 List of Figures 1.1 Resource allocation graphs-----7 1.2 New program with benign cycles by added FIXP-----10 1.3 Example of undetected deadlock-----18 1.4 Example of false deadlock-----18 List of Tables 1.1 Table of comparisons-----19 2.1 Comparisonsof system characteristics-----26 2.2 Perfromance comparisons-----28 3.1 Comparison of critical and starvation analysis approaches-----34 | zh_TW |
| dc.source.uri (資料來源) | http://thesis.lib.nccu.edu.tw/record/#B2002003899 | en_US |
| dc.subject (關鍵詞) | 分散式系統 | zh_TW |
| dc.subject (關鍵詞) | 行程 | zh_TW |
| dc.subject (關鍵詞) | 死結 | zh_TW |
| dc.subject (關鍵詞) | 終止 | zh_TW |
| dc.subject (關鍵詞) | 饑餓 | zh_TW |
| dc.subject (關鍵詞) | 臨界競賽 | zh_TW |
| dc.subject (關鍵詞) | distributed systems | en_US |
| dc.subject (關鍵詞) | provcess | en_US |
| dc.subject (關鍵詞) | deadlock | en_US |
| dc.subject (關鍵詞) | termination | en_US |
| dc.subject (關鍵詞) | starvation | en_US |
| dc.subject (關鍵詞) | critical race | en_US |
| dc.title (題名) | 分散系統中的飢餓，臨界競賽，死結及終止 | zh_TW |
| dc.title (題名) | Starvation, Critical Race, Deadlock and Termination in Distributed Systems | en_US |
| dc.type (資料類型) | thesis | en_US |
