فهرست مطالب

• Preface
• I. Storage Engines
• Chapter 1. Introduction and Overview
• DBMS Architecture
• Memory- Versus Disk-Based DBMS
• Column- Versus Row-Oriented DBMS
• Data Files and Index Files
• Buffering, Immutability, and Ordering
• Summary
• Chapter 2. B-Tree Basics
• Binary Search Trees
• Disk-Based Structures
• Ubiquitous B-Trees
• Summary
• Chapter 3. File Formats
• Motivation
• Binary Encoding
• General Principles
• Page Structure
• Slotted Pages
• Cell Layout
• Combining Cells into Slotted Pages
• Managing Variable-Size Data
• Versioning
• Checksumming
• Summary
• Chapter 4. Implementing B-Trees
• Page Header
• Binary Search
• Propagating Splits and Merges
• Rebalancing
• Right-Only Appends
• Compression
• Vacuum and Maintenance
• Summary
• Chapter 5. Transaction Processing and Recovery
• Buffer Management
• Recovery
• Concurrency Control
• Summary
• Chapter 6. B-Tree Variants
• Copy-on-Write
• Abstracting Node Updates
• Lazy B-Trees
• FD-Trees
• Bw-Trees
• Cache-Oblivious B-Trees
• Summary
• Chapter 7. Log-Structured Storage
• LSM Trees
• Read, Write, and Space Amplification
• Implementation Details
• Unordered LSM Storage
• Concurrency in LSM Trees
• Log Stacking
• LLAMA and Mindful Stacking
• Summary
• Part I Conclusion
• II. Distributed Systems
• Chapter 8. Introduction and Overview
• Concurrent Execution
• Fallacies of Distributed Computing
• Distributed Systems Abstractions
• Two Generals’ Problem
• FLP Impossibility
• System Synchrony
• Failure Models
• Chapter 9. Failure Detection
• Heartbeats and Pings
• Phi-Accural Failure Detector
• Gossip and Failure Detection
• Reversing Failure Detection Problem Statement
• Summary
• Chapter 10. Leader Election
• Bully Algorithm
• Next-In-Line Failover
• Candidate/Ordinary Optimization
• Invitation Algorithm
• Ring Algorithm
• Summary
• Chapter 11. Replication and Consistency
• Achieving Availability
• Infamous CAP
• Shared Memory
• Ordering
• Consistency Models
• Session Models
• Eventual Consistency
• Tunable Consistency
• Witness Replicas
• Strong Eventual Consistency and CRDTs
• Summary
• Chapter 12. Anti-Entropy and Dissemination
• Read Repair
• Digest Reads
• Hinted Handoff
• Merkle Trees
• Bitmap Version Vectors
• Gossip Dissemination
• Summary
• Chapter 13. Distributed Transactions
• Making Operations Appear Atomic
• Two-Phase Commit
• Three-Phase Commit
• Distributed Transactions with Calvin
• Distributed Transactions with Spanner
• Database Partitioning
• Distributed Transactions with Percolator
• Coordination Avoidance
• Summary
• Chapter 14. Consensus
• Broadcast
• Atomic Broadcast
• Paxos
• Raft
• Byzantine Consensus
• Summary
• Part II Conclusion
• A. Bibliography
• Index