| 講演抄録／キーワード |
| 講演名 |
2006-10-17 11:35
Byzantine Agreement on the Order of Processing Received Requests is Solvable Deterministically in Asynchronous Systems
○Junya Nakamura（Toyohashi Univ. of Tech.）・Tadashi Araragi（NTT）・Shigeru Masuyama（Toyohashi Univ. of Tech.） |
| 抄録 |
（和） |
非同期分散システムにおいて，システムのビザンチン故障に対応するために，システムを複製することで故障への耐性を持たせる手法が考えられている．
そこでは，システムのレプリカ間でリクエストに関する処理順序の合意を取ることで，動作や内部状態を一致させ，故障したレプリカの影響を排除する．
本論文では，このアプローチにおいて従来実現されていなかった，停止性を満たす処理順序合意プロトコルを提案する．
これまで一般の非同期ビザンチン合意問題は停止性を満たすことは不可能だと考えられていたが，リクエストの処理順序合意問題においては実現可能であることを示す．
また，本手法が一般のインタラクション構造へも容易に拡張できることも示す． |
| （英） |
In an asynchronous distributed system, a fault-tolerant method based on system replication has been introduced.
Replicas of the system make an agreement on the order of processing received requests to keep their behavior same and avoid the effect of faulty replicas.
This paper proposes a protocol that satisfies termination, which is not guaranteed by existing methods.
The general asynchronous Byzantine agreement problem has been considered that it is impossible to solve deterministically.
Our protocol shows it is solvable in agreement on the order of received requests.
We also show our protocol can be easily extended to more general cases than the server-client model. |
| キーワード |
（和） |
非同期システム / 状態機械アプローチ / 耐ビザンチン故障 / 合意 / 決定的アルゴリズム / / / |
| （英） |
asynchronous system / state machine approach / Byzantine fault-tolerance / agreement / deterministic algorithm / / / |
| 文献情報 |
信学技報, vol. 106, no. 289, COMP2006-35, pp. 33-40, 2006年10月. |
| 資料番号 |
COMP2006-35 |
| 発行日 |
2006-10-10 (COMP) |
| ISSN |
Print edition: ISSN 0913-5685 |
| PDFダウンロード |
|