TCP的拥塞控制(摘自《计算机网络》 第7版 (谢希仁))

拥塞控制的一般原理

在计算机网络中的链路容量(即带宽)、交换结点中的缓存和处理机等，都是网络的资源。在某段时间，若对网络中某一资源的需求超过了该资源所能提供的可用部分，网络的性能就要变坏。这种情况就叫做拥塞。可以把出现网络拥塞的条件写成如下的关系式:
		         Σ对资源的需求>可用资源       				5-7
若网络中有许多资源同时呈现供应不足，网络的性能就要明显变坏，整个网络的吞吐量随着负荷的增大而下降。
有人可能会说：”只要任意增加 一些资源，例如，把结点缓存的存储空间扩大，或把链路更换为更为高速的链路，或把结点处理机的运算速度提高，就可以解决网络拥塞的问题。“其实不然。这是因为网络拥塞是一个非常复杂的问题。简单第采用上述做法，在许多情况下，不但不能解决拥塞问题，而且还可能使网络的性能更坏。
网络拥塞往往是由许多因素引起的。例如，当某个结点缓存的容量太小时，到达该结点的分区因无存储空间暂存而不得不被丢弃。现在设想将该结点缓存的容量扩展到非常大，于是凡到达该结点的分组均可在结点的缓存队列中排队，不受任何限制。由于输出链路的容量和处理机的速度并未提高，因此在这队列中的绝大多数分组的排队等待时间将会大大增加，结果上层软件只好把他们进行重传(因为早就超时了)。由此可见，简单地扩大缓存的存储空间同样会造成网络资源的严重浪费，因而解决不了网络拥塞的问题。
又如，处理机处理的速率太慢可能引起网络的拥塞。简单地将处理机的速率提高，可能会使上述情况缓解一些，但往往又会将瓶颈转移到其他地方。问题的实质往往是整个系统的各个部分不匹配。只有所有的部分都平衡了，问题才会得到解决。
拥塞常常趋于恶化。如果一个路由器没有足够的缓存空间，它就会丢弃一些新到的分组。但当分组被丢弃时，发送这一分组的源点就会重传这一分组，甚至可能还要重传多次。这样会引起更过的分组流入网络和被网络中的路由器丢弃。可见拥塞引起的重传并不会缓解网络的拥塞，反而会加剧网络的拥塞。
拥塞控制与流量控制的关系密切，它们之间也存在着一些差别。所谓拥塞控制就是防止过多的数据注入到网络中，这样可以使网络中的路由器或链路不致过载。拥塞控制所要做的都有一个前提，就是网络能够承受现有的网络负荷。拥塞控制是一个全局性的过程，涉及到所有的主机、所有的路由器，以及与降低网络传输性能有关的所有因素。但TCP连接的 端点只要迟迟不能收到对方的确认信息，就猜想在当前网络中的某处很可能发生了拥塞，但这时却不知道拥塞到底发生在网络的何处，也无法知道发生拥塞的具体原因。（是访问某个服务器的通信量过大？还是在某个地区出现自然灾害？）
相反，流量控制往往是指点对点通信量的控制，是个端到端的问题(接收端控制发送端)。流量控制所要做的就是抑制发送端的速率，以便使接收端来得及接收。
可以用一个简单例子说明这种区别。设某个光纤网络的链路传输速率为1000Gbit/s。有一台巨型计算机向一台个人电脑以1 Gbit/s 的速率传送文件。显然，网络本身的带宽是足够大的，因而不存在产生拥塞的问题。但流量控制却是必须的，因为巨型计算机必须经常停下来，以时个人电脑来得及接收。
但如果有一个网络，其链路传输速率为1 Mbit/s，而有1000台大型计算机连接在这个网络上。假定其中的500台计算机分别向其余的500台以100 kbit/s 的速率发送文件。那么现在的问题已不是接收端的大型计算机是否来得及接收，而是整个网络的输入负载是否超过网络所能承受的。
拥塞控制和流量控制之所以常常被弄混，是因为某些拥塞控制算法是向发送端发送控制报文，并告诉发送端，网络已出现麻烦，必须放慢发送速率。这点又和流量控制是很相似的。
进行拥塞控制需要付出代价。这首先需要获得网络内部流量分布的信息。在实施拥塞控制时，还需要在结点之间交换信息和各种命令，以便选择控制的策略和实施控制。这样就产生了额外开销。拥塞控制有时需要将一些资源(如缓存、带宽等)分配给个别用户(或一些类别的用户)单独使用，这样就使得网络资源不能更好地实现共享。十分明显，在设计拥塞控制策略时，必须全面权衡得失。
在图5-23中的横坐标是提供的负载(offered load),代表单位时间内输入给网络的分组数目/因此提供的负载也成为输入负载或网络负载。纵坐标是吞吐量(throughput),代表单位时间内从网络输出的分组数目。具有理想拥塞控制的网络，在吞吐量饱和之前，网络吞吐量应等于提供的负载，故吞吐量曲线是45°的斜线。但当提供的负载超过某一限度时，由于网络资源受限，吞吐量不再增长而保持为水平线，即吞吐量达到饱和。这就表明提供的负载中有一部分损失掉了(例如，输入到网络的某些分组被某个结点丢弃了)。虽然如此，在这种理想的拥塞控制作用下，网络的吞吐量仍然维持在其所能达到的最大值。

