Сети и протоколы
Объединённое рукопожатие и 1-RTT
Суть QUIC объединяет транспорт и TLS в один обмен — клиент отправляет TLS ClientHello в первом пакете, и данные приложения текут уже после одного RTT.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на middle-высоте — в небеTCP завершает своё рукопожатие. Потом TLS начинает своё. Это отдельные протоколы с отдельными RTT. Каждое новое соединение платит двойную пошлину. QUIC отказывается принимать это — он проводит оба рукопожатия в одном обмене пакетами.
Объединённое рукопожатие
QUIC устраняет отдельный уровень транспортного рукопожатия. Вместо TCP SYN/SYN-ACK (1 RTT), а затем TLS ClientHello/ServerHello (ещё RTT), QUIC переносит TLS-рукопожатие внутри CRYPTO-фреймов, путешествующих в QUIC-пакетах.
Последовательность:
- Клиент отправляет Initial-пакет с CRYPTO-фреймом, содержащим TLS ClientHello.
- Сервер отвечает собственным Initial-пакетом с CRYPTO-фреймом ServerHello + EncryptedExtensions + Certificate + CertificateVerify — всё в одном пакете.
- Клиент отправляет Handshake-пакет с CRYPTO-фреймом Finished.
- Обе стороны переходят в состояние 1-RTT. Клиент может отправлять данные потока сразу после завершения шага 1.
Результат: 1 RTT от старта клиента до получения ответа сервера, против 2 RTT у TCP+TLS.
Последовательность пакетов рукопожатия QUIC
Клиент→СерверInitial [CRYPTO: ClientHello] + Padding
Клиент←СерверInitial [CRYPTO: ServerHello + EE + Cert + CertVerify]
Клиент←СерверHandshake [CRYPTO: Finished]
Клиент→СерверHandshake [CRYPTO: Finished] + 1-RTT [STREAM data]
Итого: 1 RTT до того, как клиент может отправить данные потока. TCP+TLS = 2 RTT.
Четыре уровня шифрования
QUIC определяет четыре отдельных уровня шифрования, каждый со своим ключом:
- Initial — детерминированно выводится из Connection ID назначения. Обе стороны могут вычислить эти ключи до обмена материалом, поэтому Initial-пакет может быть зашифрован немедленно.
- 0-RTT — выводится из сессионного тикета, кешированного из предыдущего соединения. Позволяет клиенту отправлять данные приложения в ClientHello без ожидания ответа сервера.
- Handshake — выводится из общих секретов после обмена ClientHello-ServerHello. Используется для сообщений Finished.
- 1-RTT — финальные постхендшейковые ключи. Все последующие данные потоков используют их.
Три пространства номеров пакетов
Четыре уровня шифрования отображаются на три пространства номеров пакетов:
- Initial/Handshake — каждое имеет собственную последовательность номеров пакетов (0, 1, 2, …).
- Application Data — 0-RTT и 1-RTT разделяют одно пространство.
Разделение критично: обнаружение потерь независимо для каждого пространства. Потерянный Initial-пакет запускает PTO только в пространстве Initial — он не уменьшает окно перегрузки для 1-RTT-данных.
Викторина
Completed
Почему в QUIC разные пространства номеров пакетов для Initial/Handshake и 1-RTT?
Heads-up Переполнение не проблема при 62-битных номерах. Разделение нужно для обнаружения потерь.
Heads-up Оба могут прийти не по порядку; разделение пространств — про ключи шифрования и логику потерь.
Heads-up UDP не переупорядочивает; доставка не по порядку — артефакт пути в сети, а не UDP vs. TCP.
Проследи
1/4 Трассируйте QUIC-соединение от инициации клиента до первых данных потока.
1
Step 1 of 4
Клиент отправляет Initial-пакет с ClientHello в CRYPTO-фрейме. Какой ключ шифрования он использует?
Ключи, детерминированно выведенные из QUIC Initial Secrets на основе Connection ID назначения. Обе стороны могут вывести эти ключи без обмена материалом, поэтому Initial-пакет может быть зашифрован обеими сторонами немедленно.
2
Locked
Сервер получает Initial-пакет. Что он отвечает?
Сервер отправляет Initial-пакет с CRYPTO-фреймами ServerHello + EncryptedExtensions + Certificate + CertificateVerify, зашифрованными Handshake-ключами (выведенными из общих секретов теперь, когда у него есть ClientHello).
3
Locked
Клиент получает Initial сервера. В каком состоянии находится клиент?
Клиент теперь имеет ключевой материал сервера и может вывести 1-RTT-ключи. Рукопожатие завершено с точки зрения клиента; он может отправлять данные потока в 1-RTT-пакетах.
4
Locked
Клиент отправляет первые данные потока в 1-RTT-пакете. Сколько RTT прошло с Initial?
Ровно 1 RTT от Initial клиента до получения Initial сервера, без дополнительного ожидания. Сравните TCP+TLS: 1 RTT (TCP трёхстороннее рукопожатие) + 1 RTT (TLS) = 2 RTT.
✓ Прослежено.
Расставь шаги по порядку
Completed
Расставьте типы пакетов в QUIC-рукопожатии от начала до завершения:
- 1 Клиент отправляет Initial-пакет с ClientHello
- 2 Сервер отправляет Initial-пакет с ServerHello + EncryptedExtensions + Certificate + CertificateVerify
- 3 Сервер отправляет Handshake-пакет с Finished
- 4 Клиент отправляет Handshake-пакет с Finished
- 5 Обе стороны переходят в состояние 1-RTT и могут отправлять пакеты Short Header с данными потока
Почему это работает
Initial-пакет QUIC использует детерминированные ключи, выведенные из Connection ID — кажущийся парадоксальным выбор. Зачем шифровать, если обе стороны могут вычислить ключ? Цель — не секретность на этом этапе, а целостность: шифрование Initial мешает пассивным наблюдателям тривиально подменить ClientHello. Ключи Handshake и 1-RTT, выведенные из материала DH-обмена, обеспечивают реальную конфиденциальность.
- QUIC новое соединение
- 1 RTT до первого байта потока
- TCP + TLS 1.3 новое соединение
- 2 RTT до первого байта потока
- QUIC возобновление 0-RTT
- 0 RTT (данные в ClientHello)
- Экономия на линии 100 ms
- 100 ms на новое соединение
- Экономия на линии 150 ms (Азия-США)
- 150 ms на новое соединение
- 01Почему 1-RTT рукопожатие QUIC экономит задержку по сравнению с TCP+TLS, и как выглядят числа на межконтинентальных линиях?
- 02Каковы четыре уровня шифрования QUIC и для чего каждый используется?
- 03Почему пространства номеров пакетов разделены по уровням шифрования?
Итог
Рукопожатие QUIC объединяет то, что TCP и TLS держали раздельно: CRYPTO-фрейм внутри QUIC Initial-пакета несёт TLS ClientHello, поэтому транспорт и TLS завершаются за один RTT вместо двух. Сервер отвечает полной цепочкой Certificate в том же пакете, и клиент может отправлять данные потока немедленно. Четыре уровня шифрования (Initial, 0-RTT, Handshake, 1-RTT) отображаются на три пространства номеров пакетов, чтобы обнаружение потерь на каждой фазе не мешало другим. На линии 100 ms это экономит 100 ms на каждое новое соединение — 150 ms на трансокеанских путях. Возобновление 0-RTT идёт дальше: кешированный сессионный тикет позволяет клиенту прикрепить данные приложения к самому ClientHello, достигая нулевых RTT ценой уязвимости к реплей-атакам для неидемпотентных запросов.
Связанные уроки
углубляется в
встречается в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