Zastanawiałem się, ponieważ numer sekwencyjny w polu nagłówka TCP jest losowo wybierany podczas uzgadniania i jest stopniowo zwiększany w miarę wymiany pakietów, co dzieje się po 2 ^ 32 - initial_seq_no transmisjach? Czy numer sekwencyjny zawija się i staje się 0, czy też wartość początkowa jest ponownie wykorzystywana (czy też inicjowane jest nowe połączenie od miejsca, w którym poprzednie zostało zatrzymane)?
Odpowiedzi:
Zawija się do zera. Według RFC 793 :
Należy pamiętać, że rzeczywista przestrzeń numerów sekwencji jest skończona, choć bardzo duża. Zakres ten wynosi od 0 do 2 ** 32 - 1. Ponieważ odstęp jest skończony, cała arytmetyka zajmująca się numerami sekwencji musi być wykonywana modulo 2 ** 32. Ta nieoznaczona arytmetyka zachowuje związek między numerami sekwencji, gdy cyklicznie znów zaczynają się od 2 ** 32-1 do 0. Istnieją pewne subtelności arytmetyki modulowej komputera, dlatego należy bardzo ostrożnie programować porównanie takich wartości. Symbol „= <” oznacza „mniejszy lub równy” (moduł 2 ** 32).
Tak. Wszystkie szczegóły można znaleźć w specyfikacji TCP RFC 793 - Protokół kontroli transmisji .
Należy pamiętać, że rzeczywista przestrzeń numerów sekwencji jest skończona, choć bardzo duża. Zakres ten wynosi od 0 do 2 32 - 1.
Ponieważ przestrzeń jest skończona, cała arytmetyka odnosząca się do numerów sekwencji musi być wykonywana modulo 2 32 . Ta niepodpisana arytmetyka zachowuje związek między numerami sekwencji, gdy cyklicznie ponownie zaczynają się od 2 32-1 do 0.
Istnieją pewne subtelności arytmetyki modulowej komputera, dlatego należy bardzo ostrożnie programować porównanie takich wartości. Symbol „= <” oznacza „mniejszy lub równy” (moduł 2 32 ).
xi ysą typem, uint32_twarto zdefiniować, x<=yaby to oznaczało (uint32_t)(y-x) < 0x80000000.
Tak, to się zawija. Możesz go przeczytać na Wikipedii lub na RFC1323 , który pokazuje, jak zabezpieczyć się przed zapakowanymi numerami sekwencji.
Pozwól mi zacytować:
Znaczniki czasu TCP są używane w algorytmie znanym jako Ochrona przed zawiniętymi numerami sekwencji lub PAWS (szczegóły w RFC 1323). PAWS jest używany, gdy okno odbioru przekracza granicę zawijania numeru sekwencji. W przypadku, gdy pakiet został potencjalnie ponownie przesłany, odpowiada on na pytanie: „Czy ten numer sekwencyjny jest w pierwszych 4 GB, czy w drugim?” A znacznik czasu służy do zerwania remisu.
I:
PAWS używa tej samej opcji znaczników czasu TCP, jak opisany wcześniej mechanizm RTTM, i zakłada, że każdy odebrany segment TCP (w tym segmenty danych i ACK) zawiera znacznik czasu SEG.TSval, którego wartości są monotoniczne, nie malejące w czasie. Podstawową ideą jest to, że segment można odrzucić jako stary duplikat, jeśli zostanie odebrany ze znacznikiem czasu SEG.TSval mniejszym niż jakiś znacznik czasu ostatnio otrzymany na tym połączeniu.
Zarówno w mechanizmie PAWS, jak i RTTM „znaczniki czasu” są 32-bitowymi liczbami całkowitymi bez znaku w modułowej przestrzeni 32-bitowej. Zatem „mniej niż” jest zdefiniowane tak samo, jak w przypadku numerów sekwencyjnych TCP i obowiązują te same techniki implementacji. Jeśli s i t są wartościami znaczników czasu, s <t jeśli 0 <(t - s) <2 ** 31, obliczone w 32-bitowej arytmetyce bez znaku.