Reliable Data Transfer Protocol 的原理剖析

引言

相信了解网络的人都知道，TCP 是一个 Reliable Data Transfer 的协议，那么在如此复杂的网络环境下，TCP 是如何实现这个功能的？在这篇文章中，我不会把 Reliable Data Transfer 局限在 TCP 上，我会介绍它的原理，以及实现这样的功能我们需要做哪些事情。为了更好地理解下面的内容，你需要下面的背景知识：

1、你需要看 Finite-state machine，从而了解它表示的含义

2、基本的网络知识，建议你读 Computer Networking: A Top-Down Approach 的第一章，如果是你第一次接触网络，它会对你帮助很大

3、了解1之后，理解下面这段话，你就可以完全理解下文中出现的 FSM

The event causing the transition is shown above the horizontal line labeling the transition, and the actions taken when the event occurs are shown below the horizontal line. When no action is taken on an event, or no event occurs and an action is taken, we’ll use the symbol $\Lambda$ below or above the horizontal, respectively, to explicitly denote the lack of an action or event. The initial state of the FSM is indicated by the dashed arrow.

本文中的内容参考 Computer Networking: A Top-Down Approach，这是非常棒的关于计算机网络的书，相信读过之后，你一定会爱上它的。

Reliable Data Transfer over a Perfectly Reliable Channel

在现代这样复杂的网络环境下，我们发送的 packets 很可能丢失， corrupted（flipped from 0 to 1, or vice versa），或者被重排序，在我们这篇文章讨论的范围中，我们假设所有底层 channel 不会重排序 packets. 在这个小节中，我们假设底层 channel 是完全 reliable 的，我们可以用下面的 FSM 来描述 reliable data transfer 协议：

从上面的协议中可以看出，协议的 sending side 只需要接收应用层发来的数据，然后打包发给底层的这些协议; 而协议的 receiving side 只需要接收底层协议传来的 packet ，然后抽取出相应的数据并传递给上层的应用。这个协议只所以这么简单，是因为我们已经假设底层的 channel 不会丢失也不会 corrupt 传递的这些 packet.

Reliable Data Transfer over a Channel with Bit Errors

在这个小节中，我们会认为底层的 channel 有可能 corrupt 传递的 packet，因此我们需要一些额外的机制去消除这样的错误。在介绍如何解决这个问题之前，大家先想一想这个场景：你写一封情书给你所暗恋的人，假设她叫白洁，由于你很害羞，然后你通过一个中间人把这封信给白洁，那么现在问题来了，你如何确定这个中间人是否修改了你写的这封信？其实很简单，我们只需要下面3个能力就行&#x