《TCP/IP具体解释卷2：实现》笔记--IP的分片和重装

IP首部内有三个字段实现分片和重装：标识字段（ip_id）、标志字段（ip_off的3个高位比特）和偏移字段（ip_off的13个低位

比特）。标志字段由3个1bit标志组成。比特0是保留的必须为0,；比特1是“不分片”（DF）标志；比特2是“很多其它分片”（MF）标志。

Net/3中，标志和偏移字段结合起来，由ip_off訪问，例如以下图所看到的：

ip_off的其它13bit指出在原始数据报内分片的位置，以8字节为单位计算。因此，除最后一个分片外，其它的分片都希望是一个

8字节倍数的数据，从而使后面的分片从8字节边界開始。下图显示了在原始数据报内的字节偏移关系，以及在分片的IP首部内

分片的偏移。

除最后一个分片外，设置了其余分片的MF比特。

ip_id唯一地标识某个特定数据报的分片。源系统用同样的源地址(ip_src)、目的地址(ip_dst)和协议(ip_p)值，作为

数据报在互联网上生命期的值，把每一个数据报的ip_id设置成一个唯一的值。

1.分片

在ip_output函数（IP：网际协议章节）中，假设分组正好适合选定出接口的MTU，就在一个链路级帧中发送它。否则，必须对

分组分片，并在多个帧中将其发送，分组能够是一个完整的数据报或者它自己也是前边系统创建的分片。分片的代码主要

分三部分：

1.确定分片大小

假设DF被设置，则ip_output丢弃该分组，并返回，假设该数据报是在本地生成的，则运输层协议把该错误传回该进程，假设

分组是被转发的，则生成ICMP目的不可达差错报文。

Net/3没有实现“路径MTU发现”算法。

每一个新的分片中包括：一个IP首部，某些原始分组中的选项以及最多len长度的数据。当中len的计算是用接口的MTU减去分组

首部的长度后，去掉低位的3比特后成为8字节倍数。

2.构造分片表

从第二个分片開始构造分片表，在表生成后，原来的分组被转换成第一个分片（降低一次mbuf的生成），对于每个分片，

ip_output函数採取下面动作：

分配一个新的分组缓存

↓

从原来的分组中把IP首部和IP选项拷贝到新的分组，并非全部的选项都会被复制，假设IPOPT_COPIED指示copied比特被

置位，则会把选项拷贝到芯片中。

↓

设置MF比特和偏移字段（ip_off）

↓

为分片设置长度

↓

从原始分组中把数据拷贝到该分组中

↓

调整新创建的分片的mbuf分组首部，使其具有正确的全长，把新分片的接口指针清零，把ip_off转换成网络字节序，计算新

分片的检验和。将该分片通过mbuf的m_nextpkt与前面的分片链接起来。

3.构造第一个分片并发送分片

将末尾多余的数据截断后，原来的分组就被转换成第一个分片，同一时候设置MF比特、把ip_len和ip_off转换成网络字节序，计算

新的检验和。在这个分片中，保留全部的IP选项。在目的地址重装时，仅仅保留数据报的第一个分片的IP选项。某些选项，如

源路由选项，必须被拷贝到每一个分片中，即使在重装时都被丢弃了。

最后将每一个分片进行发送。在发送期间遇到全部错误都会使后面的分片被丢弃。

2.重装

ipintr重装分片，并把数据报整个地交给运输层处理。ipintr须要尝试把分片重装成一个完整的数据报。

Net/3在一个全局双向链表ipq上记录不完整的数据报。能够在链表的不论什么地方插入和删除，并不限制一定要在末尾。ipintr

函数对表进行线性搜索，为当前分片找到合适的数据报。记住分片是由4元组{ip_id、ip_src、ip_des和ip_p}唯一标识的。ipq

的每一个入口是一个分片表，假设ipintr赵大牌一个匹配，则fp指向匹配的表。ipq的数据结构例如以下：

很多工作是由ip_reass做的。假设ip_reass通过把当前分片与曾经收到的分片组合在一起，能重装成一个完整的数据报，它就返回