但是，实际网络的情况就很不相同了。从图5-23可看出，随着提供的负载的增大，网络吞吐量的增长率逐渐减少。也就是说，在网络吞吐量还未达到饱和时，就已经有一部分的输入分组被丢弃了。当网络的吞吐量明显地小于理想的吞吐量时，网络就进入了轻度拥塞的状态。更值得注意的是，当提供的负载达到某一数值时，网络的吞吐量反而随着提供的负载值的增大而下降，这时网络就进入了拥塞状态。当提供的负载继续增大到某一数值时，网络的吞吐量就下降到零，网络已无法工作，这就是所谓的死锁。
从原理上讲，寻找拥塞控制的方案无非是寻找使不等式(5-7)不再成立的条件。这或者是增大网络的某些可用资源(如业务繁忙时增加一些链路，增大链路的带宽，或使额外的通信量从两外的通路分流)，或减少一些用户对某些资源的需求(如拒绝接收新得建立连接的请求，或要求用户减轻其负荷，这属于降低服务质量)。但正如上面所讲过的，在采用某种措施时，还必须考虑到该措施所带来的其他影响。
实践证明，拥塞控制是很难设计的，因为它是一个动态的（而不是静态的）问题。当前网络正朝着高速化的方向发展，这很容易出现缓存不够大而造成分组的丢失。但分组的丢失是网络发生拥塞的征兆而不是原因。在许多情况下，甚至正式拥塞控制机制本身成为引起网络性能恶化甚至死锁的原因。这点应特别引起重视。
由于计算机网络是一个很复杂的系统，因此可以从控制理论的角度来看拥塞控制这个问题。这样，从大的方面看，可以分为开环控制和闭环控制两种方法。开环控制就是在设计网络时实现将有关发生拥塞额因素考虑周到，力求网络在工作时不产生拥塞。但一旦整个系统运行起来，就不再中途进行改正了。
闭环控制就是基于反馈环路的概念，主要有一下几种措施:
（1）监测网络系统以便检测到拥塞在何时、何处发生。
（2）把拥塞发生的信息传送到可采取行动的地方。
(3) 调整网络系统的运行以解决出现的问题。
有很多的方法可用来检测网络的阻塞。主要的一些指标是:由于缺少缓存空间而被丢弃的分组的百分数、平均队列长度、超时重传的分组数、平均分组时延、分组时延的标准差，等等，上述这些指标的上升都标志着拥塞的增长。
一般在监测到拥塞发生时，要将拥塞发生的信息传送到产生分组的源站。当然，通知拥塞发生的分组同样会使网络更加拥塞。
另一种方法是在路由器转发的分组中保留一个比特或字段，用该比特或字段的值表示网络没有拥塞或产生了拥塞。也可以由一些主机或路由器周期性地发出探测分组，以询问拥塞是否发生。
此外，过于频繁地采取行动以缓和网络的拥塞，会使系统产生不稳定的振荡。但过于迟缓地采取行动又不具有任何实用价值。因此，要采用某种这种的方法。但选择正确的时间常数是相当困难的。
下面就来介绍更加具体的防止网络拥塞的方法。

