TCP 协议深度解析

从字面上来看,很多人会认为 tcp/ip 是 tcp、ip 这两种协议,实际上tcp/ip 协议族指的是在 ip 协议通信过程中用到的协议的统称
前言
可以看到协议的分层从上往下依次是
ethernet ii:网络接口层以太网帧头部信息internet protocol version 4:互联网层 ip 包头部信息transmission control protocol:传输层的数据段头部信息,此处是 tcp 协议hypertext transfer protocol:应用层 http 的信息网络分层
应用层(application layer)应用层的本质是规定了应用程序之间如何相互传递报文, 以 http 协议为例,它规定了:
报文的类型,是请求报文还是响应报文报文的语法,报文分为几段,各段是什么含义、用什么分隔,每个部分的每个字段什么什么含义进程应该以什么样的时序发送报文和处理响应报文http 客户端和 http 服务端的首要工作就是根据 http 协议的标准组装和解析 http 数据包,每个 http 报文格式由三部分组成:
起始行(start line),起始行根据是请求报文还是响应报文分为「请求行」和「响应行」。这个例子中起始行是get / http/1.1,表示这是一个 get 请求,请求的 url 为/,协议版本为http 1.1,起始行最后会有一个空行crlf(rn)与下面的首部分隔开首部(header),首部采用形如key:value的方式,比如常见的user-agent、etag、content-length都属于 http 首部,每个首部直接也是用空行分隔可选的实体(entity),实体是 http 真正要传输的内容,比如下载一个图片文件,传输的一段 html等以本例的请求报文格式为例:
除了我们熟知的 http 协议,还有下面这些非常常用的应用层协议
域名解析协议 dns收发邮件 smtp 和 pop3 协议时钟同步协议 ntp网络文件共享协议 nfs传输层(transport layer)传输层的作用是为两台主机之间的「应用进程」提供端到端的逻辑通信,相隔几千公里的两台主机的进程就好像在直接通信一样。
虽然是叫传输层,但是并不是将数据包从一台主机传送到另一台,而是对传输行为进行控制,这本小册介绍的主要内容 tcp 协议就被称为传输控制协议(transmission control protocol),为下面两层协议提供数据包的重传、流量控制、拥塞控制等。
假设你正在电脑上用微信跟女朋友聊天,用 qq 跟技术大佬们讨论技术细节,当电脑收到一个数据包时,它怎么知道这是一条微信的聊天内容,还是一条 qq 的消息呢?
这就是端口号的作用。传输层用端口号来标识不同的应用程序,主机收到数据包以后根据目标端口号将数据包传递给对应的应用程序进行处理。比如这个例子中,目标端口号为 80,百度的服务器就根据这个目标端口号将请求交给监听 80 端口的应用程序(可能是 nginx 等负载均衡器)处理。
网络互连层(internet layer)网络互连层提供了主机到主机的通信,将传输层产生的的数据包封装成分组数据包发送到目标主机,并提供路由选择的能力。
ip 协议是网络层的主要协议,tcp 和 udp 都是用 ip 协议作为网络层协议。这一层的主要作用是给包加上源地址和目标地址,将数据包传送到目标地址。
ip 协议是一个无连接的协议,也不具备重发机制,这也是 tcp 协议复杂的原因之一就是基于了这样一个「不靠谱」的协议。
网络访问层(network access layer)网络访问层也有说法叫做网络接口层,以太网、wifi、蓝牙工作在这一层,网络访问层提供了主机连接到物理网络需要的硬件和相关的协议。这一层我们不做重点讨论。
分层的好处是什么呢?
分层的本质是通过分离关注点而让复杂问题简单化,通过分层可以做到:
各层独立:限制了依赖关系的范围,各层之间使用标准化的接口,各层不需要知道上下层是如何工作的,增加或者修改一个应用层协议不会影响传输层协议灵活性更好:比如路由器不需要应用层和传输层,分层以后路由器就可以只用加载更少的几个协议层易于测试和维护:提高了可测试性,可以独立的测试特定层,某一层有了更好的实现可以整体替换掉能促进标准化:每一层职责清楚,方便进行标准化tcp概述-可靠的、面向连接的、基于字节流、全双工的协议tcp 是面向连接的协议
面向连接(connection-oriented):面向连接的协议要求正式发送数据之前需要通过「握手」建立一个逻辑连接,结束通信时也是通过有序的四次挥手来断开连接。
无连接(connectionless):无连接的协议则不需要
三次握手通过三次握手协商好双方后续通信的起始序列号、窗口缩放大小等信息。
tcp 协议是可靠的ip 是一种无连接、不可靠的协议:它尽最大可能将数据报从发送者传输给接收者,但并不保证包到达的顺序会与它们被传输的顺序一致,也不保证包是否重复,甚至都不保证包是否会达到接收者。不保证有序、去重、完整。
tcp 要想在 ip 基础上构建可靠的传输层协议,必须有一个复杂的机制来保障可靠性。主要有下面几个方面:
对每个包提供校验和包的序列号解决了接收数据的乱序、重复问题超时重传流量控制、拥塞控制校验和(checksum) 每个 tcp 包首部中都有两字节用来表示校验和,防止在传输过程中有损坏。如果收到一个校验和有差错的报文,tcp 不会发送任何确认直接丢弃它,等待发送端重传。
包的序列号保证了接收数据的乱序和重复问题假设我们往 tcp 套接字里写 3000 字节的数据导致 tcp发送了 3 个数据包,每个数据包大小为 1000 字节:第一个包序列号为[1~1001),第二个包序列号为 [10012001),第三个包序号为[20013001)
假如因为网络的原因导致第二个、第三个包先到接收端,第一个包最后才到,接收端也不会因为他们到达的顺序不一致把包弄错,tcp 会根据他们的序号进行重新的排列然后把结果传递给上层应用程序。
如果 tcp 接收到重复的数据,可能的原因是超时重传了两次但这个包并没有丢失,接收端会收到两次同样的数据,它能够根据包序号丢弃重复的数据。
超时重传 tcp 发送数据后会启动一个定时器,等待对端确认收到这个数据包。如果在指定的时间内没有收到 ack 确认,就会重传数据包,然后等待更长时间,如果还没有收到就再重传,在多次重传仍然失败以后,tcp 会放弃这个包。后面我们讲到超时重传模块的时候会详细介绍这部分内容。
tcp 是面向字节流的协议tcp 是一种字节流(byte-stream)协议,流的含义是没有固定的报文边界。
假设你调用 2 次 write 函数往 socket 里依次写 500 字节、800 字节。write 函数只是把字节拷贝到内核缓冲区,最终会以多少条报文发送出去是不确定的,如下图所示
上面出现的情况取决于诸多因素:路径最大传输单元 mtu、发送窗口大小、拥塞窗口大小等。
当接收方从 tcp 套接字读数据时,它是没法得知对方每次写入的字节是多少的。接收端可能分2 次每次 650 字节读取,也有可能先分三次,一次 100 字节,一次 200 字节,一次 1000 字节进行读取。
面试官实际上是想问影响发送窗口大小的因素有哪些吗? 一次性发送的情况: kernel send buffer size < mtu && kernel send buffer size < peer kernel recv buffer size && kernel send buffer size < congestion window size 内核缓冲区中的待发送数据量 小于 mtu(以太网一般为1500) and 内核缓冲区中的待发送数据量 小于 接收端缓冲区的大小 and 内核缓冲区中的待发送数据量 小于 当前网络环境下拥塞控制窗口的大小。我认为这里的“两次”其实是想表达多次的意思,在面试的环境下,有可能会这么问。不必纠结
tcp 是全双工的协议在 tcp 中发送端和接收端可以是客户端/服务端,也可以是服务器/客户端,通信的双方在任意时刻既可以是接收数据也可以是发送数据,每个方向的数据流都独立管理序列号、滑动窗口大小、mss 等信息。
在 tcp 中发送端和接收端可以是客户端/服务端,也可以是服务器/客户端,通信的双方在任意时刻既可以是接收数据也可以是发送数据,每个方向的数据流都独立管理序列号、滑动窗口大小、mss 等信息。
小结与思考tcp 是一个可靠的(reliable)、面向连接的(connection-oriented)、基于字节流(byte-stream)、全双工(full-duplex)的协议。发送端在发送数据以后启动一个定时器,如果超时没有收到对端确认会进行重传,接收端利用序列号对收到的包进行排序、丢弃重复数据,tcp 还提供了流量控制、拥塞控制等机制保证了稳定性。
tcp提供了一种字节流服务,而收发双方都不保持记录的边界,应用程序应该如何提供他们自己的记录标识呢?
17.1 我们已经介绍了以下几种分组格式:i p、 i c m p、 i g m p、 u d p和t c p。每一种格式的首部中均包含一个检验和。对每种分组,说明检验和包括 i p数据报中的哪些部分,以及该检验和是强制的还是可选的?
答:除了u d p的检验和,其他都是必需的。i p检验和只覆盖了 i p首部,而其他字段都紧接着i p首部开始。
17.2 为什么我们已经讨论的所有 i n t e r n e t协议( i p, icmp, igmp, udp, tcp)收到有检验和错的分组都仅作丢弃处理?
答:源i p地址、源端口号或者协议字段可能被破坏了。
17.3 t c p提供了一种字节流服务,而收发双方都不保持记录的边界。应用程序如何提供它们
自己的记录标识?
答:很多i n t e r n e t应用使用一个回车和换行来标记每个应用记录的结束。这是 nvt ascii采用的编码( 2 6 . 4节) 。另外一种技术是在每个记录之前加上一个记录的字节计数, d n s(习题1 4 . 4)和sun rpc( 2 9 . 2节)采用了这种技术。
17.4 为什么在t c p首部的开始便是源和目的的端口号?
答:就像我们在6 . 5节所看到的,一个i c m p差错报文必须至少返回引起差错的 i p数据报中除了i p首部的前8 个字节。当t c p收到一个i c m p差错报文时,它需要检查两个端口号以决定差错对应于哪个连接。因此,端口号必须包含在t c p首部的前8个字节里。
17.5 为什么t c p首部有一个首部长度字段而 u d p首部(图11 - 2)中却没有?
tcp首部的最后有一些选项,但 u d p首部中没有选项。
packetdrill-google协议栈测试神器-todo以 centos7 为例
首先从 github 上 clone 最新的源码 github.com/google/pack…进入源码目录cd gtests/net/packetdrill安装 bison和 flex 库:sudo yum install -y bison flex为避免 offload 机制对包大小的影响,修改 netdev.c 注释掉 set_device_offload_flags 函数所有内容执行 ./configure修改 makefile,去掉第一行的末尾的 -static执行 make 命令编译确认编译无误地生成了 packetdrill 可执行文件详解tcp基石-剖析首部字段这篇文章来讲讲 tcp 报文首部相关的概念,这些头部是支撑 tcp 复杂功能的基石。完整的 tcp 头部如下图所示:
我们用一次访问百度网页抓包的例子来开始。
源端口号、目标端口号在第一个包的详情中,首先看到的高亮部分的源端口号(src port)和目标端口号(dst port),这个例子中本地源端口号为 61024,百度目标端口号是 80。
tcp 报文头部里没有源 ip 和目标 ip 地址,只有源端口号和目标端口号。
这也是初学 wireshark 抓包时很多人会有的一个疑问:过滤 ip 地址为 172.19.214.24 包的条件为什么不是 “tcp.addr == 172.19.214.24”,而是 “ip.addr == 172.19.214.24”
tcp 的报文里是没有源 ip 和目标 ip 的,因为那是 ip 层协议的事情,tcp 层只有源端口和目标端口。
源 ip、源端口、目标 ip、目标端口构成了 tcp 连接的「四元组」。一个四元组可以唯一标识一个连接。
序列号(sequence number)tcp 是面向字节流的协议,通过 tcp 传输的字节流的每个字节都分配了序列号,序列号(sequence number)指的是本报文段第一个字节的序列号。
序列号加上报文的长度,就可以确定传输的是哪一段数据。序列号是一个 32 位的无符号整数,达到 2^32-1 后循环到 0。
在 syn 报文中,序列号用于交换彼此的初始序列号,在其它报文中,序列号用于保证包的顺序。
因为网络层(ip 层)不保证包的顺序,tcp 协议利用序列号来解决网络包乱序、重复的问题,以保证数据包以正确的顺序组装传递给上层应用。
如果发送方发送的是四个报文序列号分别是1、2、3、4,但到达接收方的顺序是 2、4、3、1,接收方就可以通过序列号的大小顺序组装出原始的数据。
初始序列号(initial sequence number, isn)在建立连接之初,通信双方都会各自选择一个序列号,称之为初始序列号。在建立连接时,通信双方通过 syn 报文交换彼此的 isn,如下图所示:
初始建立连接的过程中 syn 报文交换过程如下图所示:
其中第 2 步和第 3 步可以合并一起,这就是三次握手的过程:
初始序列号是如何生成的__u32 secure_tcp_sequence_number(__be32 saddr, __be32 daddr,
__be16 sport, __be16 dport)
{
u32 hash[md5_digest_words];
net_secret_init();
hash[0] = (__force u32)saddr;
hash[1] = (__force u32)daddr;
hash[2] = ((__force u16)sport 6);
}
可以看到初始序列号的计算函数 secure_tcp_sequence_number() 的逻辑是通过源地址、目标地址、源端口、目标端口和随机因子通过 md5 进行进行计算。如果仅有这几个因子,对于四元组相同的请求,计算出的初始序列号总是相同,这必然有很大的安全风险,所以函数的最后将计算出的序列号通过 seq_scale 函数再次计算。
seq_scale 函数加入了时间因子,对于四元组相同的连接,序列号也不会重复了。
序列号回绕了怎么处理序列号是一个 32 位的无符号整数,从前面介绍的初始序列号计算算法可以知道,isn 并不是从 0 开始,所以同一个连接的序列号是有可能溢出回绕(sequence wraparound)的。tcp 的很多校验比如丢包、乱序判断都是通过比较包的序号来实现的,我们来看看 linux 内核是如何处理的,代码如下所示。
static inline bool before(__u32 seq1, __u32 seq2)
{
return (__s32)(seq1-seq2) < 0;
}
其中 __u32 表示无符号的 32 位整数,__s32 表示有符号的 32 位整数。为什么 seq1 - seq2 转为有符号的 32 位整数就可以判断 seq1 和 seq2 的大小了呢?
以 seq1 为 0xffffffff、seq2 为 0x02(回绕)为例,它们相减的结果如下。
seq1 - seq2 = 0xffffffff - 0x02 = 0xfffffffd
0xfffffffd 最高位为 1,表示为负数,实际值为 -(0x00000002 + 1) = -3,这样即使 seq2 回绕了,也可以知道 seq1
确认号
tcp 使用确认号(acknowledgment number, ack)来告知对方下一个期望接收的序列号,小于此确认号的所有字节都已经收到。
关于确认号有几个注意点:
不是所有的包都需要确认的不是收到了数据包就立马需要确认的,可以延迟一会再确认ack 包本身不需要被确认,否则就会无穷无尽死循环了确认号永远是表示小于此确认号的字节都已经收到tcp flagstcp 有很多种标记,有些用来发起连接同步初始序列号,有些用来确认数据包,还有些用来结束连接。tcp 定义了一个 8 位的字段用来表示 flags,大部分都只用到了后 6 个,如下图所示
下面这个是 wireshark 第一个 syn 包的 flags 截图
我们通常所说的 syn、ack、fin、rst 其实只是把 flags 对应的 bit 位置为 1 而已,这些标记可以组合使用,比如 syn+ack,fin+ack 等
syn(synchronize):用于发起连接数据包同步双方的初始序列号ack(acknowledge):确认数据包rst(reset):这个标记用来强制断开连接,通常是之前建立的连接已经不在了、包不合法、或者实在无能为力处理fin(finish):通知对方我发完了所有数据,准备断开连接,后面我不会再发数据包给你了。psh(push):告知对方这些数据包收到以后应该马上交给上层应用,不能缓存起来窗口大小
可以看到用于表示窗口大小的window size 只有 16 位,可能 tcp 协议设计者们认为 16 位的窗口大小已经够用了,也就是最大窗口大小是 65535 字节(64kb)。就像网传盖茨曾经说过:“640k内存对于任何人来说都足够了”一样。
自己挖的坑当然要自己填,因此tcp 协议引入了「tcp 窗口缩放」选项 作为窗口缩放的比例因子,比例因子值的范围是 0 ~ 14,其中最小值 0 表示不缩放,最大值 14。比例因子可以将窗口扩大到原来的 2 的 n 次方,比如窗口大小缩放前为 1050,缩放因子为 7,则真正的窗口大小为 1050 * 128 = 134400,如下图所示
可选项可选项的格式入下所示
以 mss 为例,kind=2,length=4,value=1460
常用的选项有以下几个:
mss:最大段大小选项,是 tcp 允许的从对方接收的最大报文段sack:选择确认选项window scale:窗口缩放选项网络数据包大小-mut与mss前面的文章中介绍过一个应用层的数据包会经过传输层、网络层的层层包装,交给网络接口层传输。假设上层的应用调用 write 等函数往 socket 写入了 10kb 的数据,tcp 会如何处理呢?是直接加上 tcp 头直接交给网络层吗?这篇文章我们来讲讲这相关的知识
mut数据链路层传输的帧大小是有限制的,不能把一个太大的包直接塞给链路层,这个限制被称为「最大传输单元(maximum transmission unit, mtu)」
下图是以太网的帧格式,以太网的帧最小的帧是 64 字节,除去 14 字节头部和 4 字节 crc 字段,有效荷载最小为 46 字节。最大的帧是 1518 字节,除去 14 字节头部和 4 字节 crc,有效荷载最大为 1500,这个值就是以太网的 mtu。因此如果传输 100kb 的数据,至少需要 (100 * 1024 / 1500) = 69 个以太网帧。
不同的数据链路层的 mtu 是不同的。通过netstat -i 可以查看网卡的 mtu,比如在 我的 centos 机器上可以看到
ip分段ipv4 数据报的最大大小为 65535 字节,这已经远远超过了以太网的 mtu,而且有些网络还会开启巨帧(jumbo frame)能达到 9000 字节。当一个 ip 数据包大于 mtu 时,ip 会把数据报文进行切割为多个小的片段(小于 mtu),使得这些小的报文可以通过链路层进行传输。
ip 头部中有一个表示分片偏移量的字段,用来表示该分段在原始数据报文中的位置,如下图所示
前面我们提到 ip 协议不会对丢包进行重传,那么 ip 分段中有分片丢失、损坏的话,会发生什么呢?这种情况下,目标主机将没有办法将分段的数据包重组为一个完整的数据包,依赖于传输层是否进行重传。
利用 ip 包分片的策略,有一种对应的网络攻击方式ip fragment attack,就是一直传more fragments = 1的包,导致接收方一直缓存分片,从而可能导致接收方内存耗尽。
因为有 mtu 的存在,tcp 每次发包的大小也限制了,这就是下面要介绍的 mss。
msstcp 为了避免被发送方分片,会主动把数据分割成小段再交给网络层,最大的分段大小称之为 mss(max segment size)。
mss = mtu - ip header头大小 - tcp 头大小
这样一个 mss 的数据恰好能装进一个 mtu 而不用分片。在以太网中 tcp 的 mss = 1500(mtu) - 20(ip 头大小) - 20(tcp 头大小)= 1460。
为什么有时候抓包看到的单个数据包大于 mtu这就要说到 tso(tcp segment offload)特性了,tso 特性是指由网卡代替 cpu 实现 packet 的分段和合并,节省系统资源,因此 tcp 可以抓到超过 mtu 的包,但是不是真正传输的单个包会超过链路的 mtu。

格力电器将成闻泰科技的重要股东
IBM朱辉:简化与加速AI之旅,企业需要怎样的数据治理?
采用骁龙778G Plus 5G移动平台的小米Civi 1S发布
仓储环境监控系统监控内容与功能
区块链需要哪些舍和得
TCP 协议深度解析
STM32 SysTick配置函数
IXXAT NT系列高稳定性网关网桥解决方案
用于二维波束扫描的集成铌酸锂光学相控阵
AC7840x三电机控制应用解决方案
STM32和Arduino对比,谁更厉害?
燃料电池研发的强大助力——在MATLAB EXPO 与捷氢科技深度对话
iphone13评测_iphone13值不值得买
三相无刷直流电机的调制方式
5g网络切片的主要功能组成和意义
笔记本电池出现问题怎么办?教你两招
靠谱的区块链项目应该是怎样的
区块链技术和加密货币的意义是什么
高通预计今年中推下一代28nm芯片 各代工厂积极寻求合作
为什么监控硬盘容量与实际容量不一样?