Сети и протоколы
BBR, производственная наблюдаемость и за пределами TCP
Сервис потоковой передачи видео раздаёт 4K-сегменты по межконтинентальным мобильным путям (RTT 150 мс, 1% случайных потерь). Пропускная способность CUBIC рушится до доли от реальной ёмкости канала. Переключение на BBR удерживает throughput близко к максимуму на том же пути. Разница не в пропускной способности — в разных ответах на вопрос «что означает потерянный пакет?»
BBR против CUBIC против Reno
Reno (классический): делить cwnd пополам при потерях, аддитивное увеличение за RTT. Простой, широко реализован.
CUBIC (дефолт Linux с 2.6.19): функция роста в форме кубической кривой — вогнутый зонд ниже предыдущего максимума, выпуклый зонд выше него. Уменьшает ~0,7× при потерях. Восстанавливает пропускную способность на путях с высоким BDP быстрее, чем Reno.
BBR (Bottleneck Bandwidth and RTT): полностью отказывается от сигнализации на основе потерь. Напрямую оценивает пропускную способность узкого места пути (через скорость доставленных байт) и минимальный RTT (через метки времени пакетов), затем устанавливает темп отправки в соответствии с ними. Потери трактуются как неоднозначный шум — могут быть перегрузкой или случайными сбросами. На 1% случайных потерь BBR удерживает пропускную способность близко к максимуму; CUBIC оседает на доле от этого значения.
BBRv3 (релиз Google 2023 г.): исправляет баги преждевременного зонда и конвергенции в BBRv2. Развёрнут на google.com, YouTube, Cloudflare и Netflix. По состоянию на начало 2025 г. не влит в mainline Linux; требует кастомного ядра или сторонского бэкпорта. Mainline Linux 6.x поставляется с BBR 1.x.
Практические рекомендации: используйте CUBIC для серверов общего назначения на стандартных ядрах, стандартных датацентровых и региональных ISP путях, где потери редки и означают перегрузку. Переходите на BBR для трансконтинентального WAN, мобильных или спутниковых путей, где 0,5–2% случайных потерь — норма и снижение CUBIC рушит throughput.
Установка для сокета: setsockopt(SOL_TCP, TCP_CONGESTION, "bbr"). Для всей системы: net.ipv4.tcp_congestion_control=bbr.
Проследите эпизод перегрузки BBR на мобильном пути с потерями и объясните, почему BBR удерживает throughput, а CUBIC рушится.
Сервис потоковой передачи видео раздаёт 4K-сегменты по долгим мобильным путям (RTT часто больше 150 мс, случайные потери 0,5–2%). Выберите алгоритм управления перегрузкой TCP + комбинацию настроек.
Производственная наблюдаемость
ss -tin выводит живые значения cwnd, RTT, дисперсию RTT, повторные передачи и состояние откатного таймера на соединение — без накладных расходов на ядро. Запускайте на любом производственном хосте.
$ ss -tin state established | grep -A1 "dport 443"
# Вывод включает: cwnd:10 ssthresh:2147483647 rtt:42.8/8.5 acked:142 retrans:0/0Ключевые поля:
cwnd: текущее окно перегрузки в MSSrtt/rttvar: сглаженный RTT и дисперсия в миллисекундахretrans:sent/outstanding: суммарные повторные передачиssthresh: порог медленного старта (2147483647 = бесконечность = в медленном старте)
ss -s суммирует количество сокетов по состоянию — следите за скачками CLOSE-WAIT.
nstat раскрывает счётчики из /proc/net/netstat: RetransSegs, TCPSlowStartRetrans, TCPDSACKRecv. Для долгосрочного мониторинга tcp_diag питает Prometheus-экспортёры (node_exporter раскрывает большинство метрик); SLO-важные метрики — скорость повторных передач, RTT p95/p99 и соотношение CLOSE-WAIT:ESTABLISHED.
Вывод ss во время аварии — диагностируйте проблему
$ ss -tan state established | wc -l
12384
$ ss -tan state close-wait | wc -l
9821
$ ss -tan state time-wait | wc -l
1247
$ ss -s
Total: 12500
TCP: 23552 (estab 12384, closed 8920, orphaned 2, timewait 1247)
$ ps -p 1234 -o pid,stat,rss,vsz,cmd
PID STAT RSS VSZ CMD
1234 Ssl 8392000 12000000 /usr/bin/app-server 12к ESTABLISHED + 9,8к CLOSE-WAIT сокетов и RSS растёт. В чём баг и как его исправить?
Семантика RST
RST в TCP — это резкое закрытие соединения: без обмена FIN, без TIME-WAIT, получатель немедленно удаляет состояние соединения. Возникает когда:
- Пакет приходит на порт, который никто не слушает.
- Приложение вызывает
close()на сокете с непрочитанными данными иSO_LINGERс lingertime=0. - Сосед отправляет мусор, нарушающий конечный автомат.
- Stateful файрвол решает, что соединение простаивает.
RST-атаки: злоумышленник, способный угадать порядковые номера в пределах окна приёма, может подделать RST и разорвать установленное соединение. RFC 5961 ужесточает допустимое окно RST. Долгоживущие простаивающие соединения (BGP-сессии, SSH) наиболее уязвимы.
MPTCP (RFC 8684)
Multipath TCP переносит одно логическое соединение по нескольким путям (Wi-Fi + мобильная сеть, сервер с несколькими NIC). Рукопожатие MPTCP добавляет опцию MP_CAPABLE в SYN/SYN-ACK/ACK; если оба конца поддерживают её, устанавливается первый подпоток, а дополнительные подпотоки открываются на разных интерфейсах через MP_JOIN. iOS использует MPTCP с iOS 7 для Siri. Linux 5.6+ поставляется с RFC 8684. Ограниченное распространение за пределами Apple из-за middlebox-устройств, не понимающих опцию и откатывающихся к обычному TCP.
kTLS + TCP
kTLS (Linux 4.13+ TX, 4.17+ RX, NIC offload в 6.0+) переносит симметричное шифрование TLS-записей в ядро через setsockopt(SOL_TLS, ...). После завершения TLS-рукопожатия в пространстве пользователя ядро берёт на себя шифрование записей; в сочетании с sendfile() файлы перемещаются из page-cache в NIC, не попадая в пространство пользователя. Netflix сообщает об экономии 8–29% CPU при доставке статических ресурсов. kTLS не меняет поведение TCP — управление перегрузкой, повторные передачи, управление окном остаются стандартными.
Связь TCP с QUIC
TCP — один уровень в стеке; TLS находится непосредственно поверх него; HTTP/1.1 и HTTP/2 работают на TLS. HTTP/3 — исключение: он работает на QUIC, который использует UDP и заново изобретает надёжность и управление перегрузкой в пространстве пользователя. Причина: эволюция TCP в пространстве ядра оказалась слишком медленной. Уроки TCP — порядковые номера, ACK, управление перегрузкой, медленный старт, быстрая повторная передача — все воспроизводятся в QUIC, только на другом уровне. Понимание TCP делает QUIC механистически прозрачным; обратное неверно.
Какой RFC описывает RACK-TLP — современный алгоритм обнаружения потерь, используемый Linux для избегания ожидания таймера RTO?
Разработайте набор настроек ядра для высоконагруженного API-шлюза, завершающего 200к HTTPS-соединений/сек. Исходящий трафик к ~50 пулам бэкендов, преимущественно короткие HTTP/1.1 запросы с keep-alive.
- Никаких внешних зависимостей, кроме sysctl Linux >= 6.0.
- Устойчивость к SYN flood на публичном слушателе.
- Избегание исчерпания TIME-WAIT на исходящем трафике к пулам бэкендов.
- Задержка p99 менее 50 мс при стационарной нагрузке.
- tcp_syncookies + поднятый backlog защищают от SYN flood без блокировки легитимного трафика.
- tcp_tw_reuse для исходящих, НЕ tcp_tw_recycle (удалён в 4.12, ломает NAT).
- Широкий диапазон локальных портов + пул соединений — настоящая защита от исчерпания TIME-WAIT.
- Алгоритм перегрузки BBR снижает RTT p99 и лучше справляется со случайными потерями, чем CUBIC.
- TCP_NODELAY на уровне сокета устраняет задержки Nagle/delayed-ACK на маленьких запросах.
- Измеряйте непрерывно; не настраивайте вслепую.
Почему это работает
Почему QUIC работает поверх UDP, а не расширяет TCP. Каждая функция TCP должна быть реализована в ядрах по всему миру — процесс, занимающий десятилетия из-за длинного хвоста необновлённых систем. QUIC работает в пространстве пользователя (или как библиотека), поэтому функции можно добавлять и развёртывать через обновление браузера или сервера, а не через обновление ядра. Цена — заново изобретать всё, что предоставляет TCP (надёжность, порядок, управление перегрузкой) в пространстве пользователя; выгода — возможность эволюционировать в темпе интернета, а не в темпе обновлений ядра. TCP никуда не исчезнет — он несёт подавляющее большинство интернет-трафика и будет делать это десятилетиями — но QUIC представляет признание того, что окостенение протокола TCP в ядре — реальное инженерное ограничение.
- 01Объясните, почему BBR удерживает throughput на пути с 1% случайных потерь, а CUBIC рушится.
- 02Что показывает ss -tin о живом TCP-соединении, чего не показывает netstat?
- 03Какова связь между TCP и QUIC, и почему QUIC не просто расширил TCP?
BBR напрямую оценивает пропускную способность узкого места сети и минимальный RTT, игнорируя потери как сигнал перегрузки. CUBIC режет окно при каждом событии потери — на пути с 1% случайных потерь CUBIC оседает на доле от ёмкости, а BBR удерживает throughput близко к максимуму. BBRv3 развёрнут в Google, Cloudflare и Netflix, но ещё не влит в mainline Linux (начало 2025 г.). Производственный набор инструментов: ss -tin для живого cwnd, RTT и состояния повторных передач на соединение; nstat для счётчиков ядра; node_exporter для Prometheus SLO. RST закрывает соединения немедленно без TIME-WAIT, открывая возможность для инъекционных атак на долгоживущих сессиях. MPTCP распределяет одно соединение по нескольким сетевым путям. kTLS переносит шифрование TLS-записей в ядро для zero-copy доставки статики. QUIC запускает TCP-подобную надёжность в пространстве пользователя поверх UDP, разрывая связь между эволюцией протокола и циклами обновления ядра.
встречается в162
- Путь запроса: семь остановок от сокета до ответа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
- Метрики и 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
- Сначала профиль: измерь куда реально уходит времяjunior
- Закон Амдала и self-time: потолок любого ускорения, которое ты можешь выпуститьmiddle
- Измерительный цикл: микробенч, макробенч, prod-профиль, эффект наблюдателяmiddle
- Чтение флейм-графов: формы, профайлеры по языкам и 60-секундный сканmiddle
- Статистические baseline''''ы: почему один запуск — не измерениеmiddle
- История профайлеров и ловушки микробенчей: от Кнута до GWPsenior
- Hardware counters, профили холодного старта и безопасность профилейsenior
- Непрерывное профилирование в масштабе: затраты, CI-гейты, корреляция с трейсами и антипаттерныsenior
- Что делает путь горячим: симптом против причиныjunior
- Пять форм hotspot''''а: CPU, аллокации, кэш, лок, syscallmiddle
- Чтение parent и child chains: где применять правкуmiddle
- JIT deopt, цикл fix-and-verify и PR-time профилированиеmiddle
- Аппаратные счётчики и Intel TMA: диагностика подкатегорийsenior
- False sharing и горячие пути нативных мостовsenior
- Горячие пути в production: безопасность, хвостовая латентность и происхождение инструментовsenior
- Иерархия памяти: почему расстояние важнее числа операцийjunior
- Row-major vs column-major: порядок доступа и разрыв в 9xjunior
- Branch prediction: 10–30 циклов штрафа за неожиданный ifmiddle
- Hardware prefetcher, TLB и memory-level parallelismsenior
- Основы GC: за что рантайм берёт налогjunior
- Алгоритмы GC: поколенческая гипотеза, concurrent marking и write barriermiddle
- GC tradeoffs: пауза, throughput, память и давление аллокацийmiddle
- Настройка GC: пейсинг, форма кучи и наблюдаемость аллокацийmiddle
- Внутреннее устройство GC: tri-color инвариант, write barriers и глубокое погружение в рантаймыsenior
- GC в production: наблюдаемость, безопасность, edge cases и управление флотомsenior
- N+1: одна логическая операция, много round-trip''''овjunior
- Семейства фиксов: JOIN, IN, preload и DataLoadermiddle
- Обнаружение N+1: query logs, APM traces и CI gatesmiddle
- DataLoader: батчинг по дереву резолверовmiddle
- Кросс-протокольный N+1: HTTP fan-out и Redis MGETmiddle
- N+1 в масштабе: исчерпание пула, изменения планов и денормализацияsenior
- Batching: амортизируй фиксированную цену каждой операцииjunior
- Окно батчинга: размер и время ожиданияmiddle
- Batching в Kafka и Postgresmiddle
- io_uring и наблюдаемость пакетированияmiddle
- От Nagle до io_uring: эволюция пакетированияmiddle
- Backpressure, изоляция сбоев и безопасность батчей в продакшенеsenior
- Что на самом деле стоит bundle: download, parse, compile, executejunior
- Core Web Vitals: LCP, INP и CLSmiddle
- Code splitting: route-level, component-level, vendor splittingmiddle
- Tree shaking и compression: удаляем то, что не используемmiddle
- Third-party scripts: тихий убийца бюджетаmiddle
- CI enforcement и RUM: делаем бюджеты рабочимиmiddle
- V8 JIT-пайплайн, HTTP-приоритеты и безопасность bundlesenior
- Цикл performance: дисциплина, а не проектjunior
- Классификация и исправление: сопоставление family bottleneck с методамиmiddle
- Observability-стек и CI gates: ловить регрессии до выпускаmiddle
- От инцидента к enforcement: SLO burn до верифицированного исправления за 35 минутmiddle
- Культура, экономика и масштаб performancesenior