Title: Locality of Reference and the Use of Sojourn Time Variance for Queue Fairness
1Locality of Reference and the Use of Sojourn Time
Variance for Queue Fairness
- David Raz
- School of Computer Science, Tel Aviv University
- Jointly with
- Hanoch Levy, Tel Aviv University
- Benjamin Avi-Itzhak, RUTGERS University
- MAMA05, June 2005
2Motivation which system is more fair?
3So what are we looking for?
- Personal measureof discrimination
- Unfairness of ascenario/sample path
- Unfairness of a system
4Research Methodology
Propose a Measure
Basic Analysis Show that the measure fits common
intuition in simple cases
Use measure in complicatedcases where there is
nocommon intuition. Practical!
5Wasnt the problem already solved? Kingman, 1962
- The purpose of this present note is to consider
the variance of waiting time, and we shall prove
that this is minimum when the customers are
served in the order of arrival. Thus this is, in
a sense, the fairest queue discipline - (J. F. C. Kingman, The effect of queue discipline
on waiting time variance, Proceedings of the
Cambridge Philosophical Society 58 (1962)
163-164) - Note non-preemptive disciplines
6So what does this imply?The common approach to
unfairness
- Measure single customer discrimination by
measuring waiting/sojourn time - Measure system unfairness by measuring variance
- Inequalities ? Unfairness
7So what is wrong with this?Consider the
following
- Arrivals only in 6 unit intervals
- All customers require one unit of service
- Either 2 or 4 customers arrive simultaneously
(50 chance), all served PS
6 units
Time
8Observations
- All customers are treated fairly. Non is
discriminated - Some wait 1 unit, some wait 3
- The variance is 0.9
- Why?
9Consider II
- Same scenario, customers are served FCFS
- Mean waiting time is 1.167
- Is the second customer in a busy period with two
customers really discriminated positively? - Can a customer even tell?
10So why is the variance wrong
- Req 1 Measurements should compare customers
whose service (prioritization) can affect each
other ? customers in the same busy period - Lemma customers can affect each other iff they
are in the same BP - Lemma Variance Between BP Within BP
- Should ignore between BP
- Req 2 Customers should be able to tell if they
are positively or negatively discriminated ? know
the mean in advance ? mean of all BPs should be
equal
11Equivalence of requirements
- Observation
- Req 1 and Req 2 are equivalent!
- If the mean is equal for all busy periods, there
is no variance between busy periods, only within
them.
LOCALLY MEASURED
12Approach for finding measure
- Keep the idea
- Measure discrimination
- Use variance
- Lets examine the newly proposed RAQFM (and other
methods) in this light
13RAQFM Philosophy
Equal Share of Resources
? Fairness
14RAQFM - How to Apply the Philosophy Individual
Discrimination
- At every epoch t with N(t) customers in the
system, each customer should get 1/N(t) - Warranted service
- Granted service
- Compare the warranted service with the granted
service discrimination
15Observations on RAQFM
- Theorem Mean for every busy period is zero
- Customers can tell easily if they are positively
or negatively discriminated - If mean is zero there is no variance between busy
periods
16Uniqueness
- Theorem
- RAQFM (and some close relatives) is unique in
this property, within a large group of
measurements - Proof outline other measures cannot achieve
equal means. If one achieves equal mean for some
scenario we can build a scenario where it does
not
17Some example of built busy periods
18Conclusions
- The variance of waiting/sojourn time is not
locally measured - Being locally measured is import ant
- variances between and within busy periods
- Customers can tell if they are positively or
negatively discriminated - RAQFM is locally measured
- And uniquely so