Сети и протоколы
Возобновление сессии и 0-RTT
Первое TLS-соединение с сервером стоит один полный RTT. Но когда вы перезагружаете ту же страницу пять минут спустя, браузер уже знает этот сервер. TLS 1.3 позволяет ему полностью пропустить валидацию сертификата — а в правильных условиях приложить первый запрос прямо к рукопожатию, не платя ни одного лишнего RTT.
NewSessionTicket и возобновление по PSK
После успешного рукопожатия сервер отправляет сообщение NewSessionTicket — зашифрованный блоб, содержащий предварительно согласованный ключ (PSK) и метаданные (возраст тикета, время жизни). Клиент кэширует его по имени хоста.
При следующем подключении к тому же серверу клиент включает расширение pre_shared_key в свой ClientHello вместе с тикетом. Сервер расшифровывает тикет, распознаёт PSK и полностью пропускает валидацию сертификата. Он выводит сессионные ключи из PSK вместо ECDHE.
Стоимость: по-прежнему один полный RTT (ClientHello всё равно должен дойти до сервера), но никаких дорогих операций PKI. Разбор сертификата и проверка цепочки исключаются.
Ранние данные 0-RTT
Если браузер имеет кэшированный PSK, он может зашифровать первый запрос с помощью ключа PSK и приложить его к самому ClientHello — до завершения рукопожатия. Сервер расшифровывает и обрабатывает запрос немедленно, а затем отправляет и ответ рукопожатия, и ответ приложения. Стоимость запроса: ноль дополнительных RTT.
- TLS 1.2 холодное
- 2 RTT
- TLS 1.3 холодное
- 1 RTT
- TLS 1.3 тёплое (возобновление PSK)
- 1 RTT (без сертификата)
- TLS 1.3 0-RTT
- 0 RTT для запроса
- При 100 мс RTT: выигрыш 0-RTT
- 100 мс против холодного TLS 1.3
- Типичное время жизни тикета
- до нескольких часов (зависит от реализации)
Проблема повтора
У 0-RTT есть фундаментальная уязвимость безопасности: он не защищён от атак повтора. Злоумышленник в сети может перехватить ClientHello с 0-RTT и переотправить его серверу. Сервер, увидев валидный PSK-тикет и валидные ранние данные, может обработать запрос снова.
- Для
GET /news: повтор безвреден — то же чтение, тот же результат. - Для
POST /transfer: повтор катастрофичен — строка в базе данных создаётся дважды, деньги переводятся дважды.
Простейшее правило: 0-RTT безопасен только для идемпотентных запросов, где повтор не производит дополнительных побочных эффектов. GET, HEAD и OPTIONS обычно безопасны. POST, PUT, DELETE, изменяющие состояние, — небезопасны.
RFC 8470 и 425 Too Early
RFC 8470 определяет код HTTP-ответа 425 Too Early: сервер возвращает его, когда получает 0-RTT-запрос для маршрута, который небезопасно повторять. Клиент должен повторить попытку после завершения рукопожатия. Фреймворки (Spring, Express, Caddy) предоставляют промежуточное ПО, которое проверяет заголовок запроса Early-Data: 1 и возвращает 425 Too Early для любого обработчика, изменяющего состояние.
POST /transfer приходит с TLS early_data и ticket_age = 5 секунд. Проследите путь принятия решений сервером.
Почему злоумышленник может повторить 0-RTT ранние данные, но не обычные данные TLS 1.3?
Возобновление PSK пропускает валидацию сертификата. Как клиент всё ещё знает, что разговаривает с нужным сервером?
Почему это работает
Обфускация NewSessionTicket. Каждый тикет включает ticket_age_add — случайное значение, которое клиент прибавляет к реальному возрасту тикета перед отправкой obfuscated_ticket_age. Это не позволяет наблюдателям на пути коррелировать тикеты между соединениями по видимому возрасту. Это также делает проверки окна повтора на основе времени более надёжными: сервер вычитает ticket_age_add, чтобы восстановить реальный возраст и сравнить его с ожидаемым RTT-окном.
- 01Что сервер отправляет после рукопожатия, чтобы включить будущее возобновление?
- 02Почему 0-RTT ограничен идемпотентными HTTP-методами?
- 03Какой код статуса должен возвращать сервер для 0-RTT POST к мутирующей конечной точке, и что должен сделать клиент?
После рукопожатия TLS 1.3 сервер выдаёт NewSessionTicket с предварительно согласованным ключом. При следующем подключении клиент предъявляет этот тикет, чтобы сервер мог пропустить валидацию сертификата — по-прежнему один RTT, но дешевле. При наличии кэшированного PSK клиент может также зашифровать первый запрос прямо внутри ClientHello как ранние данные 0-RTT: сервер обрабатывает его до завершения рукопожатия, экономя полный RTT. Подвох — уязвимость к повтору: тот же ClientHello с 0-RTT может быть перехвачен и переотправлен злоумышленником. Безопасное использование ограничено идемпотентными запросами (GET, HEAD, OPTIONS), а серверы должны возвращать 425 Too Early для любой мутирующей конечной точки, получающей ранние данные.
встречается в152
- Почему GraphQL получает N+1junior
- Механика DataLoader: батчинг на границе тикаmiddle
- Контракты batch-функции: порядок, формы, ошибкиmiddle
- Federation и lookahead: батчинг за пределами DataLoadermiddle
- Защита сложности запросов: depth, cost, persisted queriesmiddle
- Senior GraphQL API: scheduling-контракт, изоляция арендаторов, наблюдаемостьsenior
- Зачем идемпотентность: безопасные retryjunior
- Серверный state machine: четыре состояния idempotency keymiddle
- Outbox и inbox: effectively-once через dual-write границуmiddle
- Конкурентность и архитектура кеша для идемпотентности на масштабеsenior
- Наблюдаемость, production-инциденты и дизайн для глобального масштабаsenior
- Event loop: один поток, три очередиjunior
- Задачи, микрозадачи и scheduler.yield()middle
- Голодание микрозадач, длинные задачи и LoAFsenior
- Event loop Node.js: фазы, nextTick и задержка циклаsenior
- React, Vue и наблюдаемость INP в продакшенеsenior
- Render pipeline: шесть стадий от байтов до пикселейjunior
- Цена стадий и модель процесса рендерераmiddle
- Инвалидация, dirty-биты и containmiddle
- Слои композитора: продвижение, перекрытие и память GPUmiddle
- Флейм-стрип DevTools и жизненный цикл кадраmiddle
- Layout thrash: форсированная синхронная компоновкаsenior
- BeginMainFrame, анимации на потоке compositor и память GPUsenior
- Observability в проде: LoAF, INP и полная поверхность атакиsenior
- Что такое V8 и почему производительность различается в 100 разjunior
- Четырёхуровневый JIT-конвейер V8 и профилированная тиеризацияmiddle
- Hidden classes, деревья переходов и расположение в памятиmiddle
- Inline caches, состояния IC и деоптимизацияmiddle
- Orinoco GC: параллельный scavenger, конкурентная разметка и барьеры записиmiddle
- Спекулятивный движок TurboFan и ловушка deopt-loopsenior
- V8 в production: Isolates, сжатие указателей и реальные аварииsenior
- Жизненный цикл service worker и стратегии кешированияmiddle
- Граничные случаи service worker: version skew, долговременность и ловушка навигацииsenior
- Что делает реконсилер: render vs commitjunior
- Объект fiber и дерево с двойной буферизациейmiddle
- Чистота фазы render и подшаги фазы commitmiddle
- Реконсиляция: эвристики диффа и ловушка ключейmiddle
- Приоритетные lanes, time-slicing и useTransitionmiddle
- Bailout, мемоизация и tearingsenior
- React Profiler, компилятор и продакшн-наблюдаемостьsenior
- Стратегии рендеринга: SSG, SSR, ISR, streaming и гидратацияjunior
- SSG, SSR, ISR, streaming и RSC — как работает каждая стратегияmiddle
- Цена гидратации: selective, progressive, острова, resumabilitymiddle
- Hydration mismatch: причины, обнаружение и правило детерминизмаsenior
- RSC, стратегия на маршрут и production-наблюдаемостьsenior
- Core Web Vitals: что измеряют LCP, INP и CLSjunior
- CLS: почему происходят сдвиги лейаута и как их остановитьmiddle
- Трейдоффы метрик, RUM-атрибуция и цикл CI+полеsenior
- Общая картина: от URL до LCP до INP как эстафетаjunior
- Восемь слоёв трассировки: от service worker до второй навигацииmiddle
- Пять канонических поломок: где производство стабильно ломаетсяsenior
- Метод трёх треков: чтение трасс и построение системы мониторингаsenior
- Что такое cache stampede и почему он делает всё хужеjunior
- Лок и single-flight: ограничение параллельных rebuildmiddle
- XFetch: вероятностное раннее истечение без координацииmiddle
- Stale-while-revalidate и CDN request coalescingmiddle
- Детектирование stampede и дизайн TTL для продакшенаmiddle
- Метастабильный сбой, fencing-токены и production-постмортемыsenior
- Что такое отношение: таблицы, строки, ключи и ограниченияjunior
- Ограничения, ключи и типы данных Postgresmiddle
- Нормальные формы, денормализация и почему схемы «прилипают»middle
- JSONB, массивы и когда side table побеждаетmiddle
- Heap-хранилище, TOAST и выравнивание колонокsenior
- Целостность схемы: deferral, версионирование и сбои в продакшнеsenior
- Реляционная модель vs документные, wide-column, граф и key-valuesenior
- Index-only scan, Visibility Map и INCLUDEsenior
- Типичные сбои в продакшне и аудит индексовsenior
- pg_statistic, ANALYZE и производственная наблюдаемостьmiddle
- Производственные режимы отказа и стабильность плановsenior
- MVCC: как Postgres раздаёт согласованные снимкиjunior
- Заголовок tuple и механика снимковmiddle
- HOT-обновления и уровни изоляцииmiddle
- VACUUM, bloat и autovacuummiddle
- CLOG, XID wraparound и MultiXactsenior
- SSI и production-тюнинг autovacuumsenior
- Реальные провалы MVCC, deployment-паттерны и распределённые снимки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
- Что такое миграция схемы и почему она заменяет ad-hoc DDLjunior
- ADD COLUMN: мгновенно в PG 11+ против перезаписи в старом Postgresjunior
- Режим отказа очереди блокировок: почему мгновенный DDL может заморозить базуmiddle
- Безопасные DDL-паттерны: NOT VALID, CONCURRENTLY и исправления небезопасных операцийmiddle
- Expand-contract: нулевой простой для ломающих изменений схемыmiddle
- Advisory-блокировки, инструменты миграций и координация деплояsenior
- Таксономия сбоев миграций и дисциплина продакшнаsenior
- Зачем нужно шардирование: потолок одного Postgresjunior
- Выбор ключа шарда: стратегии hash, range, list и directorymiddle
- Партиционирование против шардирования: одно слово, два разных понятияmiddle
- Ко-локация и Citus: инвариант, делающий шардирование пригодным к использованиюmiddle
- Режим отказа hot shard: обнаружение, изоляция и долгосрочная политикаmiddle
- Schema-based шардирование и альтернативы мультиарендностиsenior
- Онлайн-решардинг, 2PC и операционная стоимость шардированияsenior
- Семь актов: от CREATE TABLE до Citusjunior
- Акты 1–3 в глубину: схема, индексы и статистика планировщикаmiddle
- Акты 4–6 в глубину: MVCC bloat, connection pooling и безопасные миграцииmiddle
- Акт 7 в глубину: шардинг, co-location и семиуровневый каскад трейдоффовmiddle
- Наблюдаемость, антипаттерны и производственный триажsenior
- Роли Raft, term и почему majority-кворум предотвращает split brainjunior
- Как Raft реплицирует log entry и решает, что его безопасно коммититьmiddle
- Выборы лидера в Raft: таймауты, правила голосования и четыре свойства безопасностиmiddle
- Raft в реальном мире: partition, медленный диск и клиентская маршрутизацияmiddle
- Расширения Raft: pre-vote, learner, snapshot и линеаризуемые чтенияsenior
- Raft в production: membership change, Multi-Raft и observabilitysenior
- Где происходит data fetching — и почему это решает LCPjunior
- Fetch waterfall''''ы — диагностика и лечение через Promise.allmiddle
- React Server Components и Suspense streamingmiddle
- Клиентский кэш: TanStack Query, SWR и stale-while-revalidatemiddle
- LCP, prefetch и race conditions в интерактивном fetchingmiddle
- Senior internals: RSC payload, слои кэша и production паденияsenior
- Что такое три сигнала: метрики, логи, трейсыjunior
- Зачем нужны структурные логи: дневник против таблицыjunior
- Схема продакшн-лога: поля, которые несёт каждая строкаmiddle
- PII-редакция и log injectionsenior
- OTel Logs Data Model и audit-логи как подсистемаsenior
- SLI, SLO и error budget: надёжность в числахjunior
- Error budget policy, latency SLO и составные journeysmiddle
- Продакшн-отказы SLO, самонаблюдаемость, безопасность и общая картинаsenior
- Петля инцидента: от пейджера до постмортема до предотвращенияmiddle
- Cache lines и false sharing: когда параллелизм замедляет кодmiddle
- SIMD и data layout: AoS vs SoA и разница в 4–8xmiddle
- Cache-oblivious алгоритмы, PGO и production failuressenior
- GC в production: наблюдаемость, безопасность, edge cases и управление флотомsenior
- Batching: амортизируй фиксированную цену каждой операцииjunior
- Окно батчинга: размер и время ожиданияmiddle
- Batching в Kafka и Postgresmiddle
- io_uring и наблюдаемость пакетированияmiddle
- От Nagle до io_uring: эволюция пакетированияmiddle
- Backpressure, изоляция сбоев и безопасность батчей в продакшенеsenior
- CI enforcement и RUM: делаем бюджеты рабочимиmiddle
- V8 JIT-пайплайн, HTTP-приоритеты и безопасность bundlesenior
- Цикл performance: дисциплина, а не проектjunior
- Классификация и исправление: сопоставление family bottleneck с методамиmiddle
- Observability-стек и CI gates: ловить регрессии до выпускаmiddle
- От инцидента к enforcement: SLO burn до верифицированного исправления за 35 минутmiddle
- Культура, экономика и масштаб performancesenior
- At-most-once, at-least-once, exactly-once: три контракта доставкиjunior
- Три ножки сбоя — где реально происходят дубликаты и потериmiddle
- Consumer-side dedup: самый дешёвый путь к exactly-once processingmiddle
- Kafka exactly-once semantics: idempotent producer и транзакцииmiddle
- SQS visibility timeout, DLQ и outbox patternmiddle
- Exactly-once в production: impossibility-доказательство, гибридные паттерны и реальные инцидентыsenior
- Что такое OAuth и почему пароли — не ответjunior
- Authorization code flow с PKCEmiddle
- Валидация ID-токена и управление JWKS-кешемmiddle
- Ротация refresh-токенов и scope-based least privilegemiddle
- Sender-constrained токены: DPoP и mTLSsenior
- OAuth в production: audience атаки, observability и реальные провалыsenior