Byzantine Agreement on the Order of Processing Received Requests is Solvable Deterministically in Asynchronous Systems
スポンサーリンク
概要
- 論文の詳細を見る
非同期分散システムにおいて,システムのビザンチン故障に対応するために,システムを複製することで故障への耐性を持たせる手法が考えられている.そこでは,システムのレプリカ間でリクエストに関する処理順序の合意を取ることで,動作や内部状態を一致させ,故障したレプリカの影響を排除する.本論文では,このアプローチにおいて従来実現されていなかった,停止性を満たす処理順序合意プロトコルを提案する.これまで一般の非同期ビザンチン合意問題は停止性を満たすことは不可能だと考えられていたが,リクエストの処理順序合意問題においては実現可能であることを示す.また,本手法が一般のインタラクション構造へも容易に拡張できることも示す.
- 社団法人電子情報通信学会の論文
- 2006-10-10
著者
-
中村 純哉
豊橋技術科学大学知識情報工学系
-
櫟 粛之
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
増山 繁
豊橋技術科学大学知識情報工学系
-
増山 繁
豊橋技術科学大学
-
中村 純哉
大阪大学大学院情報科学研究科
-
櫟 粛之
日本電信電話株式会社
関連論文
- 係り元文節からの相対的な距離を反映した統計的日本語係り受け解析(自然言語処理)
- Cross-Bootstrapping:特許文書からの課題・効果表現対の自動抽出手法(テキストマイニング,情報爆発論文)
- 公開特許公報の特許権成立の成否に関するテキスト情報を用いた推定手法の基礎的検討(自然言語処理)
- Techniques to accelerate request processing for Byzantine fault tolerance (コンピュテーション)
- 新聞記事中の文が因果関係を含むか否かの判定 (言語理解とコミュニケーション)
- 改良taintモデルに基づくオブジェクト指向言語を用いたアプリケーション開発
- オブジェクトごとにセキュリティ制御可能なtaintモデル
- 1-B-3 新幹線の終端駅に着目した列車発着スケジューリング(輸送・交通)
- 経済新聞記事内容の個々の企業におけるインパクトの判定(文書分類・評判分析)
- 可読性の向上を目的とした片仮名表記外来語の換言知識獲得(自然言語処理)
- 日本語語彙大系と日本語ウィキペディアにおける知識の自動結合による汎用オントロジー構築手法(単語・事象・オントロジー)
- UC frameworkにおけるfunctionalityの合成について(情報通信基礎サブソサイエティ合同研究会)
- ニュース番組における字幕生成のための文内短縮による要約
- 結束チャートを用いた日本語文章の語彙的結束構造の解析
- 係り元文節からの相対的な距離を反映した統計的日本語係り受け解析
- 2-A-4 企業の業績発表記事から抽出した業績要因への極性付与(金融工学(3))
- 完全2部グラフK_においてp+q+1本以下の辺を持つ連結全域部分グラフの個数に関する計算式
- グラフK_n-e、k_n・eにおいてn+1本以下の辺を持つ連結全域部分グラフの個数に関する計算式
- 完全グラフK_nにおいてn+1本以下の辺を持つ連結全域部分グラフの個数に関する計算式
- 節点数がn、辺数が「(3-2√)n^2+n-(7-2√)/(2√)」以上の単純無向グラフにおける連結全域部分グラフの個数系列の単峰性に関する証明
- 全節点間のネットワーク信頼性多項式における係数の性質について
- On the Importance of Each Edge with Respect to Minimum spanning Trees in a Weighted Graph
- On the Importance of Each Edge Using Its Traffic along Shortest Paths in a Network
- ネットワークにおける辺の重要度の評価について(計算量理論)
- 確率付きグラフ上の点素な s-t 路の期待最大本数の計算問題
- 辺の長さを持つグラフに対する各辺を通る最短路本数の計算問題
- 確率付きグラフ上の辺素な s-t 路の最大本数の期待値計算問題の計算量について
- 確率付グラフ上の辺素なs-t路の期待最大本数の下界値
- A Lower Bound of the Expected Maximum Number of Edge-disjoint s-t Paths on Probabilistic Graphs
- Computing the Expected Maximum Number of Vertex-disjoint s-t Paths in a Probabilistic Basically Series-parallel Digraph
- A Lower Bound of the Expected Maximum Number of Vertex-disjoint s-t Paths on Probabilistic Graphs
- 確率付グラフ上の点素なs-t Disjoint Pathsの期待最大本数の計算問題(理論計算機科学とその周辺)
- 確率付グラフ上の2節点間の辺素な路の最大本数の確率分布の計算に関する一考察(組合せ・グラフ・ネットワーク)
- 確率付グラフ上の点素なs-t路の最大本数の期待値計算問題
- Cross-Bootstrapping : 特許文書からの課題・効果表現対の自動抽出手法
- DS-1-1 有向閉路型走行経路を用いたAGVシステムにおける総移動距離を最小化する確率的オンラインアルゴリズムに関する競合比解析(DS-1.計算理論における学生の研究パワー:COMP学生シンポジウム,シンポジウムセッション)
- Wikipediaと汎用シソーラスを用いた汎用オントロジー構築手法
- 梯子型走行経路を用いたAGVシステムにおけるデッドロック回復問題の計算複雑さ
- An Optimal Parallel Algorithm for Hinge Vertex Probrem of a Circular-Arc Graph
- 1-D-7 Circular Permutation Graphの関節点,橋検出アルゴリズム(離散・組合せ最適化(3))
- 1-D-2 台形グラフにおけるMFVS問題のための効率的アルゴリズム(離散・組合せ最適化(1))
- 2-D-22 ラダー型走行経路を用いたAGVシステムにおけるデッドロック回復問題の計算複雑さの解析(物流)
- テキストマイニング技術を用いた判例文書分類・情報抽出--判例統計作成のために
- 語の意味分類の出現傾向を考慮したキーワード抽出の試み
- 分類の出現傾向を考慮したキーワード抽出
- Wikipediaと汎用シソーラスを用いた汎用オントロジー構築手法(人工知能,データマイニング)
- 2-E-1 AGVシステムにおけるオンライン搬送スケジューリングに対する完了時間和最小化オンラインアルゴリズムの競合比解析(離散最適化(1))
- OWLオントロジー間の自動対応付け手法の提案と評価(「さまざまな分野の形式的検証最前線」及びAI一般)
- 2-E-10 Circular Permutation Graph上の要節点導出のための最適並列アルゴリズム(離散最適化(3))
- 決定的な解析と相対的な比較による解析の二側面を持つ日本語係り受け解析
- 特許文書からのブートストラップ手法を用いた課題・効果表現対の抽出
- Unrestricted $LR(k)$ Grammars and its Parser, where $k=0,1$ (New Developments of Theory of Computation and Algorithms)
- 確率一般化LR構文解析の先読み方式変更による拡張 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- LC文法とその構文解析の拡張(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- $LC$文法とその構文解析法の拡張について (計算モデルとアルゴリズム)
- LC構文解析法を拡張した構文解析法について
- LR構文解析の並列アルゴリズム
- 単純順位文法に対する並列構文解析アルゴリズム
- unrestricted LR 文法及び unrestricted LR 構文解析法の提案(計算モデルと計算の複雑さに関する研究)
- LR属性を拡張したR-L属性の提案
- LR構文解析の並列アルゴリズムについて(計算量理論)
- 属性文法に基づく意味解析の並列アルゴリズム
- L属性文法に基づく意味解析の並列アルゴリズムの開発
- 重要文抽出, 自由作成要約に対応した新聞記事要約システムYELLOW
- ニュース文の音声要約のための韻律情報の利用
- 語順を考慮した格フレームの提案と獲得手法
- 非対訳コーパスを用いた日本語複合名詞の英訳語推定
- 重複部・冗長部削除による複数記事要約手法
- 名詞の連接情報を用いた関連文書検索手法
- Byzantine Agreement on the Order of Processing Received Requests is Solvable Deterministically in Asynchronous Systems
- BDIアーキテクチャにおけるコミットメント戦略を実現するための形式的検証手続き(ソフトウェア基礎,プログラム理論)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- 合理的エージェントの心的状態に関する整合性の実現と応用について(ソフトウェアエージェントとその応用論文)
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- BDI Logicのsequent calculusによる演繹体系(マルチエージェント)
- 確率的近似法を用いた頑強なオンライン評判メカニズム(分散協調とエージェント)
- エージェント間通信における信頼度計算手法
- モバイルエージェント実行計画問題について (計算機科学基礎理論とその応用)
- 負荷分散のための非同期分散分枝限定法
- Generic Communication Protocol Program を利用したエージェントの interoperability の実現
- UC frameworkにおけるfunctionalityの合成について(情報通信基礎サブソサイエティ合同研究会)
- UC frameworkにおけるfunctionalityの合成について(情報通信基礎サブソサイエティ合同研究会)
- DS-1-1 汎用的結合性のある秘密多項式評価法(DS-1. COMP-NHC学生シンポジウム,シンポジウムセッション)
- 形式的検証機能を備えたインターネットエージェントプログラミングシステム
- インターネットエージェントのための動的スナップショットアルゴリズムと部分ロールバックアルゴリズム(分散協調とエージェント)
- インターネットエージェントの非同期な資源取引における無待機アルゴリズム
- インターネットエージェントのための動的スナップショットアルゴリズムと部分ロールバックアルゴリズム
- 鍵交換プロトコルのFunctionality合成について(「さまざまな分野の形式的検証最前線」及びAI一般)
- 鍵交換プロトコルの Functionality 合成について
- インターネットエージェントシステムのための実用的な耐ビザンチン故障方式(セッション1)
- 形式的検証機能を備えたインターネットエージェントプログラミングシステム(セッション1)
- Task-PIOAに基づくIdeal Functionality実現の証明の自動化(「さまざまな分野の形式的検証最前線」及びAI一般)
- インターネットエージェントとその基礎理論(「21世紀の知識情報科学に向けて」,及び一般)
- エージェントプログラミングとその形式的検証
- 知識と信念の推論に基づくモバイルエージェントシステム
- HDLで記述されたハードウェア設計の時相論理による検証
- HDLで記述されたハードウェア設計の時相論理による検証
- First-Order定義可能な様相命題論理体系に対する自動定理証明
- 停止性を保証する汎用様相論理定理証明手続き
- デフォルト論理に基づく知識プログラミングシステムとそのプログラム変換の理論的枠組み