Backend Architecture
Backpressure and bounded concurrency
A migration script reads a million user IDs and “for each, fetch the profile and upsert it.” Written the obvious async way — await Promise.all(ids.map(processUser)) — it launches a million concurrent operations in the same instant. The database opens connections until it refuses, memory climbs as a million pending promises and their closures pile up, and the process is OOM-killed before the first thousand finish. The code was correct. The concurrency was unbounded, and an event loop will happily start infinite work it can never finish.
The loop will not stop you
The event loop’s gift — start thousands of operations cheaply — is also a loaded gun. Nothing in Promise.all(items.map(fn)) limits how many fns are in flight; it starts all of them, immediately. For ten items that is fine. For a million it is a self-inflicted denial of service: every in-flight operation holds memory (buffers, closures, a pending promise), and every one hammers whatever it calls. Two distinct disciplines tame this: backpressure (let a slow consumer push back on a fast producer) and bounded concurrency (cap how many operations run at once). They solve the same disease — producing faster than you consume — at different layers.
Backpressure: the consumer pushes back
Backpressure is a feedback signal from a slow consumer to a fast producer: “stop sending, I’m full.” Node streams have it built in. When you writable.write(chunk) and the internal buffer exceeds the highWaterMark (default 16 KB for byte streams, 16 objects in object mode), write() returns false — your cue to stop writing until the stream emits a drain event signaling the buffer has emptied. Honor that signal and memory stays bounded; ignore it and Node keeps buffering every chunk in memory until the process OOMs.
The reason pipe() and pipeline() are the recommended way to connect streams is that they wire this handshake automatically — pausing the readable when the writable is full, resuming on drain — so a 50 GB file copies through a few hundred KB of live buffer instead of loading whole. Manual read/write loops that skip the false/drain dance are the classic source of streaming OOMs.
Why this works
Why is highWaterMark a threshold and not a hard cap? It is the line at which the stream starts saying “false” — backpressure is advisory, not enforced. A single write() of a 10 MB chunk still buffers all 10 MB even though the mark is 16 KB; the mark only governs when the stream signals fullness, not how much a given write may add. This matters because backpressure protects you only if you check the return value and wait for drain. Code that calls write() in a tight loop ignoring the boolean defeats the entire mechanism — the buffer grows without bound regardless of the high-water mark. The mark is a politeness signal between cooperating parties; it does nothing for code that does not listen.
Bounded concurrency: cap the fan-out
Streams handle the byte-pipeline case. The other case is N independent async tasks — fetch these 10,000 URLs, process these million rows — where the fix is a concurrency limit: run at most k at a time, and as each finishes, start the next. The migration above becomes safe by replacing Promise.all(ids.map(fn)) with a limiter (e.g. p-limit(20)) so only 20 operations are ever in flight, or by using a worker-pool/for await pattern that pulls from the list as capacity frees up.
The numbers make the case: a sequential for...of await loop and a bounded Promise.all can differ by orders of magnitude in wall time (one benchmark: ~30 s sequential vs ~340 ms concurrent), but unbounded concurrency does not beat bounded — past the point your downstream can absorb, extra in-flight work only adds queueing, memory, and failures. The sweet spot is the largest k the downstream tolerates, not infinity. That k is usually set by the downstream’s own limit: a connection pool of 20, an API rate limit, a disk’s IOPS.
Three regimes, one decision
Picture the spectrum. Sequential (await in a loop) is one-at-a-time: safe, slow, no pressure on anything. Unbounded (Promise.all over a huge list) is all-at-once: fast to start, catastrophic at scale. Bounded (limit k) is the production answer: fast enough, predictable memory, downstream-respecting. The senior reflex on seeing Promise.all(bigArray.map(...)) is immediate: what bounds this? If the array size is attacker- or data-controlled, unbounded Promise.all is a latent outage.
| Pattern | In flight | Speed | Risk |
|---|---|---|---|
Sequential for await | 1 | Slowest | None, but wastes idle capacity |
Unbounded Promise.all(map) | All N | Fast start, then collapse | OOM, downstream overload |
| Bounded (limit k) | At most k | Fast and stable | Tune k to downstream limit |
Stream pipeline() | ~highWaterMark | Steady | Must not bypass backpressure |
`await Promise.all(millionIds.map(processUser))` OOM-kills the process. What actually went wrong?
In a Node stream, `writable.write(chunk)` returns `false`. What does that signal and what should you do?
What usually sets the right concurrency limit *k* for a bounded fan-out of async tasks?
- 01Why does Promise.all over a huge array cause an outage, and what is the fix?
- 02How does Node stream backpressure work, and why are pipe/pipeline preferred over manual loops?
- 03Compare sequential, unbounded, and bounded concurrency and explain how to choose k.
The same cheapness that lets an event loop start thousands of operations also lets it start work it can never finish, and it will not stop you — Promise.all over a million-item array launches a million operations at once and OOM-kills the process while hammering every downstream. Two disciplines match production speed to consumption speed. Backpressure is the consumer pushing back on the producer: a stream write returns false past the highWaterMark (16 KB or 16 objects), and you must wait for drain, which pipe and pipeline do automatically so enormous files flow through tiny live buffers; the high-water mark is only a signal threshold, so code that ignores the boolean defeats it entirely. Bounded concurrency caps independent tasks at k in flight, replacing the unbounded fan-out with a limiter or worker pool, where k is set by what the downstream can absorb — a pool of 20, an API rate limit, disk IOPS — because beyond that, more concurrency buys only queueing and failure. Sequential is safe but slow, unbounded is fast then catastrophic, bounded is the answer. With work shed off the loop and inflow throttled to capacity, the final lesson zooms out to the whole system under load: how queueing makes tail latency explode near saturation, and why one loop is one core.
appears again in185
- 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
- Bits on the wirejunior
- Latency mathmiddle
- Bufferbloat and congestionsenior
- The physical frontiersenior
- Sequence numbers and connection statemiddle
- Flow control and congestion controlmiddle
- BBR, production observability, and beyond TCPsenior
- CDN: putting content next doorjunior
- Anycast and GeoDNS: routing to the nearest edgemiddle
- Tiered cache and Cache-Controlmiddle
- Vary header and cache keysmiddle
- Stale-while-revalidate and cache stampedesenior
- Edge workers and edge-side compositionsenior
- CDN operations and observabilitysenior
- WebSocket: the HTTP upgrade handshakejunior
- WebSocket vs SSE vs long-polling: choosing the right transportmiddle
- WebSocket backpressure: when clients can''''t keep upmiddle
- Reconnection: jittered backoff, thundering herd, message resumptionsenior
- WebSocket at scale: HTTP/2 multiplexing, permessage-deflate, C10Msenior
- WebSocket in production: proxies, security, and distributed architecturesenior
- What reverse proxies dojunior
- Balancing algorithms: round-robin to power-of-two-choicesmiddle
- L4 vs L7 load balancing and client-IP preservationmiddle
- Health checks, connection draining, and slow startmiddle
- Retry storms, circuit breakers, and load sheddingsenior
- Resilient LB architecture: anycast, zone-aware routing, and observabilitysenior
- Why QUIC and not TCP+TLSjunior
- QUIC streams and head-of-line blockingjunior
- Integrated handshake and 1-RTTmiddle
- Connection IDs and network migrationmiddle
- Loss detection and congestion controlmiddle
- 0-RTT resumption and packet encryptionsenior
- Deployment tradeoffs and CPU costsenior
- DDoS: what it is and why it worksjunior
- Amplification attacks and state exhaustionmiddle
- Rate limiting: algorithms and architecturemiddle
- WAFs, firewalls, mTLS, and HSTSmiddle
- DNS cache poisoning and BGP hijackingsenior
- Defense-in-depth architecture and attack economicssenior
- The twelve layers: one URL, seven actorsjunior
- DNS, TCP, TLS in sequence: where the milliseconds gomiddle
- Critical render path and Core Web Vitalsmiddle
- Proxy intercepts and security gates: rate limiters, WAF, mTLSmiddle
- Alternate paths: QUIC 0-RTT, WebSocket upgrade, connection migrationmiddle
- Observability: distributed traces, USE/RED, and samplingsenior
- Resilience: cascading retries, circuit breakers, and error budgetssenior
- 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