TCP的拥塞控制方法

TCP进行拥塞控制的算法有四种，即慢开始(slow-start)、拥塞避免(congestion avoidance)、快重传(fast retransmit)和快恢复(fast recovery)（见2009年9月公布的草案标准RFC 5681）。下面就介绍这些算法的原理。为了集中精力讨论拥塞控制，我们假定：
	(1)数据是单方向传递的，对方只传送确认报文。
	(2)接收方向总是有足够大的缓存空间，因而发送窗口的大小由网络的拥塞程度来决定。
	1.慢开始和拥塞避免
	  下面讨论的拥塞控制也叫做基于窗口的拥塞控制。为此，发送发维持一个叫做拥塞窗口cwnd(congestion window)的状态变量。拥塞窗口的大小取决于网络的拥塞程度，并且动态地在变化。发送方让自己的发送窗口等于拥塞窗口。
发送方控制拥塞窗口的原则是：只要网络没有出现拥塞，拥塞窗口就可以再增大一些，以便把更多的分组发送出去，这样就可以提高网络的利用率。但只要网络出现拥塞或有可能出现拥塞，就必须把拥塞窗口减少一些，以减少注入到网络中的分组数，以便缓解网络出现的拥塞。
发送方又是如何知道网络发生了拥塞呢？我们知道，当网络发生拥塞时，路由器就要丢弃分组。因此只要发送发没有按时收到应当到达的确认报文，也就是说，主要出现了超时，就可能猜想网络可能出现了拥塞。现在通信线路的传输质量一般都很好，因传输出差错而丢弃分组的概念是很小的（远小于1%）。因此，判断网络拥塞的依据就是出现了超时。
下面将讨论拥塞窗口cwnd的大小是怎样变化的。我们从“慢开始算法”讲起。
慢开始算法的思路是这样的:当主机开始发送数据时，由于并不清楚网络的负荷情况，所以如果立即把大量数据字节注入到网络，那么就有可能引起网络发生拥塞。经验证明，较好的方法是先试探一下，即由小到大逐渐增大发送窗口，也就是说，由小到大逐渐增加拥塞窗口数值。
旧的规定是这样的：在刚刚开始发送报文段时，先把初始拥塞窗口cwnd设置为1至2个发送方的最大报文段SMSS(Sender Maximum Segment SIze)的数值，但新的RFC 5681把初始拥塞窗口cwnd设置为不超过2至4个SMSS的数值。具体的规定如下：
若SMSS＞2190字节，
		则设置初始拥塞窗口cwnd=2 × SMSS 字节，且不得超过2个报文段。
若（SMSS》1095字节）且（SMSS≤2190字节），
		则设置初始拥塞窗口cwnd=3 × SMSS字节，且不得超过3个报文段。
	可见这个规定就是限制初始拥塞窗口的字节数。
	慢开始规定，在每收到一个对新的报文段的确认后，可以把拥塞窗口增加最多一个SMSS的数值。更具体些，就是
         拥塞窗口 cwnd 每次的增加量=min(N，SMSS)     （5-8）
    其中N是原来未被确认的、但现在被刚收到的确认报文段所确认的字节数。不难看出，当N<SMSS时，拥塞窗口每次的增加量要小于SMSS。
    用这样的方法逐步增大发送发的拥塞窗口cwnd，可以使分组注入到网络的速率更加合理。
    下面用例子说明慢开始算法的原理。请注意，虽然实际上TCP是用字节数作为窗口大小的单位。但为叙述方便起见， 我们用报文段的个数作为窗口大小的单位，这样可以使用较小的数字来阐明拥塞控制的原理。
    一开始发送方先设置cwnd=1，发送第一个报文段M1。发送方收到对M1的确认后，把cwnd从1 增大到2，于是发送方接着发送M2和M3两个报文段。发送方每收到一个新报文段的确认(重传的不算在内)就使发送方的拥塞窗口加1，因此发送方在收到两个确认后，cwnd就从2增大到4，并可发送M4~M7共4个报文段（见图5-24）。因此使用慢开始算法后，每经过一个传输轮次(transmission round)，拥塞窗口cwnd就加倍。

