三次握手的误解与错误类比 (RFC 解读)

2019-01-07 13:29:50 +08:00
 ChristopherWu

来自我的公众号 『 YongHao 写东西的 Cache 』 打个小广告,还是希望写的东西有人看🙊

分享一下见解,权当抛砖引玉


三次握手的误解与错误类比(RFC 解读)

关于 TCP 三次握手几乎是应届毕业生面试常见的问题了,然而网上还很多比比皆是的错误,以知乎 TCP 为什么是三次握手,而不是两次或四次? 上的热门答案为例子,第一个 3.6K 次赞同的类比就是错误的:

三次握手:
“喂,你听得到吗?”
“我听得到呀,你听得到我吗?”
“我能听到你,今天 balabala ……”

同样这个 107 次赞同的类比也是错误的:

握手和敬军礼一样,源自「敌我双方互相确认对方手里没有武器、无恶意」的仪式。(虽然双方互相请求确认需要四步,但由于中间的确认和请求是由同一个人执行的,所以合并成了一步) 
正恩伸出手说:你看,我手里没有武器。( SYN ) 
朗普看了看说:嗯,确实没有。( ACK )
于是也伸出手说:你看,我手里也没有武器。( SYN )
正恩看了看说:嗯,看来你确实有诚意。( ACK )

这两个类比就是想当然的错误,为什么会错误,看完全文相信你便了然于心。

另外还有一个就是在谢希仁著《计算机网络》第四版中,讲 “三次握手” 的目的是 “为了防止已失效的连接请求报文段突然又传送到了服务端,因而产生错误”,这个只能算是表因,并不涉及本质。因为就算是三次握手,也会遇到他提到旧报文姗姗来迟的情况,此情况与 SYN FLOOD 大同小异。

谢希仁版《计算机网络》中的例子是这样的,“已失效的连接请求报文段” 的产生在这样一种情况下:client 发出的第一个连接请求报文段并没有丢失,而是在某个网络结点长时间的滞留了,以致延误到连接释放以后的某个时间才到达 server。本来这是一个早已失效的报文段。但 server 收到此失效的连接请求报文段后,就误认为是 client 再次发出的一个新的连接请求。于是就向 client 发出确认报文段,同意建立连接。假设不采用 “三次握手”,那么只要 server 发出确认,新的连接就建立了。由于现在 client 并没有发出建立连接的请求,因此不会理睬 server 的确认,也不会向 server 发送数据。但 server 却以为新的运输连接已经建立,并一直等待 client 发来数据。这样,server 的很多资源就白白浪费掉了。采用 “三次握手” 的办法可以防止上述现象发生。例如刚才那种情况,client 不会向 server 的确认发出确认。server 由于收不到确认,就知道 client 并没有要求建立连接。”

如果你细读RFC793,也就是 TCP 的协议 RFC,你就会发现里面就讲到了为什么三次握手是必须的—— TCP 需要 seq 序列号来做可靠重传或接收,而避免连接复用时无法分辨出 seq 是延迟或者是旧链接的 seq,因此需要三次握手来约定确定双方的 ISN (初始 seq 序列号)。

下面给出详细的 RFC 解读说明:(数据分组称为分段( Segment ),国内通常用包来称呼)


我们首先要知道到一点就是,TCP 的可靠连接是靠 seq ( sequence numbers 序列号)来达成的。

A fundamental notion in the design is that every octet of data sent over a TCP connection has a sequence number. Since every octet is sequenced, each of them can be acknowledged.
The acknowledgment mechanism employed is cumulative so that an acknowledgment of sequence number X indicates that all octets up to but not including X have been received.

TCP 设计中一个基本设定就是,通过 TCP 连接发送的每一个包,都有一个 sequence number。而因为每个包都是有序列号的,所以都能被确认收到这些包。

确认机制是累计的,所以一个对 sequence number X 的确认,意味着 X 序列号之前(不包括 X) 包都是被确认接收到的。

The protocol places no restriction on a particular connection being used over and over again.

The problem that arises from this is -- "how does the TCP identify duplicate segments from previous incarnations of the connection?" This problem becomes apparent if the connection is being opened and closed in quick succession, or if the connection breaks with loss of memory and is then reestablished.

TCP 协议是不限制一个特定的连接(两端 socket 一样)被重复使用的。

所以这样就有一个问题:这条连接突然断开重连后,TCP 怎么样识别之前旧链接重发的包?——这就需要独一无二的 ISN (初始序列号)机制。

When new connections are created, an initial sequence number (ISN) generator is employed which selects a new 32 bit ISN. The generator is bound to a (possibly fictitious) 32 bit clock whose low order bit is incremented roughly every 4 microseconds. Thus, the ISN cycles approximately every 4.55 hours. Since we assume that segments will stay in the network no more than the Maximum Segment Lifetime (MSL) and that the MSL is less than 4.55 hours we can reasonably assume that ISN's will be unique.

当一个新连接建立时,初始序列号( initial sequence number ISN )生成器会生成一个新的 32 位的 ISN。

这个生成器会用一个 32 位长的时钟,差不多4µs 增长一次,因此 ISN 会在大约 4.55 小时循环一次

