Intro to Deterministic Analysis

Slides:



Advertisements
Similar presentations
Min-Plus Linear Systems Theory and Bandwidth Estimation Min-Plus Linear Systems Theory and Bandwidth Estimation TexPoint fonts used in EMF. Read the TexPoint.
Advertisements

1 CNPA B Nasser S. Abouzakhar Queuing Disciplines Week 8 – Lecture 2 16 th November, 2009.
1 CONGESTION CONTROL. 2 Congestion Control When one part of the subnet (e.g. one or more routers in an area) becomes overloaded, congestion results. Because.
1.  Congestion Control Congestion Control  Factors that Cause Congestion Factors that Cause Congestion  Congestion Control vs Flow Control Congestion.
Token Bucket. © Jörg Liebeherr, 2013 Tokens are added at rate r up to a maximum size of TB max.
Courtesy: Nick McKeown, Stanford 1 Intro to Quality of Service Tahir Azim.
Recent Progress on a Statistical Network Calculus Jorg Liebeherr Department of Computer Science University of Virginia.
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.
Worst-case Fair Weighted Fair Queueing (WF²Q) by Jon C.R. Bennett & Hui Zhang Presented by Vitali Greenberg.
Scheduling CS 215 W Keshav Chpt 9 Problem: given N packet streams contending for the same channel, how to schedule pkt transmissions?
CS 268: Lecture 15/16 (Packet Scheduling) Ion Stoica April 8/10, 2002.
Computer Networking Lecture 17 – Queue Management As usual: Thanks to Srini Seshan and Dave Anderson.
May, Bit Round Robin Scheduling t t t. May, Bit Round Robin Scheduling t t t.
CS144, Stanford University Error in Q3-7. CS144, Stanford University Using longest prefix matching, the IP address will match which entry? a /8.
Localized Asynchronous Packet Scheduling for Buffered Crossbar Switches Deng Pan and Yuanyuan Yang State University of New York Stony Brook.
Lesson 11: Solved M/G/1 Exercises
Packet Scheduling From Ion Stoica. 2 Packet Scheduling  Decide when and what packet to send on output link -Usually implemented at output interface 1.
Bandwidth Estimation TexPoint fonts used in EMF.
Advance Computer Networking L-5 TCP & Routers Acknowledgments: Lecture slides are from the graduate level Computer Networks course thought by Srinivasan.
1. Performance Guarantees Introduction –by asking sources about flow behavior it is possible to construct networks that could guarantee performance for.
Fair Queueing. 2 First-Come-First Served (FIFO) Packets are transmitted in the order of their arrival Advantage: –Very simple to implement Disadvantage:
March 29 Scheduling ?. What is Packet Scheduling? Decide when and what packet to send on output link 1 2 Scheduler flow 1 flow 2 flow n Buffer management.
Scheduling Determines which packet gets the resource. Enforces resource allocation to each flows. To be “Fair”, scheduling must: –Keep track of how many.
Deterministic Network Calculus. DNC history Queueing Theory, Agner Krarup Erlang, 1909 Queueing Networks, James R. Jackson, 1957 Scheduling Theory, Liu.
1 Fair Queuing Hamed Khanmirza Principles of Network University of Tehran.
Delay in packet switched network. Circuit switching In Circuit switched networks the resources needed along a path (buffers and link transmission rate)
Univ. of TehranIntroduction to Computer Network1 An Introduction Computer Networks An Introduction to Computer Networks University of Tehran Dept. of EE.
1 Lecture 15 Internet resource allocation and QoS Resource Reservation Protocol Integrated Services Differentiated Services.
CS Spring 2011 CS 414 – Multimedia Systems Design Lecture 17 – Multimedia Transport Subsystem (Part 3) Klara Nahrstedt Spring 2011.
CS244 Packet Scheduling (Generalized Processor Sharing) Some slides created by: Ion Stoica and Mohammad Alizadeh
04/02/08 1 Packet Scheduling IT610 Prof. A. Sahoo KReSIT.
Packet Scheduling (and QoS)
QoS & Queuing Theory CS352.
Topics discussed in this section:
CS 5565 Network Architecture and Protocols
Intro to Deterministic Analysis
Intro to Deterministic Analysis
Packet Forwarding.
CONGESTION CONTROL.
TCP, XCP and Fair Queueing
Delays in Packet Networks
Queuing and Queue Management
Scheduling in Packet Networks
Fair Queueing.
Advance Computer Networking
Intro to Deterministic Analysis
Congestion Control (from Chapter 05)
Token Bucket.
Congestion Control (from Chapter 05)
Advance Computer Networking
COMP/ELEC 429 Introduction to Computer Networks
© J. Liebeherr, All rights reserved, 2018
Congestion Control (from Chapter 05)
Congestion Control Reasons:
Buffered Link.
Schedulability Conditions for Scheduling Algorithms
MECH 3550 : Simulation & Visualization
Congestion Control (from Chapter 05)
Congestion Control (from Chapter 05)
ECE 1545 Service Curve Earliest Deadline Due (SCED) or How to construct a scheduler from a service curve.
Congestion Control (from Chapter 05)
Introduction to Packet Scheduling
Congestion Control (from Chapter 05)
Congestion Control (from Chapter 05)
EECS 122: Introduction to Computer Networks Packet Scheduling and QoS
Intro to Deterministic Analysis
Fair Queueing.
Duality of Min-Plus and Max-Plus Network Calculus
Introduction to Packet Scheduling
کنترل جریان امیدرضا معروضی.
Presentation transcript:

