流量控制

🔥 高优先级
真题练习

选择题和解答题都经常考查 ARQ 协议,三个重点不能忽略:1. 三种 ARQ 协议的 实现原理。 2. 窗口大小的限制。3. 信道利用率 的计算方法。

这一节都是理解性内容,需要理清背后的原理。

ARQ 协议

ARQ 协议是一类 可靠数据传输协议,用于在 不可靠的信道(比如可能出错或丢包的网络链路)上实现 可靠通信

ARQ 协议的 核心思想 是:

  • 发送方在发送数据后,必须等待接收方的确认(ACK)。
  • 如果在规定时间内没有收到确认,就认为数据丢失或出错,需要重传。

ARQ 协议主要包括三种形式:停等(Stop‑and‑Wait)、回退 N 帧(Go‑Back‑N)以及 选择性重传(Selective Repeat)。其中,回退 N 帧和选择性重传统称为 连续 ARQ 协议

ARQ 协议 (Automatic Repeat reQuest)可靠数据传输协议核心思想:• 发送方发送数据后,必须等待接收方的确认(ACK)• 超时未收到确认,认为数据丢失或出错,进行重传• 在不可靠信道上实现可靠通信三种主要ARQ协议停等ARQ(Stop-and-Wait)发送方接收方数据1ACK1数据2特点:发送一帧等待确认效率低,适合简单场景回退N帧ARQ(Go-Back-N)发送方接收方1,2,34丢失ACK3重传4,5,6...特点:连续发送,出错回退效率中等,实现相对简单选择性重传ARQ(Selective Repeat)发送方接收方1,23丢失4ACK1,2,4只重传3特点:只重传出错帧效率最高,实现最复杂连续ARQ协议
注意

ARQ 在哪一层使用

考研模型里默认:

  • 链路层:可能用 ARQ(作为差错控制手段之一),适用于误码率较高的链路
    • 以太网不使用
    • 无线链路、卫星通信会用
  • 传输层:一定用 ARQ(TCP)

但要记住一句本质话:

ARQ 不是某一层专属,而是一种“机制”,可以出现在不同层。

如果 TCP 是保证可靠传输,那么链路层为什么还需要使用 ARQ?

如果链路层不大可靠的话,链路层 ARQ 可以在底层迅速修补了大多数偶发的比特错误,让上面的 TCP 以为链路几乎从不丢包,从而避免了频繁进入“拥塞控制”状态,大幅提升了吞吐量。

停等协议

停等(Stop‑and‑Wait)是一种最基本的 自动重传请求(ARQ)协议。其核心思想是:发送方在发送完每一个数据帧后立即停止发送,并 等待 接收方的 确认(ACK)。只有在收到确认后,发送方才会继续发送下一个帧。由于任意时刻网络中只会有一个帧在传输,所以该协议也被称为“停等”。

sequenceDiagram
    participant S as 发送方(Sender)
    participant R as 接收方(Receiver)

    S->>R: 发送数据帧 Frame[0]
    Note over S: 启动计时器

    R--xS: ACK[0] 丢失
    Note over S: 计时器超时,未收到 ACK

    S->>R: 重传数据帧 Frame[0]
    Note over S: 重新启动计时器

    R-->>S: 发送确认帧 ACK[0]
    Note over S: 收到 ACK[0],停止计时器

    S->>R: 发送数据帧 Frame[1]
    Note over S: 启动计时器

    R-->>S: 发送确认帧 ACK[1]
    Note over S: 收到 ACK[1],停止计时器

停等协议的 工作过程 如下:

  1. 发送数据
    • 发送方将一个数据帧发送给接收方。
    • 同时启动 计时器,用于监控该帧的确认是否在规定时间内到达。
  2. 等待确认
    • 在计时器超时之前,发送方保持在“等待”状态。
    • 此期间若收到 确认帧(ACK),则说明该帧已成功到达并被正确接收。
  3. 确认的接收
    • 接收方收到数据帧后,首先检验其完整性(如校验和、序号等)。
    • 若数据帧无误,接收方立即发送 确认帧(ACK)回给发送方;若检测到错误,则不发送 ACK,导致发送方超时后重传。
  4. 计时器到期
    • 若计时器在收到确认之前到期,发送方认为该帧或其确认已丢失。
    • 发送方随后 重新发送 同一数据帧,并重新启动计时器,重复上述过程直至收到有效的确认。
