1 / 60

Handout # 3: Probabilities Review; Switches and Queues; Link Scheduling

Handout # 3: Probabilities Review; Switches and Queues; Link Scheduling. CSC 2203 – Packet Switch and Network Architectures. Professor Yashar Ganjali Department of Computer Science University of Toronto yganjali@cs.toronto.edu http://www.cs.toronto.edu/~yganjali.

allene
Télécharger la présentation

Handout # 3: Probabilities Review; Switches and Queues; Link Scheduling

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Handout # 3: Probabilities Review; Switches and Queues; Link Scheduling CSC 2203 – Packet Switch and Network Architectures Professor Yashar Ganjali Department of Computer Science University of Toronto yganjali@cs.toronto.edu http://www.cs.toronto.edu/~yganjali TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.:

  2. Announcements • Read papers [3] and [4] (see class web page) before next class. • Contact me if you can’t find the papers. • Are you on the mailing list? University of Toronto – Fall 2012

  3. Final Projects • Project topics posted on class web site. • Meant as a starting point. • You can also choose your own topic. • Draft proposal (1 page) • Due: Fri. Oct. 5th at 5pm • Feedback: Tue. Oct. 9th • Final proposal (2 pages) • Due: Fri. Oct. 12th at 5pm • You need to talk to me about the topic before submitting a proposal. University of Toronto – Fall 2012

  4. Today • Basic Probability Theory Review • Sample spaces, events • Random variables • Discrete: Bernoulli, geometric, binomial • Continuous: Poisson, exponential • Switches and Queues • Output Link Scheduling • Max-Min Fairness • Bit by Bit Weighted Fair Queueing • Deficit Round-Robin University of Toronto – Fall 2012

  5. Suggested Books • Ross. Introduction to Probability Models • Hoel, Port, and Stone. Introduction to Stochastic Processes • Wolff. Stochastic Modeling and the Theory of Queues University of Toronto – Fall 2012

  6. Sample Spaces and Events • Sample space S: • Set of all possible outcomes of an experiment • Packets on ingress line: {arrival, no arrival} • Next packet arrival: {1, 2, 3, …} • Event E: • Any subset E of sample space S • Example: no packet arrival for 5 time slots. University of Toronto – Fall 2012

  7. Probabilities • Consider sample space S, and event E. • P(E) is a number assigned to event E such that: • 0 ≤ P(E) ≤ 1. • P(S) = 1. • If E1, E2, … are mutually exclusive we have: P(E1 U E2 U …) = P(E1) + P(E2) + …. • P(E) is called the probability of event E. University of Toronto – Fall 2012

  8. Example • Die tossing • Assume die is fair • We have P({1}) = P({2}) = … = P({6}) = 1/6 • What is the probability of getting an even number? • P({2,4,6}) = 1/6 + 1/6 + 1/6 University of Toronto – Fall 2012

  9. Random Variable • Consider a random experiment with set of outcomes S. • A random variable is a function from set of outcomes to real numbers X(a): S  S a University of Toronto – Fall 2012

  10. Example • Indicator random variable: University of Toronto – Fall 2012

  11. Bernoulli Random Variable • Experiment outcome: “arrival” or “no-arrival” • Random variable X: • Arrival  1 • No-arrival  0 • Probability of arrival = p • p(1) = P{X = 1} = p • p(0) = P{X = 0} = 1 - p • We call function p(a) of X defined by p(a) = P{X=a} the probability mass function. University of Toronto – Fall 2012

  12. CDF and PDF • Discrete random variable: • The possible values are discrete (countable) • Continuous random variable: • The random variable can take a range of values in R • Cumulative Distribution Function (CDF): • PDF and PMF: University of Toronto – Fall 2012

  13. Expectation and higher moments • Expectation (mean): • If X > 0: • Variance: University of Toronto – Fall 2012

  14. Independence • For two events A and B: • Two random variables University of Toronto – Fall 2012

  15. Stochastic Processes • A stochastic process {X(t), t  T} is a collection of random variables. • For each t  T, X(t) is a random variable. • X(t) is the state of the process at time t. • Example: number of packets in a queue • Discrete-time: T is a countable set • Continuous-time:T is an interval of real line University of Toronto – Fall 2012

  16. Bernoulli IID Arrivals • Probability of arrival at each time slot: p • Independent of other slots • IID: Independent, and Identically Distributed 3 2 1 Ingress line Time University of Toronto – Fall 2012

  17. Geometric Distribution • Repeated Trials: Number of trials till some event occurs 3 2 1 University of Toronto – Fall 2012

  18. Binomial Distribution • Repeated Trials: • Repeat the same random experiment n times. (Experiments are independent of each other) • Number of times an event A happens among n trials has Binomial distribution • (e.g., number of heads in n coin tosses, number of arrivals in n time slots,…) • Binomial is sum of n IID Bernoulli RVs University of Toronto – Fall 2012

  19. Binomial - Example n=4 p=0.2 n=10 n=20 n=40 University of Toronto – Fall 2012

  20. Binomial – Example (ball-bin) • There are B bins, n balls are randomly dropped into bins. • : Probability that a ball goes to bin i • : Number of balls in bin i after n drops University of Toronto – Fall 2012

  21. Poisson Process • Increase the number of slots, reduce probability so that the rate if fixed. 3 2 1 Bernoulli 6 5 4 3 2 1 Poisson Time University of Toronto – Fall 2012

  22. Poisson Distribution • Used to model number of arrivals University of Toronto – Fall 2012

  23. Poisson Example l=.5 l=1 l=4 l=10 University of Toronto – Fall 2012

  24. Poisson as limit of Binomial • Poisson is the limit of Binomial(n, p) as • Let University of Toronto – Fall 2012

  25. Poisson and Binomial n=5,p=4/5 Poisson(4) n=10,p=.4 n=20, p=.2 n=50,p=.08 University of Toronto – Fall 2012

  26. Merging Poisson Processes • Let’s consider two Poisson processes with rates λ and μ. • What if we merge the two? We will get a Poisson process with rate λ + μ. University of Toronto – Fall 2012

  27. Splitting Poisson Processes • Consider a Poisson process with rate λ. • We split it by flipping a coin with probability p: • Heads (probability p): process 1 • Tails (probability 1-p): process 2 We will get two Poisson processes with rates pλand (1-p)λ. University of Toronto – Fall 2012

  28. Question • What if we merge two Bernoulli IID processes? University of Toronto – Fall 2012

  29. Exponential Distribution • Continuous random variable • Models lifetime, inter-arrivals,… University of Toronto – Fall 2012

  30. Memoryless Property • True for Geometric and Exponential Dist.: • The coin does not remember that it came up tails l times • Root cause of Markov Property. University of Toronto – Fall 2012

  31. Queueing Theory • We can model arrivals to queues as • Bernoulli • Poisson • … • Departure process can be modeled similarly. • Queueing theory studies queue occupancy, delay, … for various arrivals and departures. • More on this … next week. University of Toronto – Fall 2012

  32. Today • Basic Probability Theory Review • Sample spaces, events • Random variables • Discrete: Bernoulli, geometric, binomial • Continuous: Poisson, exponential • Switches and Queues • Output Link Scheduling • Max-Min Fairness • Bit by Bit Weighted Fair Queueing • Deficit Round-Robin University of Toronto – Fall 2012

  33. Queue Terminology • Arrival process, A(t): • In continuous time, usually the cumulative number of arrivals in [0, t], • In discrete time, usually an indicator function as to whether or not an arrival occurred at time t=nT. • The arrival rate l is the expected number of arriving packets (or bits) per second. • Queue occupancy, Q(t): • Number of packets (or bits) in queue at time t. • Service discipline, S: • Indicates the sequence of departure: e.g. FIFO/FCFS, LIFO, … • Service distribution: • Indicates the time taken to process each packet: e.g. deterministic, exponentially distributed service time. • The service rate m is the expected number of served packets (or bits) per second. • Departure process, D(t): • In continuous time, usually the cumulative number of departures in [0, t], • In discrete time, usually an indicator function as to whether or not a departure occurred at time t=nT. A(t), l D(t) S,m Q(t) University of Toronto – Fall 2012

  34. More Terminology • Customer: queueing theory usually refers to queued entities as “customers”. In class, customers will usually be packets or bits. • Work: each customer is assumed to bring some work which affects its service time. For example, packets may have different lengths, and their service time might be a function of their length. • Waiting time: time that a customer waits in the queue before beginning service. • Delay: time from when a customer arrives until it has departed. University of Toronto – Fall 2012

  35. Arrival Processes • Examples of deterministic arrival processes: • E.g. 1 arrival every second; or a burst of 4 packets every other second. • A deterministic sequence may be designed to be adversarial to expose some weakness of the system. • Examples of random arrival processes: • (Discrete time) Bernoulli i.i.d. arrival process: • Let A(t) = 1 if an arrival occurs at time t, where t = nT, n=0,1,… • A(t) = 1 w.p. pand 0 w.p.1-p. • Series of independent coin tosses with p-coin. • (Continuous time) Poisson arrival process: • Exponentially distributed inter-arrival times. University of Toronto – Fall 2012

  36. If our design goal was to not drop packets, then a simple discrete time adversarial arrival process is one in which: A1(t) = A2(t) = … = Ak+1(t) = 1, and All packets are destined to output t mod N. Adversarial Arrival ProcessesExample for “Knockout” Switch Memory write bandwidth = k.R < N.R 1 R R 2 R R 3 R R N R R University of Toronto – Fall 2012

  37. Bernoulli Arrival Process Memory write bandwidth = N.R 1 A1(t) R R 2 A2(t) R R 3 A3(t) R R N AN(t) R R • Assume Ai(t) = 1 w.p. p, else 0. • Assume each arrival picks an output independently, uniformly and at random. • Some simple results follow: • 1. Probability that at time t a packet arrives to input i destined to output j is p/N. • 2. Probability that two consecutive packets arrive to input i is the same as the probability that packets arriveto inputs i and j simultaneously, equals p2. • Questions: • 1. What is the probability that two arrivals occur at input i in any three time slots? • 2. What is the probability that two arrivals occur for output j in any three time slots? • 3. What is the probability that queue i holds k packets? University of Toronto – Fall 2012

  38. Simple Deterministic Model Cumulative number of bits that arrived up until time t. A(t) A(t) Cumulative number of bits D(t) Q(t) R Service process time D(t) • Properties of A(t), D(t): • A(t), D(t) are non-decreasing • A(t) >= D(t) Cumulative number of departed bits up until time t. University of Toronto – Fall 2012

  39. Simple Deterministic Model Cumulative number of bits d(t) A(t) Q(t) D(t) time Queue occupancy: Q(t) = A(t) - D(t). Queueing delay, d(t), is the time spent in the queue by a bit that arrived at time t, (assuming that the queue is served FCFS/FIFO). University of Toronto – Fall 2012

  40. Today • Basic Probability Theory Review • Sample spaces, events • Random variables • Discrete: Bernoulli, geometric, binomial • Continuous: Poisson, exponential • Switches and Queues • Output Link Scheduling • Max-Min Fairness • Bit by Bit Weighted Fair Queueing • Deficit Round-Robin University of Toronto – Fall 2012

  41. FIFO Queue Problems • In order to maximize its chances of success, a source has an incentive to maximize the rate at which it transmits. • When many flows pass through it, a FIFO queue is “unfair” – it favors the most greedy flow. • It is hard to control the delay of packets through a network of FIFO queues. Fairness Delay Guarantees University of Toronto – Fall 2012

  42. Fairness 10 Mb/s 0.55 Mb/s A 1.1 Mb/s 100 Mb/s C R1 e.g. an http flow with a given (IP SA, IP DA, TCP SP, TCP DP) 0.55 Mb/s B What is the “fair” allocation: (0.55Mb/s, 0.55Mb/s) or (0.1Mb/s, 1Mb/s)? University of Toronto – Fall 2012

  43. Fairness 10 Mb/s A 1.1 Mb/s R1 100 Mb/s D B 0.2 Mb/s What is the “fair” allocation? C University of Toronto – Fall 2012

  44. Movie Upload – 1Gbps VoIP – 64Kbps Fairness and Delay 54Mbps 5Mbps University of Toronto – Fall 2012

  45. Max-Min Fairness • N flows share a link of rate C. Flow f wishes to send at rate W(f), and is allocated rate R(f). • Pick the flow, f, with the smallest requested rate. • If W(f) < C/N, then set R(f) = W(f). • If W(f) > C/N, then set R(f) = C/N. • Set N = N – 1. • Set C = C – R(f). • If N > 0 repeat for the rest of flows. University of Toronto – Fall 2012

  46. Round 1: Set R(f1) = 0.1 Round 2: Set R(f2) = 0.9/3 = 0.3 Round 3: Set R(f4) = 0.6/2 = 0.3 Round 4: Set R(f3) = 0.3/1 = 0.3 Max-Min Fairness - Example W(f1) = 0.1 1 W(f2) = 0.5 C R1 W(f3) = 10 W(f4) = 5 University of Toronto – Fall 2012

  47. Max-Min Fairness • How can an Internet router “allocate” different rates to different flows? • First, let’s see how a router can allocate the “same” rate to different flows… University of Toronto – Fall 2012

  48. Fair Queueing • Packets belonging to a flow are placed in a FIFO. This is called “per-flow queueing”. • FIFOs are scheduled one bit at a time, in a round-robin fashion. • This is called Bit-by-Bit Fair Queueing. Flow 1 Bit-by-bit round robin Classification Scheduling Flow N University of Toronto – Fall 2012

  49. Weighted Bit-by-Bit Fair Queueing • Likewise, flows can be allocated different rates by servicing a different number of bits for each flow during each round. R(f1) = 0.1 1 R(f2) = 0.3 C R1 R(f3) = 0.3 R(f4) = 0.3 Order of service for the four queues: … f1, f2, f2, f2, f3, f3, f3, f4, f4, f4, f1,… Also called “Generalized Processor Sharing (GPS)” University of Toronto – Fall 2012

  50. Packetized Weighted Fair Queueing • Problem: We need to serve a whole packet at a time. • Solution: • Determine what time a packet, p, would complete if we served flows bit-by-bit. Call this the packet’s finishing time, F. • Serve packets in the order of increasing finishing time. • Theorem: Packet p will depart before F + Tmax Also called “Packetized Generalized Processor Sharing (PGPS)” University of Toronto – Fall 2012

More Related