Networking & Protocols
Flow control and congestion control
A fresh TCP connection between London and Sydney has no idea how fast the link is. It starts cautiously, doubling its send rate every round-trip until it hits a limit — then it backs off and tries again. This dance between sender and network is how TCP fills a 10 Gbps pipe or politely shares a 1 Mbps one.
Sliding window and flow control
Once established, every TCP segment carries a window size — the number of bytes the receiver is willing to accept beyond the last acknowledged byte. The sender keeps a sliding window of unacknowledged bytes in flight, bounded by the minimum of the receiver’s advertised window and its own congestion window. As ACKs arrive the window slides forward, allowing new bytes. If the receiver’s application is slow to drain the socket buffer, the window shrinks; if the buffer fills entirely the receiver advertises window=0 and the sender pauses. This is end-to-end flow control: the receiver dictates the pace, the sender obeys.
MSS, window scaling, and SACK
Three options negotiated during the SYN/SYN-ACK exchange significantly affect throughput:
Maximum Segment Size (MSS): the largest TCP payload the stack can handle without IP fragmentation. Typical: 1460 bytes on Ethernet (1500 MTU minus 20 IP + 20 TCP headers), or 1220 bytes on tunnelled networks.
Window Scaling (RFC 7323): the 16-bit window field is multiplied by 2^scale, allowing windows up to 1 GiB. Without this, a 64 KiB window cap on a 100 ms RTT link limits throughput to ~5 Mbps regardless of actual link speed (bandwidth-delay product = 64 KiB / 0.1s ≈ 640 KiB/s). Essential for high-bandwidth long-RTT paths.
Selective Acknowledgements (SACK, RFC 2018): the receiver lists exact ranges of bytes received past a gap, so the sender retransmits only the missing pieces rather than everything after the gap. On a lossy long-RTT path SACK can double effective throughput.
- Ethernet MSS
- 1460 bytes (1500 MTU)
- 16-bit window max
- 64 KiB (capped without scaling)
- Window scale max
- 1 GiB (2^30)
- Linux default IW
- 10 MSS (~14.6 KB)
- Bandwidth × RTT (BDP)
- 100 Mbps × 100 ms = 1.25 MB
- BDP sets min window needed
- to fill a high-BDP path
Retransmit timer math (RFC 6298)
If a segment goes un-ACKed within the retransmission timeout (RTO), the sender resends it. RFC 6298 specifies:
SRTT ← (1 − 1/8)·SRTT + (1/8)·new_RTT
RTTVAR ← (1 − 1/4)·RTTVAR + (1/4)·|SRTT − new_RTT|
RTO = SRTT + max(G, 4·RTTVAR)Where SRTT is the smoothed RTT and RTTVAR is RTT variance (EWMAs). The first RTO defaults to 1s; after a timeout it doubles (exponential backoff) until either the segment arrives or the connection gives up. Karn’s algorithm forbids sampling RTT from retransmitted segments because the responding ACK is ambiguous.
Modern Linux uses RACK-TLP (RFC 8985) for faster loss detection: RACK declares a segment lost when a later segment was ACKed and a reorder-window has expired — no need to wait for the RTO timer. TLP (Tail Loss Probe) re-sends the last unacknowledged segment one RTT after the last send to avoid hanging on the final packet of a flight.
What does the receiver's advertised window in the TCP header mean?
Slow start and congestion avoidance
A fresh connection has no idea how fast the network is. Slow start opens the congestion window exponentially (1, 2, 4, 8, … MSS per RTT) until either a loss occurs or the slow-start threshold (ssthresh) is reached. After that, congestion avoidance grows the window linearly (~1 MSS per RTT for Reno/CUBIC).
On loss, the algorithm differs by variant:
- Reno: halves the window, then linear increase.
- CUBIC (Linux default since 2.6.19): reduces less aggressively then probes back with a cubic curve — faster recovery on high-BDP paths.
- BBR: ignores loss entirely as a congestion signal; uses RTT + delivered-bytes measurements instead (covered in the BBR lesson).
Order the sender's congestion-window growth in TCP slow start:
- 1 Initial: cwnd = 10 MSS (Linux default IW=10)
- 2 After 1 RTT and ACKs: cwnd doubles to 20 MSS
- 3 After 2 RTT: cwnd doubles to 40 MSS
- 4 Continues exponential growth until ssthresh or loss
- 5 On reaching ssthresh: enter congestion avoidance (linear +1 MSS/RTT)
- 6 On packet loss: reduce cwnd per the congestion-control variant
Why is exponential backoff used for retransmissions instead of a constant timer?
Trace a SACK recovery episode after one packet is lost in a window of 10 segments.
Why this works
Why slow start starts fast. The name is misleading: Linux 3.0+ (RFC 6928) sets the initial congestion window (IW) to 10 MSS (~14.6 KB), not 1 MSS. This means the first burst of data is already 10 segments, chosen to match the typical HTTP response size for small API calls. Slow start only looks slow compared to the eventual bandwidth; against the classic IW=1 it is a 10x improvement for the first RTT.
- 01Explain how Window Scaling (RFC 7323) affects achievable throughput on a 100 ms RTT, 1 Gbps link.
- 02What is RACK-TLP and why does it improve on the classic RTO-based loss detection?
- 03Why does a connection with high random loss perform poorly under CUBIC but not under BBR?
TCP flow control uses a sliding window: the receiver advertises how many bytes it can accept, the sender never exceeds that. Three options negotiated in SYN/SYN-ACK sharply affect throughput: MSS (segment size), Window Scaling (extends 64 KiB to 1 GiB window), and SACK (pinpoints missing ranges so only lost segments are retransmitted). Congestion control starts fresh connections in slow start (exponential window growth) then switches to congestion avoidance (linear growth) after hitting ssthresh. CUBIC, Linux’s default since 2006, uses a cubic recovery curve after loss. The retransmission timer is computed from smoothed RTT (RFC 6298) with exponential backoff. RACK-TLP, the default since Linux 5.x, detects loss faster by watching ACK ordering rather than waiting for a timer to fire.
appears again in162
- The journey of a request: seven stops from socket to responsejunior
- Accept and parse: from kernel queue to a typed requestmiddle
- Routing and middleware: choosing what runs, and in what ordermiddle
- Handler and response: from business logic to bytes on the wiremiddle
- Streaming and backpressure: when the client reads slower than you writesenior
- Timeouts and tail latency: budgets, deadlines, and the fan-out trapsenior
- Middleware and DI: the two patterns that shape every backendjunior
- Writing middleware: signatures, next(), and the three framework modelsmiddle
- Inversion of control: how dependencies reach a classmiddle
- DI scopes and lifecycles: singleton, request, transientmiddle
- DI as a testing seam: fakes, mocks, and the boundary that matterssenior
- DI containers in production: resolution graphs, circular deps, and when not tosenior
- Blocking vs non-blocking I/O: two ways to waitjunior
- The event loop: one thread, ordered phasesmiddle
- What blocks the loop: CPU work and sync callsmiddle
- Offloading CPU work: worker threads and the libuv poolmiddle
- Backpressure and bounded concurrencysenior
- Throughput under load: tail latency and saturationsenior
- Why pool: the cost of creating a connectionjunior
- Pool sizing: why bigger is not fastermiddle
- Acquisition and timeouts: the wait queue is the real latency dialmiddle
- Retry strategies: backoff, jitter, and thundering herdmiddle
- Observability, production failures, and global-scale designsenior
- Tasks, microtasks, and scheduler.yield()middle
- Timer accuracy, throttling, and idle workmiddle
- Node.js event loop: phases, nextTick, and loop lagsenior
- Rendering strategies: SSG, SSR, ISR, streaming, and hydrationjunior
- SSG, SSR, ISR, streaming, and RSC — how each worksmiddle
- Hydration cost: selective, progressive, islands, resumabilitymiddle
- Core Web Vitals: what LCP, INP, and CLS measurejunior
- LCP: four phases, one dominant costmiddle
- INP: input delay, processing, presentationmiddle
- Lab vs field: why the two disagree and how to use eachmiddle
- Metric tradeoffs, RUM attribution, and the CI+field loopsenior
- The full picture: URL to LCP to INP as a relay racejunior
- Eight layers traced: from the service worker to the second navigationmiddle
- Five canonical breaks: where production reliably diessenior
- The three-track method: reading traces and building a monitored systemsenior
- What an index is and how it speeds up queriesjunior
- The leading-column rule and composite index designmiddle
- Partial, expression, and covering indexesmiddle
- Index types: GIN, GiST, BRIN, Hash, Bloom, and HOT updatesmiddle
- Index-only scans, the Visibility Map, and INCLUDEsenior
- Production failure modes and the index audit playbooksenior
- Index design exercise: full-text search strategysenior
- EXPLAIN and execution plans: what the planner decides and whyjunior
- Scan types: Seq, Index, Bitmap, Index-Onlymiddle
- Join algorithms and the row-estimate cascademiddle
- pg_statistic, ANALYZE, and production observabilitymiddle
- Extended statistics: fixing correlated-column estimate failuressenior
- Plan cache, cost-constant tuning, and planner internalssenior
- Production failure modes and plan stabilitysenior
- Connection pools: amortising the cost of a Postgres backendjunior
- PgBouncer session, transaction, and statement modesmiddle
- Pool sizing: the (cores × 2) + spindles formula and the two-layer stackmiddle
- Pool exhaustion and idle-in-transaction: the 3 AM failure modemiddle
- Migrating to transaction mode: rollout playbook and PgBouncer 1.21 prepared statementsmiddle
- The Postgres process model and why raising max_connections degrades throughputsenior
- Pooler landscape 2026, serverless connection storms, and the full failure-mode taxonomysenior
- ADD COLUMN: instant in PG 11+ vs rewrite in older Postgresjunior
- The lock-queue failure mode: why instant DDL can freeze the databasemiddle
- Safe DDL patterns: NOT VALID, CONCURRENTLY, and unsafe-op fixesmiddle
- Migration failure taxonomy and production disciplinesenior
- Shard-key selection: hash, range, list, and directory strategiesmiddle
- Co-location and Citus: the invariant that makes sharding usablemiddle
- The hot-shard failure mode: detection, isolation, and durable policymiddle
- Online resharding, 2PC, and the operational cost of shardingsenior
- The seven acts: from CREATE TABLE to Citusjunior
- Acts 1–3 in depth: schema, indexes, and planner statisticsmiddle
- Acts 4–6 in depth: MVCC bloat, connection pooling, and safe migrationsmiddle
- Act 7 in depth: sharding, co-location, and the seven-tier tradeoff cascademiddle
- Observability, anti-patterns, and production triagesenior
- What the three signals are: logs, metrics, and tracesjunior
- Metrics and cardinality: the cost model of a time-series databasemiddle
- Logs and volume: the cost model of structured loggingmiddle
- Traces and sampling: the cost model of distributed tracingmiddle
- Join keys and exemplars: making the three signals composemiddle
- Observability 2.0: wide events and the cost shiftsenior
- Failure modes and engineering practice: cardinality budgets, PII, and samplingsenior
- Why structured logs exist: the diary vs the spreadsheetjunior
- The production log schema: fields every line must carrymiddle
- Log levels and alert routingmiddle
- Sampling strategies and log costmiddle
- PII redaction and log injectionsenior
- Trace context propagation in logssenior
- OTel Logs Data Model and audit logs as a subsystemsenior
- OTel signals, Semantic Conventions, and the OTLP wire formatmiddle
- Auto-instrumentation and manual spans: the 80/20 of OTelmiddle
- The OTel Collector: receivers, processors, exporters, and deployment patternsmiddle
- Sampling strategies: head, tail, and parent-basedmiddle
- Vendor neutrality, eBPF instrumentation, the Operator, and browser/serverless OTelsenior
- Operating the OTel Collector: reliability, version skew, failure modes, and governancesenior
- RED and USE: two checklists, one triage disciplinejunior
- Instrumenting RED in Prometheus: counters, histograms, and cardinality disciplinemiddle
- USE on Linux: CPU, memory, disk, network, and PSImiddle
- Golden signals, dashboard layout, and service mesh auto-REDmiddle
- Cardinality as a cost driver: labels, PII, exemplars, and samplingmiddle
- Native histograms, SLO tie-in, and production failure patternsmiddle
- Choosing SLIs and SLO targets: ratios, not feelingsmiddle
- Multi-window multi-burn-rate alerting: why AND beats ORmiddle
- Error budget policy, latency SLOs, and composite journeysmiddle
- Iceberg SLIs, composite SLO math, and SLA vs SLOsenior
- Flame graphs: reading the picture that shows where time goesjunior
- Sampling vs instrumentation profiling: why 99 Hz wins in productionmiddle
- Profile types: CPU, memory, off-CPU, mutex — which one to reach formiddle
- Continuous profiling: always-on flame graphs with eBPF and trace-id correlationmiddle
- How flame graphs are built from samples, and the production workflows that use themmiddle
- Linux perf, eBPF internals, PGO, and the limits of samplingsenior
- Profiling in production: security, war stories, OTel profiles, and the infrastructure designsenior
- The debugging funnel: SLO → RED → trace → profilejunior
- OTel architecture: one SDK, four signals, one wire formatmiddle
- Cost discipline: keeping observability under 5% of infra spendmiddle
- Scale, security, and the ROI of observable systemssenior
- Why profile first: measure where time actually goesjunior
- Amdahl''''s law and self-time: the ceiling on every speedup you can shipmiddle
- The measurement loop: microbench, macrobench, prod profile, observer effectmiddle
- Reading flame graphs: shapes, per-language profilers, and the 60-second scanmiddle
- Statistical baselines: why one run is not a measurementmiddle
- Profiler history and microbenchmark pitfalls: Knuth to GWPsenior
- Hardware counters, cold-start profiles, and profile securitysenior
- Continuous profiling at scale: costs, CI gates, trace correlation, and anti-patternssenior
- What makes a hot path: symptom vs causejunior
- Five shapes of hotspot: CPU, alloc, cache, lock, syscallmiddle
- Reading parent and child chains: where to apply the fixmiddle
- JIT deopt, the fix-and-verify loop, and PR-time profilingmiddle
- Hardware counters and Intel TMA: sub-category diagnosissenior
- False sharing and native-bridge hot pathssenior
- Hot paths in production: security, tail latency, and tooling lineagesenior
- Memory hierarchy: why the same O(N) loop can be 17x slowerjunior
- Row-major vs column-major: access order and the 9x gapjunior
- Branch prediction and branchless codemiddle
- Hardware prefetcher, TLB, and memory-level parallelismsenior
- GC basics: what the runtime taxes you forjunior
- GC algorithms: generational, concurrent, and per-runtimemiddle
- GC tradeoffs: pause, throughput, heap — and object poolingmiddle
- GC tuning: pacing, heap shape, and allocation observabilitymiddle
- GC internals: tri-color invariant, write barriers, and per-runtime deep-divessenior
- GC in production: observability, security, edge cases, and fleet governancesenior
- N+1: one logical operation, many round-tripsjunior
- Fix families: JOIN, IN, preload, and DataLoadermiddle
- Detecting N+1: query logs, APM traces, and CI gatesmiddle
- DataLoader: batching across resolver treesmiddle
- Cross-protocol N+1: HTTP fan-out and Redis MGETmiddle
- N+1 at scale: pool exhaustion, plan changes, and denormalisationsenior
- Batching: amortize fixed cost per operationjunior
- The batching window: size and wait timemiddle
- Batching in Kafka and Postgresmiddle
- io_uring and observability of batchingmiddle
- From Nagle to io_uring: evolution of batchingmiddle
- Backpressure, failure isolation, and batch security in productionsenior
- What a bundle actually costs: download, parse, compile, executejunior
- Core Web Vitals: LCP, INP, and CLSmiddle
- Code splitting: route-level, component-level, vendor splittingmiddle
- Tree shaking and compression: removing what you don''''t usemiddle
- Third-party scripts: the silent budget killermiddle
- CI enforcement and RUM: making budgets stickmiddle
- V8 JIT pipeline, HTTP priorities, and bundle securitysenior
- The performance loop: discipline, not a projectjunior
- Classify and fix: matching bottleneck families to remediesmiddle
- Observability stack and CI gates: catching regressions before they shipmiddle
- Incident to enforcement: SLO burn to verified fix in 35 minutesmiddle
- Culture, economics, and org-scale performancesenior