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