System internals guides and engineering craft notes.
Choose a concept, then work through an example
14 guides in this section. Each article states its audience and assumptions, explains specialized terms, and gives a worked example or practical exercise.
Technical topics distinguish toy models from product behavior. Leadership topics distinguish context-dependent frameworks from evidence and personal claims.
14 guides
Choose an algorithm from input constraints, then check its boundary cases and cost.
Preconditions and postconditions · Loop invariants · Variants and well-founded orders · Complexity and workload assumptions · Recursion and inductionUse maintainability symptoms to identify a behavior-preserving refactoring, not to add patterns automatically.
Refactoring and code smells · Liskov substitution and interfaces · Preconditions and postconditions · Aliasing and frame conditions · Strategy, Adapter, and ObserverUnderstand what coupling each design pattern addresses and when simpler composition is sufficient.
Strategy, Adapter, and Observer · Liskov substitution and interfaces · Refactoring and code smells · Aliasing and frame conditions · Preconditions and postconditionsUnderstand Scrum's commitments and feedback loop while separating optional estimation practices from framework requirements.
Scrum empiricism and commitments · Definition of Done versus acceptance criteria · Outputs, outcomes, and measurement · Ownership, accountability, and decision rights · Stakeholders and alignmentSeparate Cassandra's partition placement, timestamp reconciliation, consistency levels, and crash durability.
Consistent hashing · Quorum · LSM trees, memtables, and SSTables · Tombstones · Schema compatibility and semantic contracts · LinearizabilitySeparate indexed durability, search refresh, replica state, and query completeness.
Refresh, commit, and reader snapshots · Analyzers, postings, and doc values · Inverted indexes and columnar storage · Optimistic concurrency and compare-and-set · Offsets and checkpoints · Schema compatibility and semantic contractsUnderstand recoverable stream state, event-time windows, and bounded flow control.
Keyed state, checkpoints, and savepoints · Event time and watermarks · Offsets and checkpoints · Backpressure and load shedding · CardinalityUnderstand a partition log, replica visibility, producer retries, and consumer recovery without conflating them.
Log offsets and commit boundaries · Producer idempotence and transactions · Schema compatibility and semantic contracts · Offsets and checkpoints · Backpressure and load shedding · Write-ahead log and fsyncUnderstand documents, postings, reader snapshots, and durable commits beneath search products.
Analyzers, postings, and doc values · BM25 ranking · Refresh, commit, and reader snapshots · Inverted indexes and columnar storage · Complexity and workload assumptionsUnderstand how an object store reconstructs bytes from erasure-coded shards and safely publishes versions.
Reed–Solomon erasure coding · Quorum · Failure domains and redundant capacity · Multi-tenancy and publication lifetime · Content addressing and garbage collectionUnderstand event-driven proxying and reloads without assuming idle connections are free or every reload is lossless.
Event loops and nonblocking I/O · Reverse proxy, buffering, and graceful reload · Cache-aside and invalidation · Backpressure and load shedding · Wall and monotonic clocksFollow telemetry from stateful ingestion to immutable analytical files and a versioned query catalog.
Multi-tenancy and publication lifetime · Write-ahead log and fsync · Partition pruning and predicate pushdown · Inverted indexes and columnar storage · Offsets and checkpoints · Rollups and weighted aggregationUnderstand isolated commands, in-memory state, expiry, persistence, and asynchronous failover as separate mechanisms.
Isolation is not rollback · Snapshots, AOF, and power-loss durability · Event loops and nonblocking I/O · Wall and monotonic clocks · Cache-aside and invalidation · QuorumUnderstand versioned coordination, session liveness, ordered writes, and possibly stale reads.
znodes, sessions, and watches · ZAB and ZooKeeper consistency · Quorum · Fencing tokens · Leases · Optimistic concurrency and compare-and-setNo matches. Try a broader concept or clear the search.