You are previewing Application-Layer Fault-Tolerance Protocols.
O'Reilly logo
Application-Layer Fault-Tolerance Protocols

Book Description

Application-Layer Fault-Tolerance Protocols increases awareness of the need for application-layer fault-tolerance (ALFT) through introduction of problems and qualitative analysis of solutions. A necessary read for researchers, practitioners, and students in dependability engineering, this book collects emerging research to offer a systematic, critical organization of the current knowledge in ALFT.

Table of Contents

  1. Copyright
  2. Preface
  3. Acknowledgment
  4. Dependability and Fault-Tolerance: Basic Concepts and Terminology
    1. INTRODUCTION
    2. DEPENDABILITY, RESILIENT COMPUTING AND FAULT-TOLERANCE
    3. FAULT-TOLERANCE, REDUNDANCY AND COMPLEXITY
    4. CONCLUSION
    5. REFERENCES
    6. ENDNOTES
  5. Fault-Tolerant Software: Basic Concepts and Terminology
    1. INTRODUCTION AND OBJECTIVES
    2. WHAT IS A FAULT-TOLERANT PROGRAM?
    3. DEPENDABLE SERVICES: THE SYSTEM MODEL
    4. DEPENDABLE SERVICES: THE FAULT MODEL
    5. (IN)FAMOUS ACCIDENTS
    6. SOFTWARE FAULT-TOLERANCE
    7. SOFTWARE FAULT-TOLERANCE IN THE APPLICATION LAYER
    8. STRATEGIES, PROBLEMS AND KEY PROPERTIES
    9. SOME WIDELY USED SOFTWARE FAULT-TOLERANCE PROVISIONS
    10. CONCLUSION
    11. REFERENCES
    12. ENDNOTES
  6. Fault-Tolerant Protocols Using Single- and Multiple-Version Software Fault-Tolerance
    1. INTRODUCTION AND OBJECTIVES
    2. FAULT-TOLERANT PROTOCOLS USING SINGLE- AND MULTIPLE-VERSION SOFTWARE FAULT-TOLERANCE
    3. THE EFTOS TOOLS: THE EFTOS VOTING FARM
    4. THE EFTOS TOOLS: THE WATCHDOG TIMER
    5. THE EFTOS TOOLS: THE EFTOS TRAP HANDLER
    6. THE EFTOS TOOLS: ATOMIC ACTIONS
    7. THE TIRAN DATA STABILIZING SOFTWARE TOOL
    8. AN APPROACH TO EXPRESS RECOVERY BLOCKS: THE RECOVERY META-PROGRAM
    9. A HYBRID CASE: THE RAFTNET LIBRARY FOR DEPENDABLE FARMER-WORKER PARALLEL APPLICATIONS
    10. CONCLUSION
    11. REFERENCES
    12. ENDNOTES
  7. Fault-Tolerant Protocols Using Compilers and Translators
    1. INTRODUCTION AND OBJECTIVES
    2. FAULT-TOLERANT PROTOCOLS USING COMPILERS AND TRANSLATORS
    3. AN EXAMPLE: REFLECTIVE AND REFRACTIVE VARIABLES
    4. ADAPTIVE DATA INTEGRITY THROUGH DYNAMICALY REDUNDANT DATA STRUCTURES
    5. CONCLUSION
    6. REFERENCES
  8. Fault-Tolerant Protocols Using Fault-Tolerance Programming Languages
    1. INTRODUCTION AND OBJECTIVES
    2. FAULT-TOLERANT PROTOCOLS USING CUSTOM PROGRAMING LANGUAGES
    3. CONCLUSION
    4. REFERENCES
  9. The Recovery Language Approach
    1. INTRODUCTION AND OBJECTIVES
    2. THE ARIEL RECOVERY LANGUAGE
    3. A DISTRIBUTED ARCHITECTURE BASED ON THE RECOVERY LANGUAGE APPROACH
    4. INTEGRATING RECOVERY STRATEGIES INTO A PRIMARY SUBSTATION AUTOMATION SYSTEM
    5. SUMMARY AND LESSONS LEARNED
    6. CONCLUSION
    7. REFERENCES
    8. ENDNOTES
  10. Fault – Tolerant Protocols Using Aspect Orientation
    1. INTRODUCTION AND OBJECTIVES
    2. FAULT-TOLERANT PROTOCOLS THROUGH ASPECT ORIENTATION
    3. CONCLUSION
    4. REFERENCES
    5. ENDNOTE
  11. Failure Detection Protocols in the Application Layer
    1. INTRODUCTION AND OBJECTIVES
    2. FAILURE DETECTION PROTOCOLS IN THE APPLICATION LAYER
    3. CONCLUSION
    4. REFERENCES
    5. ENDNOTES
  12. Hybrid Approaches
    1. INTRODUCTION AND OBJECTIVES
    2. A DEPENDABLE PARALLEL PROCESSING MODEL BASED ON GENERATIVE COMMUNICATION AND RECOVERY LANGUAGES
    3. ENHANCING A TIRAN DEPENDABLE MECHANISM
    4. COMPOSING DEPENDABLE MECHANISMS: THE REDUNDANT WATCHDOG
    5. CACTUS
    6. CONCLUSION
    7. REFERENCES
    8. ENDNOTES
  13. Measuring and Assessing Tools
    1. INTRODUCTION AND OBJECTIVES
    2. RELIABILITY ANALYSIS OF THE TIRAN DISTRIBUTED VOTING MECHANISM
    3. PERFORMANCE ANALYSIS OF REDUNDANT VARIABLES
    4. A TOOL FOR MONITORING AND FAULT INJECTION
    5. CONCLUSION
    6. REFERENCES
    7. ENDNOTES
    8. APPENDIX A: MATHEMATICAL DETAILS RELATED TO EQ. 2
  14. Conclusion
    1. AN INTRODUCTION AND SOME CONCLUSIONS
    2. APPENDIX: THE ARIEL INTERNALS
    3. REFERENCES
    4. ENDNOTE
  15. About the Author
  16. Index