2^32位的计数器,需要2^32*4 µs才能自增完,除以 1 小时共有多少µs 便可算出2^32*4 /(1*60*60*1000*1000)=4.772185884

而一个段在网络中并不会比最大分段寿命( Maximum Segment Lifetime (MSL) ,默认使用 2 分钟)长,MSL 比 4.55 小时要短,所以我们可以认为 ISN 会是唯一的。

发送方与接收方都会有自己的 ISN (下面的例子中就是 X 与 Y )来做双方互发通信,具体的描述如下:

  1. A --> B SYN my sequence number is X
  2. A <-- B ACK your sequence number is X
  3. A <-- B SYN my sequence number is Y
  4. A --> B ACK your sequence number is Y

2 与 3 都是 B 发送给 A,因此可以合并在一起,因此成为three way (or three message) handshake(其实翻译为三步握手,或者是三次通信握手更为准确)

因此最终可以得出,三次握手是必须的:

A three way handshake is necessary because sequence numbers are not tied to a global clock in the network, and TCPs may have different mechanisms for picking the ISN's. The receiver of the first SYN has no way of knowing whether the segment was an old delayed one or not, unless it remembers the last sequence number used on the connection (which is not always possible), and so it must ask the sender to verify this SYN. The three way handshake and the advantages of a clock-driven scheme are discussed in [3].

三次握手( A three way handshake )是必须的, 因为 sequence numbers (序列号)没有绑定到整个网络的全局时钟(全部统一使用一个时钟,就可以确定这个包是不是延迟到的)以及 TCPs 可能有不同的机制来选择 ISN (初始序列号)。

接收方接收到第一个 SYN 时,没有办法知道这个 SYN 是是否延迟了很久了,除非他有办法记住在这条连接中,最后接收到的那个 sequence numbers (然而这不总是可行的)。

这句话的意思是:一个 seq 过来了,跟现在记住的 seq 不一样,我怎么知道他是上条延迟的,还是上上条延迟的呢?

所以,接收方一定需要跟发送方确认 SYN。

假设不确认 SYN 中的 SEQ,那么就只有:

  1. A --> B SYN my sequence number is X
  2. A <-- B ACK your sequence number is X SYN my sequence number is Y

只有 B 确认了收到了 A 的 SEQ,A 无法确认收到 B 的。也就是说,只有 A 发送给 B 的包都是可靠的, 而 B 发送给 A 的则不是,所以这不是可靠的连接。这种情况如果只需要 A 发送给 B,B 无需回应,则可以不做三次握手。

三次握手详细过程

      TCP A                                                TCP B

  1.  CLOSED                                               LISTEN

  2.  SYN-SENT    --> <SEQ=100><CTL=SYN>               --> SYN-RECEIVED

  3.  ESTABLISHED <-- <SEQ=300><ACK=101><CTL=SYN,ACK>  <-- SYN-RECEIVED

  4.  ESTABLISHED --> <SEQ=101><ACK=301><CTL=ACK>       --> ESTABLISHED

  5.  ESTABLISHED --> <SEQ=101><ACK=301><CTL=ACK><DATA> --> ESTABLISHED

          Basic 3-Way Handshake for Connection Synchronization

                                Figure 7.

在上图

6745 次点击
所在节点    程序员
46 条回复
linKnowEasy
2019-01-07 17:59:58 +08:00
用类比的方式解释比较专业的知识时, 估计都会出现楼主说的不够正确问题. 我个人认为, 类比去解释事物的时候, 得看类比的两个本质是否有关键的一致性, 其他重要但非关键的信息在类比例子中不合适, 是可以接受的, 那这个类比就是成功的
lhx2008
2019-01-07 18:00:47 +08:00
谢希仁的意思就是 TCP 是可以同时建立多条连接而不用三次握手的后果,也没有什么问题。
lhx2008
2019-01-07 18:02:36 +08:00
但是 TCP 同时建立多条连接的意义大吗?毕竟一个端口一般都只起一条链接。
ChristopherWu
2019-01-07 18:04:37 +08:00
@hx2008
>所以三次握手本质上还是为了建立多个连接而需要传递初始 SEQ 造成的?

对,你的理解是对的。
我的文中也说道了: 『 TCP 需要 seq 序列号来做可靠重传或接收,而避免连接复用时无法分辨出 seq 是延迟或者是旧链接的 seq,因此需要三次握手来约定确定双方的 ISN (初始 seq 序列号)。』