这里我们使用了一个名词-传输轮次。从图5-24可以看出，一个传输轮次所经历的时间其实就是往返时间RTT（请注意，RTT并非是恒定的数值）。使用“传输轮次”是更加强调：把拥塞窗口cwnd所允许发送的报文段都连续发送出去，并收到了对己发送的最后一个字节的确认。例如，拥塞窗口cwnd的大小是4个报文段，那么这时的往返时间RTT就是发送方连续发送4个报文段，并收到4个报文段的确认，总共经历的时间。
我们还要指出，慢开始的“慢”并不是指cwnd的增长速率慢，而是指在TCP开始发送报文段时先设置cwnd=1，使得发送方在开始时只发送一个报文段(目的是试探一下网络的拥塞情况)，然后再逐渐增大cwnd。这当然比设置大的cwnd值一下子把许多报文段注入到网络中要“慢得多”。这对防止网络出现拥塞是一个非常好的方法。
顺便指出，图5-24知识为了说明慢开始的原理。在TCP的实际运行中，发送方只要收到一个对新报文段的确认，其拥塞窗口cwnd就立即加1，并可以立即发送新的报文段，而不需要等这个轮次中所有的确认都收到后(如图5-24所示的那样)再发送的报文段。
为了防止拥塞窗口cwnd增长多大引起网络拥塞，还需要设置一个慢开始门限 ssthresh状态变量（如何设置ssthresh，后面还要讲）。慢开始门限 ssthresh的用法如下:
当cwnd<ssthresh时，使用上述的慢开始算法。
当cwnd>ssthresh时，停止使用慢开始算法而改用拥塞避免算法。
当cwnd=ssthresh时，既可使用慢开始算法，也可使用拥塞避免算法。
拥塞避免算法的思路是让拥塞窗口cwnd缓慢地增大，即每经过一个往返时间RTT就把发送方的拥塞窗口cwnd加1，而不是像慢开始阶段那样加倍增长。因此在拥塞避免阶段就有”加法增大”AI(Additive Increase)的特点。这表明在拥塞避免阶段，拥塞窗口cwnd按线性增长规律缓慢增长，比慢开始算法的拥挤窗口增长速率缓慢得多。
图5-25用具体例子说明了在拥塞控制的过程中，TCP的拥塞窗口cwnd是怎样变化的。途中的数字①至5是特别要注意的几个点。现假定TCP的发送窗口等于拥塞窗口。
当TCP连接进行初始化时，把拥塞敞口cwnd置为1。为了便于理解，图中的窗口单位不使用字节而使用报文段的个数。在本例中，慢开始门限的初始值设置为16个报文段，即ssthresh = 16。在执行慢开始算法时，发送发没收到一个对新报文段的确认ACK，就把拥塞窗口值加1，然后开始下一轮的传输（请注意，图5-25的横坐标是传输轮次，不是时间）。因此拥塞窗口cwnd随着传输轮次按指数规律增长。当拥塞窗口cwnd增长到慢开始门限值ssthresh时（图中的点①，此时拥塞窗口cwnd=16），就改为执行拥塞避免算法，拥塞窗口按线性规律增长。但请注意，“拥塞避免”并非完全避免了拥塞。“拥塞避免”是说把拥塞窗口控制为按线性规律增长，使网络比较不容易出现拥塞。

