Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu...
Transcript of Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu...
![Page 1: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/1.jpg)
Copyright, 1996 © Dale Carnegie & Associates, Inc.
Dualtiy Model of TCP/AQM
Steven Low
CS & EE, Caltechnetlab.caltech.edu
2002
![Page 2: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/2.jpg)
Acknowledgments
S. Athuraliya, D. Lapsley, V. Li, Q. Yin (UMelb)S. Adlakha (UCLA), D. Choe(Postech/Caltech), J. Doyle (Caltech), K. Kim (SNU/Caltech), L. Li (Caltech), F.Paganini (UCLA), J. Wang (Caltech)L. Peterson, L. Wang (Princeton)
![Page 3: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/3.jpg)
Network protocols.
HTTP
TCP
IP
Routers
Files
packetspacketspacketspacketspacketspackets
from J. Doyle
![Page 4: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/4.jpg)
Web servers
web traffic
Is streamed out on the net.
Creating internet traffic
Webclient
from J. Doyle
![Page 5: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/5.jpg)
Congestion Control
Heavy tail Mice-elephants
Elephant
Internet
Mice
Congestion control
efficient & fair sharing small delay
queueing + propagation
CDN
![Page 6: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/6.jpg)
TCP
xi(t)
![Page 7: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/7.jpg)
TCP & AQM
xi(t)
pl(t)
Example congestion measure pl(t)Loss (Reno)Queueing delay (Vegas)
![Page 8: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/8.jpg)
Outline
Protocol (Reno, Vegas, RED, REM/PI…)
EquilibriumPerformance
Throughput, loss, delayFairnessUtility
DynamicsLocal stabilityCost of stabilization
))( ),(( )1())( ),(( )1(txtpGtptxtpFtx
=+=+
![Page 9: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/9.jpg)
TCP & AQM
xi(t)
pl(t)
Duality theory equilibrium Source rates xi(t) are primal variablesCongestion measures pl(t) are dual variablesFlow control is optimization process
![Page 10: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/10.jpg)
TCP & AQM
xi(t)
pl(t)
Control theory stabilityInternet as a feedback systemDistributed & delayed
![Page 11: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/11.jpg)
Outline
TCP/AQM Reno/RED
EquilibriumDuality model
Stability & optimal controlLinearized model
A scalable control
![Page 12: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/12.jpg)
TCP & AQM
xi(t)
pl(t)
TCP: RenoVegas
AQM:DropTailREDREM/PIAVQ
![Page 13: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/13.jpg)
TCP & AQM
xi(t)
pl(t)
TCP: RenoVegas
AQM:DropTailREDREM/PIAVQ
![Page 14: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/14.jpg)
TCP/AQMTahoe (Jacobson 1988)
Slow StartCongestion AvoidanceFast Retransmit
Reno (Jacobson 1990)Fast Recovery
Vegas (Brakmo & Peterson 1994)New Congestion Avoidance
RED (Floyd & Jacobson 1993)REM/PI (Athuraliya et al 2000, Hollot et al 2001)AVQ (Kunniyur & Srikant 2001)
![Page 15: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/15.jpg)
Model structure
F1
FN
G1
GL
Rf(s)
Rb’(s)
TCP Network AQM
Multi-link multi-source network
x y
q p
from F. Paganini
![Page 16: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/16.jpg)
TCP Reno (Jacobson 1990)
SStime
window
CA
SS: Slow StartCA: Congestion Avoidance Fast retransmission/fast recovery
![Page 17: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/17.jpg)
TCP Vegas (Brakmo & Peterson 1994)
SStime
window
CA
Converges, no retransmission… provided buffer is large enough
![Page 18: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/18.jpg)
queue size
for every RTT
{ if W/RTTmin – W/RTT < α then W ++
if W/RTTmin – W/RTT > α then W -- }
for every loss
W := W/2
Vegas model
pl(t+1) = [pl(t) + yl (t)/cl - 1]+Gl:
( )
<+=+ iiiii
ii dtqtxD
txtx α)()( if 1 )(1 2
( ) else )(1 txtx ss =+
Fi:
( )
>−=+ iiiii
ii dtqtxD
txtx α)()( if 1 )(1 2
![Page 19: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/19.jpg)
Vegas model
F1
FN
G1
GL
Rf(s)
Rb’(s)
TCP Network AQM
x y
q p
+
−+= 1)()(
l
lll c
tytpG
( ))()(sgn ))((
1 )( 2 tqtxdtqd
txF iiiiii
ii −+
+= α
![Page 20: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/20.jpg)
Overview
Protocol (Reno, Vegas, RED, REM/PI…)
EquilibriumPerformance
Throughput, loss, delayFairnessUtility
DynamicsLocal stabilityCost of stabilization
))( ),(( )1())( ),(( )1(txtpGtptxtpFtx
=+=+
![Page 21: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/21.jpg)
Outline
TCP/AQMReno/RED
EquilibriumDuality model
StabilityLinearized model
A scalable control
![Page 22: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/22.jpg)
Flow control
Interaction of source rates xs(t) and congestion measures pl(t)Duality theory
They are primal and dual variables Flow control is optimization process
Example congestion measureLoss (Reno)Queueing delay (Vegas)
![Page 23: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/23.jpg)
Model
c1 c2
NetworkLinks l of capacities cl
Sources iL(s) - links used by source iUi(xi) - utility if source rate = xi
x1
x2x3
121 cxx ≤+ 231 cxx ≤+
![Page 24: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/24.jpg)
Primal problem
Llcy
xU
ll
iii
xi
∈∀≤
∑≥
, subject to
)( max0
AssumptionsStrictly concave increasing Ui
Unique optimal rates xi existDirect solution impractical
![Page 25: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/25.jpg)
Related WorkFormulation
Kelly 1997Penalty function approach
Kelly, Maulloo & Tan 1998Kunniyur & Srikant 2000
Duality approachLow & Lapsley 1999Athuraliya & Low 2000
ExtensionsMo & Walrand 2000La & Anantharam 2000
DynamicsJohari & Tan 2000, Massoulie 2000, Vinnicombe 2000, …Hollot, Misra, Towsley & Gong 2001Paganini 2000, Paganini, Doyle, Low 2001, …
![Page 26: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/26.jpg)
Duality Approach
))( ),(( )1())( ),(( )1(txtpGtptxtpFtx
=+=+
Primal-dual algorithm:
−+=
∈∀≤
∑∑
∑
≥≥
≥
)( )( max )( min
, subject to )( max
00
0
:Dual
:Primal
ll
ll
sss
xp
ll
sss
x
xcpxUpD
LlcxxU
s
s
![Page 27: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/27.jpg)
Duality Model of TCP
))( ),(( )1())( ),(( )1(txtpGtptxtpFtx
=+=+
Primal-dual algorithm:
Reno, Vegas
DropTail, RED, REM
Source algorithm iterates on ratesLink algorithm iterates on pricesWith different utility functions
![Page 28: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/28.jpg)
Duality Model of TCP
))( ),(( )1())( ),(( )1(txtpGtptxtpFtx
=+=+
Primal-dual algorithm:
Reno, Vegas
DropTail, RED, REM
(x*,p*) primal-dual optimal if and only if
0 if equality with ** >≤ lll pcy
![Page 29: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/29.jpg)
Duality Model of TCP
))( ),(( )1())( ),(( )1(txtpGtptxtpFtx
=+=+
Primal-dual algorithm:
Reno, Vegas
DropTail, RED, REM
Any link algorithm that stabilizes queuegenerates Lagrange multiplierssolves dual problem
![Page 30: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/30.jpg)
Gradient algorithm
Gradient algorithm
))(( )1( : source 1' tqUtx iii−=+
+−+=+ )])(()([ )1( :link lllll ctytptp γ
Theorem (Low & Lapsley ’99)
Converge to optimal rates in distributed asynchronous environment
![Page 31: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/31.jpg)
Gradient algorithm
Gradient algorithm
))(( )1( : source 1' tqUtx iii−=+
+−+=+ )])(()([ )1( :link lllll ctytptp γ
Vegas: approximate gradient algorithm
( ))()(sgn ))((
1 )( 2 txtxtqd
txF iiii
ii −+
+=
))(( 1' tqU ii−
![Page 32: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/32.jpg)
Summary: equilibrium
Llcx
xU
l
l
sss
xs
∈∀≤
∑≥
, subject to
)( max0
Flow control problem
TCP/AQM Maximize aggregate source utilityWith different utility functions
Primal-dual algorithm
))( ),(( )1())( ),(( )1(txtpGtptxtpFtx
=+=+ Reno, Vegas
DropTail, RED, REM
![Page 33: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/33.jpg)
Implications
PerformanceRate, delay, queue, loss
FairnessUtility function
Persistent congestion
![Page 34: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/34.jpg)
Performance
DelayCongestion measures: end to end queueingdelay
Sets rate
Equilibrium condition: Little’s Law
LossNo loss if converge (with sufficient buffer)Otherwise: revert to Reno (loss unavoidable)
)()(
tqdtxs
sss α=
![Page 35: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/35.jpg)
Vegas Utility
iiiii xdxU log)( α=
Equilibrium (x, p) = (F, G)
Proportional fairness
![Page 36: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/36.jpg)
Validation (L. Wang, Princeton)
Source 1 Source 3 Source 5
RTT (ms) 17.1 (17) 21.9 (22) 41.9 (42) Rate (pkts/s) 1205 (1200) 1228 (1200) 1161 (1200)Window (pkts) 20.5 (20.4) 27 (26.4) 49.8 (50.4)Avg backlog (pkts) 9.8 (10)
NS-2 simulation, single link, capacity = 6 pkts/ms5 sources with different propagation delays, αs = 2 pkts/RTT
meausred theory
![Page 37: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/37.jpg)
Persistent congestionVegas exploits buffer process to compute prices (queueing delays)Persistent congestion due to
Coupling of buffer & priceError in propagation delay estimation
ConsequencesExcessive backlogUnfairness to older sources
Theorem (Low, Peterson, Wang ’02)
A relative error of εs in propagation delay estimation distorts the utility function to
sssssssss xdxdxU εαε ++= log)1()(ˆ
![Page 38: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/38.jpg)
Validation (L. Wang, Princeton)
Single link, capacity = 6 pkt/ms, αs = 2 pkts/ms, ds = 10 msWith finite buffer: Vegas reverts to Reno
Without estimation error With estimation error
![Page 39: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/39.jpg)
Validation (L. Wang, Princeton)
Source rates (pkts/ms)# src1 src2 src3 src4 src51 5.98 (6)2 2.05 (2) 3.92 (4)3 0.96 (0.94) 1.46 (1.49) 3.54 (3.57)4 0.51 (0.50) 0.72 (0.73) 1.34 (1.35) 3.38 (3.39)5 0.29 (0.29) 0.40 (0.40) 0.68 (0.67) 1.30 (1.30) 3.28 (3.34)
# queue (pkts) baseRTT (ms)1 19.8 (20) 10.18 (10.18)2 59.0 (60) 13.36 (13.51)3 127.3 (127) 20.17 (20.28)4 237.5 (238) 31.50 (31.50)5 416.3 (416) 49.86 (49.80)
![Page 40: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/40.jpg)
Outline
Protocol (Reno, Vegas, RED, REM/PI…)
EquilibriumPerformance
Throughput, loss, delayFairnessUtility
DynamicsLocal stabilityCost of stabilization
))( ),(( )1())( ),(( )1(txtpGtptxtpFtx
=+=+
![Page 41: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/41.jpg)
Vegas model
F1
FN
G1
GL
Rf(s)
Rb’(s)
TCP Network AQM
x y
q p
+
−+= 1)()(
l
lll c
tytpG
( ))()(sgn ))((
1 )( 2 tqtxdtqd
txF iiiiii
ii −+
+= α
![Page 42: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/42.jpg)
Vegas model
F1
FN
G1
GL
Rf(s)
Rb’(s)
TCP Network AQM
x y
q p
[ ] lieR lislif link uses source if τv−=
[ ] lieR lislib link uses source if τw−=
![Page 43: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/43.jpg)
Approximate model
( )ii
iid
tqtxi tT
tx α)()(
2 1sgn )(
1 )( −=&
![Page 44: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/44.jpg)
Approximate model
( )ii
iid
tqtxi tT
tx α)()(
2 1sgn )(
1 )( −=&
( )ii
iid
tqtxi tT
tx αηπ
)()(1-2 1 tan
)(12 )( −=&
![Page 45: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/45.jpg)
Linearized model
iii
i
i
ii q
asTa
qxx ∂
+−=∂ & l
ll y
cp ∂−=∂ γ&
F1
FN
G1
GL
Rf(s)
Rb’(s)
TCP Network AQM
x y
q p
12 ii
i Txa
πη
−= γ controls equilibrium delay
![Page 46: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/46.jpg)
Stability
Cannot be satisfied with >1 bottleneck link!
Theorem (Choe & Low, ‘02)
Locally asymptotically stable if
c
c
i
i
aa
ωωsin
min
time triprouddelay queueinglink
> > 0.63
![Page 47: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/47.jpg)
Stabilized Vegas
( ))(1 tan)(
12 )( )()(1-2 tq
tTtx iid
tqtxi ii
ii && κηπ α −−=
( )ii
iid
tqtxi tT
tx αηπ
)()(1-2 1 tan
)(12 )( −=&
![Page 48: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/48.jpg)
Linearized model
iii
i
i
ii q
asTa
qxx ∂
+−=∂ & l
ll y
cp ∂−=∂ γ&
F1
FN
G1
GL
Rf(s)
Rb’(s)
TCP Network AQM
x y
q p
γ controls equilibrium delay
![Page 49: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/49.jpg)
Linearized model
iii
iii q
asasbx ∂
++
−=∂ µ
& ll
l yc
p ∂−=∂ γ&
F1
FN
G1
GL
Rf(s)
Rb’(s)
TCP Network AQM
x y
q p
γ controls equilibrium delaychoose ai = a, αi = µ
![Page 50: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/50.jpg)
Stability
Theorem (Choe & Low, ‘02)
Locally asymptotically stable if
),( queueing tripround
time tripround µaσM <
exampleLHS < 10*10 = 100a = 0.1, µ = 0.015 σ (a,µ) = 120
![Page 51: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/51.jpg)
Stability
Theorem (Choe & Low, ‘02)
Locally asymptotically stable if
),( queueing tripround
time tripround µaσM <
ApplicationStabilized TCP with current routersQueueing delay as congestion measure has the right scalingIncremental deployment with ECN
![Page 52: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/52.jpg)
Vertical decomposition
Utility maximization
ll
li l
lliRiiixp
ll
iii
xR
cppRxxU
Llcy
xU
ii
i
∑∑ ∑
∑
+
−
∈∀≤
≥≥
≥
min)(max min
, subject to
)( maxmax
00
0
:Dual
:Primal
Shortest path routing!
![Page 53: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/53.jpg)
Vertical decomposition
Utility maximization
ll
li l
lliRiiixp
ll
iii
xR
cppRxxU
Llcy
xU
ii
i
∑∑ ∑
∑
+
−
∈∀≤
≥≥
≥
min)(max min
, subject to
)( maxmax
00
0
:Dual
:Primal
Can shortest-path routing (IP) and TCP/AQM maximize utility?
![Page 54: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/54.jpg)
Vertical decomposition
Theorem (Wang, Li, Low, Doyle ‘02)
Primal problem is NP-hard
Cannot be solved by shortest-path routing and TCP/AQMShortest path routing based on prices can be unstableEven when stable, there can be duality gapHow well does TCP/AQM/IP solve it approximately?
![Page 55: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/55.jpg)
![Page 56: Dualtiy Model of TCP/AQM - Caltech · PDF fileSteven Low CS & EE, Caltech netlab.caltech.edu 2002. Acknowledgments S. Athuraliya, D. Lapsley, V. Li, ... Low & Lapsley 1999 Athuraliya](https://reader031.fdocuments.net/reader031/viewer/2022030419/5aa696477f8b9ae7438eebbc/html5/thumbnails/56.jpg)
Papers
A duality model of TCP flow controls (ITC, Sept 2000)
Optimization flow control, I: basic algorithm & convergence (ToN, 7(6), Dec 1999)
Understanding Vegas: a duality model (J. ACM, 2002)
Scalable laws for stable network congestion control (CDC, 2001)
REM: active queue management (Network, May/June 2001)
netlab.caltech.edu