article

Open access

Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.

Author:

Leslie LamportAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 6, Issue 2

Pages 254 - 280

https://doi.org/10.1145/2993.2994

Published: 01 April 1984 Publication History

PDF eReader

References

[1]

DOLEV, D. The Byzantine Generals strike again. J. Algorithms 3, 1 (1982), 14-30.

Google Scholar

[2]

D. DOLEV AND H.R. STRONG. Authenticated algorithms for Byzantine agreement. Rep. RJ3416(40682), IBM Research Laboratory, San Jose, Calif., Mar. 1982. SIAM J. Comput. To be published.

Google Scholar

[3]

K.P. ESWAgAN, J.N. GRAY, R.A. LORIE ANO I.L. TRAIGER. The notions of consistency and predicate locks in a database system. Commun ACM 19, 11 (Nov. 1976), 624-633.

Crossref

Google Scholar

[4]

FISCHER, M., AND LYNCH, N. A lower bound for the time to assure interactive consistency. In{. Proc. Lett. 14, 4 (1982), 183-186.

Google Scholar

[5]

FISCHER, M.J. LYNCH, N.A. AND PATERSON, M.S. Impossibility of distributed consensus with one faulty process. Tech. Rep. MIT/LCS/TR-282, M.I.T., Cambridge, Mass., Sept. 1982.

Crossref

Google Scholar

[6]

LAMPORT, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (July 1978), 558-565.

Crossref

Google Scholar

[7]

LAMPORT, L. The implementation of reliable distributed multiprocess systems. Comput. Networks 2 ( 1978 ), 95-114.

Google Scholar

[8]

LAMPORT, L. AND MELLIAR-SMITH, P.M. Synchronizing clocks in the presence of faults (submitted for publication).

Google Scholar

[9]

LAMPORT, L., SHOSTAK, R. AND PEASE, M. The Byzantine Generals Problem. ACM Trans. Prog. Lang. Syst. 4, 3 (July 1982), 382-401.

Crossref

Google Scholar

[10]

LYNCH, N.A., FISCHER, M.J. ANO FOWLER, R. A simple and efficient Byzantine Generals algorithm. In Proceedings o/2nd Symposium on Reliability in Distributed So{tware and Database Systems (Pittsburgh, Pa., July 1982).

Google Scholar

[11]

PEASE, M., SHOSTAK, R. AND LAMPORT, L. Reaching agreement in the presence of faults. J. ACM 27, 2 (Apr. 1980), 228-234.

Crossref

Google Scholar

[12]

SCHNEIDER, F.B. Synchronization in distributed programs. Trans. Prog. Lang. Syst. 4, 2 (Apr. 1982), 125-148.

Crossref

Google Scholar

[13]

SCHNEIDER, F.B., GRIES, D. AND SCHLICHTING, R.D. Fault-tolerant broadcasts, in Science o{ Computer Programming. To be published.

Crossref

Google Scholar

[14]

WENSLEY, J.H., LAMPORT, L., GOLDBERG, J., GREEN, M.W., LEVITT, K.N., MILLIAR-SMITH, P.M., SHOSTAK, R.E., WEINSTOCK, C.B., ANO BERSON, D. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proc. IEEE 66, 10 (Oct. 1978), 1240-1254.

Google Scholar

Cited By

View all

McColl MMcColl CPereira Ade Souza PTuxworth GHexel R(2024)Continuous Formal Verification for Aerospace Applications2024 IEEE Aerospace Conference10.1109/AERO58975.2024.10521386(1-19)Online publication date: 2-Mar-2024
https://doi.org/10.1109/AERO58975.2024.10521386
Zou YYang LJing GZhang RXie ZLi HYu D(2024)A survey of fault tolerant consensus in wireless networksHigh-Confidence Computing10.1016/j.hcc.2024.1002024:2(100202)Online publication date: Jun-2024
https://doi.org/10.1016/j.hcc.2024.100202
Lee EBateni SLin SLohstroh MMenard C(2023)Trading Off Consistency and Availability in Tiered Heterogeneous Distributed SystemsIntelligent Computing10.34133/icomputing.00132Online publication date: Jan-2023
https://doi.org/10.34133/icomputing.0013
Show More Cited By

Index Terms

Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.

Recommendations

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems

The authors describe a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence process. The main characteristics of a fault injection ...
Read More
Graceful Degradation in Algorithm-Based Fault Tolerant Multiprocessor Systems

Algorithm-based fault tolerance (ABFT) is a technique which improves the reliability of a multiprocessor system by providing concurrent error detection and fault location capability to it. It encodes data at the system level and modifies the algorithm ...
Read More
Fault tolerant distributed shared memory algorithms
SPDP '90: Proceedings of the 1990 IEEE Second Symposium on Parallel and Distributed Processing

Distributed shared memory (DSM) has received increased attention as a mechanism for interprocess communication in loosely-coupled distributed systems because of its perceived advantages over direct use of message passing or remote procedure calls. One ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems Volume 6, Issue 2

April 1984

168 pages

ISSN:0164-0925

EISSN:1558-4593

DOI:10.1145/2993

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1984

Published in TOPLAS Volume 6, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

273
Total Citations
View Citations
2,481
Total Downloads

Downloads (Last 12 months)273
Downloads (Last 6 weeks)22

Other Metrics

View Author Metrics

Citations

Cited By

View all

McColl MMcColl CPereira Ade Souza PTuxworth GHexel R(2024)Continuous Formal Verification for Aerospace Applications2024 IEEE Aerospace Conference10.1109/AERO58975.2024.10521386(1-19)Online publication date: 2-Mar-2024
https://doi.org/10.1109/AERO58975.2024.10521386
Zou YYang LJing GZhang RXie ZLi HYu D(2024)A survey of fault tolerant consensus in wireless networksHigh-Confidence Computing10.1016/j.hcc.2024.1002024:2(100202)Online publication date: Jun-2024
https://doi.org/10.1016/j.hcc.2024.100202
Lee EBateni SLin SLohstroh MMenard C(2023)Trading Off Consistency and Availability in Tiered Heterogeneous Distributed SystemsIntelligent Computing10.34133/icomputing.00132Online publication date: Jan-2023
https://doi.org/10.34133/icomputing.0013
Bateni SLohstroh MWong HKim HLin SMenard CLee EZhu Qvon Hanxleden RStephen EBrandt J(2023)Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical SystemsProceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design10.1145/3610579.3613219(1-11)Online publication date: 21-Sep-2023
https://dl.acm.org/doi/10.1145/3610579.3613219
Lee EAkella RBateni SLin SLohstroh MMenard C(2023)Consistency vs. Availability in Distributed Cyber-Physical SystemsACM Transactions on Embedded Computing Systems10.1145/360911922:5s(1-24)Online publication date: 31-Oct-2023
https://dl.acm.org/doi/10.1145/3609119
McColl MMcColl CHexel R(2023)Automatic Verification of High-Level Executable Models Running on FPGAsAutomated Technology for Verification and Analysis10.1007/978-3-031-45332-8_11(217-234)Online publication date: 24-Oct-2023
https://dl.acm.org/doi/10.1007/978-3-031-45332-8_11
Hammi BZeadally SAdja YGiudice MNebhen J(2022)Blockchain-Based Solution for Detecting and Preventing Fake Check ScamsIEEE Transactions on Engineering Management10.1109/TEM.2021.308711269:6(3710-3725)Online publication date: Dec-2022
https://doi.org/10.1109/TEM.2021.3087112
Duan SZhang H(2022)Foundations of Dynamic BFT2022 IEEE Symposium on Security and Privacy (SP)10.1109/SP46214.2022.9833787(1317-1334)Online publication date: May-2022
https://doi.org/10.1109/SP46214.2022.9833787
Chen RWang LZhu RDu Z(2022)An Improved Practical Byzantine Fault Tolerance Algorithm Based on Vague Sets and Random Numbers2022 7th International Conference on Intelligent Computing and Signal Processing (ICSP)10.1109/ICSP54964.2022.9778701(151-155)Online publication date: 15-Apr-2022
https://doi.org/10.1109/ICSP54964.2022.9778701
Dolev SLiber M(2022)Towards self-stabilizing blockchain, reconstructing totally erased blockchainInformation and Computation10.1016/j.ic.2022.104881285(104881)Online publication date: May-2022
https://doi.org/10.1016/j.ic.2022.104881
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems

Graceful Degradation in Algorithm-Based Fault Tolerant Multiprocessor Systems

Fault tolerant distributed shared memory algorithms

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations