queueing analysis of multi-layer contention-tolerant crossbar switch

3
972 IEEE COMMUNICATIONS LETTERS, VOL. 14, NO. 10, OCTOBER 2010 Queueing Analysis of Multi-Layer Contention-Tolerant Crossbar Switch Guannan Qu, Hyung Jae Chang, Jianping Wang, Zhiyi Fang, and S. Q. Zheng Abstractβ€”We recently proposed Contention-Tolerant Crossbar (( )) and multi-layer ( ) (( )) switch ar- chitectures. By developing queueing network model of ( ) for tagged output, we proved that ( ) achieves steady state with the layer number β‰₯ 2 under Bernoulli i.i.d. uniform traffic. In this letter, we extend the queueing network model for evaluating the mean cell number in each input queue and mean waiting time of ( ) working in steady state under the Bernoulli i.i.d. uniform traffic. This model is validated by simulation results. Index Termsβ€”Contention-tolerant, switch, queueing analysis. I. I NTRODUCTION I N a switch, output contentions occur when more than one input ports have cells to be transmitted to the same output port during the same time slot. Conventional crossbar switches, including crossbar with crosspoint buffers switches, require complex hardware to resolve output contentions. In our previous work [1], we proposed a new switch architecture called Contention-Tolerant Crossbar, denoted by ( ), where is the number of input/output ports. Similar to conventional crossbar, the fabric of the ( ) is comprised by 2 crosspoints (Switching Element, SE) arranged as an Γ— array. Each SE has three inputs, three outputs and two states, as shown in Fig. 1 (a). Each input port is equipped with a scheduler . In one time slot, if input port (0 ≀ ≀ βˆ’ 1) wants to transmit a cell to an output port (0 ≀ ≀ βˆ’ 1), sets the state of corresponding , to receive-and-transmit (RT) state. The remaining SEs in the same row will be kept in cross (CR) state. If more than one input ports set their SEs as RT in the same output line (column), the output line is configured as a pipeline, as shown in Fig. 1 (b). Cells transmitted from upstream input ports will be intercepted and buffered in downstream input ports. In this way, output contentions are tolerated in ( ). Without resolving output contentions, schedulers distributed in inputs operate independently and in parallel. Compared to conventional crossbar switches, ( ) is simpler and more scalable. The switching throughput of ( ) under Bernoulli i.i.d. uniform traffic was analyzed by modeling ( ) with all inputs and tagged output as an open queueing network. Theoretically and experimentally, we proved that, with a single Manuscript received January 8, 2010. The associate editor coordinating the review of this letter and approving it for publication was V. Vokkarane. G. Qu and Z. Fang are with the College of Computer Science and Technology, Jilin University, Changchun, 130012, P. R. China (e-mail: [email protected]). H. J. Chang and S. Q. Zheng are with the Department of Computer Science, University of Texas at Dallas, Richardson, TX 75083, USA. J. Wang is with the Department of Computer Science, City University of Hong Kong, Hong Kong, P. R. China. Digital Object Identifier 10.1109/LCOMM.2010.081910.100036 ( a ) CR (cross) state RT (receive-and- transmit ) state Top input SEi,j Bottom output Right output Right input Left input Left output CTC(N) Layer Input port 0 Input port 1 Input port N-1 Output port 0 Output port N-1 . . . . . . k ( c ) Output port j . . . Row of input port u Row of input port i ( b ) Fig. 1. (a) A crosspoint SE and its two states; (b) each output line of () is configured as a pipeline; (c) (). FIFO queue in each input and without speedup, the throughput of ( ) is bounded by 63%. In order to improve through- put, we proposed multi-layer ( ) switch [2], as shown in Fig. 1 (c). ( ) comprises parallel ( ) layers. Each ( ) layer has its own input and output buffers that operate independently. Traffic from outside of ( ) can be evenly distributed over all layers. Once a cell is injected into a given layer, it will remain in this layer till it arrives at its output port. Assuming the traffic arrival is Bernoulli i.i.d. uniform traffic, we proved that the minimum value of enabling each ( ) layer in ( ) to be steady is 2. In this letter, we extend the queueing network model of the -layer ( ) ( β‰₯ 2) to evaluate the mean cell number of each input queue and mean waiting time. By solving Discrete-Time Markov Chain state transition for each input queue, we obtain analytical results. Simulation results are used to validate our theoretical results. II. QUEUEING MODEL AND DISCRETE TIME MARKOV CHAIN Without considering output buffers, we model ( ) in each layer of -layer ( ) as an open queueing net- work system, as shown in Fig. 2. Each input buffer (i.e. queue) is organized as an FIFO queue denoted by . The Head-of- line cell (if exist) of an input queue will be transmitted to corresponding output line within one time slot. To simplify our work, we adopt the following assumptions: 1) The traffic model is Bernoulli i.i.d. uniform. 2) When a cell arrives at an empty input queue in a time slot, it cannot be transmitted out during the same slot. 3) Each time slot is cut into two contiguous phases. Cells arrive at input queues from outside during the first phase; During the second phase, cells which are transmitted to their output lines either arrive at their downstream inputs (be intercepted) or arrive at their destination outputs. 1089-7798/10$25.00 c ⃝ 2010 IEEE

Upload: sq

Post on 06-Nov-2016

219 views

Category:

Documents


3 download

TRANSCRIPT

Page 1: Queueing Analysis of Multi-Layer Contention-Tolerant Crossbar Switch

972 IEEE COMMUNICATIONS LETTERS, VOL. 14, NO. 10, OCTOBER 2010

Queueing Analysis of Multi-Layer Contention-Tolerant Crossbar SwitchGuannan Qu, Hyung Jae Chang, Jianping Wang, Zhiyi Fang, and S. Q. Zheng

Abstractβ€”We recently proposed Contention-Tolerant Crossbar(𝐢𝑇𝐢(𝑁)) and multi-layer 𝐢𝑇𝐢(𝑁) (𝑀𝐢𝑇𝐢(𝑁)) switch ar-chitectures. By developing queueing network model of 𝐢𝑇𝐢(𝑁)for tagged output, we proved that 𝑀𝐢𝑇𝐢(𝑁) achieves steadystate with the layer number π‘˜ β‰₯ 2 under Bernoulli i.i.d. uniformtraffic. In this letter, we extend the queueing network modelfor evaluating the mean cell number in each input queue andmean waiting time of 𝑀𝐢𝑇𝐢(𝑁) working in steady state underthe Bernoulli i.i.d. uniform traffic. This model is validated bysimulation results.

Index Termsβ€”Contention-tolerant, switch, queueing analysis.

I. INTRODUCTION

IN a switch, output contentions occur when more thanone input ports have cells to be transmitted to the same

output port during the same time slot. Conventional crossbarswitches, including crossbar with crosspoint buffers switches,require complex hardware to resolve output contentions.

In our previous work [1], we proposed a new switcharchitecture called Contention-Tolerant Crossbar, denoted by𝐢𝑇𝐢(𝑁), where 𝑁 is the number of input/output ports.Similar to conventional crossbar, the fabric of the 𝐢𝑇𝐢(𝑁)is comprised by 𝑁2 crosspoints (Switching Element, SE)arranged as an 𝑁 ×𝑁 array. Each SE has three inputs, threeoutputs and two states, as shown in Fig. 1 (a). Each inputport is equipped with a scheduler 𝑆𝑖. In one time slot, if inputport 𝑖 (0 ≀ 𝑖 ≀ 𝑁 βˆ’ 1) wants to transmit a cell to an outputport 𝑗 (0 ≀ 𝑗 ≀ 𝑁 βˆ’ 1), 𝑆𝑖 sets the state of corresponding𝑆𝐸𝑖,𝑗 to receive-and-transmit (RT) state. The remaining SEsin the same row will be kept in cross (CR) state. If more thanone input ports set their SEs as RT in the same output line(column), the output line is configured as a pipeline, as shownin Fig. 1 (b). Cells transmitted from upstream input portswill be intercepted and buffered in downstream input ports.In this way, output contentions are tolerated in 𝐢𝑇𝐢(𝑁).Without resolving output contentions, schedulers distributedin inputs operate independently and in parallel. Compared toconventional crossbar switches, 𝐢𝑇𝐢(𝑁) is simpler and morescalable.

The switching throughput of 𝐢𝑇𝐢(𝑁) under Bernoulli i.i.d.uniform traffic was analyzed by modeling 𝐢𝑇𝐢(𝑁) withall inputs and tagged output as an open queueing network.Theoretically and experimentally, we proved that, with a single

