Modeling the Interactions of Congestion Control and Switch Scheduling Alex Shpiner Joint work with Isaac Keslassy Faculty of Electrical Engineering Faculty.

Slides:



Advertisements
Similar presentations
Balaji Prabhakar Active queue management and bandwidth partitioning algorithms Balaji Prabhakar Departments of EE and CS Stanford University
Advertisements

A Switch-Based Approach to Starvation in Data Centers Alex Shpiner and Isaac Keslassy Department of Electrical Engineering, Technion. Gabi Bracha, Eyal.
CSIT560 Internet Infrastructure: Switches and Routers Active Queue Management Presented By: Gary Po, Henry Hui and Kenny Chong.
Optimal-Complexity Optical Router Hadas Kogan, Isaac Keslassy Technion (Israel)
24.1 Chapter 24 Congestion Control and Quality of Service Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.
Courtesy: Nick McKeown, Stanford 1 Intro to Quality of Service Tahir Azim.
© 2006 Cisco Systems, Inc. All rights reserved.QoS v2.2—5-1 Congestion Management Configuring FIFO and WFQ.
XCP: Congestion Control for High Bandwidth-Delay Product Network Dina Katabi, Mark Handley and Charlie Rohrs Presented by Ao-Jan Su.
High-Performance Networking Group Isaac Keslassy, Nick McKeown
On Modeling Feedback Congestion Control Mechanism of TCP using Fluid Flow Approximation and Queuing Theory  Hisamatu Hiroyuki Department of Infomatics.
Submitters: Erez Rokah Erez Goldshide Supervisor: Yossi Kanizo.
Nick McKeown CS244 Lecture 6 Packet Switches. What you said The very premise of the paper was a bit of an eye- opener for me, for previously I had never.
Designing Networks with Little or No Buffers or Can Gulliver Survive in Lilliput? Yashar Ganjali High Performance Networking Group Stanford University.
A Scalable Switch for Service Guarantees Bill Lin (University of California, San Diego) Isaac Keslassy (Technion, Israel)
Algorithm Orals Algorithm Qualifying Examination Orals Achieving 100% Throughput in IQ/CIOQ Switches using Maximum Size and Maximal Matching Algorithms.
AQM for Congestion Control1 A Study of Active Queue Management for Congestion Control Victor Firoiu Marty Borden.
Networks: Congestion Control1 Congestion Control.
1 Input Queued Switches: Cell Switching vs. Packet Switching Abtin Keshavarzian Joint work with Yashar Ganjali, Devavrat Shah Stanford University.
1 Comnet 2006 Communication Networks Recitation 5 Input Queuing Scheduling & Combined Switches.
The Concurrent Matching Switch Architecture Bill Lin (University of California, San Diego) Isaac Keslassy (Technion, Israel)
Analysis and Simulation of a Fair Queuing Algorithm
Packet-Mode Emulation of Output-Queued Switches David Hay, CS, Technion Joint work with Hagit Attiya (CS) and Isaac Keslassy (EE)
048866: Packet Switch Architectures Dr. Isaac Keslassy Electrical Engineering, Technion Input-Queued.
048866: Packet Switch Architectures Dr. Isaac Keslassy Electrical Engineering, Technion MSM.
CSIT560 by M. Hamdi 1 Course Exam: Review April 18/19 (in-Class)
048866: Packet Switch Architectures Dr. Isaac Keslassy Electrical Engineering, Technion The.
Guaranteed Smooth Scheduling in Packet Switches Isaac Keslassy (Stanford University), Murali Kodialam, T.V. Lakshman, Dimitri Stiliadis (Bell-Labs)
Modeling TCP in Small-Buffer Networks
The Crosspoint Queued Switch Yossi Kanizo (Technion, Israel) Joint work with Isaac Keslassy (Technion, Israel) and David Hay (Politecnico di Torino, Italy)
A Switch-Based Approach to Starvation in Data Centers Alex Shpiner Joint work with Isaac Keslassy Faculty of Electrical Engineering Faculty of Electrical.
1 EE384Y: Packet Switch Architectures Part II Load-balanced Switches Nick McKeown Professor of Electrical Engineering and Computer Science, Stanford University.
Active Queue Management Rong Pan Cisco System EE384y Spring Quarter 2006.
COMP680E by M. Hamdi 1 Course Exam: Review April 17 (in-Class)
1 Achieving 100% throughput Where we are in the course… 1. Switch model 2. Uniform traffic  Technique: Uniform schedule (easy) 3. Non-uniform traffic,
048866: Packet Switch Architectures Dr. Isaac Keslassy Electrical Engineering, Technion Maximal.
Surprise Quiz EE384Z: McKeown, Prabhakar ”Your Worst Nightmares in Packet Switching Architectures”, 3 units [Total time = 15 mins, Marks: 15, Credit is.
UCB Improvements in Core-Stateless Fair Queueing (CSFQ) Ling Huang U.C. Berkeley cml.me.berkeley.edu/~hlion.
048866: Packet Switch Architectures Dr. Isaac Keslassy Electrical Engineering, Technion Scheduling.
CS144, Stanford University Error in Q3-7. CS144, Stanford University Using longest prefix matching, the IP address will match which entry? a /8.
Load Balancing and Switch Scheduling Xiangheng Liu EE 384Y Final Presentation June 4, 2003.
Pipelined Two Step Iterative Matching Algorithms for CIOQ Crossbar Switches Deng Pan and Yuanyuan Yang State University of New York, Stony Brook.
Localized Asynchronous Packet Scheduling for Buffered Crossbar Switches Deng Pan and Yuanyuan Yang State University of New York Stony Brook.
Buffer requirements for TCP: queueing theory & synchronization analysis Gaurav RainaDamon Wischik CambridgeUCL.
Load Balanced Birkhoff-von Neumann Switches
1 MaxNet and TCP Reno/RED on mice traffic Khoa Truong Phan Ho Chi Minh city University of Technology (HCMUT)
Summary of switching theory Balaji Prabhakar Stanford University.
Bandwidth partitioning (jointly with R. Pan, C. Psounis, C. Nair, B. Yang, L. Breslau and S. Shenker)
The Router SC 504 Project Gardar Hauksson Allen Liu.
Packet Scheduling and Buffer Management Switches S.Keshav: “ An Engineering Approach to Networking”
1 Performance Guarantees for Internet Routers ISL Affiliates Meeting April 4 th 2002 Nick McKeown Professor of Electrical Engineering and Computer Science,
Michael Schapira Yale and UC Berkeley Joint work with P. Brighten Godfrey, Aviv Zohar and Scott Shenker.
Winter 2006EE384x1 EE384x: Packet Switch Architectures I a) Delay Guarantees with Parallel Shared Memory b) Summary of Deterministic Analysis Nick McKeown.
Guaranteed Smooth Scheduling in Packet Switches Isaac Keslassy (Stanford University), Murali Kodialam, T.V. Lakshman, Dimitri Stiliadis (Bell-Labs)
Network teleology Damon Wischik
We used ns-2 network simulator [5] to evaluate RED-DT and compare its performance to RED [1], FRED [2], LQD [3], and CHOKe [4]. All simulation scenarios.
Buffered Crossbars With Performance Guarantees Shang-Tse (Da) Chuang Cisco Systems EE384Y Thursday, April 27, 2006.
Queueing in switched networks Damon Wischik, UCL thanks to Devavrat Shah, MIT TexPoint fonts used in EMF. Read the TexPoint manual before you delete this.
1 Fair Queuing Hamed Khanmirza Principles of Network University of Tehran.
XCP: eXplicit Control Protocol Dina Katabi MIT Lab for Computer Science
Queue Scheduling Disciplines
Achieving Stability in a Network of IQ Switches Neha Kumar Shubha U. Nabar.
Spring Computer Networks1 Congestion Control Sections 6.1 – 6.4 Outline Preliminaries Queuing Discipline Reacting to Congestion Avoiding Congestion.
Input buffered switches (1)
Providing QoS in IP Networks
scheduling for local-area networks”
QoS & Queuing Theory CS352.
Congestion Control and
Tapping Into The Unutilized Router Processing Power
EE 122: Lecture 7 Ion Stoica September 18, 2001.
Stability of Congestion Control Algorithms Using Control Theory with an application to XCP Ioannis Papadimitriou George Mavromatis.
Presentation transcript:

Modeling the Interactions of Congestion Control and Switch Scheduling Alex Shpiner Joint work with Isaac Keslassy Faculty of Electrical Engineering Faculty of Electrical Engineering, Technion IIT, Haifa, Israel

2 Users Vs. Routers Users Congestion Control Switch Scheduling

User-Centric View 3 Users

4 Related Work: View Related Work: User-Centric View  Flow rate equilibrium  F. Kelly, “Mathematical modeling of the Internet”,  Router Buffer Sizing  G. Appenzeller, I. Keslassy, and N. McKeown, “Sizing router buffers”,  TCP Dynamics  M. Wang, “Mean-field analysis of buffer sizing”,  Weighted Fair Queuing (WFQ)  H. Hassan, O. Brun, J. M. Garcia, and D. Gauchard, “Integration of streaming and elastic traffic: a fixed point approach”,  Active Queue Managemnet (AQM)  T. Bu and D. F. Towsley, “A fixed point approximation of TCP behavior in a network”, 2001.

5 Router-Centric View

6 Related Work: View Related Work: Router-Centric View  Maximum Weight Matching (MWM)  N. McKeown, V. Anantharan, and J. Walrand, “Achieving 100% throughput in an input-queued switch”,  Birkhoff von-Neumann (BvN)  C. S. Chang, W. J. Chen, and H. Y. Huang, “On service guarantees for input buffered crossbar switches”,  iSLIP  N. McKeown, “The iSLIP scheduling algorithm for input-queued switches”, 1999.

