diff options
| author | eunhhu <[email protected]> | 2026-09-28 17:37:41 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-28 17:37:41 +0100 |
| commit | 745efcd4f19b59bcfb131df2d127a3387a544e84 (patch) | |
| tree | 3e001fdd0a695f9a9aaf567e07ad00415f3cf330 /docs/design/011-pure-transport.md | |
| parent | 502f70dbd66debcf1cb0328427831ec14926504b (diff) | |
| download | pure-745efcd4f19b59bcfb131df2d127a3387a544e84.tar.gz pure-745efcd4f19b59bcfb131df2d127a3387a544e84.zip | |
Link two nodes without a connection over UDP (093, design 011's first stage)
pure-serve --send OUTPUT=pure://host:port/INPUT sends an output's saved
sends to another node's --link-port with no handshake: the first packet
carries records. Keys come from the two nodes' keys (X25519, HKDF-SHA256,
AES-128-GCM), with a random run in each packet's header so no nonce
repeats across restarts; nothing is stored for them. What lasts is the
apps' own: the sender's outbox and the receiver's heard numbers
(pure_app_heard, new). The sender detects losses as RFC 9002 says, with
NewReno, and trims a send once the receiver says it stored it; the
receiver hands the owner whole records in order, which it applies from
the one after the source's last heard number, stopping at a gap, and
answers how far it stored with every acknowledgment. Stored bytes are
the bytes on the wire: an output and an input of one shape need no JSON.
server_links_udp kills the receiver, the sender, then both (-9) while
four clients buy: every saved order is applied once, with no handshake
(five runs, 10k-11k orders each). server_links_udp_lossy does it again in
a namespace of its own with the link's packets delayed, lost (3 %) and
reordered (10 %) by netem (three runs, 11k-12k orders).
Diffstat (limited to 'docs/design/011-pure-transport.md')
| -rw-r--r-- | docs/design/011-pure-transport.md | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/design/011-pure-transport.md b/docs/design/011-pure-transport.md index 52bdd44..2039d22 100644 --- a/docs/design/011-pure-transport.md +++ b/docs/design/011-pure-transport.md @@ -1,8 +1,13 @@ # 011 — 연결 없는 전송: 전송의 상태를 앱의 데이터로 -작성일: 2026-09-28(같은 날 첫 판을 버리고 다시 씀). 상태: 설계. 구현과 측정 전이다. +작성일: 2026-09-28(같은 날 첫 판을 버리고 다시 씀). 상태: 설계. 1단계를 구현했고, 측정은 아직이다. [외부 피드백 002](../outside-feedback/feedback-002.md)의 "QUIC을 능가할 자체 raw socket 프로토콜"에서 시작한다. +1단계(링크 시제품과 kill -9 검사)는 [093](../research/093-connectionless-link.md)에 있다. 어느 쪽을 죽여도 핸드셰이크 없이 +이어지고, 잃거나 겹친 것은 없다. 손실과 재정렬 아래에서도 그렇다. 아래 "링크의 행"은 첫 에폭에서는 필요 없었다. 키는 두 +노드의 키와 보내는 쪽 run(실행마다 무작위)에서 나오고, 번호 예약 대신 run이 논스를 가른다. 링크가 저장소에 더하는 것은 0 +바이트다. + ## 첫 판을 버린 까닭 첫 판(1953051)은 QUIC의 층 몇 개를 Pure가 이미 가진 장치로 대신하는 설계였다. 저장소를 재전송 버퍼로 쓰고, 봉인을 한 번만 |