StopAndWaitcluster_sender发送方cluster_receiver接收方start开始send_frame发送数据帧启动计时器start->send_framewait_ack等待确认(等待状态)send_frame->wait_ackrecv_check接收方检验数据帧完整性send_frame->recv_check数据帧传输timeout_check计时器超时?wait_ack->timeout_check等待超时recv_ack收到确认帧(ACK)wait_ack->recv_ack收到ACKsend_ack发送确认帧(ACK)recv_check->send_ack数据正确no_ack不发送ACK(检测到错误)recv_check->no_ack数据错误send_ack->recv_ackACK传输no_ack->timeout_check无ACKtimeout_check->recv_ack(收到ACK)retransmit重新发送同一数据帧重启计时器timeout_check->retransmit(超时)success传输成功准备下一帧recv_ack->successretransmit->wait_ack重新等待success->start下一帧

通过上述四个步骤,停等协议实现了可靠的点对点数据传输,尽管其效率受限于 “每次只能发送一个帧” 的特性。

回退 N 帧

回退 N 帧(GBN,Go‑Back‑N)协议中,发送窗口 指的是发送方在未收到确认的情况下,最多可以连续发送的数据帧数量。它像一个滑动窗口,控制着数据的发送节奏。

发送方可以在等待确认的过程中,连续发送多个帧,但总数不能超出发送窗口的大小。当窗口被填满时,发送方必须停下来等待确认,收到确认后窗口才能向后滑动,从而腾出空间发送新的帧。

补充

回退 N 帧的语义如何理解?

当发送方检测到某个数据帧超时(或收到重复的 ACK / NAK)时,它不会只重传那一帧,而是“回退”到该丢失帧的序号,并重新发送从该序号开始的所有后续帧 —— 即使这些帧之前已经发送过。

sequenceDiagram
    participant S as 发送方 (Sender)
    participant R as 接收方 (Receiver)

    Note over S,R: 窗口大小 W = 4,序号空间 0-3

    S->>R: Frame[0]
    R->>S: ACK0 (确认帧0)
    
    S->>R: Frame[1] (丢失)
    S->>R: Frame[2]
    R->>S: ACK0 (仍期望帧1,丢弃帧2)
    
    S->>R: Frame[3]
    R->>S: ACK0 (丢弃帧3,仍期望帧1)

    Note over S: 定时器超时,回退到Frame[1]

    S->>R: Frame[1] (重传)
    R->>S: ACK1 (确认帧1)
    
    S->>R: Frame[2] (重传)
    R->>S: ACK2 (确认帧2)
    
    S->>R: Frame[3] (重传)
    R->>S: ACK3 (确认帧3)

    Note over S,R: 全部确认完毕,窗口前移

回退 N 帧的 核心要点 如下:

  1. 窗口大小
    • 若帧序号使用 位二进制,则序号空间大小为
    • 为保证不产生歧义,GBN 的发送窗口大小 必须满足 ,因此 最大窗口大小
    • 接收窗口的大小固定为 1,即接收方只能一次接受并确认期望的序号。
  2. 发送过程
    • 只要发送窗口未满,发送方就可以把窗口内的帧依次发送出去。
    • 对于 最早发送且尚未被确认的帧(即窗口中的第一个未确认帧),发送方启动 单一的超时计时器
    • 其余已发送但尚未确认的帧不再单独维护计时器,而是共享这一个计时器。
  3. 接收过程
    • 接收方维护一个 期望序号(expected sequence number)。
    • 当收到的帧序号等于期望序号时,接收方接受该帧并发送 累计确认 ACK(确认该帧及其之前的所有帧)。随后期望序号加 1。
    • 若收到的帧序号不是期望序号(说明前面的某帧丢失),接收方直接 丢弃该帧,并 重新发送最近一次正确接收的帧的 ACK。由于接收窗口为 1,后续已到达但序号不连续的帧都会被丢弃。
  4. 超时与重传
    • 超时计时器 触发时,发送方认为窗口中最早的未确认帧已丢失。按照 GBN 的工作原理,发送方会 从该帧开始,把窗口内的所有帧全部 重新发送
    • 这样做的原因是:即使后面的帧已经到达接收方,由于接收窗口仅能接受连续的序号,这些帧会在接收方被丢弃,只有最早丢失的帧被重新发送后,后续帧才能被顺利接收。
