Engineering / advanced
Transactions across machines
Reason about atomic commit, isolation, concurrency conflicts, and recovery across partitions without confusing availability with atomicity.
Your route through engineering
Follow the path or begin with a question. Every lesson is open.
Your place, at your pace. Progress is optional and saved only in this browser when available.
Read / explore / reason
Inside this module
Module 01 advanced
Transactions across machines
Reason about atomic commit, isolation, concurrency conflicts, and recovery across partitions without confusing availability with atomicity.
- 01
Atomic commit and two-phase commit
Separate agreement on a cross-shard outcome from isolation, replication, and the availability of each participant.
26 min - 02
Coordinator failure and decision recovery
Use durable state and transaction identity to resolve prepared work without inventing outcomes after a timeout.
26 min - 03
Detect deadlocks across shard boundaries
Build a global wait-for argument while separating real cycles, stale observations, timeouts, and transaction generations.
26 min - 04
Timestamp ordering and validation
Use logical order and read-version evidence without mistaking clocks or a validation snapshot for a complete commit protocol.
26 min - 05
Serializable snapshot isolation
Read multiversion dependencies, recognize write skew, and understand SSI’s conservative detection of dangerous structures.
26 min - 06
Deterministic transaction ordering
Move agreement before execution while preserving access-set, replay, and nondeterminism assumptions.
26 min - 07
Two-phase locking across shards
Connect conflict serializability, lock lifetime, atomic commit, and predicate protection without confusing 2PL with 2PC.
26 min - 08
Retries and ambiguous transaction outcomes
Separate known aborts from lost commit replies, and design bounded logical retries with durable idempotency evidence.
26 min - 09
Sagas and compensating actions
Design recoverable workflows whose committed steps can interleave, without describing semantic compensation as isolated rollback.
26 min - 10
Test cross-shard invariants and recovery histories
Construct fault schedules and history oracles that distinguish atomicity, isolation, durability, and conditional progress.
26 min