Design and Implementation of a Byzantine Fault Tolerance Framework for Non-Deterministic Applications

H. Zhang; Wenbing Zhao; Louise E. Moser; P. Michael Melliar-Smith

doi:10.1049/iet-sen.2010.0013

Design and Implementation of a Byzantine Fault Tolerance Framework for Non-Deterministic Applications

H. Zhang
, Wenbing Zhao
, Louise E. Moser
, P. Michael Melliar-Smith

Cleveland State University
University of California - Santa Barbara

Research output: Contribution to journal › Article › peer-review

Abstract

State-machine-based replication is an effective way to increase the availability and dependability of mission-critical applications. However, all practical applications contain some degree of non-determinism. Consequently, ensuring strong replica consistency in the presence of application non-determinism has been one of the biggest challenges in building dependable distributed systems. In this Study, the authors propose a classification of common types of application non-determinism with respect to the requirement of achieving Byzantine fault tolerance (BFT), and present the design and implementation of a BFT framework that controls these types of non-determinism in a systematic manner.

Original language	American English
Journal	IET Software
Volume	5
DOIs	https://doi.org/10.1049/iet-sen.2010.0013
State	Published - Jun 1 2011

Keywords

Fault-tolerant computing
Machine theory
Classification
Control theory (mathematics)
Errors
Electronic data processing -- distributed processing
Computer systems

Disciplines

Computer and Systems Architecture
Controls and Control Theory
Electrical and Computer Engineering

Access to Document

10.1049/iet-sen.2010.0013License: CC BY

Design and Implementation of a Byzantine Fault Tolerance FrameworFinal published version, 3.02 MBLicense: CC BY

Cite this

@article{f8f2683e4372454a93433147056f5037,

title = "Design and Implementation of a Byzantine Fault Tolerance Framework for Non-Deterministic Applications",

abstract = " State-machine-based replication is an effective way to increase the availability and dependability of mission-critical applications. However, all practical applications contain some degree of non-determinism. Consequently, ensuring strong replica consistency in the presence of application non-determinism has been one of the biggest challenges in building dependable distributed systems. In this Study, the authors propose a classification of common types of application non-determinism with respect to the requirement of achieving Byzantine fault tolerance (BFT), and present the design and implementation of a BFT framework that controls these types of non-determinism in a systematic manner.",

keywords = "Fault-tolerant computing, Machine theory, Classification, Control theory (mathematics), Errors, Electronic data processing -- distributed processing, Computer systems",

author = "H. Zhang and Wenbing Zhao and Moser, \{Louise E.\} and Melliar-Smith, \{P. Michael\}",

note = "Zhang, H. H., Zhao, W. W., Moser, L. E., Melliar-Smith, P. M. (2011). Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications. IET Software, 5(3), 342-356. doi:10.1049/iet-sen.2010.0013",

year = "2011",

month = jun,

day = "1",

doi = "10.1049/iet-sen.2010.0013",

language = "American English",

volume = "5",

journal = "IET Software",

}

TY - JOUR

T1 - Design and Implementation of a Byzantine Fault Tolerance Framework for Non-Deterministic Applications

AU - Zhang, H.

AU - Zhao, Wenbing

AU - Moser, Louise E.

AU - Melliar-Smith, P. Michael

N1 - Zhang, H. H., Zhao, W. W., Moser, L. E., Melliar-Smith, P. M. (2011). Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications. IET Software, 5(3), 342-356. doi:10.1049/iet-sen.2010.0013

PY - 2011/6/1

Y1 - 2011/6/1

N2 - State-machine-based replication is an effective way to increase the availability and dependability of mission-critical applications. However, all practical applications contain some degree of non-determinism. Consequently, ensuring strong replica consistency in the presence of application non-determinism has been one of the biggest challenges in building dependable distributed systems. In this Study, the authors propose a classification of common types of application non-determinism with respect to the requirement of achieving Byzantine fault tolerance (BFT), and present the design and implementation of a BFT framework that controls these types of non-determinism in a systematic manner.

AB - State-machine-based replication is an effective way to increase the availability and dependability of mission-critical applications. However, all practical applications contain some degree of non-determinism. Consequently, ensuring strong replica consistency in the presence of application non-determinism has been one of the biggest challenges in building dependable distributed systems. In this Study, the authors propose a classification of common types of application non-determinism with respect to the requirement of achieving Byzantine fault tolerance (BFT), and present the design and implementation of a BFT framework that controls these types of non-determinism in a systematic manner.

KW - Fault-tolerant computing

KW - Machine theory

KW - Classification

KW - Control theory (mathematics)

KW - Errors

KW - Electronic data processing -- distributed processing

KW - Computer systems

UR - https://engagedscholarship.csuohio.edu/enece_facpub/79

U2 - 10.1049/iet-sen.2010.0013

DO - 10.1049/iet-sen.2010.0013

M3 - Article

VL - 5

JO - IET Software

JF - IET Software

ER -

Design and Implementation of a Byzantine Fault Tolerance Framework for Non-Deterministic Applications

Abstract

Keywords

Disciplines

Access to Document

Other files and links

Cite this