7 Single Port Model (Nx1) No switch scheduling: FIFO (OQ)

8 Single Port Model (Nx1)

Simple Example – The Two Views 9 t W 1, W 2 TCP UDP FIFO MWM (UDP is non-responsive traffic) [Shah and Wischik ’06] [Kelly ’01]

Simple Example – The Interaction 10 Q2Q2 t Q1Q1 Q1Q1 Q2Q2 Starvation!

RoutersUsers OK-+ RoutersUsers OK Two Conflicting Views of Regulation RoutersUsers OK-+ +- X++

12 Related Work  Interaction of responsive flows with MWM switch scheduling  P. Giaccone, E. Leonardi, F. Neri, “On the behavior of optimal scheduling algorithms under TCP sources”,  Prove fair system equilibrium.  But: rely on RED AQM and doesn’t reflect the possible extreme unfairness which occur without AQM.  Interaction of responsive flows in wireless networks  A. Eryilmaz and R. Srikant, “Fair resource allocation in wireless networks using queue-length-based scheduling and congestion control”,  Assume congestion control fundamentally different from TCP.

13 Our Contributions  Study interactions between congestion control and switch scheduling  Discover different modes of interaction  Starvation, oscillation, equalization.  Describe system dynamics using differential equations

14Outline  Introduction  Fairness  Network Dynamics  NxN Switch  Simulations

15  Example: Throughput of flow k:  In general:  Intuition: symmetry  Fair for flows Fairness in Ideal (FIFO / OQ) Switch

16 Fairness of IQ Switch with iSLIP Scheduling  Example: Throughput of flow k in port i:  In general:  Intuition: round-robin between ports  Fair for ports, but not for flows! RR