Intro to Deterministic Analysis left-continuous

Deterministic network calculus: Theory for obtain worst-case (=deterministic) network performance Developed in the 1990s (Rene Cruz) Bounds of interest: Delay at a switch Backlog at a switch Traffic at output of switch © Jörg Liebeherr, 2011

Components of a Packet Switch © Jörg Liebeherr, 2011

Modeling a packet switch Model with input and output buffers © Jörg Liebeherr, 2011

Modeling a packet switch Model with input and output buffers Simplified model (only output buffers) © Jörg Liebeherr, 2011

A path of network switches © Jörg Liebeherr, 2011

Model of a switch Buffering takes place only at the output. (Neglect processing delay) © Jörg Liebeherr, 2011

Packet arrivals Store and Forward: Packet arrives to buffer only after all bytes of the packet have been received An arrival to the buffer appears instantaneous Multiple packets can arrive at the same time Scheduling Algorithms: FIFO Priority Round-Robin Earliest-Deadline-First © Jörg Liebeherr, 2011

Modeling Traffic Arrivals We write arrivals as functions of time: A(t) : Arrivals until time t, measured in bits There are a number of choices to be made: Continuous time or Discrete time domain Discrete sized or fluid flow traffic Left-continuous or right-continuous © Jörg Liebeherr, 2011

Continuous time vs. Discrete time Domain Continous time: t is a non-negative real number Discrete time: Time is divided in clock ticks t = 0,1,2, …. © Jörg Liebeherr, 2011

Discrete-sized vs. Fluid flow Traffic arrives in multiples of bits Traffic arrives like a fluid It is often simpler to view traffic as a fluid flow, that allows discrete sized bursts © Jörg Liebeherr, 2011

Left-continuous vs. right-continuous With instantaneous (discrete-sized) arrivals in a continuous time domain, the arrival function A is a step function There is a choice to draw the step function: © Jörg Liebeherr, 2006 ECE 1545

Left-continuous vs. right-continuous A(t) considers arrivals in (0,t] A(t) considers arrivals in [0,t) (Note: A(0) = 0 !) We will use a left-continuous arrival function © Jörg Liebeherr, 2011

Arrivals of packets to a buffered link Backlog at the buffered link

Arrival and departure functions

Backlog Backlog Link rate of output is C Packet length is up to L bits long Assumptions: Scheduler is work-conserving (always transmitting when there is a backlog) Infinite Buffers Backlog slope C © Jörg Liebeherr, 2006 ECE 1545

Definitions: © Jörg Liebeherr, 2006 ECE 1545

Dealing with instantaneous arrivals If we have an instantaneous arrival, then the arrival function is a step function. Need to decide which time the arrival takes place. We assume that the arrival occurs at time t+ This leads to a left-continuous arrival function. © Jörg Liebeherr, 2006 ECE 1545

© Jörg Liebeherr, 2006 ECE 1545