但现实没有这么理想,因为 seq 是递增的话,要考虑到被人攻击(所以现代 seq 的选择也是比较复杂的,比我说的用计时器递增还要复杂些,如可能用加密,随机选择等方式。)
PureWhiteWu
2019-01-07 18:14:10 +08:00
一个叫做“不完善”,一个叫做“错误”,不完善≠错误,希望楼主能认清这个道理。
知乎的回答用了一种让人易于理解的方法来阐述了这个原理,虽然不完善,但是也谈不上错误。
楼主不要总想着 diss 别人来搞个大新闻。
Alphkiee
2019-01-07 18:17:58 +08:00
刚好我是应届生,也有这个需要,谢谢楼主
lhx2008
2019-01-07 18:23:17 +08:00
被人攻击会怎么样呢,UDP 也正常存在呀,甚至 HTTP 也可以基于 UDP 来做了。感觉这是个很大的脑洞。一个客户端接口同时建立多个 TCP 连接我认为意义也不大。完全可以通过其他机制复用。所以我现在又迷惑了
@ChristopherWu
lhx2008
2019-01-07 18:28:14 +08:00
如果这样理解,知乎的类比确实是错的,我可以写另外一个类比来描述不需要三次握手直接通信情况
‘小明,我需要一个文件’
..... 没有回应(丢包)
‘小明,我需要一个文件’
‘这是文件的第一页’
‘我收到了第一页’
.......
iwtbauh
2019-01-07 18:38:46 +08:00
赞同#13

除了“粘包”,“ hash ”和加密( encrypt )不分之外

同理还有

“ CC 攻击” -- 明明就是 DDoS 的一种,而且也根本没有 cc 这种说法(见 unp )
“ ppt ” -- 什么时候 ppt 一个软件能代表全部演示文稿了
“压缩“( compress )和”归档“( archive ) 傻傻分不清楚
“ Linux ”和“ GNU/Linux ” 傻傻分不清楚或者故意不区分

等等

中文技术圈里就该多一些 lz 这样的人
lhx2008
2019-01-07 18:43:19 +08:00
我刚刚看了 QUIC 协议,应该就是基于 UDP 取消了三次握手,且没有再造轮子做握手,所以是不是可以得出一个总结:
TCP 三次连接是为了传输初始 seq,双方交换信息本来需要四步,但是可以合并其中两步,所以交换这个信息最少需要三步,两步是不行的
但是,三次握手不是建立可靠信道的必须条件,他只是 TCP 协议选择的一个方法罢了。
zarte
2019-01-07 18:49:31 +08:00
不要总想搞个大新闻。
类比要的就是通俗易懂,第一个例子本身对话就包含了你所谓的传 seq。要知道打电话信号不好你就是这样确认的。
ChristopherWu
2019-01-07 18:52:29 +08:00
@lhx2008 三次握手是建立可靠信道的必要条件。

还有一点我说得不清楚,不是你说的『 TCP 同时建立多条连接的意义』,而是 TCP 可以复用链接。在这种情况下,旧的包也许还在途,但是复用的新连接又有一个新包来了,因此需要 seq 来识别此情况。
lhx2008
2019-01-07 18:56:52 +08:00
@ChristopherWu 假设我跟你用 25555 端口建立了一个连接,我会一会用 seq=1555,一会用 seq=44646 同时给你维护两条 TCP 连接给你发包吗。如果你想这么干不是通常会在两个端口上建两条 TCP 连接。
编程语言的 socket 都没有这么玩的吧。
ChristopherWu
2019-01-07 19:03:49 +08:00
@lhx2008 @zarte @PureWhiteWu

刚好 @linKnowEasy 你提醒我了,我原来在想这篇文章时,是想举一个更加准确的类比来说明那个类比是不对的。
我就此举一下:

TCP 传递信息可以理解为美国与中国用货船来传货物,但因为一首轮船穿放不下,货物要分开一只只轮船来发货。

所以需要一个序列号来识别该货物是第几个,以便到达后将其拼接回原来的货物。

因为同一条航道(也就是 tcp 连接)上,可能会有多批货物发送(复用 tcp 连接)。发货时,双方需要通知对方这个序列号是从哪里开始( init seq )的,这样才能辨识过来的是不是一个对的货物,以及能拼接成完整的货物。

货物运输拼接( tcp )最重要的是可靠性,如果没有用三次握手来确认双方都可以获得对方的 序列号( seq )的话,就无法知道当前航班(连接)中,对的货物序号是怎么样的了。

***粗略的写了写,这个类比可以说明为什么我文中两个类比是错误的。***
Lipshades
2019-01-07 19:13:12 +08:00
mark 一下
linKnowEasy
2019-01-07 19:13:14 +08:00
@ChristopherWu 你的类比, 按照你的理论, 也是"不正确", 货船会出现空跑的情况 /或者对方码头没有准备好的情况,
我这么说, 只想表达, 类比有局限性, 正确与否只看类比的关键信息是否有极高的相似性, 对于不了解专业知识的人来说, 序号不是关键信息, 互相通知准备完成才是关键信息
yiyi11
2019-01-07 19:30:30 +08:00
谢谢楼主,写得很详细。
FrankAdler
2019-01-07 19:31:01 +08:00
请程序员不要随便举例子
letianqiu
2019-01-07 19:58:13 +08:00
@ChristopherWu 你说的复用不就是谢希仁举的例子。
ChristopherWu
2019-01-07 20:48:59 +08:00
@linKnowEasy 那你对比一下我举出来的类比,以及文中列出的两个类比,看看区别?
>序号不是关键信息, 互相通知准备完成才是关键信息
恰恰相反,我想说明标注的就是:序号才是关键信息。

准备不准备好,只是影响连接是否建立完成。
序列号是否同步到,才影响连接上的数据是否完备,可靠。

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/524599

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX