一、SACK选项
默认情况下TCP采取的是累积确认机制，这时如果发生了报文乱序到达，接收方只会重复确认最后一个按序到达的报文段，为此发送方的处理只能是重复按序到达接收方的报文段之后的那个报文段，因而它无法准确知道哪些报文段到达了，哪些没有到达。
考虑以下情景，发送方的窗口状态如下：
如上图所示，主机A通过TCP发送10个长度都为100字节的报文段给主机B，其序号分别为0,100,200,300,400,500,600,00,800,900（图中以数字0-9代替）。主机B收到了序号为0和序号为100的报文段，但是序号为200,300,400的丢失了。之后主机B又收到了报文段500,600,700,800,900。当收到后续这些分组时，主机B只能对报文段100继续进行确认，即发送确认号为200的ACK。主机A收到这样的确认时，能重传的唯一报文段就是报文段200，在报文段200的确认被收到之前发送窗口是无法移动的，这时状况就会很糟糕，发送方每重传一个丢失的报文段，接收方就确认一个（由于是累积确认的，所以情况可能更糟，接收方每次都在等待一段时间后才发送确认），然后发送窗口向前移动一个，这个过程一直持续到报文段200,300,400都被接收方到。显然这种工作方式效率很低，降低了吞吐量。
SACK是TCP选项，它使得接收方能告诉发送方哪些报文段丢失，哪些报文段重传了，哪些报文段已经提前收到等信息。根据这些信息TCP就可以只重传哪些真正丢失的报文段。
需要注意的是只有收到失序的分组时才会可能会发送SACK，TCP的ACK还是建立在累积确认的基础上的。也就是说如果收到的报文段与期望收到的报文段的序号相同就会发送累积的ACK，SACK只是针对失序到达的报文段的。
SACK包括了两个TCP选项，一个选项用于标识是否支持SACK，是在TCP连接建立时时发送；另一种选项则包含了具体的SACK信息。
1.SACK允许选项
该选项格式如下所示：
它的工作机制类似于窗口扩大选项和事件戳选项，只能应用于SYN报文段，在连接建立阶段，主动发起连接的一方在它的SYN中指定选项。只有在它从另一方的SYN中收到了这个选项之后，FAK机制才会被使能。
2.SACK选项
SACK选项的格式如下图所示：
该选项长度可变，但由于整个TCP选项长度不超过40字节，所以实际最多不超过4组边界值。
该选项参数告诉发送哪些报文段是已经接收到并缓存的不连续的报文段，发送方可根据此信息检查究竟是哪个块丢失，从而发送相应的报文段。
- LeftEdgeofBlock：不连续块的第一个报文段的序列号
- RightEdgeofBlock：不连续块的最后一个报文段的序列号之后的序列号。
3.SACK的产生
SACK由接收方产生并通告给发送方，其产生有以下几种情形：
3.1中间有丢包或延迟时的SACK
如果接收方接收到的报文段序号大于所期待的序号，说明有报文段被丢弃或者出现了大的延迟，此时可以发送SACK通知发送方。
为反映接收方的接收缓存和网络传输情况，SACK中的第一个块必须描述是那个报文段触发了该SACK的发送，接收方应该尽可能地在SACK选项部分中填写尽可能多的块信息，让发送方能了解当前网络传输情况的最新信息。
3.2对重复发送包的SACK(D-SACK)
RFC2883中对SACK进行了扩展。SACK中的信息描述的是收到的报文段，这些报文段可能是正常接收的，也可能是重复接收的，通过对SACK进行扩展，D-SACK可以在SACK选项中描述它重复收到的报文段。但是需要注意的是D-SACK只用于报告接收端收到的最后一个报文与已经接收了的报文的重复部分，比如（来自RFC）：
Transmitted Received ACK Sent
Segment Segment (Including SACK Blocks)
500-999 500-999 1000
1000-1499 (data packet dropped)
1500-1999 (delayed)
2000-2499 (data packet dropped)
2500-2999 (delayed)
3000-3499 (data packet dropped)
3500-3999 3500-3999 1000, SACK=3500-4000
1000-1499 (data packet dropped)
1500-2999 1500-1999 1000, SACK=1500-2000, 3500-4000
2000-2499 1000, SACK=2000-2500, 1500-2000, 3500-4000
1500-2999 1000, SACK=1500-2000, 1500-3000, 3500-4000
可以看出最后一个SACK的第一个块是一个D-SACK，它包含的范围是1500-2000，而不是1500-2500。
在D-SACK使用了SACK同样的工作过程，它只是SACK的一个协议扩展。当使用D-SACK时，选项中的第一个字段的含义是“重复收到的报文段的序号”。其规则：
- length后的第一个block（也就是第一个4字节）将包含重复收到的报文段的序号。
- 如果D-SACK报告的报文段的序号在累积确认的报文段之后（并且不是期望收到的报文段，因为这是SACK工作的基础，也是D-SACK的基础），则在这个SACK选项中跟在D-SACK之后的第一个非D-SACK块将按照SACK的格式描述该报文段（被D-SACK确认的报文段，但是它所报告的可能比D-SACK报告的大，比如例子中的最后一个S-ACK）
- 跟在D-SACK之后的SACK将按照SACK的方式工作。
- 如果有多个被重复接收的报文段，则D-SACK只包含其中第一个。
如果收到了D-SACK，就表明接收方接收到了重复的报文段，这可能意味着网络中出现了复制或者是发送方过早重传了，或者是ACK丢失导致了不必要的重传。
4.发送方对SACK的响应
TCP的发送方（实际上也就是连接的双方，因为TCP是全双工的）需要维护一个未被确认的重传报文段队列，报文段未被确认前是不能释放的。重传送队列中的每个报文段都有一个标志位“SACKed”标识该报文段是否被SACK过，对于已经被SACK过的块，在重传时将被跳过。
发送方根据接收到的SACK的信息设置重传队列中的报文段的sacked标记。
当支持D-SACK时，发送方通过如下方式来判断是一个SACK还是一个D-SACK：
- 如果SACK中的第一个block指定的序列号小于被累积确认的最后一个序列号，则是一个D-SACK
- 如果SACK中的第一个block指定的序列号落在了其后的block描述的某个范围之内（因为SACK的格式是用两个值描述一个报文段的序号范围），则就是一个D-SACK。