GBN_Protocolcluster_sender发送方 (Sender)cluster_send_window发送窗口 (W ≤ 2^n - 1)cluster_receiver接收方 (Receiver)cluster_seq_space序号空间 (n位二进制)frame0帧0(已发送)channel传输信道frame0->channel发送帧0frame1帧1(已发送)frame1->channel发送帧1frame2帧2(已发送)frame2->channel发送帧2frame3帧3(可发送)frame4帧4(可发送)timer单一超时计时器(针对帧0)timeout_action超时触发:从最早未确认帧开始重传窗口内所有帧timer->timeout_action超时触发send_action发送动作:• 依次发送窗口内帧• 为最早未确认帧启动计时器channel->frame0ACK确认recv_window接收窗口 = 1期望序号: 0channel->recv_window接收帧recv_window->channel发送ACK(累计确认)sliding_action收到累计ACK:窗口向前滑动释放已确认帧位置recv_window->sliding_action正确接收recv_action接收动作:• 序号 = 期望序号 → 接受+ACK• 序号 ≠ 期望序号 → 丢弃+重发ACKseq_space序号范围: 0 到 2^n - 1最大窗口: W ≤ 2^n - 1seq_space->frame0序号约束timeout_action->frame0重传所有未确认帧sliding_action->frame0窗口滑动featuresGBN关键特性:1. 发送窗口: W ≤ 2^n - 12. 接收窗口: 固定为13. 累计确认机制4. 超时重传所有未确认帧5. 序号不连续则丢弃

通过 GBN、SR 交互演示 可以直观地了解 Go‑Back‑N 与 Selective Repeat 的工作流程,加深对上述概念的理解。

选择性重传

选择性重传(SR,Selective Repeat)是一种 自动重传请求ARQ)协议,专门用于克服回退 N 帧(Go‑Back‑N)在高误码率环境下的效率低下。与 Go‑Back‑N 不同,SR 只 重传 那些真正丢失或出错的帧,而不必重新发送随后所有的帧,从而在误码率较高的链路上表现得更为高效。

sequenceDiagram
    participant S as 发送方 (Sender)
    participant R as 接收方 (Receiver)

    Note over S,R: 窗口大小 W = 4,序号空间 0-7

    S->>R: Frame[0]
    R->>S: ACK0 (确认帧0,交付上层)

    S->>R: Frame[1] (丢失)
    S->>R: Frame[2]
    R->>S: ACK2 (缓存帧2,等待帧1)

    S->>R: Frame[3]
    R->>S: ACK3 (缓存帧3,等待帧1)

    Note over R: 已缓存 {2,3},但因缺少1不能交付

    Note over S: 定时器1超时,仅重传帧1

    S->>R: Frame[1] (重传)
    R->>S: ACK1 (确认帧1,立即交付 {1,2,3})

    Note over R: 交付顺序为 1,2,3,接收窗口滑动

    Note over S,R: 窗口继续前移,可发送后续帧4,5...

选择性重传的 核心要点 如下:

  1. 窗口大小
    • 在 SR 中,发送窗口和接收窗口的大小保持一致。
    • 若帧序号采用 位二进制表示,则窗口的最大取值为 (即序号空间的半数),以避免发送方和接收方窗口的重叠产生歧义。
  2. 发送过程
    • 发送方在其发送窗口范围内连续发帧。
    • 每发送一帧,就为该帧启动一个 计时器;计时器独立于其他帧,超时后仅针对该帧进行重传。
  3. 接收过程
    • 接收方接受所有落在接收窗口中的帧,即使这些帧顺序错乱。
    • 对于每一正确收到的帧,接收方立即发送 确认(ACK)。
    • 乱序到达的帧会被 缓存,待窗口前面的缺失帧补齐后,按正确顺序交付给上层。
  4. 超时与重传
    • 当某帧的计时器到期,发送方只 重传 该帧,而不是窗口内的全部帧。这一点是 SR 与 GBN 的根本区别,也是 SR 在高误码率下保持高吞吐量的关键。
  5. 滑动窗口机制
    • 发送方:收到帧的确认后,窗口左边界向前移动,释放已确认的帧槽位,随后可以发送新的帧。
    • 接收方:当缓存的帧已能够连续组成一个完整序列并交付给上层后,接收窗口也向前滑动,腾出空间接收后续帧。
  6. 冲突确认的处理
    • 由于网络延迟,发送方可能在重传帧后才收到该帧的早期确认。
    • 为避免误判,SR 协议必须具备 识别并丢弃重复确认(duplicate ACK)的机制,只对最新、有效的确认作出响应。
