基于极大代数的TCP协议分析.pdf

第25卷第1】期 计 算 机 学 报 V()1．25N()．11 2002年】1月 CHINESE Nov．2002 J．CoMPUTERS 基于极大代数的TcP协议分析 蔡 研 赵千川 (清华大学自动化景 北京l00084 摘 制的一般情况，详细阐述r如何用极人代数系统矩阵的形式描述TcP西议的重发行为；并以此为基础，进一步讨 i仑了T(P洳议中发送窗口与TcP链路有效分组传输率之间的关系．理论分析和实验仿真表明：极大代数方法具 有描述TcP协议的各种重要动态行为(其中包括具有普遍意义的重发机制)的能力．其中作为例于，基于该方法导 出的自效分组传输率与发送窗口之间的显示表达式，证实了即使只考虑单一莲接情形下，TcP链路中仍存在最凡 发送窗『1的合理性．擞大代数模型的优点在于可对多路由器形成的链路(而不是仅限于译个瓶颈路由器)上的TcP 传输进行定量分析．为分析网络环境下的TcP动态行为提供了一条新的途径． 关键词TcP协议．离散事件动态系统，擞大代数 中圉法分类号：TP393 The ProtocolBasedonMax—PIus ofTCP Analysis CAIYan ZHAO Qian—Chua“ (肼加n…f—AM￡…￡㈣，TH“ghMnu…em#·Be7J，”g100084) This indlfferentconditionswhendataare Abstract the pape。givesparticularrepresentation normallytransmitted，retransmittedonetimesandretransmittedseveraltimes． drivedbased。nthis between andthesender’swind。wsizeare relationshlp e”plicjt th。goodput modelasf01lows．Underthe thatthe modelhasdeterministic assumptjonsystem ofreferencewindowswillbecome riodic，withvaluesinan interval sequence ultimatelype integer maximalsizesof offormrmin(w)，max(I矿)]，wheremin(W)andmax(1矿)aretheminimaland the sender’swindowina the and eigenvector。f cycle，respectively．Bycalculati“geigenvalue MaxPlus