Pull versus Push Mechanism in Large Distributed Networks: Closed Form Results


 Gladys Hart
 1 years ago
 Views:
Transcription
1 Pull versus Push Mechanism in Large Distributed Networks: Closed Form Results Wouter Minnebo, Benny Van Houdt Dept. Mathematics and Computer Science University of Antwerp  iminds Antwerp, Belgium Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 1/15
2 Outline Problem description Pull / Push / Hybrid strategies Finite system model Continuous time Markov chain Infinite system model Ordinary differential equations Closed form results Finite system simulations Conclusion Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 2/15
3 Problem Description Set of M / M /1 queues N queues (single server with infinite waiting room) Each has its own arrival stream of jobs: Poisson (λ) Processing time is exponential (µ = 1) Distribute work to reduce response time Some servers may be empty while others have jobs waiting inefficient Distribute waiting jobs (load sharing) Pull strategies (work stealing): Lightlyloaded servers attempt to attract work Push strategies: Heavilyloaded servers attempt to forward work Hybrid strategies: Combine Pull and Push strategy Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 3/15
4 Load sharing strategies Communication via probe messages Random queues are probed according to an Interrupted Poisson process (r) If the target accepts, a task is transfered to it Transfer and probe time is considered zero, i.e., instantaneous Strategies Pull: Idle servers generate probes (r), busy servers accept Push: Servers with pending jobs generate probes (r), idle servers accept Hybrid: Idle and servers with pending jobs generate probes (r = r 1 + r 2 ), servers accept accordingly Performance What is the required probe rate of a strategy to achieve a specified mean delay? Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 4/15
5 Load sharing strategies Relation to existing work Other works frequently use a maximum of Lp probes (in batch or onebyone) at task arrival / completion instead of ratebased probing Parameter r allows to match any predefined R It is fair to compare strategies if they have a similar (preferably equal) overall probe rate R Remarks Ratebased probing performs better, given the same overall probe rate R, if the Lp probes are sent in batch Both methods are equivalent if overall probe rate R is matched, given that the Lp probes are sent onebyone until success or the maximum is reached Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 5/15
6 Finite system model  Continuous time Markov chain System state N queues, independent arrivals and completions Define X (N) (t) = (X N 1 (t), X N 2 (t),...) t 0 X (N) i (t) {0,..., N} : Number of nodes with at least i jobs in queue at time t Note that for any state x = (x 1, x 2,...), x i x i+1 for all i 1 State transitions q (N) (x, y) is the transition rate between state x = (x 1, x 2,...) and y = (y 1, y 2,...) Events incurring a state change: Arrival Completion Succesful job transfer Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 6/15
7 Finite system model  Continuous time Markov chain State transitions Arrival : y = x + e i q (N) (x, y) = λ(x i 1 x i ) Completion : y = x e i q (N) (x, y) = (x i x i+1 ) Succesful task transfer : y = x + e 1 e i q (N) (x, y) = r(n x 1)(x i x i+1 ) N Load sharing strategies These transitions describe both pull, push and hybrid strategies, although semantics differ Probe rate target is idle initiator has exactly i jobs Push Probe rate initiator is idle target has exactly i jobs Pull Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 7/15
8 From Finite to Infinite Transition rates Define β l (x/n) = q (N) (x, x + l)/n, such that β ei (x/n) = λ(x i 1 /N x i /N), for i 1 β ei (x/n) = (x i /N x i+1 /N), for i 1 β e1 e i (x/n) = r(1 x 1 /N)(x i /N x i+1 /N) for i 2 Define F (x) = i 1 (e iβ ei (x) e i β ei (x)) + i 2 (e 1 e i )β e1 e i (x) Then the ODEs d dt x(t) = F (x(t)) describe the evolution of the infinite system model Density dependent Markov chain [Kurtz] of infinite dimensionality Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 8/15
9 Infinite system model  Ordinary differential equations Description Let x i (t) be the fraction of nodes with at least i jobs at time t The set d dt x(t) = F (x(t)) can be written as Arrivals d dt x 1(t) = ( {}}{ { }} { λ + rx 2 (t)) (1 x 1 (t)) } {{ } (x 1(t) x 2 (t)) } {{ } Incoming job transfers Completions Completions { }} { d dt x i(t)=λ(x i 1 (t) x i (t)) } {{ } ({}}{ 1 + r(1 x 1 (t))) (x i (t) x i+1 (t)) } {{ } Arrivals Outgoing job transfers Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 9/15
10 Infinite system model  Closed form results Unique fixed point Describes cumulative queue length distribution at t = π = (π 1, π 2,...) with i 1 π i <, explicitly: ( λ π i = λ 1 + (1 λ)r ) i 1 Performance The fixed point is a global attractor Proof by the KrasovskiiLasalle principle The mean response time is then given by: D = 1 + λ (1 λ)(1 + r) Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 10/15
11 Infinite system model  Closed form results Load sharing strategies D = 1 + Valid for Push / Pull / Hybrid λ (1 λ)(1 + r) Difference lies in the generated overall probe rate R: R = (1 λ)r 1 + r 2 λ (1 λ)r Using r = r 1 + r 2 for the Hybrid strategy Setting (r 1, r 2 ) = (r, 0) and (0, r) results in R pull and R push respectively Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 11/15
12 Infinite system model  Closed form results Mean response time Hybrid strategy is always inferior Using the relationship R, rewrite: D push = λ (1 λ)(λ + R), for R < λ2 /(1 λ) D push = 1, for R λ 2 /(1 λ) D pull = 1 + R 1 λ + R (1+R) 2 +4(1+R) (1+R) Resulting in D push < D pull if λ < 2 If R 0, D push < D pull if λ < φ 1 with φ = (1 + 5)/2 Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 12/15
13 Finite system simulations Finite vs. Infinite Errors are proportional to both load (λ) and probe rate (r) Using a push strategy r decreases with λ, nearly load insensitive error Using a pull strategy r increases with λ, larger error under high load Infinite model is accurate for large N : λ = λ = 0.95 Mean Delay (D push ) λ = λ = λ = Mean Delay (D pull ) λ = λ = λ = Infinity Infinity Number of Nodes (N) Number of Nodes (N) Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 13/15
14 Finite system simulations Finite vs. Infinite Simulation results using N = 100 (crosses) vs. infinite model: Mean Delay (D) push, R=0.5 push, R=1.0 pull, R=0.5 pull, R=1.0 Mean Delay (D) push, R=1.0 pull, R= Load (λ) Load (λ) Infinite model accurately predicts λ where both strategies perform equally well, even for systems of moderate size Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 14/15
15 Conclusion Push / Pull / Hybrid strategies Push outperforms pull (for N = ) if and only if: λ < (1+R) 2 +4(1+R) (1+R) Hybrid strategy is always inferior to pure push or pull strategy (proof in paper) Finite vs. Infinite Infinite model predicts finite model accurately Technical issues to formally prove the convergence of the steady state measures of the finite system model to the infinite system model were identified (see paper for details) 2 Wouter Minnebo, Benny Van Houdt Pull vs Push strategies 15/15
Analysis of a Production/Inventory System with Multiple Retailers
Analysis of a Production/Inventory System with Multiple Retailers Ann M. Noblesse 1, Robert N. Boute 1,2, Marc R. Lambrecht 1, Benny Van Houdt 3 1 Research Center for Operations Management, University
More informationHydrodynamic Limits of Randomized Load Balancing Networks
Hydrodynamic Limits of Randomized Load Balancing Networks Kavita Ramanan and Mohammadreza Aghajani Brown University Stochastic Networks and Stochastic Geometry a conference in honour of François Baccelli
More informationLoad Balancing and Switch Scheduling
EE384Y Project Final Report Load Balancing and Switch Scheduling Xiangheng Liu Department of Electrical Engineering Stanford University, Stanford CA 94305 Email: liuxh@systems.stanford.edu Abstract Load
More informationPerformance Analysis of a Telephone System with both Patient and Impatient Customers
Performance Analysis of a Telephone System with both Patient and Impatient Customers Yiqiang Quennel Zhao Department of Mathematics and Statistics University of Winnipeg Winnipeg, Manitoba Canada R3B 2E9
More informationModelling the performance of computer mirroring with difference queues
Modelling the performance of computer mirroring with difference queues Przemyslaw Pochec Faculty of Computer Science University of New Brunswick, Fredericton, Canada E3A 5A3 email pochec@unb.ca ABSTRACT
More information4 The M/M/1 queue. 4.1 Timedependent behaviour
4 The M/M/1 queue In this chapter we will analyze the model with exponential interarrival times with mean 1/λ, exponential service times with mean 1/µ and a single server. Customers are served in order
More informationDPolicy for a Production Inventory System with Perishable Items
Chapter 6 DPolicy for a Production Inventory System with Perishable Items 6.1 Introduction So far we were concentrating on invenory with positive (random) service time. In this chapter we concentrate
More informationLectures 56: Taylor Series
Math 1d Instructor: Padraic Bartlett Lectures 5: Taylor Series Weeks 5 Caltech 213 1 Taylor Polynomials and Series As we saw in week 4, power series are remarkably nice objects to work with. In particular,
More informationHow Useful Is Old Information?
6 IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL. 11, NO. 1, JANUARY 2000 How Useful Is Old Information? Michael Mitzenmacher AbstractÐWe consider the problem of load balancing in dynamic distributed
More informationExample: 1. You have observed that the number of hits to your web site follow a Poisson distribution at a rate of 2 per day.
16 The Exponential Distribution Example: 1. You have observed that the number of hits to your web site follow a Poisson distribution at a rate of 2 per day. Let T be the time (in days) between hits. 2.
More informationA QUEUEINGINVENTORY SYSTEM WITH DEFECTIVE ITEMS AND POISSON DEMAND. bhaji@usc.edu
A QUEUEINGINVENTORY SYSTEM WITH DEFECTIVE ITEMS AND POISSON DEMAND Rasoul Hai 1, Babak Hai 1 Industrial Engineering Department, Sharif University of Technology, +98166165708, hai@sharif.edu Industrial
More informationIEOR 6711: Stochastic Models, I Fall 2012, Professor Whitt, Final Exam SOLUTIONS
IEOR 6711: Stochastic Models, I Fall 2012, Professor Whitt, Final Exam SOLUTIONS There are four questions, each with several parts. 1. Customers Coming to an Automatic Teller Machine (ATM) (30 points)
More informationQUEUEING THEORY WITH APPLICATIONS AND SPECIAL CONSIDERATION TO EMERGENCY CARE
QUEUEING THEORY WITH APPLICATIONS AND SPECIAL CONSIDERATION TO EMERGENCY CARE JAMES KEESLING. Introduction Much that is essential in modern life would not be possible without queueing theory. All communication
More informationAachen Summer Simulation Seminar 2014
Aachen Summer Simulation Seminar 2014 Lecture 07 Input Modelling + Experimentation + Output Analysis PeerOlaf Siebers pos@cs.nott.ac.uk Motivation 1. Input modelling Improve the understanding about how
More informationOptimization of Supply Chain Networks
Optimization of Supply Chain Networks M. Herty TU Kaiserslautern September 2006 (2006) 1 / 41 Contents 1 Supply Chain Modeling 2 Networks 3 Optimization Continuous optimal control problem Discrete optimal
More informationMonte Carlo Methods in Finance
Author: Yiyang Yang Advisor: Pr. Xiaolin Li, Pr. Zari Rachev Department of Applied Mathematics and Statistics State University of New York at Stony Brook October 2, 2012 Outline Introduction 1 Introduction
More informationOn the mathematical theory of splitting and Russian roulette
On the mathematical theory of splitting and Russian roulette techniques St.Petersburg State University, Russia 1. Introduction Splitting is an universal and potentially very powerful technique for increasing
More informationFluid Approximation of a Priority Call Center With TimeVarying Arrivals
Fluid Approximation of a Priority Call Center With TimeVarying Arrivals Ahmad D. Ridley, Ph.D. William Massey, Ph.D. Michael Fu, Ph.D. In this paper, we model a call center as a preemptiveresume priority
More informationUNIT 2 QUEUING THEORY
UNIT 2 QUEUING THEORY LESSON 24 Learning Objective: Apply formulae to find solution that will predict the behaviour of the single server model II. Apply formulae to find solution that will predict the
More informationQueueing Networks with Blocking  An Introduction 
Queueing Networks with Blocking  An Introduction  Jonatha ANSELMI anselmi@elet.polimi.it 5 maggio 006 Outline Blocking Blocking Mechanisms (BAS, BBS, RS) Approximate Analysis  MSS Basic Notation We
More informationArena 9.0 Basic Modules based on Arena Online Help
Arena 9.0 Basic Modules based on Arena Online Help Create This module is intended as the starting point for entities in a simulation model. Entities are created using a schedule or based on a time between
More informationManufacturing Systems Modeling and Analysis
Guy L. Curry Richard M. Feldman Manufacturing Systems Modeling and Analysis 4y Springer 1 Basic Probability Review 1 1.1 Basic Definitions 1 1.2 Random Variables and Distribution Functions 4 1.3 Mean and
More informationSupplement to Call Centers with Delay Information: Models and Insights
Supplement to Call Centers with Delay Information: Models and Insights Oualid Jouini 1 Zeynep Akşin 2 Yves Dallery 1 1 Laboratoire Genie Industriel, Ecole Centrale Paris, Grande Voie des Vignes, 92290
More informationLectures on Stochastic Processes. William G. Faris
Lectures on Stochastic Processes William G. Faris November 8, 2001 2 Contents 1 Random walk 7 1.1 Symmetric simple random walk................... 7 1.2 Simple random walk......................... 9 1.3
More informationChapter 1. Introduction
Chapter 1 Introduction 1.1. Motivation Network performance analysis, and the underlying queueing theory, was born at the beginning of the 20th Century when two Scandinavian engineers, Erlang 1 and Engset
More informationEXAM IN COURSE [EKSAMEN I EMNE] TTM4110 Dependability and Performance with Discrete event Simulation [Pålitelighet og ytelse med simulering]
Norwegian University of Science and Technology Department of Telematics Page 1 of 20 Contact during exam [Faglig kontakt under eksamen]: Poul E. Heegaard (94321 / 99286858) EXAM IN COURSE [EKSAMEN I EMNE]
More informationLECTURE  1 INTRODUCTION TO QUEUING SYSTEM
LECTURE  1 INTRODUCTION TO QUEUING SYSTEM Learning objective To introduce features of queuing system 9.1 Queue or Waiting lines Customers waiting to get service from server are represented by queue and
More informationWeb Hosting Service Level Agreements
Chapter 5 Web Hosting Service Level Agreements Alan King (Mentor) 1, Mehmet Begen, Monica Cojocaru 3, Ellen Fowler, Yashar Ganjali 4, Judy Lai 5, Taejin Lee 6, Carmeliza Navasca 7, Daniel Ryan Report prepared
More informationChapter 2. Simulation Examples 2.1. Prof. Dr. Mesut Güneş Ch. 2 Simulation Examples
Chapter 2 Simulation Examples 2.1 Contents Simulation using Tables Simulation of Queueing Systems Examples A Grocery Call Center Inventory System Appendix: Random Digits 1.2 Simulation using Tables 1.3
More informationThe Exponential Distribution
21 The Exponential Distribution From DiscreteTime to ContinuousTime: In Chapter 6 of the text we will be considering Markov processes in continuous time. In a sense, we already have a very good understanding
More informationChapter 3 General Principles in Simulation
Chapter 3 General Principles in Simulation Banks, Carson, Nelson & Nicol DiscreteEvent System Simulation Concepts In DiscreteEvent Simulation System A collection of entities (people and machines..) that
More informationThe Joint Distribution of Server State and Queue Length of M/M/1/1 Retrial Queue with Abandonment and Feedback
The Joint Distribution of Server State and Queue Length of M/M/1/1 Retrial Queue with Abandonment and Feedback Hamada Alshaer Université Pierre et Marie Curie  Lip 6 7515 Paris, France Hamada.alshaer@lip6.fr
More informationThe 8th International Conference on ebusiness (inceb2009) October 28th30th, 2009
ENHANCED OPERATIONAL PROCESS OF SECURE NETWORK MANAGEMENT SongKyoo Kim * Mobile Communication Divisions, Samsung Electronics, 94 ImsooDong, Gumi, Kyungpook 730350, South Korea amang.kim@samsung.com
More informationService Performance Analysis and Improvement for a Ticket Queue with Balking Customers. Long Gao. joint work with Jihong Ou and Susan Xu
Service Performance Analysis and Improvement for a Ticket Queue with Balking Customers joint work with Jihong Ou and Susan Xu THE PENNSYLVANIA STATE UNIVERSITY MSOM, Atlanta June 20, 2006 Outine Introduction
More informationB. Maddah ENMG 501 Engineering Management I 03/17/07
B. Maddah ENMG 501 Engineering Management I 03/17/07 Discrete Time Markov Chains (3) Longrun Properties of MC (Stationary Solution) Consider the twostate MC of the weather condition in Example 4. P 0.5749
More informationLoad Balancing with Migration Penalties
Load Balancing with Migration Penalties Vivek F Farias, Ciamac C Moallemi, and Balaji Prabhakar Electrical Engineering, Stanford University, Stanford, CA 9435, USA Emails: {vivekf,ciamac,balaji}@stanfordedu
More informationRulebased Traffic Management for Inbound Call Centers
Vrije Universiteit Amsterdam Research Paper Business Analytics Rulebased Traffic Management for Inbound Call Centers Auteur: Tim Steinkuhler Supervisor: Prof. Dr. Ger Koole October 7, 2014 Contents Preface
More informationAnalysis of a productioninventory system with unreliable production facility
Analysis of a productioninventory system with unreliable production facility Katrien Ramaekers Gerrit K Janssens Transportation Research Institute Hasselt University  Campus Diepenbeek Wetenschapspark
More informationOPTIMAL CONTROL OF FLEXIBLE SERVERS IN TWO TANDEM QUEUES WITH OPERATING COSTS
Probability in the Engineering and Informational Sciences, 22, 2008, 107 131. Printed in the U.S.A. DOI: 10.1017/S0269964808000077 OPTIMAL CONTROL OF FLEXILE SERVERS IN TWO TANDEM QUEUES WITH OPERATING
More informationOPTIMAl PREMIUM CONTROl IN A NONliFE INSURANCE BUSINESS
ONDERZOEKSRAPPORT NR 8904 OPTIMAl PREMIUM CONTROl IN A NONliFE INSURANCE BUSINESS BY M. VANDEBROEK & J. DHAENE D/1989/2376/5 1 IN A OPTIMAl PREMIUM CONTROl NONliFE INSURANCE BUSINESS By Martina Vandebroek
More informationWeb Server Software Architectures
Web Server Software Architectures Author: Daniel A. Menascé Presenter: Noshaba Bakht Web Site performance and scalability 1.workload characteristics. 2.security mechanisms. 3. Web cluster architectures.
More informationMark Shifrin. YEQT 2015 Eurandom, Eindhoven 12th November 2015
Asymptotically optimal policies for the multiclass finite queue (partially joint with Rami Atar) Technion Israel Institute of Technology BGU Ben Gurion University Mark Shifrin YEQT 2015 Eurandom, Eindhoven
More informationApplying Meanfield Approximation to Continuous Time Markov Chains
#08 2013 IMT LUCCA CSA TECHNICAL REPORT SERIES 08 June 2013 RA Computer Science and Applications Applying Meanfield Approximation to Continuous Time Markov Chains Anna Kolesnichenko Alireza Pourranjabar
More informationQueueing Systems. Ivo Adan and Jacques Resing
Queueing Systems Ivo Adan and Jacques Resing Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands March 26, 2015 Contents
More informationLECTURE 16. Readings: Section 5.1. Lecture outline. Random processes Definition of the Bernoulli process Basic properties of the Bernoulli process
LECTURE 16 Readings: Section 5.1 Lecture outline Random processes Definition of the Bernoulli process Basic properties of the Bernoulli process Number of successes Distribution of interarrival times The
More informationHomework set 4  Solutions
Homework set 4  Solutions Math 495 Renato Feres Problems R for continuous time Markov chains The sequence of random variables of a Markov chain may represent the states of a random system recorded at
More informationThe Case for Massive Arrays of Idle Disks (MAID)
The Case for Massive Arrays of Idle Disks (MAID) Dennis Colarelli, Dirk Grunwald and Michael Neufeld Dept. of Computer Science Univ. of Colorado, Boulder January 7, 2002 Abstract The declining costs of
More informationNonparametric adaptive age replacement with a onecycle criterion
Nonparametric adaptive age replacement with a onecycle criterion P. CoolenSchrijner, F.P.A. Coolen Department of Mathematical Sciences University of Durham, Durham, DH1 3LE, UK email: Pauline.Schrijner@durham.ac.uk
More informationOptimization of Stochastic Inventory Control with Correlated Demands. Roger Lederman
Optimization of Stochastic Inventory Control with Correlated Demands Roger Lederman Honors Thesis in Computer Science Advisors: Amy Greenwald Aaron Cohen 1 1 Introduction and Motivation An application
More informationQuantitative Analysis of Cloudbased Streaming Services
of Cloudbased Streaming Services Fang Yu 1, YatWah Wan 2 and RuaHuan Tsaih 1 1. Department of Management Information Systems National Chengchi University, Taipei, Taiwan 2. Graduate Institute of Logistics
More informationInformation Theory and Coding Prof. S. N. Merchant Department of Electrical Engineering Indian Institute of Technology, Bombay
Information Theory and Coding Prof. S. N. Merchant Department of Electrical Engineering Indian Institute of Technology, Bombay Lecture  17 ShannonFanoElias Coding and Introduction to Arithmetic Coding
More informationManual for SOA Exam MLC.
Chapter 4. Life Insurance. c 29. Miguel A. Arcones. All rights reserved. Extract from: Arcones Manual for the SOA Exam MLC. Fall 29 Edition. available at http://www.actexmadriver.com/ c 29. Miguel A. Arcones.
More information6.263/16.37: Lectures 5 & 6 Introduction to Queueing Theory
6.263/16.37: Lectures 5 & 6 Introduction to Queueing Theory Massachusetts Institute of Technology Slide 1 Packet Switched Networks Messages broken into Packets that are routed To their destination PS PS
More informationThe integrating factor method (Sect. 2.1).
The integrating factor method (Sect. 2.1). Overview of differential equations. Linear Ordinary Differential Equations. The integrating factor method. Constant coefficients. The Initial Value Problem. Variable
More informationMathematical Modelling of Computer Networks: Part II. Module 1: Network Coding
Mathematical Modelling of Computer Networks: Part II Module 1: Network Coding Lecture 3: Network coding and TCP 12th November 2013 Laila Daniel and Krishnan Narayanan Dept. of Computer Science, University
More informationOnline Appendix to Social Network Formation and Strategic Interaction in Large Networks
Online Appendix to Social Network Formation and Strategic Interaction in Large Networks Euncheol Shin Recent Version: http://people.hss.caltech.edu/~eshin/pdf/dsnfoa.pdf October 3, 25 Abstract In this
More informationExercises with solutions (1)
Exercises with solutions (). Investigate the relationship between independence and correlation. (a) Two random variables X and Y are said to be correlated if and only if their covariance C XY is not equal
More informationQUANTIZED INTEREST RATE AT THE MONEY FOR AMERICAN OPTIONS
QUANTIZED INTEREST RATE AT THE MONEY FOR AMERICAN OPTIONS L. M. Dieng ( Department of Physics, CUNY/BCC, New York, New York) Abstract: In this work, we expand the idea of Samuelson[3] and Shepp[,5,6] for
More information4. FixedPriority Scheduling
Simple workload model 4. FixedPriority Scheduling Credits to A. Burns and A. Wellings The application is assumed to consist of a fixed set of tasks All tasks are periodic with known periods This defines
More informationOverview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification
Introduction Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification Advanced Topics in Software Engineering 1 Concurrent Programs Characterized by
More informationLoad Balancing with Memory
Load Balancing with Memory Michael Mitzenmacher Harvard University michaelm@eecs.harvard.edu Balaji Prabhakar Stanford University balaji@stanford.edu Devavrat Shah Stanford University devavrat@cs.stanford.edu
More informationDynamic MultiUser Load Balancing in Distributed Systems
Dynamic MultiUser Load Balancing in Distributed Systems Satish Penmatsa and Anthony T. Chronopoulos The University of Texas at San Antonio Dept. of Computer Science One UTSA Circle, San Antonio, Texas
More informationPERIODIC REVIEW INVENTORY POLICY FOR PERISHABLES WITH RANDOM LIFETIME
8 th International Conference of Modeling and Simulation  MOSIM 1  May 112, 21  Hammamet  unisia Evaluation and optimization of innovative production systems of goods and services PERIODIC REVIEW
More informationFluid models in performance analysis
Fluid models in performance analysis Marco Gribaudo 1, Miklós Telek 2 1 Dip. di Informatica, Università di Torino, marcog@di.unito.it 2 Dept. of Telecom., Technical University of Budapest telek@hitbme.hu
More informationFluid Approximation of Smart Grid Systems: Optimal Control of Energy Storage Units
Fluid Approximation of Smart Grid Systems: Optimal Control of Energy Storage Units by Rasha Ibrahim Sakr, B.Sc. A thesis submitted to the Faculty of Graduate and Postdoctoral Affairs in partial fulfillment
More informationPeriodic Capacity Management under a Lead Time Performance Constraint
Periodic Capacity Management under a Lead Time Performance Constraint N.C. Buyukkaramikli 1,2 J.W.M. Bertrand 1 H.P.G. van Ooijen 1 1 TU/e IE&IS 2 EURANDOM INTRODUCTION Using Lead time to attract customers
More informationIST 301. Class Exercise: Simulating Business Processes
IST 301 Class Exercise: Simulating Business Processes Learning Objectives: To use simulation to analyze and design business processes. To implement scenario and sensitivity analysis AsIs Process The AsIs
More informationLECTURE 4. Last time: Lecture outline
LECTURE 4 Last time: Types of convergence Weak Law of Large Numbers Strong Law of Large Numbers Asymptotic Equipartition Property Lecture outline Stochastic processes Markov chains Entropy rate Random
More informationWhen Promotions Meet Operations: CrossSelling and Its Effect on CallCenter Performance
When Promotions Meet Operations: CrossSelling and Its Effect on CallCenter Performance Mor Armony 1 Itay Gurvich 2 Submitted July 28, 2006; Revised August 31, 2007 Abstract We study crossselling operations
More informationWhen Promotions Meet Operations: CrossSelling and Its Effect on CallCenter Performance
When Promotions Meet Operations: CrossSelling and Its Effect on CallCenter Performance Mor Armony 1 Itay Gurvich 2 July 27, 2006 Abstract We study crossselling operations in call centers. The following
More informationExponential Approximation of MultiSkill Call Centers Architecture
Exponential Approximation of MultiSkill Call Centers Architecture Ger Koole and Jérôme Talim Vrije Universiteit  Division of Mathematics and Computer Science De Boelelaan 1081 a  1081 HV Amsterdam 
More informationImportant Probability Distributions OPRE 6301
Important Probability Distributions OPRE 6301 Important Distributions... Certain probability distributions occur with such regularity in reallife applications that they have been given their own names.
More informationStaffing and Control of Instant Messaging Contact Centers
OPERATIONS RESEARCH Vol. 61, No. 2, March April 213, pp. 328 343 ISSN 3364X (print) ISSN 15265463 (online) http://dx.doi.org/1.1287/opre.112.1151 213 INFORMS Staffing and Control of Instant Messaging
More informationAdaptive Threshold Policies for MultiChannel Call Centers
Adaptive Threshold Policies for MultiChannel Call Centers Benjamin Legros a Oualid Jouini a Ger Koole b a Laboratoire Génie Industriel, Ecole Centrale Paris, Grande Voie des Vignes, 92290 ChâtenayMalabry,
More informationThe BlackScholes Formula
FIN40008 FINANCIAL INSTRUMENTS SPRING 2008 The BlackScholes Formula These notes examine the BlackScholes formula for European options. The BlackScholes formula are complex as they are based on the
More informationScheduling Aperiodic and Sporadic Jobs in Priority Driven Systems
Scheduling Aperiodic and Sporadic Jobs in Priority Driven Systems Ingo Sander ingo@kth.se Liu: Chapter 7 IL2212 Embedded Software 1 Outline l System Model and Assumptions l Scheduling Aperiodic Jobs l
More informationCHAPTER 1. Compound Interest
CHAPTER 1 Compound Interest 1. Compound Interest The simplest example of interest is a loan agreement two children might make: I will lend you a dollar, but every day you keep it, you owe me one more penny.
More informationInventory Theory. 25.1 Inventory Models. Chapter 25 Page 1
Chapter 25 Page 1 Inventory Theory Inventories are materials stored, waiting for processing, or experiencing processing. They are ubiquitous throughout all sectors of the economy. Observation of almost
More informationM/M/1 and M/M/m Queueing Systems
M/M/ and M/M/m Queueing Systems M. Veeraraghavan; March 20, 2004. Preliminaries. Kendall s notation: G/G/n/k queue G: General  can be any distribution. First letter: Arrival process; M: memoryless  exponential
More informationThe Analysis of Dynamical Queueing Systems (Background)
The Analysis of Dynamical Queueing Systems (Background) Technological innovations are creating new types of communication systems. During the 20 th century, we saw the evolution of electronic communication
More informationHOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
More informationLoad balancing Static Load Balancing
Chapter 7 Load Balancing and Termination Detection Load balancing used to distribute computations fairly across processors in order to obtain the highest possible execution speed. Termination detection
More informationWe consider the optimal production and inventory control of an assembletoorder system with m components,
MANAGEMENT SCIENCE Vol. 52, No. 12, December 2006, pp. 1896 1912 issn 00251909 eissn 15265501 06 5212 1896 informs doi 10.1287/mnsc.1060.0588 2006 INFORMS Production and Inventory Control of a Single
More informationTHE CENTRAL LIMIT THEOREM TORONTO
THE CENTRAL LIMIT THEOREM DANIEL RÜDT UNIVERSITY OF TORONTO MARCH, 2010 Contents 1 Introduction 1 2 Mathematical Background 3 3 The Central Limit Theorem 4 4 Examples 4 4.1 Roulette......................................
More informationSome Notes on Taylor Polynomials and Taylor Series
Some Notes on Taylor Polynomials and Taylor Series Mark MacLean October 3, 27 UBC s courses MATH /8 and MATH introduce students to the ideas of Taylor polynomials and Taylor series in a fairly limited
More information6.6 Scheduling and Policing Mechanisms
02068 C06 pp4 6/14/02 3:11 PM Page 572 572 CHAPTER 6 Multimedia Networking 6.6 Scheduling and Policing Mechanisms In the previous section, we identified the important underlying principles in providing
More informationFinancial Mathematics for Actuaries. Chapter 1 Interest Accumulation and Time Value of Money
Financial Mathematics for Actuaries Chapter 1 Interest Accumulation and Time Value of Money 1 Learning Objectives 1. Basic principles in calculation of interest accumulation 2. Simple and compound interest
More informationOptimization models for congestion control with multipath routing in TCP/IP networks
Optimization models for congestion control with multipath routing in TCP/IP networks Roberto Cominetti Cristóbal Guzmán Departamento de Ingeniería Industrial Universidad de Chile Workshop on Optimization,
More informationCapacity Allocation and Contention Resolution in a Photonic Slot Routing AllOptical WDM Mesh Network
Capacity Allocation and Contention Resolution in a Photonic Slot Routing AllOptical WDM Mesh Network Hui Zang, Jason P. Jue 2, and Biswanath Mukherjee Department of Computer Science, University of California,
More informationAutonomic Power Management Schemes for Internet Servers and Data Centers
Autonomic Power Management Schemes for Internet Servers and Data Centers Lykomidis Mastroleon, Nicholas Bambos, Christos Kozyrakis and Dimitris Economou Department of Electrical Engineering Stanford University
More informationLoad Balancing and Termination Detection
Chapter 7 Load Balancing and Termination Detection 1 Load balancing used to distribute computations fairly across processors in order to obtain the highest possible execution speed. Termination detection
More informationBasic Queuing Relationships
Queueing Theory Basic Queuing Relationships Resident items Waiting items Residence time Single server Utilisation System Utilisation Little s formulae are the most important equation in queuing theory
More informationFundamentals of Actuarial Mathematics
Fundamentals of Actuarial Mathematics S. David Promislow York University, Toronto, Canada John Wiley & Sons, Ltd Contents Preface Notation index xiii xvii PARTI THE DETERMINISTIC MODEL 1 1 Introduction
More informationReview of charging and discharging in RC Circuits (an enlightened approach)
EES 42 SPING 21 Lecture 7 opyright egents of University of alifornia eview of charging and discharging in ircuits (an enlightened approach) Before we continue with formal circuit analysis  lets review
More informationAdaptive Search with Stochastic Acceptance Probabilities for Global Optimization
Adaptive Search with Stochastic Acceptance Probabilities for Global Optimization Archis Ghate a and Robert L. Smith b a Industrial Engineering, University of Washington, Box 352650, Seattle, Washington,
More informationDynamic Process Modeling. Process Dynamics and Control
Dynamic Process Modeling Process Dynamics and Control 1 Description of process dynamics Classes of models What do we need for control? Modeling for control Mechanical Systems Modeling Electrical circuits
More informationANALYZING NETWORK TRAFFIC FOR MALICIOUS ACTIVITY
CANADIAN APPLIED MATHEMATICS QUARTERLY Volume 12, Number 4, Winter 2004 ANALYZING NETWORK TRAFFIC FOR MALICIOUS ACTIVITY SURREY KIM, 1 SONG LI, 2 HONGWEI LONG 3 AND RANDALL PYKE Based on work carried out
More informationAn Extension Model of Financiallybalanced BonusMalus System
An Extension Model of Financiallybalanced BonusMalus System Other : Ratemaking, Experience Rating XIAO, Yugu Center for Applied Statistics, Renmin University of China, Beijing, 00872, P.R. China Phone:
More informationIntroduction. Appendix D Mathematical Induction D1
Appendix D Mathematical Induction D D Mathematical Induction Use mathematical induction to prove a formula. Find a sum of powers of integers. Find a formula for a finite sum. Use finite differences to
More information