Development of Geographically-Distributed Byzantine Fault-Tolerant Systems
| Project/Area Number |
22K11971
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 60050:Software-related
|
|---|
| Research Institution | Toyohashi University of Technology |
|---|
Principal Investigator |
中村 純哉 豊橋技術科学大学, 情報メディア基盤センター, 准教授 (60739746)
|
|---|
| Project Period (FY) |
2022-04-01 – 2027-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2026: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2025: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2024: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2023: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
|
|---|
| Keywords | 地理的分散システム / 耐ビザンチン故障 / 動的ネットワーク / レプリケーション / 分散アルゴリズム |
|---|
| Outline of Research at the Start |
BFT状態機械レプリケーション（BFT-SMR）は，状態機械として定義されるサービスに対して，ビザンチン故障という最も強い故障に耐性を持たせるレプリケーション技術である．中でもサービスの複製（レプリカ）を地理的に分散配置するGeographical BFT-SMRは，地震などの大規模災害にも耐えられることから，一時的なサービス停止が許されない重要なサービスで用いられる．本研究課題では，Geographical BFT-SMRについて，(1) レプリケーション中のネットワーク変動を考慮し，(2) ビザンチン故障レプリカの仮定を現実的な観点から見直すことで，レプリケーション性能の向上を目指す．
|
| Outline of Annual Research Achievements |
BFT状態機械レプリケーション（BFT-SMR）は，状態機械として定義されるサービスに対してビザンチン故障耐性を実現するレプリケーション技術として知られる．中でもGeographical BFT-SMRは地震や津波などの大規模災害に耐性を持つことから，一時的なサービス停止が許されない重要なサービスで使われることが多い．本研究課題では，Geographical BFT-SMRの性能を低下させる原因となる，(1) レプリケーション中のネットワーク変動，(2) ビザンチン故障レプリカの振る舞い仮定の妥当性について問題解決の方法を探求することを目的とする．
2023年度は，レプリケーション環境のネットワーク特性に着目し，数多くあるSMRプロトコルの中から，レプリケーション環境に適したプロトコルを選定する手法について検討した．2022年度に考案した手法をベースに，見積方法を見直すことで，より高精度に見積もりできるようになった．本成果は，並列/分散/協調処理に関するサマー・ワークショップや情報科学ワークショップにて発表した．2024年度には国際会議でも発表する予定である．また，クラウド環境における長期的なネットワーク変動データを用いて，よく使われるSMRプロトコルがネットワーク変動にどの程度耐性があるかを明らかにした．この成果は，第86回情報処理学会全国大会で報告した．
ネットワーク変動の影響に関する理論的側面を解明するため，動的ネットワークにおけるReliable Broadcast問題の可解性について検討を開始した．Reliable BroadcastはBFT-SMRの基礎となる問題で，動的ネットワークの影響を明らかにすることにより，ネットワーク変動に耐性を備えたBFT-SMRを実現したいと考えている．
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
本研究課題では，(1) レプリケーション中のネットワーク変動，(2) ビザンチン故障レプリカの振る舞い仮定の妥当性の2つの問題解決を目指している．このうち（1）については順調に検討が進んでいるが，（2）に関する検討が遅れている．
|
| Strategy for Future Research Activity |
2024年度は，成果が出始めている(1)について引き続き研究を遂行すると共に，課題(2)について重点的に取り組むことで，遅れを取り戻せるように努める．課題(2)では，ビザンチン故障レプリカに関する仮定のみに当初着目していたが，ネットワークなどその他の構成要素にも対象を拡大して，仮定の影響や妥当性を議論する予定である．
|
Report
(2 results)
Research Products
(8 results)
