| Presentation | 2009-10-20 Deriving an Asynchronous Consensus Algorithm from a Round Model-Based Algorithm Kazuyuki AKAI, Tatsuhiro TSUCHIYA, Tohru KIKUNO, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Consensus is a fundamental problem faced in implementing fault-tolerant distributed systems. The design and verification of algorithms to solve this problem are difficult because of message delay, concurrency, and faults inherent to distributed systems. To solve this difficulty, several round models, which are abstract computation models for distributed systems, have been developed. In this paper, we report our experience in which we converted two consensus algorithms designed for a round model into a conventional asynchronous distributed system model. This experience supports the usefulness of the two-step design method, in which an algorithm is designed based on the round model and then is translated into the conventional model. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | fault-tolerant distributed system / consensus problem / round model |
| Paper # | DC2009-25 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2009/10/13(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Dependable Computing (DC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Deriving an Asynchronous Consensus Algorithm from a Round Model-Based Algorithm |
| Sub Title (in English) | |
| Keyword(1) | fault-tolerant distributed system |
| Keyword(2) | consensus problem |
| Keyword(3) | round model |
| 1st Author's Name | Kazuyuki AKAI |
| 1st Author's Affiliation | Graduate School of Information Science and Technology, Osaka University() |
| 2nd Author's Name | Tatsuhiro TSUCHIYA |
| 2nd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
| 3rd Author's Name | Tohru KIKUNO |
| 3rd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
| Date | 2009-10-20 |
| Paper # | DC2009-25 |
| Volume (vol) | vol.109 |
| Number (no) | 238 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |