你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

TCP 核心的一些问题

[复制链接]
gaosmile 发布时间:2021-1-18 19:56
先亮出这篇文章的思维导图
' \$ M8 o% v5 e' n2 R; t
微信图片_20210118195324.png TCP 作为传输层的协议,是一个软件工程师素养的体现,也是面试中经常被问到的知识点。在此,我将 TCP 核心的一些问题梳理了一下,希望能帮到各位。
  X& S4 Q) Z5 T9 W- o* Z/ U4 Q
: p% i8 Q2 V# I2 n0 [  v! ^, ]
001. 能不能说一说 TCP 和 UDP 的区别?& x0 D8 r' M$ ]
首先概括一下基本的区别:# `# x' T  S' ~6 F8 t: l
TCP是一个面向连接的、可靠的、基于字节流的传输层协议。
2 }/ h9 e" H, q0 J8 a: V而UDP是一个面向无连接的传输层协议。(就这么简单,其它TCP的特性也就没有了)。具体来分析,和 UDP 相比,TCP 有三大核心特性:
  • 面向连接。所谓的连接,指的是客户端和服务器的连接,在双方互相通信之前,TCP 需要三次握手建立连接,而 UDP 没有相应建立连接的过程。
  • 可靠性。TCP 花了非常多的功夫保证连接的可靠,这个可靠性体现在哪些方面呢?一个是有状态,另一个是可控制。

    + {9 b  A8 u! q* ~1 Y+ i3 H! X- O
TCP 会精准记录哪些数据发送了,哪些数据被对方接收了,哪些没有被接收到,而且保证数据包按序到达,不允许半点差错。这是有状态。
$ R: G. z, s- Z当意识到丢包了或者网络环境不佳,TCP 会根据具体情况调整自己的行为,控制自己的发送速度或者重发。这是可控制。
$ K4 T% o- P! C. j5 ?( j1 H4 J相应的,UDP 就是无状态, 不可控的。, x0 e* b8 O' d3 u6 N+ G8 U
  3、面向字节流。UDP 的数据传输是基于数据报的,这是因为仅仅只是继承了 IP 层的特性,而 TCP 为了维护状态,将一个个 IP 包变成了字节流。
9 V- l3 U2 l3 ~/ S) i! L4 R3 v/ f( ~6 y4 X" R1 ~! C; h

" r7 J% r# E1 h# t7 _002: 说说 TCP 三次握手的过程?为什么是三次而不是两次、四次?% C' w; ^6 D% y. k' q  c
恋爱模拟
% ?: H) ]2 G' J# R9 v  p% {以谈恋爱为例,两个人能够在一起最重要的事情是首先确认各自爱和被爱的能力。接下来我们以此来模拟三次握手的过程。* t! K1 {  G7 M; H" {
第一次:
: J. C9 v# d) e! F男: 我爱你。9 h. F% i! T2 X; c! k0 B7 b
女方收到。& M" Y3 b# B) F6 Q
由此证明男方拥有爱的能力。
: \" m2 f& Z" f* I, Y) Y& J第二次:
2 z% K- i; @& i) W女: 我收到了你的爱,我也爱你。
9 Z8 K) y, `7 V1 w3 k& n; f男方收到。
' f4 }7 [6 w' w. Y6 JOK,现在的情况说明,女方拥有爱和被爱的能力。
! z9 y6 d5 U  _6 V0 p/ _* b( Y第三次:
0 H6 t2 M) H3 p, `男: 我收到了你的爱。
7 d. y5 U4 S; H( r) }* J$ y) b女方收到。
7 q# {2 Q$ G. P6 K6 D现在能够保证男方具备被爱的能力。
' S. z- E+ _: {由此完整地确认了双方爱和被爱的能力,两人开始一段甜蜜的爱情。
3 ~& k2 s' z6 a- e" l真实握手7 m% ]5 S8 n6 R' U( G/ y6 A
当然刚刚那段属于扯淡,不代表本人价值观,目的是让大家理解整个握手过程的意义,因为两个过程非常相似。对应到 TCP 的三次握手,也是需要确认双方的两样能力: 发送的能力和接收的能力。于是便会有下面的三次握手的过程: 微信图片_20210118195336.jpg
/ N8 N5 W9 |+ S: z1 k6 M- R从最开始双方都处于CLOSED状态。然后服务端开始监听某个端口,进入了LISTEN状态。  G( t4 O- X8 I
然后客户端主动发起连接,发送 SYN , 自己变成了SYN-SENT状态。6 [% [% z6 E+ c* c
服务端接收到,返回SYN和ACK(对应客户端发来的SYN),自己变成了SYN-REVD。
3 _. Y, L# o$ _4 @之后客户端再发送ACK给服务端,自己变成了ESTABLISHED状态;服务端收到ACK之后,也变成了ESTABLISHED状态。
: j9 C( U" a+ [另外需要提醒你注意的是,从图中可以看出,SYN 是需要消耗一个序列号的,下次发送对应的 ACK 序列号要加1,为什么呢?只需要记住一个规则:
凡是需要对端确认的,一定消耗TCP报文的序列号。
SYN 需要对端的确认, 而 ACK 并不需要,因此 SYN 消耗一个序列号而 ACK 不需要。" b5 B+ q: o5 ^$ N3 a! E) U
为什么不是两次?+ g; x7 c- Y1 T/ I8 T- h
根本原因: 无法确认客户端的接收能力。
. z9 o5 t- ]* D$ C; M5 h9 n分析如下:) L, i- U/ j* F! M( x) b
如果是两次,你现在发了 SYN 报文想握手,但是这个包滞留在了当前的网络中迟迟没有到达,TCP 以为这是丢了包,于是重传,两次握手建立好了连接。4 p+ J# \6 N  U' M- N! s% @
看似没有问题,但是连接关闭后,如果这个滞留在网路中的包到达了服务端呢?这时候由于是两次握手,服务端只要接收到然后发送相应的数据包,就默认建立连接,但是现在客户端已经断开了。& q& ^/ `6 O' n) A1 L9 |' E& Y
看到问题的吧,这就带来了连接资源的浪费。
, n* ^8 s( S. f8 D! T4 K3 B为什么不是四次?# m6 B* R9 Q3 q
三次握手的目的是确认双方发送和接收的能力,那四次握手可以嘛?% {9 u/ W2 l2 K0 v2 v
当然可以,100 次都可以。但为了解决问题,三次就足够了,再多用处就不大了。, v8 r0 C& v4 `& F' u; b
三次握手过程中可以携带数据么?
2 A9 O; M0 j3 f# m第三次握手的时候,可以携带。前两次握手不能携带数据。
3 h/ Q# {! l+ U+ `/ l, c! Z' Y如果前两次握手能够携带数据,那么一旦有人想攻击服务器,那么他只需要在第一次握手中的 SYN 报文中放大量数据,那么服务器势必会消耗更多的时间和内存空间去处理这些数据,增大了服务器被攻击的风险。' q) o+ R* G( t7 B9 L
第三次握手的时候,客户端已经处于ESTABLISHED状态,并且已经能够确认服务器的接收、发送能力正常,这个时候相对安全了,可以携带数据。
# U% v  b) u5 W同时打开会怎样?
" y# S* t3 M& k7 A4 m5 a  C如果双方同时发 SYN报文,状态变化会是怎样的呢?
, S' I, _1 m9 r( H& o- w* \这是一个可能会发生的情况。
# e. K- p5 A( w' q' v状态变迁如下:
0 F9 M- i, }& p: S. w  F4 e" ]& ` 微信图片_20210118195340.jpg
0 M/ N1 J3 n2 R8 ?( h; y4 c8 j在发送方给接收方发SYN报文的同时,接收方也给发送方发SYN报文,两个人刚上了!
* p7 P9 d2 Q* s  }7 q发完SYN,两者的状态都变为SYN-SENT。8 K2 g% B. F& M0 `7 t6 x2 r9 [
在各自收到对方的SYN后,两者状态都变为SYN-REVD。
) s& f1 I! i" E7 J接着会回复对应的ACK + SYN,这个报文在对方接收之后,两者状态一起变为ESTABLISHED。1 g# d5 |$ ?( I- o& D( ~
这就是同时打开情况下的状态变迁。
$ N- z2 G, a  `) k" k) d0 M) P. F7 m& u5 c2 e3 b7 p  E
003: 说说 TCP 四次挥手的过程% J' Q; j/ p, b" g- O; ]
过程拆解
/ D4 e/ |: X8 O5 s: s# W 微信图片_20210118195344.jpg
0 \0 b5 ~; b% }. c' }刚开始双方处于ESTABLISHED状态。
0 q5 j" u' N4 a% F8 O客户端要断开了,向服务器发送 FIN 报文,在 TCP 报文中的位置如下图:
* n7 Z- X6 t) x! M) e9 i 微信图片_20210118195347.jpg % x1 C! w9 s9 v  L/ F* {7 q' ^
发送后客户端变成了FIN-WAIT-1状态。注意, 这时候客户端同时也变成了half-close(半关闭)状态,即无法向服务端发送报文,只能接收。- X! c& `2 Z" @9 S7 ?6 C
服务端接收后向客户端确认,变成了CLOSED-WAIT状态。
1 t, E4 b) M: M7 u2 e0 f客户端接收到了服务端的确认,变成了FIN-WAIT2状态。! j( M1 ?7 }8 s4 m& j6 o& [7 H
随后,服务端向客户端发送FIN,自己进入LAST-ACK状态,
6 A5 i' J, b2 g4 p8 O客户端收到服务端发来的FIN后,自己变成了TIME-WAIT状态,然后发送 ACK 给服务端。
8 |+ e. y7 t% K6 A* H注意了,这个时候,客户端需要等待足够长的时间,具体来说,是 2 个 MSL(Maximum Segment Lifetime,报文最大生存时间), 在这段时间内如果客户端没有收到服务端的重发请求,那么表示 ACK 成功到达,挥手结束,否则客户端重发 ACK。" @5 J- Y3 I* [2 F
等待2MSL的意义: k, R. h0 U$ n) S$ q0 n
如果不等待会怎样?
4 v  C1 ]2 e3 l0 p  t如果不等待,客户端直接跑路,当服务端还有很多数据包要给客户端发,且还在路上的时候,若客户端的端口此时刚好被新的应用占用,那么就接收到了无用数据包,造成数据包混乱。所以,最保险的做法是等服务器发来的数据包都死翘翘再启动新的应用。那,照这样说一个 MSL 不就不够了吗,为什么要等待 2 MSL?
  • 1 个 MSL 确保四次挥手中主动关闭方最后的 ACK 报文最终能达到对端
  • 1 个 MSL 确保对端没有收到 ACK 重传的 FIN 报文可以到达5 ?3 T0 b6 y2 _0 m+ ~
这就是等待 2MSL 的意义。6 t4 Z1 k2 ~& s0 ]- Y
为什么是四次挥手而不是三次?0 ?: }7 n7 t8 M9 ?. m. |: L
因为服务端在接收到FIN, 往往不会立即返回FIN, 必须等到服务端所有的报文都发送完毕了,才能发FIN。因此先发一个ACK表示已经收到客户端的FIN,延迟一段时间才发FIN。这就造成了四次挥手。: w' P9 ^; ^2 |; ~$ l# H& Q1 V
如果是三次挥手会有什么问题?+ g! j* V) H" V/ W
等于说服务端将ACK和FIN的发送合并为一次挥手,这个时候长时间的延迟可能会导致客户端误以为FIN没有到达客户端,从而让客户端不断的重发FIN。3 A- \7 i1 U0 B7 u; c% b
同时关闭会怎样?
5 V2 \8 Z! j* j  S1 G9 H如果客户端和服务端同时发送 FIN ,状态会如何变化?如图所示:% \( D7 }2 E1 N6 T3 U
微信图片_20210118195351.jpg % c; }6 O3 {6 {. M. s8 ?& t! d- E

  M/ T8 r5 @! u* C- f# {8 i
% C2 I1 F0 M# D" B2 o: X
004: 说说半连接队列和 SYN Flood 攻击的关系7 I) T! Y* ]( v  V. k9 z7 Q) M
三次握手前,服务端的状态从CLOSED变为LISTEN, 同时在内部创建了两个队列:半连接队列和全连接队列,即SYN队列和ACCEPT队列。
/ D( v5 {6 {  U& h5 i半连接队列
1 G! Y7 O8 ^  y" [8 G5 U当客户端发送SYN到服务端,服务端收到以后回复ACK和SYN,状态由LISTEN变为SYN_RCVD,此时这个连接就被推入了SYN队列,也就是半连接队列。
, _% I4 Q( s3 q. p% N2 `全连接队列
2 r, i! Y) C8 `/ Q1 S6 O当客户端返回ACK, 服务端接收后,三次握手完成。这个时候连接等待被具体的应用取走,在被取走之前,它会被推入另外一个 TCP 维护的队列,也就是全连接队列(Accept Queue)。
+ Y% b' E6 I% a- ?$ g# {SYN Flood 攻击原理; |5 \* F. K2 v+ y9 ?) u- s
SYN Flood 属于典型的 DoS/DDoS 攻击。其攻击的原理很简单,就是用客户端在短时间内伪造大量不存在的 IP 地址,并向服务端疯狂发送SYN。对于服务端而言,会产生两个危险的后果:
  • 处理大量的SYN包并返回对应ACK, 势必有大量连接处于SYN_RCVD状态,从而占满整个半连接队列,无法处理正常的请求。
  • 由于是不存在的 IP,服务端长时间收不到客户端的ACK,会导致服务端不断重发数据,直到耗尽服务端的资源。
    & q" g9 h3 F8 G! e- F0 B
如何应对 SYN Flood 攻击?
  • 增加 SYN 连接,也就是增加半连接队列的容量。
  • 减少 SYN + ACK 重试次数,避免大量的超时重发。
  • 利用 SYN Cookie 技术,在服务端接收到SYN后不立即分配连接资源,而是根据这个SYN计算出一个Cookie,连同第二次握手回复给客户端,在客户端回复ACK的时候带上这个Cookie值,服务端验证 Cookie 合法之后才分配连接资源。
    + ~6 }. b' y! O7 e, }
1 t1 O; Y/ c6 |
6 D2 r4 h, l' `% e& `
005: 介绍一下 TCP 报文头部的字段

0 h5 c8 @  Y# Z- R; t7 j) A# T8 J7 F
报文头部结构如下(单位为字节):+ b0 N& S: X+ c; m2 Q3 n" A+ _
微信图片_20210118195354.jpg
! n" ]6 W. v/ B请大家牢记这张图!
; {. b- d$ g8 j7 J源端口、目标端口& W4 F' k7 d6 ~* |5 q
如何标识唯一标识一个连接?答案是 TCP 连接的四元组——源 IP、源端口、目标 IP 和目标端口。6 E/ J# u, n8 {  i" y3 y' K. w
那 TCP 报文怎么没有源 IP 和目标 IP 呢?这是因为在 IP 层就已经处理了 IP 。TCP 只需要记录两者的端口即可。$ F% t  O% l- h, Q! c+ t1 p
序列号' [$ k! z* _3 P: k0 P# ]7 ?
即Sequence number, 指的是本报文段第一个字节的序列号。
: Z" b9 z8 g. b+ l1 ?从图中可以看出,序列号是一个长为 4 个字节,也就是 32 位的无符号整数,表示范围为 0 ~ 2^32 - 1。如果到达最大值了后就循环到0。
7 `- U! q) B% j序列号在 TCP 通信的过程中有两个作用:
  • 在 SYN 报文中交换彼此的初始序列号。
  • 保证数据包按正确的顺序组装。; O+ l0 J1 @& A( i- q2 R% |$ `4 ]" w
ISN$ z* B% U$ U- t% @% E) _# a
即Initial Sequence Number(初始序列号),在三次握手的过程当中,双方会用过SYN报文来交换彼此的 ISN。
/ k( B4 c/ _7 ]$ o! G) E- l5 fISN 并不是一个固定的值,而是每 4 ms 加一,溢出则回到 0,这个算法使得猜测 ISN 变得很困难。那为什么要这么做?$ w! ?6 k$ z4 ^, h+ E/ X
如果 ISN 被攻击者预测到,要知道源 IP 和源端口号都是很容易伪造的,当攻击者猜测 ISN 之后,直接伪造一个 RST 后,就可以强制连接关闭的,这是非常危险的。) x4 H5 D+ s! q5 j% l
而动态增长的 ISN 大大提高了猜测 ISN 的难度。8 g7 x' w! m; ~# m
确认号
) X% T& q" L. n. ?即ACK(Acknowledgment number)。用来告知对方下一个期望接收的序列号,小于ACK的所有字节已经全部收到。1 V& z1 B* y0 t" ?9 a
标记位0 D6 O3 o8 C3 t. F: K
常见的标记位有SYN,ACK,FIN,RST,PSH。* ^. M: e$ d$ _4 Y$ }
SYN 和 ACK 已经在上文说过,后三个解释如下: FIN:即 Finish,表示发送方准备断开连接。
& x# }. v. w5 v, \3 v" ^+ IRST:即 Reset,用来强制断开连接。
5 c; x* T+ i& _/ FPSH:即 Push, 告知对方这些数据包收到后应该马上交给上层的应用,不能缓存。
5 x* s# _( V  _7 ]' G窗口大小1 c' G7 O0 Y% f' F& N6 D
占用两个字节,也就是 16 位,但实际上是不够用的。因此 TCP 引入了窗口缩放的选项,作为窗口缩放的比例因子,这个比例因子的范围在 0 ~ 14,比例因子可以将窗口的值扩大为原来的 2 ^ n 次方。
  O" R& E3 p' z- S' w校验和
$ w, V6 L) w0 H  J占用两个字节,防止传输过程中数据包有损坏,如果遇到校验和有差错的报文,TCP 直接丢弃之,等待重传。$ U" b. U: w. y- {3 M  c
可选项
- F# N5 n) @* d( D6 |5 [可选项的格式如下:! ?, s8 h: r9 Z
微信图片_20210118195357.jpg
+ y- Z$ _" N3 I/ t! H& z2 H; U常用的可选项有以下几个:
  • TimeStamp: TCP 时间戳,后面详细介绍。
  • MSS: 指的是 TCP 允许的从对方接收的最大报文段。
  • SACK: 选择确认选项。
  • Window Scale:窗口缩放选项。
    9 V) l7 ~! ~$ d1 B; J$ l

6 }/ I8 k1 W  c
- h4 K% ]% z+ X
006: 说说 TCP 快速打开的原理(TFO)

; B* @- S/ z( O7 l% u3 p
第一节讲了 TCP 三次握手,可能有人会说,每次都三次握手好麻烦呀!能不能优化一点?1 h5 H2 x, Q" X: f4 i+ Y! m4 _5 M
可以啊。今天来说说这个优化后的 TCP 握手流程,也就是 TCP 快速打开(TCP Fast Open, 即TFO)的原理。' I) Y3 y1 g2 P
优化的过程是这样的,还记得我们说 SYN Flood 攻击时提到的 SYN Cookie 吗?这个 Cookie 可不是浏览器的Cookie, 用它同样可以实现 TFO。
( f% e; F& q5 |- h* FTFO 流程
# @4 V1 _+ m% v) ?: R; F* O首轮三次握手
; M% ^& y. D" A2 K; E* z  y首先客户端发送SYN给服务端,服务端接收到。! u% b& C7 C  G! v) a- P
注意哦!现在服务端不是立刻回复 SYN + ACK,而是通过计算得到一个SYN Cookie, ) Z3 q& N( J% |  p, a# p/ w& X
将这个Cookie放到 TCP 报文的 Fast Open选项中,然后才给客户端返回。3 j+ c. y0 i6 c6 O7 `4 `
客户端拿到这个 Cookie 的值缓存下来。后面正常完成三次握手。
* `1 h/ Q2 d$ Z首轮三次握手就是这样的流程。而后面的三次握手就不一样啦!, D2 a2 L8 h$ o
后面的三次握手
1 |0 Z. \3 ~8 p2 S6 B  C在后面的三次握手中,客户端会将之前缓存的 Cookie、SYN 和HTTP请求(是的,你没看错)发送给服务端,服务端验证了 Cookie 的合法性,如果不合法直接丢弃;如果是合法的,那么就正常返回SYN + ACK。! F; A; O. `" h, t  G0 _# f* H
重点来了,现在服务端能向客户端发 HTTP 响应了!这是最显著的改变,三次握手还没建立,仅仅验证了 Cookie 的合法性,就可以返回 HTTP 响应了。$ I' v: k$ M' V; G4 w
当然,客户端的ACK还得正常传过来,不然怎么叫三次握手嘛。
" h, B; m. j1 \7 O+ i流程如下:
+ Y( `7 V) A& | 微信图片_20210118195400.jpg 6 c3 K3 I2 `. M  L6 R8 z8 ~
注意: 客户端最后握手的 ACK 不一定要等到服务端的 HTTP 响应到达才发送,两个过程没有任何关系。5 [2 o. |5 B1 P; ^  S9 D! b
TFO 的优势7 Q( o6 h" V+ p6 F  G8 D7 ]
TFO 的优势并不在与首轮三次握手,而在于后面的握手,在拿到客户端的 Cookie 并验证通过以后,可以直接返回 HTTP 响应,充分利用了1 个RTT(Round-Trip Time,往返时延)的时间提前进行数据传输,积累起来还是一个比较大的优势。: L0 D+ Q& {- w; v# u' x0 B
$ H2 K% j( N4 Z5 [, |
007: 能不能说说TCP报文中时间戳的作用?
0 [" Y6 ]; ^) ~! r( f+ O, ~& ^  Utimestamp是 TCP 报文首部的一个可选项,一共占 10 个字节,格式如下:
  • kind(1 字节) + length(1 字节) + info(8 个字节)! ^/ o1 Z. n( X3 {

2 Z. P* e" B0 v/ n其中 kind = 8, length = 10, info 有两部分构成: timestamp和timestamp echo,各占 4 个字节。4 _& T5 Y. X+ S/ u+ t- R5 a
那么这些字段都是干嘛的呢?它们用来解决那些问题?) U1 I. c: y! q# o0 F0 F- B1 {
接下来我们就来一一梳理,TCP 的时间戳主要解决两大问题:
  • 计算往返时延 RTT(Round-Trip Time)
  • 防止序列号的回绕问题+ i5 Z) G% |& o) N7 s
计算往返时延 RTT
) b' c4 J; c% g$ d( e# ~在没有时间戳的时候,计算 RTT 会遇到的问题如下图所示:; X; c) k) n' J" l( i7 Q" k" H
微信图片_20210118195404.jpg $ ]& [( i9 V. _; N6 ?
如果以第一次发包为开始时间的话,就会出现左图的问题,RTT 明显偏大,开始时间应该采用第二次的;2 R, |' v1 X/ w' b( N
如果以第二次发包为开始时间的话,就会导致右图的问题,RTT 明显偏小,开始时间应该采用第一次发包的。
% W0 x5 {* k. r0 R; y实际上无论开始时间以第一次发包还是第二次发包为准,都是不准确的。
( I; G$ g/ Q! O那这个时候引入时间戳就很好的解决了这个问题。
/ R/ P  V) T, |9 L2 m5 |比如现在 a 向 b 发送一个报文 s1,b 向 a 回复一个含 ACK 的报文 s2 那么:
  • step 1: a 向 b 发送的时候,timestamp 中存放的内容就是 a 主机发送时的内核时刻 ta1。
  • step 2: b 向 a 回复 s2 报文的时候,timestamp 中存放的是 b 主机的时刻 tb, timestamp echo字段为从 s1 报文中解析出来的 ta1。
  • step 3: a 收到 b 的 s2 报文之后,此时 a 主机的内核时刻是 ta2, 而在 s2 报文中的 timestamp echo 选项中可以得到 ta1, 也就是 s2 对应的报文最初的发送时刻。然后直接采用 ta2 - ta1 就得到了 RTT 的值。2 |' W' f5 `4 ?' |1 u; }  M. x
防止序列号回绕问题0 k# f4 l9 x. [. h
现在我们来模拟一下这个问题。
' t1 b) J+ o7 t0 q$ U0 k序列号的范围其实是在0 ~ 2 ^ 32 - 1, 为了方便演示,我们缩小一下这个区间,假设范围是 0 ~ 4,那么到达 4 的时候会回到 0。* h- M0 ~3 c4 u5 P6 g
第几次发包# ~% k0 R4 b4 L7 b6 S5 r1 v  C
发送字节6 _7 x4 _4 c% b* ]: \
对应序列号
7 t  |$ {* C: m* y0 ~& c- t状态

: e1 H& F9 S) r' f
, E+ x7 \' {* S6 l" [, ^

  T/ n- y4 h$ \

& J  ]0 J  [" g; m2 q4 H+ `
10 ~ 10 ~ 1成功接收
21 ~ 21 ~ 2滞留在网络中
32 ~ 32 ~ 3成功接收
43 ~ 43 ~ 4成功接收
54 ~ 50 ~ 1成功接收,序列号从0开始
65 ~ 61 ~ 2???
假设在第 6 次的时候,之前还滞留在网路中的包回来了,那么就有两个序列号为1 ~ 2的数据包了,怎么区分谁是谁呢?这个时候就产生了序列号回绕的问题。( u* E% y2 p5 c! y  T! C; t
那么用 timestamp 就能很好地解决这个问题,因为每次发包的时候都是将发包机器当时的内核时间记录在报文中,那么两次发包序列号即使相同,时间戳也不可能相同,这样就能够区分开两个数据包了。5 d/ T! C. x7 M( }4 z

$ v. ~) V1 V# Q8 ?0 k
008: TCP 的超时重传时间是如何计算的?
2 i" x+ c3 R. r' c$ Y
TCP 具有超时重传机制,即间隔一段时间没有等到数据包的回复时,重传这个数据包。5 o/ r  a6 W4 h" D: g" M& N
那么这个重传间隔是如何来计算的呢?
; c0 d3 @! \' x! o; r9 O" c( P5 g今天我们就来讨论一下这个问题。
; r0 ]# T' W, u& F( y# ]这个重传间隔也叫做超时重传时间(Retransmission TimeOut, 简称RTO),它的计算跟上一节提到的 RTT 密切相关。这里我们将介绍两种主要的方法,一个是经典方法,一个是标准方法。
' W% r) x9 R9 F# f+ Q, U7 @经典方法/ D% B$ O2 q) _' n) q
经典方法引入了一个新的概念——SRTT(Smoothed round trip time,即平滑往返时间),没产生一次新的 RTT. 就根据一定的算法对 SRTT 进行更新,具体而言,计算方式如下(SRTT 初始值为0):
  • SRTT =  (α * SRTT) + ((1 - α) * RTT)" V( c5 c) V- @4 J. f- X  I3 H8 ]
$ c4 Z6 \. f& c- [* h) L. G
其中,α 是平滑因子,建议值是0.8,范围是0.8 ~ 0.9。
% S9 A; G0 ?- J: o拿到 SRTT,我们就可以计算 RTO 的值了:
  • RTO = min(ubound, max(lbound, β * SRTT))5 E/ o; f5 f" U

3 `5 P$ t1 z: ^( k: T+ A: N/ dβ 是加权因子,一般为1.3 ~ 2.0, lbound 是下界,ubound 是上界。
6 k+ \" E1 C5 U3 Q0 l: m3 U6 ?其实这个算法过程还是很简单的,但是也存在一定的局限,就是在 RTT 稳定的地方表现还可以,而在 RTT 变化较大的地方就不行了,因为平滑因子 α 的范围是0.8 ~ 0.9, RTT 对于 RTO 的影响太小。' Y# y, I  t: w" g
标准方法7 u) n( a$ M0 N% S
为了解决经典方法对于 RTT 变化不敏感的问题,后面又引出了标准方法,也叫Jacobson / Karels 算法。! @8 \0 H; q# H4 s( s- X: w. a
一共有三步。
: v3 J$ x8 B" z* y+ w. ?第一步: 计算SRTT,公式如下:
  • SRTT = (1 - α) * SRTT + α * RTT6 @8 G# P# [5 v5 `. ~" K& D' f

7 j* k6 G: Y) e$ Q' H3 w注意这个时候的 α跟经典方法中的α取值不一样了,建议值是1/8,也就是0.125。, r' \. p, m& L% |. i
第二步: 计算RTTVAR(round-trip time variation)这个中间变量。
  • RTTVAR = (1 - β) * RTTVAR + β * (|RTT - SRTT|)! ~1 N- a" F* e# k# U
, ?- h9 v% O  ?$ M" b4 W. \
β 建议值为 0.25。这个值是这个算法中出彩的地方,也就是说,它记录了最新的 RTT 与当前 SRTT 之间的差值,给我们在后续感知到 RTT 的变化提供了抓手。. {8 i! M! w2 @
第三步: 计算最终的RTO:
  • RTO = µ * SRTT + ∂ * RTTVAR8 X: r6 Z( x) J6 v

7 L; r- j: ^' Q+ N/ g, `) W" Lµ建议值取1, ∂建议值取4。
# h; o6 ^0 I" o% i这个公式在 SRTT 的基础上加上了最新 RTT 与它的偏移,从而很好的感知了 RTT 的变化,这种算法下,RTO 与 RTT 变化的差值关系更加密切。
) O( h( l7 s6 S% m8 S5 x* c6 A4 A! u

& G4 \; A7 Z* s) ?' X7 ]+ J7 P009: 能不能说一说 TCP 的流量控制?6 D+ J& L$ U- o6 Y: {1 \
对于发送端和接收端而言,TCP 需要把发送的数据放到发送缓存区, 将接收的数据放到接收缓存区。5 E: l. X! L9 A0 R: I
而流量控制索要做的事情,就是在通过接收缓存区的大小,控制发送端的发送。如果对方的接收缓存区满了,就不能再继续发送了。要具体理解流量控制,首先需要了解滑动窗口的概念。, A9 A* A3 g- X
TCP 滑动窗口# r$ R1 @6 [: l  ^; T  R! m
TCP 滑动窗口分为两种: 发送窗口和接收窗口。
8 ]! B: H% f1 e% m发送窗口8 Z8 `' q( B: d& I# n9 M8 u& u6 F; ^
发送端的滑动窗口结构如下:; U, L3 G5 v! C5 q+ t* C
微信图片_20210118195407.jpg
7 T1 y6 t; G- w$ _其中包含四大部分:
  • 已发送且已确认
  • 已发送但未确认
  • 未发送但可以发送
  • 未发送也不可以发送
      I2 `! I, }* h& Z0 ?; Y& D3 w
