Distributed Systems

Introduction

• I.1 Preamble
• I.2 Distributed systems and concurrency
• I.3 Wait-free distributed systems
• I.4 Shared objects
• I.5 Shared object specification
• I.6 Organization

List of Notations

1: Specification of Shared Objects

• Abstract
• 1.1 Introduction
• 1.2 Sequential specifications
• 1.3 Concurrent histories
• 1.4 Consistency criteria
• 1.5 Conclusion

2: Overview of Existing Models

• Abstract
• 2.1 Introduction
• 2.2 Strong consistency
• 2.3 Transactional systems
• 2.4 Eventual consistency
• 2.5 Shared memory
• 2.6 Conclusion

3: Update Consistency

• Abstract
• 3.1 Preamble
• 3.2 Introduction
• 3.3 Consistency criteria
• 3.4 Generic implementations
• 3.5 Conclusion

4: Causal Consistency

• Abstract
• 4.1 Preamble
• 4.2 Introduction
• 4.3 Causality as a consistency criterion
• 4.4 Causal consistency
• 4.5 Specific behaviors
• 4.6 Conclusion

5: Weak Consistency Space

• Abstract
• 5.1 Introduction
• 5.2 Weak criteria
• 5.3 The structure of the weak criteria space
• 5.4 Hierarchy of abstract data types
• 5.5 Which criterion should be used?
• 5.6 Conclusion

6: CODS Library

• Abstract
• 6.1 Introduction
• 6.2 Overview
• 6.3 Defining new criteria
• 6.4 Conclusion