SR_Protocolcluster_window1. 窗口大小设计cluster_sender2. 发送方流程cluster_receiver3. 接收方流程cluster_features4. SR协议关键特性title选择性重传(SR)协议核心概念window_size窗口大小 = 2^(n-1)(序号空间的一半)title->window_sizewindow_reason防止发送窗口与接收窗口重叠歧义window_size->window_reason设计原因send_frames在窗口内连续发帧window_reason->send_framesstart_timer为每帧启动独立计时器send_frames->start_timertimeout_retrans超时仅重传该帧(非全部帧)start_timer->timeout_retrans超时receive_ack收到ACK后窗口滑动start_timer->receive_ack收到确认receive_frame接收窗口内的帧(允许乱序)timeout_retrans->receive_frame重传帧selective选择性重传只重传丢失帧timeout_retrans->selectivereceive_ack->send_frames继续发送send_ack立即发送ACKreceive_frame->send_ackbuffer_frame乱序帧缓存等待receive_frame->buffer_frame乱序send_ack->receive_ackACK传输deliver_ordered按序交付上层buffer_frame->deliver_ordered补齐high_throughput高误码率下保持高吞吐量buffer_frame->high_throughputslide_window接收窗口滑动deliver_ordered->slide_windowselective->high_throughputindependent_timer独立计时器机制independent_timer->selectiveduplicate_ack处理重复ACK避免误判duplicate_ack->selectivecomparisonSR vs GBNSR: 选择性重传单帧GBN: 重传所有后续帧

协议对比

几种 ARQ 协议的主要区别是通过发送和接收窗口体现的:

发送窗口
  • 定义:发送方在未收到对方确认(ACK)的情况下,允许连续发送的最大帧数量(或数据单元数量)。
  • 作用:控制发送方的数据发送速率,避免因发送过快导致网络拥塞或接收方处理不过来。
接收窗口
  • 定义:接收方允许接收并缓存(或直接交付)的帧的最大数量,通常决定了接收方可以接受乱序或非连续帧的能力。
  • 作用:明确接收方能够处理的数据范围(包括按序和乱序数据),超出窗口的数据会被丢弃。
补充
  • 发送窗口:决定发送方能“同时发多少”。
  • 接收窗口:决定接收方能“同时收多少”以及“是否支持乱序接受”。
ARQ 发送窗口与接收窗口示意图展示发送方和接收方的滑动窗口机制,包括已发送未确认、可发送、不可发送等状态分区发送方01发送窗口(W=4)23456789已确认发出 / 待ACK可发送超出窗口发送基下一待发窗口边界ACK 2← 收到ACK后,窗口向右滑动接收方01接收窗口(W=4)23?45?6789已交付上层已接收等待中乱序缓存丢弃(窗口外)丢弃已确认/已交付发出待ACK可发送 / 已按序接收乱序缓存等待帧

三个 ARQ 协议的具体区别如下:

特性停等协议GBN(Go‑Back‑N)协议SR(Selective‑Repeat)协议
发送方窗口大小(序号位数为 n)1(一次只能发送一帧)最多 (可并发发送多帧)最多 (可并发发送多帧)
接收方窗口大小(序号位数为 n)1(只接受一帧)1(只能接受按序的下一帧)与发送方窗口大小相同(可接受乱序帧)
超时重传单位单个数据帧即整个发送窗口整个发送窗口单个数据帧
发送方效率低——每发送一帧必须等待确认高——在确认到达前可连续发送多帧高——仅对出错帧进行重传,其他帧不受影响
接收方效率高——无需缓存,按序直接交付低——必须按照顺序接收高——可以缓存并按序交付已收到的乱序帧
错误处理方式只重传丢失的那一帧从第一个出错帧起,全部帧都要重传只重传出错或乱序的那一帧(或若干孤立的帧)
带宽利用率低——大量空闲时间高——大多数时间都在利用链路带宽高——仅在必要时占用带宽进行重传

