A Study on Distributed k-Mutual Exclusion Algorithms

DOI IR NDL Digital Collections Web Site

Bibliographic Information

Title
A Study on Distributed k-Mutual Exclusion Algorithms
Other Title
  • 分散k-相互排除アルゴリズムに関する研究
Author
Kakugawa, Hirotsugu
Alias Name
  • 角川, 裕次
University
広島大学
Types of degree
博士(工学)
Grant ID
乙第2692号
Degree year
1995-03-16

Search this Article

Description

博士論文

資料形態 : テキストデータ プレーンテキスト
コレクション : 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
博士論文

Table of Contents

Abstract / p1 Contents / p5 1 Introduction / p13 　1.1 The Mutual Exclusion Problem / p13 　1.2 Distributed Systems / p14 　1.3 The Distributed Mutual Exclusion Problem / p15 　1.4 The Distributed k-Mutual Exclusion Problem / p15 　1.5 Fault Tolerance of Distributed Systems / p16 　1.6 Organization of This Dissertation / p16 I The Coterie Approach / p19 2 The Coterie Approach for the Distributed k-Mutual Exclusion / p21 　2.1 Previous Works for the Distributed 1-Mutual Exclusion / p21 　2.2 Previous Works for the Distributed k-Mutual Exclusion / p25 　2.3 Models and k-Coteries / p26 3 Availability of k-Coterie / p31 　3.1 Assumptions and Definitions / p31 　3.2 k-Majority Coteries / p33 　3.3 k-Singleton Coteries / p37 　3.4 Concluding Remarks / p37 4 A Distributed k-Mutual Exclusion Algorithm using k-Coterie / p39 　4.1 The Distributed k-Mutual Exclusion Algorithm / p39 　4.2 Correctness proofs / p41 　4.3 Message complexity / p43 　4.4 Concluding Remarks / p43 5 Experimental Evaluation of the k-Mutual Exclusion Algorithm / p45 　5.1 Assumptions and the Simulation Model / p45 　5.2 Outline of the Simulation System / p46 　5.3 The Distributed k-Mutual Exclusion Algorithm by Kerry Raymond / p48 　5.4 Simulation and Results / p48 　5.5 Concluding Remarks / p55 II The Self-Stabilization Approach / p57 6 The Self-Stabilization Approach for the Distributed k-Mutual Exclusion / p59 　6.1 Computational Models / p59 　6.2 Previous Works / p61 　6.3 Preliminaries / p62 7 Self-Stabilizing Mutual Exclusion Algorithms / p67 　7.1 Self-Stabilizing k-Mutual Exclusion Algorithms / p67 　7.2 A Self-Stabilizing 1-Mutual Exclusion Algorithm with Randomization / p79 　7.3 Concluding Remarks / p90 8 Conclusion / p91 A Local Coteries and a Distributed Resource Allocation Algorithm / p93 　A.1 The Resource Model / p94 　A.2 The Resource Allocation Problem / p94 　A.3 Local Coteries / p95 　A.4 A Distributed Resource Allocation Algorithm / p96 　A.5 Correctness Proof / p99 　A.6 Concluding Remarks / p102 B Implementations of Distributed k-Mutual Exclusion Algorithms / p103 　B.1 Our Distributed k-Mutual Exclusion Algorithm using k-Coterie / p104 　B.2 Raymond's Distributed k-Mutaul Exclusion Algorithm / p108 　B.3 The Behavior of a Process / p110

Details 詳細情報について

Report a problem

Back to top