Book Exercise Lanes

This generated surface maps a learner-facing curriculum unit to its canonical source routes.

Curriculum surface

• Open learner-facing unit
• Curriculum path: content/curriculum/architecture/semester-06-databases-distributed/module-04-transactions-consistency/exercises.md
• App: architecture
• Semester: semester-06-databases-distributed
• Module: module-04-transactions-consistency
• Unit kind: exercise
• Curation level: module_curated

Learning objectives

• Explain Book Exercise Lanes using the language of guarantees, anomalies, and implementation costs rather than vague “strong vs weak” intuition.
• Use Book Exercise Lanes to reason about what a database actually promises under concurrency and failure.
• Use database-internals, database-system-concepts, ddia, distributed-systems-concepts-and-design to connect the learner-facing model to isolation, recovery, distributed coordination, and real failure modes.

Prerequisites

• Comfort with relational data modeling and the basic mechanics of storage engines and replication.

Source books

• database-internals
• database-system-concepts
• ddia
• distributed-systems-concepts-and-design

Source routes

Database Internals

• /books/database-internals via Database Internals: Recovery
• /books/database-internals/chapter-02-b-tree-basics via Database Internals: ARIES, Database Internals: Lock-based concurrency control (part 1), Database Internals: Log semantics, Database Internals: Optimistic concurrency control, Database Internals: Read and write anomalies
• /books/database-internals/chapter-11-replication-and-consistency via Database Internals: Causal consistency, Database Internals: Linearizability, Database Internals: Sequential consistency, Database Internals: Session models, Database Internals: Tunable consistency
• /books/database-internals/chapter-12-anti-entropy-and-dissemination via Database Internals: Cohort failures in 2PC, Database Internals: Coordination avoidance, Database Internals: Coordinator failures in 3PC, Database Internals: Distributed transactions with Spanner, Database Internals: Two-phase commit

Database System Concepts

• /books/database-system-concepts via Database System Concepts: ARIES (part 1), Database System Concepts: Deadlock handling (part 1), Database System Concepts: Implementation of isolation levels, Database System Concepts: Lock-based protocols (part 1), Database System Concepts: Multiversion schemes, Database System Concepts: Recovery algorithm (part 1), Database System Concepts: Recovery and atomicity (part 1), Database System Concepts: Snapshot isolation (part 1), Database System Concepts: Transaction atomicity and durability, Database System Concepts: Transaction concept, Database System Concepts: Transaction isolation, Database System Concepts: Transaction isolation levels, Database System Concepts: Validation-based protocols
• /books/database-system-concepts/chapter-23-parallel-and-distributed-transaction-processing via Database System Concepts: Commit protocols (part 1), Database System Concepts: Exercises (chapter 17), Database System Concepts: Exercises (chapter 18), Database System Concepts: Exercises (chapter 19), Database System Concepts: Exercises (chapter 23)

Ddia

• /books/ddia/chapter-02-data-models-and-query-languages via DDIA: Atomic commit and two-phase commit (part 2), DDIA: Serializable Snapshot Isolation (part 2), DDIA: Two-phase locking (part 2)
• /books/ddia/chapter-07-transactions via DDIA: Actual serial execution (part 1), DDIA: Preventing lost updates, DDIA: Read committed, DDIA: Serializable Snapshot Isolation (part 1), DDIA: Single-object and multi-object operations (part 1), DDIA: Snapshot Isolation and Repeatable Read (part 1), DDIA: Snapshot Isolation and Repeatable Read (part 2), DDIA: The meaning of ACID (part 1), DDIA: The meaning of ACID (part 2), DDIA: Two-phase locking (part 1), DDIA: Weak isolation levels, DDIA: Write skew and phantoms (part 1), DDIA: Write skew and phantoms (part 2)
• /books/ddia/chapter-09-consistency-and-consensus via DDIA: Atomic commit and two-phase commit (part 1), DDIA: Consistency guarantees, DDIA: Distributed transactions and consensus, DDIA: Distributed transactions in practice (part 1), DDIA: Distributed transactions in practice (part 2), DDIA: Implementing linearizable systems, DDIA: Linearizability, DDIA: Ordering and causality (part 1), DDIA: Ordering and causality (part 2), DDIA: The cost of linearizability, DDIA: What makes a system linearizable (part 1)

Distributed Systems Concepts And Design

• /books/distributed-systems-concepts-and-design via Distributed Systems: Atomic commit protocols (part 1), Distributed Systems: Atomic commit protocols (part 2), Distributed Systems: Concurrency control in distributed transactions

Supporting curriculum routes

No supporting curriculum routes linked yet.

External enrichment

• PostgreSQL Documentation: Transaction Isolation (official_docs_companion) - Anchors anomaly and isolation discussions in a concrete implementation instead of abstract labels alone.
• CockroachDB: Transaction Layer Architecture (optional_deep_dive) - Useful when the learner wants to see how transactional guarantees change under a distributed SQL architecture.

AI companion modes

• Explain simply
• Socratic tutor
• Challenge my understanding
• Diagnose my confusion
• Connect forward / backward

Source-of-truth note

This teaching unit is learner-facing guidance assembled from multiple canonical book routes. Use the listed source books as the primary conceptual spine for Book Exercise Lanes, and treat outside material as supporting enrichment only.