Socket как граница процесса и ядра

Overview

Эта схема проводит чёткую границу между C-кодом и сетевым стеком Windows. Переменная типа SOCKET — это handle, через который процесс обращается к kernel-managed communication endpoint. Сам endpoint хранит адреса и параметры, состояние выбранного протокола и связанные очереди данных. Поэтому socket нельзя определять как «просто буфер»: send buffer и receive buffer — только две части состояния endpoint.

Пример использует слово «Привет»: шесть кириллических символов занимают 12 bytes в UTF-8. Вызов send() передаёт ядру указатель и длину; положительный return value показывает число локально принятых bytes и не является подтверждением того, что удалённый процесс уже вызвал recv().

Components

• user buffer — память процесса с данными приложения; её lifetime и повторные вызовы при short send контролирует программа.
• SOCKET handle — значение в процессе, используемое Winsock API для обращения к endpoint; это не сами сетевые данные и не весь объект соединения.
• kernel socket object — концептуальное представление endpoint в ядре/провайдере: адреса, options, выбранный transport и ссылки на очереди I/O.
• send buffer — bytes, которые локальный стек принял, но ещё не подтвердил как доставленные peer.
• receive buffer — уже принятые и собранные TCP bytes, которые приложение ещё не забрало через recv().
• TCP protocol state — sequence numbers, ACK, windows, retransmission и lifecycle connection.
• network driver / NIC — следующая граница между стеком хоста и физической сетью.

Scenarios

1. send(): локальное принятие. Данные проходят user/kernel boundary и попадают в send buffer; дальнейшая доставка происходит асинхронно относительно вызова приложения.
2. recv(): bytes из ядра. TCP собирает ordered stream, после чего recv() возвращает столько bytes, сколько доступно в этот момент и помещается в user buffer.
3. Локальный backpressure. Заполненный send buffer заставляет blocking call ждать, а nonblocking socket обычно сигнализирует WSAEWOULDBLOCK.

Failure modes

• Считать SOCKET обычным указателем на буфер и терять различие между handle, endpoint и очередями ядра.
• Освобождать или переиспользовать user buffer до завершения overlapped I/O; его lifetime отличается от обычного завершившегося blocking call.
• Считать положительный return value send() end-to-end подтверждением доставки или обработки.
• Не обрабатывать short send и WSAEWOULDBLOCK, из-за чего часть application frame теряется.
• Не закрывать handle через closesocket() на всех error paths и оставлять kernel resources жить дольше процесса обработки запроса.

References

• Microsoft Learn: Windows Sockets 2
• Microsoft Learn: send function
• Microsoft Learn: recv function
• Microsoft Learn: Overlapped I/O and Event Objects
• RFC 9293: Transmission Control Protocol