其中有一些重要的概念,我标注在图中:
" i2 F% N) w& h 微信图片_20210118195410.jpg
: J3 A: e/ \8 i5 b发送窗口就是图中被框住的范围。SND 即send, WND 即window, UNA 即unacknowledged, 表示未被确认,NXT 即next, 表示下一个发送的位置。/ o$ P7 \/ R; A0 X, e9 a3 i
接收窗口
8 U0 w: q4 I; }* b0 W# R; @- I* A# U) I接收端的窗口结构如下:4 ?# m- }- B( w- ^
微信图片_20210118195413.jpg
! l- a5 ~- [  tREV 即 receive,NXT 表示下一个接收的位置,WND 表示接收窗口大小。% B% n2 {' ?" e) z5 X
流量控制过程$ E: d/ |" L3 f0 ^
这里我们不用太复杂的例子,以一个最简单的来回来模拟一下流量控制的过程,方便大家理解。
3 x3 E1 @& V$ f$ a$ N1 K7 k2 _首先双方三次握手,初始化各自的窗口大小,均为 200 个字节。
2 A1 b0 C9 t0 k( C/ l; r假如当前发送端给接收端发送 100 个字节,那么此时对于发送端而言,SND.NXT 当然要右移 100 个字节,也就是说当前的可用窗口减少了 100 个字节,这很好理解。; Y  e4 [( |  |- `+ R
现在这 100 个到达了接收端,被放到接收端的缓冲队列中。不过此时由于大量负载的原因,接收端处理不了这么多字节,只能处理 40 个字节,剩下的 60 个字节被留在了缓冲队列中。% `( l8 Y4 G2 Y3 _3 V8 B; _5 w
注意了,此时接收端的情况是处理能力不够用啦,你发送端给我少发点,所以此时接收端的接收窗口应该缩小,具体来说,缩小 60 个字节,由 200 个字节变成了 140 字节,因为缓冲队列还有 60 个字节没被应用拿走。( }, F9 R* o  b' W" d' P
因此,接收端会在 ACK 的报文首部带上缩小后的滑动窗口 140 字节,发送端对应地调整发送窗口的大小为 140 个字节。
8 ~/ S- E! ^2 Q$ M6 F: }# s3 d9 j  X此时对于发送端而言,已经发送且确认的部分增加 40 字节,也就是 SND.UNA 右移 40 个字节,同时发送窗口缩小为 140 个字节。这也就是流量控制的过程。尽管回合再多,整个控制的过程和原理是一样的。. Z: i& L9 K" |
5 F% u* p. d: K( L' N
010: 能不能说说 TCP 的拥塞控制?8 L9 Y6 z: Z  a: X- ~: O
上一节所说的流量控制发生在发送端跟接收端之间,并没有考虑到整个网络环境的影响,如果说当前网络特别差,特别容易丢包,那么发送端就应该注意一些了。而这,也正是拥塞控制需要处理的问题。( X: L: q+ c& r# g+ G8 |
对于拥塞控制来说,TCP 每条连接都需要维护两个核心状态:
  • 拥塞窗口(Congestion Window,cwnd)
  • 慢启动阈值(Slow Start Threshold,ssthresh)6 P( [9 q) h  b& |7 g$ w
涉及到的算法有这几个:
  • 慢启动
  • 拥塞避免
  • 快速重传和快速恢复- U: z& i3 H9 G6 u
接下来,我们就来一一拆解这些状态和算法。首先,从拥塞窗口说起。8 X2 C- |5 L. E
拥塞窗口* ?& R+ L7 c/ O8 _5 y- Z
拥塞窗口(Congestion Window,cwnd)是指目前自己还能传输的数据量大小。那么之前介绍了接收窗口的概念,两者有什么区别呢?
  • 接收窗口(rwnd)是接收端给的限制
  • 拥塞窗口(cwnd)是发送端的限制1 u3 P/ R$ D! {* \# G
限制谁呢?限制的是发送窗口的大小。有了这两个窗口,如何来计算发送窗口?
  • 发送窗口大小 = min(rwnd, cwnd)
    ' o# r5 ~- N+ q4 g: e
9 ?/ [5 k5 y4 `# `# G7 _
取两者的较小值。而拥塞控制,就是来控制cwnd的变化。
! H/ {) T3 r! Q/ T6 z慢启动
0 t! ^$ e! g$ E0 }刚开始进入传输数据的时候,你是不知道现在的网路到底是稳定还是拥堵的,如果做的太激进,发包太急,那么疯狂丢包,造成雪崩式的网络灾难。* t2 n3 s7 b' g5 ^3 P  [3 }
因此,拥塞控制首先就是要采用一种保守的算法来慢慢地适应整个网路,这种算法叫慢启动。运作过程如下:
' Q; r6 h7 U5 C
  • 首先,三次握手,双方宣告自己的接收窗口大小
  • 双方初始化自己的拥塞窗口(cwnd)大小
  • 在开始传输的一段时间,发送端每收到一个 ACK,拥塞窗口大小加 1,也就是说,每经过一个 RTT,cwnd 翻倍。如果说初始窗口为 10,那么第一轮 10 个报文传完且发送端收到 ACK 后,cwnd 变为 20,第二轮变为 40,第三轮变为 80,依次类推。9 H1 L8 o6 V- o1 h7 Q2 I
难道就这么无止境地翻倍下去?当然不可能。它的阈值叫做慢启动阈值,当 cwnd 到达这个阈值之后,好比踩了下刹车,别涨了那么快了,老铁,先 hold 住!
9 k  |8 z# m# z2 i: e在到达阈值后,如何来控制 cwnd 的大小呢?
. n/ \6 q4 `: F3 f% e$ C" H这就是拥塞避免做的事情了。
4 i, N" L6 P! q% ^, L0 k拥塞避免
6 ~  R. I6 p4 e; O  h原来每收到一个 ACK,cwnd 加1,现在到达阈值了,cwnd 只能加这么一点: 1 / cwnd。那你仔细算算,一轮 RTT 下来,收到 cwnd 个 ACK, 那最后拥塞窗口的大小 cwnd 总共才增加 1。
5 V0 W/ F: q1 ~( j也就是说,以前一个 RTT 下来,cwnd翻倍,现在cwnd只是增加 1 而已。
, A0 k  z2 m# {  k! \  u( j当然,慢启动和拥塞避免是一起作用的,是一体的。( h7 d9 [4 [, h/ p* A# Q
快速重传和快速恢复7 I* F- K+ E" t) B+ T# H$ f. z
快速重传% b' _  k" w7 B
在 TCP 传输的过程中,如果发生了丢包,即接收端发现数据段不是按序到达的时候,接收端的处理是重复发送之前的 ACK。
/ j; }, G: }, E% K6 z3 T" O比如第 5 个包丢了,即使第 6、7 个包到达的接收端,接收端也一律返回第 4 个包的 ACK。当发送端收到 3 个重复的 ACK 时,意识到丢包了,于是马上进行重传,不用等到一个 RTO 的时间到了才重传。# V% I' h8 f. b& G
这就是快速重传,它解决的是是否需要重传的问题。
# ?) _. A$ F  k2 R4 m选择性重传7 e! Q; p, [, n' \6 T) W+ F7 \6 E
那你可能会问了,既然要重传,那么只重传第 5 个包还是第5、6、7 个包都重传呢?当然第 6、7 个都已经到达了,TCP 的设计者也不傻,已经传过去干嘛还要传?干脆记录一下哪些包到了,哪些没到,针对性地重传。/ H) D! X7 M& o2 c
在收到发送端的报文后,接收端回复一个 ACK 报文,那么在这个报文首部的可选项中,就可以加上SACK这个属性,通过left edge和right edge告知发送端已经收到了哪些区间的数据报。因此,即使第 5 个包丢包了,当收到第 6、7 个包之后,接收端依然会告诉发送端,这两个包到了。剩下第 5 个包没到,就重传这个包。这个过程也叫做选择性重传(SACK,Selective Acknowledgment),它解决的是如何重传的问题。* R5 O% ]/ C: k1 j
快速恢复' Q$ g! Q' v; F
当然,发送端收到三次重复 ACK 之后,发现丢包,觉得现在的网络已经有些拥塞了,自己会进入快速恢复阶段。. u/ z6 w( |3 }$ M/ n
在这个阶段,发送端如下改变:
  • 拥塞阈值降低为 cwnd 的一半
  • cwnd 的大小变为拥塞阈值
  • cwnd 线性增加
    - R! g" N9 D1 C+ e1 V
以上就是 TCP 拥塞控制的经典算法: 慢启动、拥塞避免、快速重传和快速恢复。
" _$ C3 x1 j; V" P  K( T0 @) G% x- `6 G! G  W. F
# n4 U" g; M6 h& E/ T, f4 y$ a
011: 能不能说说 Nagle 算法和延迟确认?
3 C  ~5 c4 r' Y6 i( dNagle 算法
  z/ k' c+ T2 w5 I试想一个场景,发送端不停地给接收端发很小的包,一次只发 1 个字节,那么发 1 千个字节需要发 1000 次。这种频繁的发送是存在问题的,不光是传输的时延消耗,发送和确认本身也是需要耗时的,频繁的发送接收带来了巨大的时延。3 `: L$ M6 _, d9 P: t9 c, B4 ~
而避免小包的频繁发送,这就是 Nagle 算法要做的事情。
  ^4 G/ v( m: p# a) |具体来说,Nagle 算法的规则如下:
  • 当第一次发送数据时不用等待,就算是 1byte 的小包也立即发送
  • 后面发送满足下面条件之一就可以发了:7 M: R( `; G/ r7 ^2 B" q
    • 数据包大小达到最大段大小(Max Segment Size, 即 MSS)
    • 之前所有包的 ACK 都已接收到& y) o& A+ E1 ~4 I. {9 w6 o8 x4 u9 C
延迟确认
0 K1 l  F+ j, B+ q* @; j% S8 x, f试想这样一个场景,当我收到了发送端的一个包,然后在极短的时间内又接收到了第二个包,那我是一个个地回复,还是稍微等一下,把两个包的 ACK 合并后一起回复呢?延迟确认(delayed ack)所做的事情,就是后者,稍稍延迟,然后合并 ACK,最后才回复给发送端。TCP 要求这个延迟的时延必须小于500ms,一般操作系统实现都不会超过200ms。
1 `% }+ n% u- p8 r+ x5 B3 B* l不过需要主要的是,有一些场景是不能延迟确认的,收到了就要马上回复:
  • 接收到了大于一个 frame 的报文,且需要调整窗口大小
  • TCP 处于 quickack 模式(通过tcp_in_quickack_mode设置)
  • 发现了乱序包. g/ v/ w* s8 }0 _; G
两者一起使用会怎样?( C, a9 U& {- S. K% P. e
前者意味着延迟发,后者意味着延迟接收,会造成更大的延迟,产生性能问题。9 y3 u5 y+ D& `* S* j+ N, n
! ~0 \! B' ~$ ]3 ]9 d& Y
012. 如何理解 TCP 的 keep-alive?
0 w- ]( R8 ]5 a7 ?
大家都听说过 http 的keep-alive, 不过 TCP 层面也是有keep-alive机制,而且跟应用层不太一样。
; ^% ~/ r- R2 n1 e4 r6 A试想一个场景,当有一方因为网络故障或者宕机导致连接失效,由于 TCP 并不是一个轮询的协议,在下一个数据包到达之前,对端对连接失效的情况是一无所知的。这个时候就出现了 keep-alive, 它的作用就是探测对端的连接有没有失效。
% b  i1 F7 B/ @' V& h2 ?在 Linux 下,可以这样查看相关的配置:
* Y- V( Z! |% G, y
  1. 6 |. k  G  T  d. c5 v# _
  2. sudo sysctl -a | grep keepalive
    " h: R$ o7 Y. B- h9 a  O8 p
  3. : N# \" S7 c3 x0 ~! E; v5 B: U
  4. // 每隔 7200 s 检测一次
    " o. C9 {- Q/ o) a
  5. net.ipv4.tcp_keepalive_time = 7200
    & o6 a8 o% i3 N* s+ X" ?
  6. // 一次最多重传 9 个包
    ' g- v& |! A$ L' e1 o9 C
  7. net.ipv4.tcp_keepalive_probes = 93 X3 U. H- W  B9 D. }! {# s3 ^
  8. // 每个包的间隔重传间隔 75 s% ?# b' r5 _+ n& a0 M  b, c
  9. net.ipv4.tcp_keepalive_intvl = 75
复制代码
不过,现状是大部分的应用并没有默认开启 TCP 的keep-alive选项,为什么?站在应用的角度:
  • 7200s 也就是两个小时检测一次,时间太长
  • 时间再短一些,也难以体现其设计的初衷, 即检测长时间的死连接3 y' T/ \3 i8 U8 F
因此是一个比较尴尬的设计。
# U8 x( V1 j( ^, r5 L' K! ~- D
' @4 `8 a7 j0 h% v. G) z
赞 收藏 2 评论0 发布时间:2021-1-18 19:56

举报

0个回答
关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
人形机器人运动控制、感知与智能配电
半导体创新技术与应用方向
EE架构与软件定义汽车
12V/48V 汽车智能配电(SPD)
区域控制单元(ZCU)与分区架构
关注我们
st-img 微信公众号
st-img 手机版