Производительность
N+1: одна логическая операция, много round-trip''''ов
Страница медленная — 800 мс. CPU flame graph в порядке, широких функций нет. Свен открывает DB query log и считает 51 запрос на один page load. Профайлер не врал; bottleneck не в одной функции. Он распределён по 51 маленькому round-trip’у.
Что такое N+1
Пользователь просит «покажи список заказов с именами клиентов». ORM выполняет один запрос на orders, потом по одному на каждый order для fetch клиента — 1 + N запросов. На 50 заказах — 51 DB round-trip на один рендер.
Каждый round-trip платит сетевой latency (1–5 мс intra-DC, 10–50 мс cross-region) плюс query-overhead. Страница, которая должна делаться за 20 мс, делается за 500 мс — и инженер не найдёт проблему в CPU-профиле, потому что цена распределена по многим быстрым вызовам. Ни одна функция не медленная.
Почему ORM производит N+1 по умолчанию
Object-relational mapper’ы выставляют модель, где каждый объект имеет relationships, доступные как обычные свойства. order.customer читается как обычный атрибут; под капотом ORM триггерит запрос, если customer ещё не загружен. Это называется lazy loading — удобно, не нужно объявлять заранее, что нужно, — но это источник N+1.
Цикл по 50 заказам, чтение order.customer.name на каждом — ORM стреляет 50 запросами без того, чтобы ты написал 50 запросов.
Метафора кладовой
Готовишь пасту, нужны чеснок, масло, соль и базилик:
- Вариант A (batch): пойти в кладовую один раз, взять все четыре, вернуться. Один trip.
- Вариант B (N+1): пойти за чесноком, вернуться; пойти за маслом, вернуться; пойти за солью, вернуться; пойти за базиликом, вернуться. Четыре trip’а.
Та же работа — четыре trip’а против одного. Паттерн N+1 — вариант B. Фикс — вариант A: сократить прогулки.
Единица цены — round-trip: время от момента, когда код просит данные, до момента, когда данные в руках. RTT, query parse, planner overhead, lock acquisition, result encoding — всё платится за каждый round-trip. Один запрос на 100 строк платит раз; 100 запросов платят 100 раз.
Конкретный пример
// Код ORM, который выглядит безобидно:
const orders = await Order.findAll({ where: { userId } });
for (const order of orders) {
const customer = await order.getCustomer(); // один запрос на каждый order
render(order, customer);
}
// Query log:
// SELECT * FROM orders WHERE user_id = 42 LIMIT 50 — 1 запрос
// SELECT * FROM customers WHERE id = 1 — 1 запрос
// SELECT * FROM customers WHERE id = 2 — 1 запрос
// ...
// SELECT * FROM customers WHERE id = 50 — 1 запрос
// Итого: 51 запрос × ~15 мс RTT = 765 мсФикс в Prisma и большинстве ORM — одно слово, include:
const orders = await prisma.order.findMany({
where: { userId },
include: { customer: true },
});
// Теперь: 2 запроса — один на orders, один на всех customers через IN (...)
// Итого: ~20 мс| Подход | Запросы | Время (intra-DC, 15 мс RTT) |
|---|---|---|
| Lazy (N+1) | 51 | ~765 мс |
| Eager / include | 2 | ~30 мс |
Вложенный N+1: проблема множится
Дашборд рендерит команды → проекты → участников. Наивный ORM:
- 1 запрос на команды
- N запросов на проекты (один на команду)
- N×M запросов на участников (один на проект)
С 10 командами × 5 проектов × 8 участников: 1 + 10 + 50 = 61 запрос. Фикс nested eager loading: 3 запроса. Рендер падает с 1,5 с до 80 мс.
Почему это работает
Имя N+1 отражает worst case: 1 запрос на parent-коллекцию плюс 1 на parent = 1 + N. Термин вошёл в мейнстрим около 2003–2005 с подъёмом ORM вроде Active Record (Rails 2004) и Hibernate (Java). Форма повторяется в каждом новом data-access framework’е: Prisma добавил include в 2020, каждый современный ORM поставляет его.
Страница медленная, но CPU-профиль не показывает широких функций. DB query log показывает сотни маленьких запросов. Самая вероятная причина?
Почему получение 100 строк ОДНИМ запросом бьёт получение 100 строк 100 отдельными запросами?
Расставь четыре частых паттерна фикса N+1 от простейшего к самому гибкому:
- 1 JOIN — забрать parent и child одним запросом через SQL join
- 2 IN (...) — первый запрос даёт parent ID, второй фетчит всех children через WHERE child_id IN (parents)
- 3 Eager loading / preload — директива ORM, превращающая lazy-доступ в один batch-запрос
- 4 Batch loader (DataLoader) — собрать все child ID по всему запросу, выстрелить один батч, когда event loop yield'ит
Вставь пропуск: паттерн N+1 — это N+1 _______ — каждый сам по себе быстрый, но их сумма и делает страницу медленной.
- 01В одном абзаце: объясни, почему N+1 трудно найти CPU-профилем и куда смотреть вместо него.
- 02Что такое lazy loading и почему он производит N+1 по умолчанию?
Проблема N+1 превращает одну логическую операцию в 1 + N DB round-trip’ов, загружая каждую связанную строку лениво. На 50 элементах — 51 запрос; при 15 мс RTT каждый — 765 мс вместо 30 мс. Корень — lazy loading, дефолт ORM, триггерящий запрос при каждом обращении к связанному свойству. Фикс структурный: использовать eager-load директиву (Rails .includes, Django .select_related, SQLAlchemy selectinload, Prisma include), чтобы сказать ORM, что нужно заранее. CPU-профиль не покажет этот bottleneck; query log покажет.
встречается в159
- Путь запроса: семь остановок от сокета до ответаjunior
- Accept и парсинг: от очереди ядра до типизированного запросаmiddle
- Маршрутизация и middleware: что выполняется и в каком порядкеmiddle
- Обработчик и ответ: от бизнес-логики до байтов на проводеmiddle
- Стриминг и backpressure: когда клиент читает медленнее, чем вы пишетеsenior
- Таймауты и хвостовая задержка: бюджеты, дедлайны и ловушка fan-outsenior
- Middleware и DI: два паттерна, формирующие любой backendjunior
- Пишем middleware: сигнатуры, next() и три модели фреймворковmiddle
- Инверсия управления: как зависимости добираются до классаmiddle
- Скоупы и время жизни DI: singleton, request, transientmiddle
- DI как шов для тестов: фейки, моки и граница, которая важнаsenior
- DI-контейнеры в продакшене: графы разрешения, циклы и когда не стоитsenior
- Блокирующий vs неблокирующий I/O: два способа ждатьjunior
- Event loop: один поток, упорядоченные фазыmiddle
- Что блокирует цикл: CPU-работа и синхронные вызовыmiddle
- Вынос CPU-работы: worker threads и пул libuvmiddle
- Backpressure и ограниченная конкурентностьsenior
- Пропускная способность под нагрузкой: хвостовая задержка и насыщениеsenior
- Зачем пул: цена создания соединенияjunior
- Размер пула: почему больше не значит быстрееmiddle
- Взятие и таймауты: очередь ожидания — настоящий дроссель задержкиmiddle
- Стратегии retry: backoff, jitter и thundering herdmiddle
- Наблюдаемость, production-инциденты и дизайн для глобального масштабаsenior
- Задачи, микрозадачи и scheduler.yield()middle
- Точность таймеров, троттлинг и фоновая работаmiddle
- Event loop Node.js: фазы, nextTick и задержка циклаsenior
- Стратегии рендеринга: SSG, SSR, ISR, streaming и гидратацияjunior
- SSG, SSR, ISR, streaming и RSC — как работает каждая стратегияmiddle
- Цена гидратации: selective, progressive, острова, resumabilitymiddle
- Core Web Vitals: что измеряют LCP, INP и CLSjunior
- LCP: четыре фазы, одна доминирующая стоимостьmiddle
- INP: input delay, processing, presentationmiddle
- Lab vs field: почему они расходятся и как использовать каждыйmiddle
- Трейдоффы метрик, RUM-атрибуция и цикл CI+полеsenior
- Общая картина: от URL до LCP до INP как эстафетаjunior
- Восемь слоёв трассировки: от service worker до второй навигацииmiddle
- Пять канонических поломок: где производство стабильно ломаетсяsenior
- Метод трёх треков: чтение трасс и построение системы мониторингаsenior
- Что такое индекс и как он ускоряет запросыjunior
- Leading-column rule: почему порядок столбцов в composite-индексе важенmiddle
- Partial, expression и covering-индексыmiddle
- Типы индексов: GIN, GiST, BRIN, Hash, Bloom и HOT-обновленияmiddle
- Index-only scan, Visibility Map и INCLUDEsenior
- Типичные сбои в продакшне и аудит индексовsenior
- Упражнение по проектированию индексов: стратегия полнотекстового поискаsenior
- EXPLAIN и планы выполнения: что решает планировщик и почемуjunior
- Типы сканирования: Seq, Index, Bitmap, Index-Onlymiddle
- Алгоритмы соединения и каскад ошибок оценки строкmiddle
- pg_statistic, ANALYZE и производственная наблюдаемостьmiddle
- Расширенная статистика: исправление ошибок оценки для коррелированных колонокsenior
- Кеш планов, настройка константных стоимостей и внутренности планировщикаsenior
- Производственные режимы отказа и стабильность плановsenior
- Connection pool: зачем амортизировать стоимость backend Postgresjunior
- Режимы PgBouncer: session, transaction и statementmiddle
- Размер пула: формула (ядра × 2) + шпинделей и двухуровневый стекmiddle
- Исчерпание пула и idle-in-transaction: сценарий отказа в 3 ночиmiddle
- Миграция на transaction mode: план развёртывания и prepared statements в PgBouncer 1.21middle
- Процессная модель Postgres и почему увеличение max_connections снижает производительностьsenior
- Ландшафт пулеров 2026, serverless connection storms и полная таксономия отказовsenior
- ADD COLUMN: мгновенно в PG 11+ против перезаписи в старом Postgresjunior
- Режим отказа очереди блокировок: почему мгновенный DDL может заморозить базуmiddle
- Безопасные DDL-паттерны: NOT VALID, CONCURRENTLY и исправления небезопасных операцийmiddle
- Таксономия сбоев миграций и дисциплина продакшнаsenior
- Выбор ключа шарда: стратегии hash, range, list и directorymiddle
- Ко-локация и Citus: инвариант, делающий шардирование пригодным к использованиюmiddle
- Режим отказа hot shard: обнаружение, изоляция и долгосрочная политикаmiddle
- Онлайн-решардинг, 2PC и операционная стоимость шардированияsenior
- Семь актов: от CREATE TABLE до Citusjunior
- Акты 1–3 в глубину: схема, индексы и статистика планировщикаmiddle
- Акты 4–6 в глубину: MVCC bloat, connection pooling и безопасные миграцииmiddle
- Акт 7 в глубину: шардинг, co-location и семиуровневый каскад трейдоффовmiddle
- Наблюдаемость, антипаттерны и производственный триажsenior
- Биты в проводеjunior
- Математика задержкиmiddle
- Bufferbloat и перегрузкаsenior
- Граница физического уровняsenior
- Номера последовательности и состояние соединенияmiddle
- Управление потоком и перегрузкойmiddle
- BBR, производственная наблюдаемость и за пределами TCPsenior
- CDN: контент по соседствуjunior
- Anycast и GeoDNS: маршрутизация к ближайшему edgemiddle
- Многоуровневый кеш и Cache-Controlmiddle
- Заголовок Vary и cache keysmiddle
- Stale-while-revalidate и cache stampedesenior
- Edge workers и edge-side compositionsenior
- CDN: операции и observabilitysenior
- WebSocket: HTTP-апгрейд до постоянного соединенияjunior
- WebSocket vs SSE vs long-polling: выбор правильного транспортаmiddle
- Backpressure в WebSocket: когда клиенты не успеваютmiddle
- Реконнект: jittered backoff, thundering herd, восстановление сообщенийsenior
- WebSocket в масштабе: HTTP/2 мультиплексирование, permessage-deflate, C10Msenior
- WebSocket в production: прокси, безопасность и распределённая архитектураsenior
- Что делают обратные проксиjunior
- Алгоритмы балансировки: от round-robin до power-of-two-choicesmiddle
- L4 vs L7 балансировка и сохранение IP клиентаmiddle
- Health checks, connection draining и slow startmiddle
- Retry-бури, circuit breakers и load sheddingsenior
- Устойчивая архитектура LB: anycast, zone-aware маршрутизация и observabilitysenior
- Почему QUIC, а не TCP+TLSjunior
- QUIC-потоки и head-of-line blockingjunior
- Объединённое рукопожатие и 1-RTTmiddle
- Connection ID и миграция сетиmiddle
- Обнаружение потерь и управление перегрузкойmiddle
- Возобновление 0-RTT и шифрование пакетовsenior
- Развёртывание и стоимость CPUsenior
- DDoS: что это и почему работаетjunior
- Атаки усиления и истощение состоянияmiddle
- Ограничение скорости: алгоритмы и архитектураmiddle
- WAF, межсетевые экраны, mTLS и HSTSmiddle
- Отравление DNS-кэша и BGP-перехватsenior
- Эшелонированная защита и экономика атакsenior
- Двенадцать слоёв: один URL, семь действующих лицjunior
- DNS, TCP, TLS по очереди: куда уходят миллисекундыmiddle
- Критический путь рендеринга и Core Web Vitalsmiddle
- Перехват прокси и шлюзы безопасности: rate limiter, WAF, mTLSmiddle
- Альтернативные пути: QUIC 0-RTT, WebSocket upgrade, миграция соединенияmiddle
- Наблюдаемость: распределённые трейсы, USE/RED и семплированиеsenior
- Устойчивость: каскадные повторы, circuit breakers и error budgetsenior
- Что такое три сигнала: метрики, логи, трейсыjunior
- Метрики и cardinality: cost-модель time-series databasemiddle
- Логи и объём: cost-модель структурного логированияmiddle
- Трейсы и сэмплирование: cost-модель distributed tracingmiddle
- Join-ключи и exemplar''''ы: как три сигнала становятся компонуемымиmiddle
- Observability 2.0: широкие события и сдвиг стоимостиsenior
- Режимы сбоя и инженерная практика: cardinality budget''''ы, PII и сэмплированиеsenior
- Зачем нужны структурные логи: дневник против таблицыjunior
- Схема продакшн-лога: поля, которые несёт каждая строкаmiddle
- Log levels и маршрутизация алертовmiddle
- Стратегии sampling и стоимость логовmiddle
- PII-редакция и log injectionsenior
- Propagation trace-контекста в логахsenior
- OTel Logs Data Model и audit-логи как подсистемаsenior
- Сигналы OTel, Semantic Conventions и проводной формат OTLPmiddle
- Авто-инструментирование и ручные спаны: правило 80/20 в OTelmiddle
- Collector OTel: receivers, processors, exporters и паттерны развёртыванияmiddle
- Стратегии сэмплирования: head, tail и parent-basedmiddle
- Vendor-нейтральность, eBPF-инструментирование, Operator и OTel в браузере и serverlesssenior
- Эксплуатация OTel Collector: надёжность, version skew, режимы отказа и управлениеsenior
- RED и USE: два чек-листа, одна дисциплина триажаjunior
- Инструментация RED в Prometheus: счётчики, гистограммы и дисциплина cardinalitymiddle
- USE на Linux: CPU, память, диск, сеть и PSImiddle
- Golden signals, структура дашборда и auto-RED в service meshmiddle
- Cardinality как драйвер затрат: label, PII, exemplars и семплированиеmiddle
- Native histograms, SLO и паттерны production-сбоевmiddle
- Выбор SLI и SLO-целей: отношения, не ощущенияmiddle
- Multi-window multi-burn-rate-алертинг: почему AND лучше ORmiddle
- Error budget policy, latency SLO и составные journeysmiddle
- Iceberg SLI, математика составного SLO и SLA vs SLOsenior
- Flame graph: читаем картинку, которая показывает, куда ушло времяjunior
- Sampling vs instrumentation profiling: почему 99 Гц побеждает в productionmiddle
- Типы профилей: CPU, память, off-CPU, mutex — какой когда братьmiddle
- Continuous profiling: always-on flame graphs с eBPF и корреляцией trace-idmiddle
- Как flame graph строится из сэмплов и как использовать его в productionmiddle
- Linux perf, внутренности eBPF, PGO и ограничения sampling''''аsenior
- Profiling в production: безопасность, war stories, OTel profiles и дизайн инфраструктурыsenior
- Debugging-воронка: SLO → RED → trace → profilejunior
- Архитектура OTel: один SDK, четыре сигнала, один wire-форматmiddle
- Экономия на observability: удерживаем затраты в пределах 5% inframiddle
- Масштаб, безопасность и ROI наблюдаемых системsenior