通过轻量级仿真捕获TCP猝发性.docVIP

通过轻量级仿真捕获TCP猝发性 作者：黄宝仪[译注1]，瑞士联邦科技研究所 John Heideman[译注2]，美国南加州大学信息科学研究所 关键词：TCP模拟，网络仿真，抽象技术，有限状态自动机 摘要: 数据传输过程中的猝发性（burstiness）[译注3]日益成为协议分析中无法忽视的关键属性。为了保存TCP通信出现的这种猝发性或伸缩（scaling）现象，我们开发出一种行为模型，用以捕获TCP的窗口控制与闭环控制。通过一种称之为穷举状态探查的全新模拟技术，我们在限定了连接长度和丢包率的情况下系统地检验了各个TCP状态。这种限制范围覆盖了TCP在通常万维网数据交换条件下的大多数行为。当连接超出此范围时，我们将引发一个抽象错误并切换至一个更具体的模型，以此保持模拟的精确性。通过对那些到达时间间隔落入某临界区间——即往返时间（RTT）或重发超时（RTO）——的包进行计数，我们能创造一个显示背对背包[译注4]传送回合状态及其转变的有限状态自动机(FSA)。我们证明一个TCP的FSA近似可以产生一些适用于生成后台传输量的TCP轻量级仿真模型，并且这些模型能够精确地再现IP网络传输中多重分形的伸缩行为。 一、介绍： 仿真已经成为研究大规模网络协议的必要工具。有着数千节点的实验台并不适合通用目的。仿真研究通常通过研究特定后台传输量下的一些新的数据流来考量一种新的协议(如运输协议，排队规则等)。对后台传输量的仿真是困难的，原因如下：必须精确地模拟因特网传输中固有的猝发性；必须模拟大量的连接，并且必须能够有效地模拟万维网数据传输量，因为万维网是当前因特网的最主要应用。 正确地模拟数据传输量对得出正确结论而言是极其重要的。例如：关于RED[12]的研究在不同的仿真[12]和模拟研究[5]中得出了十分不同的结论。这些研究的一个关键差异就是对模拟传输的猝发性估计不同。 用以捕获猝发性的一种很有希望的解决方案就是在传输建模时采用结构化的方法[9]，仔细模拟在一个真实网络中数据传输量是如何产生的。在捕获多种时间尺度下的因特网行为的过程中有两种机制是至关重要的： 用户级属性：呈指数分布的万维网会话到达时间和呈重尾分布[译注5]的会话期限会导致较大时间尺度内的持续猝发。例如，大尺度内的自相似性。 网络机制：TCP的闭环控制和基于窗口的传送机制对中小时间尺度内的异常猝发性有着很大影响。例如，往返时间尺度下的周期性和小尺度下的多重分形性。 使用这种传输建模方法的一个问题就是状态开销。一个对有400用户的ISP网络的仿真要使用几千个随机变量来保存用户级属性，并且要使用数十万个TCP连接来捕获多种网络机制。即使采用并行仿真技术，随着仿真规模的扩大，内存利用率也往往是关键的瓶颈。 最后，仿真模型必须正确地模拟当前的因特网传输量。TCP是因特网最重要的传输协议（占字节传输量的95%，包传输量的90%，数据流的80%，见[6，29]），并且万维网传输量（HTTP）占TCP传输量的绝大多数(经常达到60-80%)。虽然长期存在的TCP数据流的稳态行为已经被仔细研究、模拟和分析过（由Floyd开始[10]，详见[15]第二部分），但是这些研究未对较短的数据流进行模拟。虽然那些较长的数据流占因特网字节转送量的大多数，但大多数数据流是较短的。有些研究[29，7]指出流量或万维网文件尺寸呈一种幂次法则[译注6]分布，平均值为15-30个包或5-10千字节。 而且，TCP在慢启动阶段变化最快，因此必须小心地模拟这一阶段，这对捕获那些影响到小时间尺度行为的网络机制来说是十分重要的。 我们工作的主要贡献在于提供了一种能够有效模拟短期TCP连接的途径，用以产生后台传输量。我们能做到这一点是由于利用了因特网传输量的重尾分布特性，而且我们的方法可以在更具体地表示长期连接的同时非常高效地表示短期连接。由于大多数数据流是短的，这种方法能极大地减少仿真的内存需求。我们用一个有限状态自动机(FSA)模型来有效地表示短连接。 我们用一种全新的技术建立了这个FSA模型：模拟器辅助的穷举状态分析。我们利用一个模拟器来研究定量数据段丢失的全部可能情形。通过这些研究，我们构造了一个FSA来近似模拟TCP的拥塞控制行为。根据TCP规格或其某一实现来手工创建这个FSA是非常容易产生误差的。因此我们利用一个模拟器自动地枚举状态空间，并且我们正在开发软件以便完全自动地创建FSA。 我们的方法要求对TCP行为作出三种假设。第一，我们假设大多数较短的TCP数据流可以被模拟成若干背对背包的传送回合，这些回合由约一次往返时间的延迟分隔开[13]（出现误差时延迟会增加）。第二，丢包率是独立同分布的（与猝发丢失相反）。我们在4.6节中将用我们的FSA模型仿真与详细的TCP仿真相比较，以验证我们的这些假设。第三，