Manuscript received January 8, 2010. The associate editor coordinating thereview of this letter and approving it for publication was V. Vokkarane.

G. Qu and Z. Fang are with the College of Computer Science andTechnology, Jilin University, Changchun, 130012, P. R. China (e-mail:[email protected]).

H. J. Chang and S. Q. Zheng are with the Department of Computer Science,University of Texas at Dallas, Richardson, TX 75083, USA.

J. Wang is with the Department of Computer Science, City University ofHong Kong, Hong Kong, P. R. China.

Digital Object Identifier 10.1109/LCOMM.2010.081910.100036

( a )

CR (cross)state

RT (receive-and-transmit ) state

Top input

SEi,j

Bottom output

Right outputRight input

Left inputLeft output

CTC(N)Layer

Input port 0

Input port 1

Input port N-1

Output port 0

Output port N-1

.

.

.

...

k

( c )

Output port j

.

.

.

Row of input port u

Row of input port i

( b )

Fig. 1. (a) A crosspoint SE and its two states; (b) each output line of𝐢𝑇𝐢(𝑁) is configured as a pipeline; (c) 𝑀𝐢𝑇𝐢(𝑁).

FIFO queue in each input and without speedup, the throughputof 𝐢𝑇𝐢(𝑁) is bounded by 63%. In order to improve through-put, we proposed multi-layer 𝐢𝑇𝐢(𝑁) switch [2], as shown inFig. 1 (c). 𝑀𝐢𝑇𝐢(𝑁) comprises π‘˜ parallel 𝐢𝑇𝐢(𝑁) layers.Each 𝐢𝑇𝐢(𝑁) layer has its own input and output buffers thatoperate independently. Traffic from outside of 𝑀𝐢𝑇𝐢(𝑁)can be evenly distributed over all layers. Once a cell is injectedinto a given layer, it will remain in this layer till it arrivesat its output port. Assuming the traffic arrival is Bernoullii.i.d. uniform traffic, we proved that the minimum value of π‘˜enabling each 𝐢𝑇𝐢(𝑁) layer in 𝑀𝐢𝑇𝐢(𝑁) to be steady is2.

In this letter, we extend the queueing network model ofthe π‘˜-layer 𝑀𝐢𝑇𝐢(𝑁) (π‘˜ β‰₯ 2) to evaluate the mean cellnumber of each input queue and mean waiting time. Bysolving Discrete-Time Markov Chain state transition for eachinput queue, we obtain analytical results. Simulation resultsare used to validate our theoretical results.

II. QUEUEING MODEL AND DISCRETE TIME MARKOV

CHAIN

Without considering output buffers, we model 𝐢𝑇𝐢(𝑁) ineach layer of π‘˜-layer 𝑀𝐢𝑇𝐢(𝑁) as an open queueing net-work system, as shown in Fig. 2. Each input buffer (i.e. queue)is organized as an FIFO queue denoted by 𝑄𝑖. The Head-of-line cell (if exist) of an input queue will be transmitted tocorresponding output line within one time slot.

To simplify our work, we adopt the following assumptions:

1) The traffic model is Bernoulli i.i.d. uniform.2) When a cell arrives at an empty input queue in a time

slot, it cannot be transmitted out during the same slot.3) Each time slot is cut into two contiguous phases. Cells

arrive at input queues from outside during the first phase;During the second phase, cells which are transmitted totheir output lines either arrive at their downstream inputs(be intercepted) or arrive at their destination outputs.

1089-7798/10$25.00 c⃝ 2010 IEEE

Page 2: Queueing Analysis of Multi-Layer Contention-Tolerant Crossbar Switch

QU et al.: QUEUEING ANALYSIS OF MULTI-LAYER CONTENTION-TOLERANT CROSSBAR SWITCH 973

a1o

aN-1o

O0

a0o

a1u

aN-1u

Q0

QN-1

.

.

.

Q1

...

...

...

...

...

ON-1O1

Fig. 2. Queueing network model of 𝐢𝑇𝐢(𝑁) in each layer of 𝑀𝐢𝑇𝐢(𝑁).

4) The input queue length is infinite.Let πœƒπ‘– be the average throughput of 𝑄𝑖 when the queueing