当拥塞窗口cwnd=24时，网络出现了超时（图中的点②），发送方判断为网络拥塞。于是调整门限值ssthresh=cwnd/2=12，同时设置拥塞窗口cwnd=1，就开始慢开始阶段。
按照慢开始算法，发送方每收到一个对新报文段的确认ACK，就把拥塞窗口值加1。当拥塞窗口cwnd=ssthresh=12时（图中的点3，这时新得ssthresh值），改为执行拥塞避免算法，拥塞窗口按线性规律增大。
当拥塞窗口cwnd=16时（图中的点④），出现了一个新的情况，就是发送方一连收到3个对同一个报文段的重复确认（图中记为3-ACK）。关于这个问题要解释如下。
有时，个别报文段会在网络中丢失，但实际上网络并未发生拥塞。如果发送方迟迟收不到确认，就会产生超时，就会误认为网络发生了拥塞。这就导致发送方错误地启动慢开始，把拥塞窗口cwnd又设置为1，因而降低了传输效率。
采用快重传算法可以让发送方尽早知道发生了个别报文段的丢失。快重传算法首先要求接收方不要等待自己发送数据时才进行捎带确认，而是要立即发送确认，即使收到了失序的报文段也要立即发出对已收到的报文段的重复确认。如图5-26所示，接收方收到了M1和M2后都分别及时发出了确认。现假定接收方没有收到M3但却收到了M4。本来接收方可以什么都不做。但按照快重传算法，接收方必须立即发送对M2的重复确认，以便让发送方尽早知道接收方没有收到报文段M3。发送方接着发送M5和M6.接收方收到后也仍要再次分别发出对M2的重复确认。快重传算法规定，发送方只要一连收到3个重复确认，就知道接收方确实没有收到报文段M3，因而应该立即进行重传(即“快重传”)，这样就不会出现超时，发送方也不就会误认为出现了网络拥塞。使用快重传可以使整个网络的吞吐量提高约20%。

因此，在图5-25中的点④，发送方知道现在知识丢失了个别的报文段。于是不启动慢开始，而是执行快恢复算法。这时，发送发调整门限值ssthresh=cwnd/2=8，同时设置拥塞窗口cwnd=ssthresh=8（见图5-25中的点5），并开始执行拥塞避免算法。
在图5-25中还标注有“TCP Reno”版本，表示区别于老的TCPTahao版本。
请注意，也有的快恢复实现是把快恢复开始时的拥塞窗口cwnd值再增大一些(增大3个报文段的长度)，即等于新的ssthresh+3 × MSS。这样做的理由是：既然发送方收到3个重复的确认，就表明有3个分组已经离开了网络。这3个分组不再消耗网络的资源而是停留在接收方的缓存中（接收方发送出3个重复的确认就证明了这个事实）。可见现在网络中并不是堆积了分组而是减少了3个分组。因此可以适当把拥塞窗口扩大些。
从图5-25可以看出，在拥塞避免阶段，拥塞窗口是按照线性规律增大的，这常称为假发增大AI(Additive Increase)。而一旦出现超时或3个重复的确认，就要把门限值设置为当前拥塞窗口值的一半，并大大减少拥塞窗口的数值。这常称为“乘法减少”MD(Multiplicative Decrease)。二者合在一起就是所谓的AIMD算法。
采用这样的拥塞控制方法使得TCP的性能有明显的改进[STEV94][RFC 5681]
根据以上所述，TCP的拥塞控制可以归纳为图5-27的流程图。这个流程图就比图5-25所示的特例要更加全面些。例如，图5-25没有说明在慢开始阶段如果出现了超时（即出现了网络拥塞）或出现3-ACK，发送方应采取什么措施。但从图5-27的流程图就可以很明确地知道发送方应采取的措施。

在这一节的开始我们就假定了接收方总是有足够大的缓存空间，因而发送窗口的大小由网络的拥塞程度来决定。但实际上接收方的缓存空间总是有限的。接收方根据自己的接收能力设定了接收方窗口rwnd，并把这个窗口值写入TCP首部中的窗口字段，传送给发送方。因此，接收方窗口又称为通知窗口(advertised window)。因此，从接收方对发送方的流量控制的角度考虑，发送方的发送窗口一定不能超过对方给出的接收方窗口值rwnd。
如果把本书所讨论的拥塞控制和接收方对发送方的流量控制一起考虑，那么很显然，发送方的窗口的上限值应当取为接收方窗口rwnd和拥塞窗口cwnd这两个变量中较小的一个，也就是说：
发送方窗口的上限值=Min[rwnd,cwnd] (5-29)
(5-9)式指出：
当rwnd<cwnd时，是接收方的接收能力限制发送窗口的最大值。
反之，当cwnd<rwnd时，则是网络的拥塞程度限制发送方窗口的最大值。
也就是说，rwnd和cwnd中数值较小的一个，控制了发送方发送数据的速率。