Konsens-Algorithmen für verteilte Systeme

分布式系统的共识算法

• 批准号: 5217164
• 负责人: Professor Dr. Wolfgang Reisig
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 1995
• 资助国家: 德国
• 起止时间: 1994-12-31 至 2001-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5217164?language=en
• 关键词: Konsens; Algorithmen; verteilte; Systeme

Die Korrektheit vieler felertoleranter verteilter Algorithmen, darunter vieler Konsensalgorithmen, hängt von schwachen "Synchronieannahmen" ab. Im Projekt wird eine neue Technik ausgearbeitet und erprobt, mit der solche Algorithmen verifiziert werden können. Diese Technik ist einfacher als existierende, so daß die Verifikation komplexerer Algorithmen möglich wird. "Redundanz" ist einerseits unverzichtbare Eigenschaft, andererseits entscheidender Kostenfaktor fehlertoleranter Systeme. Im Projekt soll bestimmt werden, wieviel Redundanz zur Lösung zentraler Fehlertoleranzprobleme nötig ist.

死Korrektheit祝felertoleranter verteilter Algorithmen, darunter祝Konsensalgorithmen, hangt冯schwachen Synchronieannahmen ab。Im Projekt将一杯,neue Technik ausgearbeitet和erprobt,麻省理工学院der solche Algorithmen verifiziert了您能。Diese Technik算法也存在，所以daß die verification kompleer algorithm möglich wind。“冗余”指的是其固有特性，即其固有特性，即其固有特性。在Projekt销售的最佳估计werden， wieviel冗余zur Lösung zentraler fehlertoleranzproblem nötig list。