指向该重装好的数据报的指针。假设没有重装好，则ip_reass保存该分片，ipintr去处理下一个分片。

假设重装处理产生一个完整的数据包，ipintr就把这个完整的数据报上传给合适的运输层。

3.ip_reass函数

ipintr把一个要处理的分片和一个指针传给ip_reass，当中指针指向的是ipq中匹配的重装首部。ip_reass可能重装成功并返回

一个完整的数据报，可能把该分片链接到数据报的重装链表上，等待其它分片到达后重装。每一个重装链表的表头是一个ipq结构。

用来标识一个数据报分片的四个段，ip_id、ip_src、ip_dst和ip_p，被保存在每一个重装链表表头的ipq结构中。Net/3用next和prev

构造数据报链表，用ipq_next和ipq_prev构造分片的链表。

到达分组的IP首部被放到重装链表之前，首先被转换成一个ipasfrag结构。

ip_reass在一个由ipf_next和ip_prev连接起来的双向循环链表上，收集某个数据报的分片。下图显示了分片首部链表ipq和

分片ipasgrag之间的关系。

上图没有显示重装结构的全部复杂性。重装全然依靠把指针指向底层mbuf上的三个不同的结构。下图显示了mbuf、ipq结构、

ipasfrag结构和ip结构之间的关系。

图中含有大量的信息：

1.全部结构都放在一个mbuf的数据区内。

2.ipq链表由next和prev连接起来的ipq结构组成。每一个ipq结构保存了唯一标识一个IP数据报的四个字段。

3.当作为分片链表的头訪问时，每一个ipq结构被看成是一个ipasfrag结构。这些分片由ipf_next和ipf_prev链接起来，分别

覆盖了ipq结构的ipq_next和ipq_prev成员。

4.每一个ipasfrag结构都覆盖了到达分片的ip结构，与分片一起到达的数据在缓存中跟在该结构之后。

下图从逻辑的观点说明重装结构，该图显示了三个数据报的重装，以及ipq链表和ipasfrag结构之间的关系，阴影部分为缺少

的分片。

以下分几个部分说明重装

1.创建重装表

假设没有符合条件的ipq，则用新的数据报的第一个分片创建一个重装表。它分配一个mbuf来存放新表的头（一个ipq结构），

并把该结构插入到重装表的链表中。

2.重装超时

在Net/3中，使用生命期字段ipq_ttl来管理重超时，重装超过的初始值设置为60，每次内容调用ip_slowtimo时，ipq_ttl就减去1，

而内核每500ms调用ip_slowtimo一次。假设系统在接受到数据报的任一分片30秒后，还没有组装好一个完整的IP数据报，那么

系统就丢弃该IP重装链表。

3.数据报标识符

在目的主机上，分片包括的字节范围可能会互相覆盖，发生这样的情况的原因是，当一个运输层协议重传某个数据报时，採用

与原来数据报不同的路由，并且分片的模式也可能不同，这就导致在目的主机上的项目覆盖。传输协议必须强制IP使用原来

ID字段，确保目的主机识别该数据报是重传的。

Net/3并不为运输层协议提供机制保证在重传的数据报中重用IP ID字段。在准备新数据时，ip_output通过添加全局整数ip_id

来赋一个新值。虽然如此，Net/3系统也能让运输层用同样ID字段重传IP数据报的系统上接收重叠分片。

下图说明分片可能会以不同的方式与已经到达的分片重叠。分片是依照它们到达目的主机的顺序编号的，重装的分片在图底部

显示，分片的阴影部分是被丢弃的多余字节。

4.重建数据报首部

ip_reass把ip指向链表的第一个分片，将ipasfrag结构恢复成ip结构。并将整个分组从重装链表中移走，丢弃表头的ipq结构，

调整缓存中的m_len和m_data，将前面被隐藏起来的第一个分片的首部和选项包括进来。

5.计算分组长度

计算缓存链中数据的字节数，并把值保存在m_pkthdr.len中。