Concurrency and consistency control of replicated information in the GALAXY distributed operating system GALAXYオペレーティングシステムにおける多重化されたデータの並列性と一貫性の制御
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Concurrency and consistency control of replicated information in the GALAXY distributed operating system
- タイトル別名
-
GALAXYオペレーティングシステムにおける多重化されたデータの並列性と一貫性の制御
- 著者名
-
賈, 小華
- 著者別名
-
ジャ, ショウカ
- 学位授与大学
-
東京大学
- 取得学位
-
理学博士
- 学位授与番号
-
甲第8857号
- 学位授与年月日
-
1991-03-29
注記・抄録
博士論文
目次
- Contents / p6 (0007.jp2)
- Chapter 1. Introduction / (0011.jp2)
- 1.1 Object Naming and Locating Mechanism of the GALAXY System / p3 (0013.jp2)
- 1.2 Replicated Information in the GALAXY System / p5 (0015.jp2)
- 1.3 Data Replication and Remote Cache / p6 (0016.jp2)
- 1.4 Consistency Constraint and Performance / p7 (0017.jp2)
- 1.5 Robustness of Consistency Control Mechanisms / p8 (0018.jp2)
- 1.6 Arrangement of the thesis / p9 (0019.jp2)
- Chapter 2. Background / p11 (0021.jp2)
- 2.1 Control Model of Accessing Replicated Data / p11 (0021.jp2)
- 2.2 Concurrency Control of Shared Data Access / p15 (0025.jp2)
- 2.3.Consistency Control of Replicas / p22 (0032.jp2)
- 2.4.Robustness Consideration / p30 (0040.jp2)
- Chapter 3. Replicated ID Table / p33 (0043.jp2)
- 3.1.The Structure of ID Table / p33 (0043.jp2)
- 3.2.The Model of ID Manager / p35 (0045.jp2)
- 3.3.Data Structures and Algorithm / p36 (0046.jp2)
- 3.4.Algorithm / p38 (0048.jp2)
- 3.5.The Robustness of ID Manager / p41 (0051.jp2)
- 3.6.Correctness Discussion / p48 (0058.jp2)
- 3.7.Evaluation and Conclusion / p54 (0064.jp2)
- Chapter 4. Replicated Directory Files / p58 (0068.jp2)
- 4.1.Parallel and Non-Blocking Updating Mechanism / p58 (0068.jp2)
- 4.2.Directory Management in Distributed Systems / p60 (0070.jp2)
- 4.3.The Model of Updating Mechanism / p61 (0071.jp2)
- 4.4.The Updating Mechanisms / p65 (0075.jp2)
- 4.5.Consistency Discussion / p70 (0080.jp2)
- 4.6.Evaluation and Conclusion / p74 (0084.jp2)
- Chapter 5. Integrity Access of a Replicated File / p77 (0087.jp2)
- 5.1.Integrity Access of a Replicated File / p77 (0087.jp2)
- 5.2.Related Work / p79 (0089.jp2)
- 5.3.Outlines of the Design / p80 (0090.jp2)
- 5.4.Dependency Graph / p85 (0095.jp2)
- 5.5.Integrity Accesses to Replicated Files / p87 (0097.jp2)
- 5.6.One-Copy Serializability of the Algorithm / p93 (0103.jp2)
- 5.7.Evaluation and Conclusion / p96 (0106.jp2)
- Chapter 6. Conclusions / p100 (0110.jp2)
- 6.1.Contributions / p100 (0110.jp2)
- 6.2.Future Work / p101 (0111.jp2)
- References / p103 (0113.jp2)
- Appendix 1 / p108 (0118.jp2)