窗口大小限制

在说明窗口大小限制之前,必须先区分三种不同的“编号”概念:

0
1
2
3
4
5
6
7
8
9
10
11
0
1
2
3
4
5
6
7
8
9
10
11
绝对编号
绝对编号
发送方
接收方
发送窗口
接收窗口
3
4
5
3
4
5
假设序列号位数为 3,那么序列号范围为 [0, 7]
序列号
0
1
2
3
4
5
6
7
0
1
2
3
0
1
2
3
4
5
6
7
0
1
2
3
序列号
  • 绝对编号:指帧在整个逻辑发送流中的真实顺序编号。 该编号会随着发送不断递增:

    绝对编号本身通常认为是无限增长的,仅用于逻辑分析。

  • 序列号(循环编号):协议首部中的编号字段长度有限。 若序列号字段使用 位,则序列号范围为:

    超过后重新从 0 开始循环。

    例如当 (n=3) 时:

  • 窗口内编号:是序列号范围的一个子集
补充

协议真正传输的是 序列号(循环编号)

发送窗口与接收窗口本质上是在“循环序列号空间”上滑动。 这可以与 TCP 中的 绝对下标和序列号 进行类比。

假设协议中的序列号字段使用 位,则序列号空间大小为:

发送窗口大小( )与接收窗口大小( )必须满足:

为什么有这个限制?

根本原因是防止 序列号回绕(wrap around)带来的歧义

当发送窗口和接收窗口的大小之和超过 时,可能出现以下情况:

  • 一个新帧使用了与之前某个仍在网络中滞留的旧帧相同的序列号;
  • 接收方无法区分该帧是“新的合法帧”还是“旧的延迟到达帧”。

通过保证:

可以确保在任何时刻,发送窗口与接收窗口不会在序列号空间中发生重叠,从而避免不同绝对编号的帧使用同一序列号时产生歧义。

0
1
2
发送窗口内序列号
3
0
0
1
2
3
0
1
发送窗口内序列号
接收窗口内序列号
GBN 的极端情况
SR 的极端情况
0
1
2
3
4
0
1
2
3
4
5
绝对编号
绝对编号
接收窗口内序列号
极端情况下:当接收方收到了所有数据帧,但是所有确认帧都丢失的情况下,
发送窗口和接收窗口会具有相同的 序列号,但是所对应的数据帧不同
假设序列号位数为 2,序列号范围为 0,1,2,3
假设发送窗口大小 4,接收窗口大小 1,
4 + 1 > 4
假设发送窗口大小 3,接收窗口大小 3,
3 + 3 > 4

信道利用率

在 ARQ 协议中,信道利用率(也叫做链路利用率)是指信道用于传输有效数据的效率,通常定义为 成功传输数据的时间占总传输时间的比例。它反映了协议在给定信道条件下的性能,是评估 ARQ 协议效率的重要指标。

信道利用率 可以表示为

其中:

  • :成功传输有效数据的时间。
  • :总时间,包含数据传输、确认、重传以及等待。

计算方法

对于 ARQ 协议,假设信号传播时间为 ,一个数据帧的传输时间为 ,一个确认帧的传输时间为 ,发送窗口的最大值为 ,信号往返时间

在此情况下,信道利用率 = 发送数据的时间 / 从发送第一个帧的时间到收到第一个确认帧的时间:

停等协议

A
D
Time
Time
信号传播时间
帧传输时间
停等协议
发送帧
确认帧

对于停等协议,信道利用率为

连续 ARQ 协议

A
D
Time
Time
信号传播时间
帧传输时间
滑动窗口协议,连续传输多个帧

对于使用了滑动窗口的协议(比如回退 N 帧和选择性重传),一次性可以传输 个数据帧,信道利用率为

注意有些时候确认帧比较小,在这种情况下确认帧传输时间 可以忽略。

此外, ,所以当 时,信道利用率