network works in steady state. The traffic equation which isheld for 𝑄𝑖 [3] is

πœƒπ‘– =

{π‘Žπ‘œπ‘– if 𝑖 = 0;

π‘Žπ‘œπ‘– +βˆ‘π‘βˆ’1

𝑗=0 (βˆ‘π‘–βˆ’1

π‘˜=0 π‘π‘˜,𝑗,π‘–πœƒπ‘˜) if 0 < 𝑖 ≀ 𝑁 βˆ’ 1,(1)

where π‘π‘˜,𝑗,𝑖 is the probability of a cell leaving π‘„π‘˜ for 𝑄𝑖 byoutput line 𝑗; π‘Žπ‘œπ‘– is the arrival rate of 𝑄𝑖 from outside. Let πœ†be offered load from outside. For π‘˜ layers, π‘Žπ‘œπ‘– = πœ†

π‘˜ .From the property of 𝐢𝑇𝐢(𝑁) which is described in [1],

one cell leaves π‘„π‘˜ for its downstream 𝑄𝑖 if and only if theyboth transmit their cells to the same output line within thesame time slot. Thus

π‘π‘˜,𝑗,𝑖 =

{π‘π‘˜,𝑗(𝑝𝑖,π‘—πœƒπ‘–) if π‘˜ = π‘–βˆ’ 1;

π‘π‘˜,𝑗 [βˆπ‘–βˆ’1

π‘š=π‘˜+1(1βˆ’ π‘π‘š,π‘—πœƒπ‘š)]𝑝𝑖,π‘—πœƒπ‘– if 0 ≀ π‘˜ < π‘–βˆ’ 1,

(2)

where 𝑝𝑖,𝑗 is the probability of a cell being transmitted tooutput line 𝑗. For uniform traffic, 𝑝𝑖,𝑗 = 1

𝑁 .Combining Equations (1) and (2), we obtain

πœƒπ‘– =π‘π‘Žπ‘œπ‘–

𝑁 βˆ’ π‘–π‘Žπ‘œπ‘–. (3)

For 𝑄𝑖, the arrival rate from upstream queues π‘Žπ‘’π‘– is

π‘Žπ‘’π‘– =

{0 if 𝑖 = 0;βˆ‘π‘βˆ’1

𝑗=0 (βˆ‘π‘–βˆ’1

π‘˜=0 π‘π‘˜,𝑗,π‘–πœƒπ‘˜) if 0 < 𝑖 ≀ 𝑁 βˆ’ 1.(4)

Combining Equations (2), (3) and (4), we obtain

π‘Žπ‘’π‘– =π‘–π‘Žπ‘œπ‘–

2

𝑁 βˆ’ π‘–π‘Žπ‘œπ‘–.

Let the steady-state probability vector of 𝑄𝑖 be Π𝑖 =[πœ‹0, πœ‹1, πœ‹2, ..., πœ‹π‘›, ...]. To solve Π𝑖, we must consider twopossible cases:

1) 𝑄𝑖 (𝑖 βˆ•= 0): π‘žπ‘–(𝑑) is defined as the state of 𝑄𝑖 which isthe number of cells in 𝑄𝑖 at the end of time slot 𝑑. Obviously,𝑄𝑖 intercepts the cell from its upstream nodes if and only ifit is busy. Therefore, the probability of a cell arriving at 𝑄𝑖

from upstream under the condition that 𝑄𝑖 is not idle is

πœ‰π‘– =π‘Žπ‘’π‘–πœƒπ‘–

=𝑖

π‘π‘Žπ‘œπ‘– .

Analyzing this queueing model requires the construction ofa state-dependent Discrete-Time Markov Chain (DTMC) for𝑄𝑖. The transmission diagram is illustrated as Fig. 3.

0 21 ...

Fig. 3. The DTMC state transition diagram for 𝑄𝑖 (𝑖 βˆ•= 0).

The state transition probabilities 𝑃π‘₯,𝑦 = π‘ƒπ‘Ÿ[ π‘žπ‘–(𝑑) =𝑦 ∣ π‘žπ‘–(π‘‘βˆ’ 1) = π‘₯ ] are

𝑃π‘₯,𝑦 =

⎧⎨⎩

1βˆ’ π‘Žπ‘œπ‘– π‘₯ = 𝑦 = 0;π‘Žπ‘œπ‘– π‘₯ = 0, 𝑦 = 1;(1βˆ’ π‘Žπ‘œπ‘– )(1 βˆ’ πœ‰π‘–) 𝑦 = π‘₯βˆ’ 1, π‘₯ β‰₯ 1;π‘Žπ‘œπ‘– (1βˆ’ πœ‰π‘–) + πœ‰π‘–(1βˆ’ π‘Žπ‘œπ‘– ) π‘₯ = 𝑦, π‘₯ β‰₯ 1, 𝑦 β‰₯ 1;π‘Žπ‘œπ‘– πœ‰π‘– 𝑦 = π‘₯+ 1, π‘₯ β‰₯ 1;0 π‘œπ‘‘β„Žπ‘’π‘Ÿπ‘ .

(5)To simplify the expression, we define:{

𝜌0 =𝑃0,1

𝑃1,0=

π‘Žπ‘œπ‘–

(1βˆ’π‘Žπ‘œπ‘– )(1βˆ’πœ‰π‘–)

;

𝜌 =π‘ƒπ‘˜βˆ’1,π‘˜

π‘ƒπ‘˜,π‘˜βˆ’1=

π‘Žπ‘œπ‘– πœ‰π‘–

(1βˆ’π‘Žπ‘œπ‘–)(1βˆ’πœ‰π‘–)

.(6)

From global balance equations, the steady state solutions canbe obtained recursively as:

πœ‹π‘› =

{1βˆ’πœŒ

1βˆ’πœŒ+𝜌0𝑛 = 0;

(1βˆ’πœŒ)𝜌0πœŒπ‘›βˆ’1

1βˆ’πœŒ+𝜌0𝑛 > 0.

(7)

2) 𝑄0: Cells only arrive at 𝑄0 from outside, thus, π‘Žπ‘’0 = 0.The DTMC state transition of 𝑄0 which is illustrated in Fig.4.

0 1

Fig. 4. The DTMC state transition diagram for 𝑄0.

The transition probabilities are

𝑃π‘₯,𝑦 =

{1βˆ’ π‘Žπ‘œπ‘– 𝑦 = 0;π‘Žπ‘œπ‘– 𝑦 = 1.

(8)

According to the definition in Equation (6), we have{𝜌0 =

𝑃0,1

𝑃1,0=

π‘Žπ‘œπ‘–

1βˆ’π‘Žπ‘œπ‘–;

𝜌 = 0.

Thus, the solutions are

πœ‹π‘›β€² =

{ 11+𝜌0

𝑛′ = 0;𝜌0

1+𝜌0𝑛′ = 1.

(9)

Comparing Equations (5) and (8), we can see 𝑄0 is a case of𝑄𝑖 that only has state 0 and 1. Let πœŒπ‘›βˆ’1 = 1 when 𝜌 = 0 and𝑛 = 1. Solution (9) is a special case of (7).

Page 3: Queueing Analysis of Multi-Layer Contention-Tolerant Crossbar Switch

974 IEEE COMMUNICATIONS LETTERS, VOL. 14, NO. 10, OCTOBER 2010

0

5

10

15

00.2

0.40.6

0.810

1

2

3

4

5

6

7

8

Input number (N=16)Offered load (Ξ»)

Mea

nce

llnum

ber

Theoretical results

Simulation results

Fig. 5. Mean cell number of each input queue (𝑁 = 16).

aio

O0

Qi ...

ON-1

aiu

i

u

...

Fig. 6. Cells arrive at 𝑄𝑖 from outside and from Ω𝑒.

III. NUMERICAL RESULTS

A. Mean Cell Number

The steady-state probability vector of each input queue hasbeen solved as a function of layer number π‘˜, input number 𝑖and offered load πœ†. Let π‘žπ‘– be the mean number of cells in 𝑄𝑖

at the end of one time slot. We can obtain

π‘žπ‘– =

βˆžβˆ‘π‘›=0

π‘›πœ‹π‘› =𝜌0

(1βˆ’ 𝜌)(1βˆ’ 𝜌+ 𝜌0).

Figure 5 shows the graphical results for π‘žπ‘– as a function ofoffered load πœ† and input number 𝑖 with switch size 𝑁 = 16and layer number π‘˜ = 2. We can see that the simulation resultsvalidate the theoretical results.

B. Mean Waiting Time

We introduce a recursive method to compute the meanwaiting time experienced by cells in the queueing networksystem. First we define the queueing subnetwork of 𝑄𝑖 as:

Ω𝑖 = {𝑄𝑠 : 0 ≀ 𝑠 ≀ 𝑖, 0 ≀ 𝑖 ≀ 𝑁 βˆ’ 1}.The cells passing through 𝑄𝑖 (0 < 𝑖 ≀ 𝑁 βˆ’ 1) come fromtwo sources: from outside and from its upstream subnetworkΩ𝑒 (0 ≀ 𝑒 ≀ 𝑖 βˆ’ 1), as shown in Fig. 6. All cells will spendmean waiting time in 𝑄𝑖, yet cells from upstream 𝑄𝑒 haveexperienced additional mean waiting time on getting throughΩ𝑒 when they arrive at 𝑄𝑖.

From Little’s law, we can obtain mean waiting time of cellsin 𝑄𝑖 is

πœ”π‘– =π‘žπ‘–πœƒπ‘–.

The mean waiting time for Ω𝑖 can be solved recursively asfollows:

πœ”β€²π‘– =

{πœ”π‘– if 𝑖 = 0;

πœ”π‘– +βˆ‘π‘βˆ’1

𝑗=0 (βˆ‘π‘–βˆ’1

π‘˜=0 πœ”π‘˜ Γ— π‘π‘˜π‘—π‘–πœƒπ‘˜πœƒπ‘–

) if 0 < 𝑖 ≀ 𝑁 βˆ’ 1.

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

1

2

3

4

Mea

nw

aitin

gtim

e(t

ime

slots

)

N=16

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

1

2

3

4

5

Mea

nw

aitin

gtim

e(t

ime

slots

)

N=64

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

1

2

3

4

5

6

Offered load (Ξ»)

Mea

nw

aitin

gtim

e(t

ime

slots

)

N=128

Theoretical results

Simulation results

Fig. 7. Theoretical results and simulation results of mean waiting time.

A cell completes its travel when it arrives at its destinationoutput in its 𝐢𝑇𝐢(𝑁) layer, no matter from which queueingsubnetwork or by which output line. Under the uniformtraffic assumption, we can consider one output, e.g. 𝑂𝑗 . Theprobability of a cell arriving at 𝑂𝑗 within one time slot is

𝛿𝑗 = 1βˆ’π‘βˆ’1βˆπ‘–=0

(1βˆ’ π‘π‘–π‘—πœƒπ‘–).

If cell 𝑐 arrives at 𝑄𝑗 at time slot 𝑑, the probability that itleaves queueing network from Ω𝑖 is

𝛾𝑖 =

{1π›Ώπ‘—π‘π‘–π‘—πœƒπ‘–

βˆπ‘βˆ’1π‘˜=𝑖+1(1βˆ’ π‘π‘˜π‘—πœƒπ‘˜) if 0 ≀ 𝑖 < 𝑁 βˆ’ 1;

1π›Ώπ‘—π‘π‘–π‘—πœƒπ‘– if 𝑖 = 𝑁 βˆ’ 1.

Thus, the mean waiting time of cells passing through thewhole queueing network is

π‘Š =

π‘βˆ’1βˆ‘π‘–=0

πœ”β€²π‘–π›Ύπ‘–.

Figure 7 shows the theoretical results and simulation resultswith layer number π‘˜ = 2 and switch size 𝑁 = 16,𝑁 = 64 and𝑁 = 128, respectively, which validate our theoretical results.

REFERENCES

[1] G. Qu, H. J. Chang, J. Wang, Z. Fang, and S. Q. Zheng, β€œContention-tolerant crossbar packet switches without and with speedup,” in IEEEInternational Conference on Communication (ICC), May 2010.

[2] G. Qu, H. J. Chang, J. Wang, Z. Fang, and S. Q. Zheng, β€œContention-tolerant crossbar packet switches,” to appear in International J. Commun.Syst., 2010.

[3] T. G. Robertazzi, Computer Networks and Systems: Queueing Theory andPerformance Evaluation, 3rd edition, p. 103. Springer-Verlag, 2000.