(Downloads - 0)
For more info about our services contact : help@bestpfe.com
Table of contents
1 Introduction
1.1 Contributions
1.1.1 Part I
1.1.2 Part II
1.2 Outline of the thesis
Part I: Ensuring Consistency in Transactional Data Stores
2 Background
2.1 Model
2.1.1 Objects & transactions
2.1.2 Histories
2.1.3 Distributed System
2.1.3.1 Failure Models
2.1.3.2 Synchrony Assumptions
2.1.3.3 Failure Detectors
2.1.4 Replication
2.1.5 Transactional Commitment
2.1.5.1 Atomic Commitment Approach
2.1.5.2 Total Ordering Approach
2.1.5.3 Partial Ordering Approach
2.2 Strong Consistency Criteria
2.2.1 Strict Serializability (SSER)
2.2.2 Full Serializability (SER)
2.2.3 Update Serializability (US)
2.2.4 Snapshot Isolation (SI)
2.2.4.1 Generalized Snapshot Isolation (GSI)
2.2.5 Parallel Snapshot Isolation (PSI)
2.2.6 Causal Serializability (CSER)
2.2.7 Consistency Criteria for Software Transactional Memory
2.2.8 Anomaly Comparison
2.3 Liveness and Progress
3 Catalog of Transactional Protocols Supporting Partial Replication
3.1 Scalability Properties
3.1.1 Wait-Free Queries (WFQ )
3.1.2 Genuine Partial Replication (GPR )
3.1.3 Minimal Commitment Synchronization
3.1.4 Forward Freshness
3.2 Review of Transactional Protocols Supporting Partial Replication
3.2.1 SSER
3.2.2 SER
3.2.3 US
3.2.4 SI
3.2.5 PSI
4 Scalability of Strong Consistency Criteria
4.1 Decomposing SI
4.1.1 Absence of Cascading Aborts (ACA)
4.1.2 Consistent and Strictly Consistent Snapshots (SCONS)
4.1.3 Snapshot Monotonicity (MON)
4.1.4 Write-Conflict Freedom
4.1.5 The Decomposition
4.2 The impossibility of SI with GPR
4.3 Discussion
4.3.1 SSER and Opacity
4.3.2 SER
4.3.3 PSI
4.3.4 Circumventing The Impossibility Result
4.4 Conclusion
5 NMSI : Non-monotonic Snapshot Isolation
5.1 Definition of NMSI
5.2 Jessy: a Protocol for NMSI
5.2.1 Taking Consistent Snapshots
5.2.2 Transaction Lifetime in Jessy
5.2.3 Execution Protocol
5.2.4 Termination Protocol
5.2.5 Sketch of Proof
5.2.5.1 Safety Properties
5.2.5.2 Scalability Properties
5.3 Ensuring Obstruction-Freedom
5.4 Empirical study
5.4.1 Implementation
5.4.2 Setup and Benchmark
5.4.3 Experimental Results
5.5 Conclusion
6 G-DUR: Generic Deferred Update Replication
6.1 Overview
6.2 Execution
6.2.1 Version Tracking
6.2.2 Picking a Version
6.3 Termination
6.3.1 Group Communication
6.3.2 Two-Phase Commit
6.3.3 Fault-Tolerance
6.4 Realizing Protocols
6.4.1 P-Store
6.4.2 S-DUR
6.4.3 GMU
6.4.4 Serrano07
6.4.5 Walter
6.4.6 Jessy2pc
6.5 Implementation
6.6 Case Study
6.6.1 Setup and Benchmark
6.6.2 Comparing Transactional Protocols
6.6.3 Understanding Bottlenecks
6.6.4 Pluggability Capabilities
6.6.5 Dependability
6.6.5.1 Disaster Prone
6.6.5.2 Disaster Tolerant
6.7 Related Work
6.8 Conclusion
Part II: Ensuring Consistency in Non-Transactional Data Stores
7 Tuba: A Self-Configurable Cloud Storage System
7.1 Introduction
7.2 System Overview
7.2.1 Tuba Features from Pileus
7.2.2 Tuba’s New Features
7.3 Configuration Service (CS)
7.3.1 Constraints
7.3.2 Cost Model
7.3.3 Selection
7.3.4 Operations
7.3.4.1 Adjust the Synchronization Period
7.3.4.2 Add/Remove Secondary Replica
7.3.4.3 Change Primary Replica
7.3.4.4 Add Primary Replica
7.3.4.5 Summary
7.4 Client Execution Modes
7.5 Implementation
7.5.1 Communication
7.5.2 Client Operations
7.5.2.1 Read Operation
7.5.2.2 Single-primary Write Operation
7.5.2.3 Multi-primary Write Operation
7.5.3 CS Reconfiguration Operations
7.5.4 Fault-Tolerance
7.6 Evaluation
7.6.1 Setup and Benchmark
7.6.2 Macroscopic View
7.6.3 Microscopic View
7.6.4 Fast Mode vs. Slow Mode
7.6.5 Scalability of the CS
7.7 Related Work
7.8 Conclusion
8 Conclusion
8.1 Future Work
Part III: Appendix
A Proof of SI Decomposition
B Correctness of Jessy
B.1 Safety
B.2 Liveness and Progress
C Résumé de la thèse
C.1 Résumé
C.2 Introduction
C.2.1 Contributions
C.2.1.1 Partie I
C.2.1.2 Partie II
C.3 Passage à l’échelle du Critère de Cohérence Forte
C.3.1 Décomposition SI
C.3.1.1 Annulation en cascade (Absence of Cascading Aborts)
C.3.1.2 Instantanés cohérents et strictement cohérents
C.3.1.3 Instantané monotone
C.3.2 Write-Conflict Freedom
C.3.3 La décomposition
C.3.4 L’impossibilité de SI avec GPR
C.4 Non-monotonic Snapshot Isolation
C.5 Generic Deferred Update Replication
C.6 Un Système de Stockage Cloud Auto-Configurable
Bibliographe