17 MWM Scheduling  Three modes:  Starvation  Oscillation  Equalization LQF

18 MWM – Starvation Mode Δt C – time before window starts growing again Δt E – time to equalize the queue Δt E >Δt C Always Q 1 > Q 2 : Starvation mode Congestion

19 MWM – Oscillation Mode Δt C – time before window starts growing again Δt E – time to equalize the queues Δt E <Δt C Any of the queues might start growing after congestion: Oscillation mode Congestion

20 MWM – Equalization Mode  Until now we talked about TCP only.  How does UDP (non-responsive traffic) affect the model?  In equalization mode - roughly Q 1 (t)=Q 2 (t)  If whenever Q 1 (t)>Q 2 (t) , then no prevailing queue  For UDP arrivals rate large enough, the model looks like UDP + MWM C 1 = λ 1 C 2 = λ 2 As long as λ 1 +λ 2 < C out Fair

21 Simulations - MWM Modes Simulation parameters: Fig. 1 – 2 TCP flows, no UDP, C out =1Mbps, B=41KB, avg. t p = 100/150 ms Fig. 2 – 10 TCP flows, no UDP, C out = 5Mbps, B=150KB, avg. t p = 100/150 ms Fig. 3 – 2 TCP flows, Cout = 2Mbps, B=31KB, UDP = 20%*C, avg. t p = 100/150 ms 2x1 MWM Starvation Mode 2x1 MWM Oscillation Mode 2x1 MWM Equalization Mode

22Outline  Introduction  Fairness  Network Dynamics  NxN Switch  Simulations

23 Network Dynamics  Set of equations describing the dynamics of Internet traffic through Nx1 IQ switch. 1. Congestion control equations (users)  TCP Stable phase  TCP Congestion phase  UDP flow 2. Switch scheduling equations (routers)  iSLIP  MWM

24 Network Dynamics - iSLIP  Set of equations describing the dynamics of Internet traffic through Nx1 IQ switch. 1. Congestion control equations  TCP Stable phase  TCP Congestion phase  UDP flow 2. Switch scheduling equations  iSLIP 2 equations per flow: - Congestion control - Switch scheduling 2 variables per flow:

25 Network Dynamics - MWM  Set of equations describing the dynamics of Internet traffic through Nx1 IQ switch. 1. Congestion control equations  TCP Stable phase  TCP Congestion phase  UDP flow 2. Switch scheduling equations  MWM 2 equations per flow - Congestion control - Switch scheduling 2 variables per flow

26 Simulations – iSLIP Network Dynamics Simulation parameters: 2x1, 100 TCP flows, 5%*C out UDP rate, C out = 100Mbps, B=180KB, avg. t p = 100/150 ms Matlab ModelNs2 Simulation Time (sec)

27 Simulations – MWM Network Dynamics Matlab ModelNs2 Simulation Simulation parameters: 2x1, 100 TCP flows, UDP rate 5%*C out, C out = 5Mbps, B=70KB, avg. t p = 100/150 ms Time (sec) (equalization mode)

28Outline  Introduction  Fairness  Network Dynamics  NxN switch  Simulations

29 NxN switch Nx1 → NxN  MWM: We expect equalization/starvation of the number of packets in permutations, not in individual queues.

30 Simulations – 3x3 MWM Equalization mode (for permutations) Starvation mode (for permutations) Simulation Parameters: 100 TCP flows per input/output pair and UDP rate 5%*C out C out = 100Mbps, B=2.5MB, avg. t p =100msC out = 1Mbps, B=10MB, avg. t p =100ms

31Summary  Interactions of congestion control and switch scheduling can lead to extreme unfairness and flow starvation.  iSLIP switch model can be fair for ports, not for flows.  Three modes of MWM behavior: starvation, oscillation and equalization.  Dynamics of Internet traffic in real iSLIP and MWM switches.  iSLIP less unfair than MWM.

Thank you.