Você está na página 1de 12

Departamento de Informtica

Disciplina: Modelagem Analtica do

Processo de Chegada
Modelagem Analtica

Desempenho de Sistemas de Computao


Fluxos de Entrada Fluxos de Sada Lei de Little Fator de Utilizao
Sistema

Processo de Chegada
Descrio da forma que

usurios ingressam no sistema

Prof. Srgio Colcher colcher@inf.puc-rio.br

Usurios
Pacotes para um sistema de comunicao Processos para um sistema operacional ...
2

Copyright 19991999-2005 2005 by TeleMdia Lab.

Histrico do Processo de Chegada


Modelagem Analtica

Converso de Tempo Contnuo em Tempo Discreto


Modelagem Analtica

Histrico Real do fluxo de Chegada de um Processo Funo Cumulativa do Tempo R(t)


Nmero de usurios que entrou no sistema at um

instante t
Funo no decrescente (wide wide-sense increasing)
R(0) = 0
2 3 4 1 2 3 4

Por definio

Converso de Tempo Discreto em Tempo Contnuo


Modelagem Analtica

Converso de Tempo Discreto em Tempo Contnuo


Modelagem Analtica

1 2 3 4

1 2 3 4

Processo de Sada
Modelagem Analtica

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) 6 Nmero de Chegadas A(t) Nmero de Sadas B(t) B(t)

Sistema

5 4 N(t) 3 2 1

Processo de Sada
Descrio da forma que

T2

usurios saem no sistema

t1

t2

N(t) o nmero de usurios dentro do sistema no instante t, algumas vezes chamado de backlog
7 8

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) 6 6 Nmero de Chegadas A(t) Nmero de Sadas B(t) 5 4 N(t) 3 2 1 B(t) Nmero de Chegadas A(t) Nmero de Sadas B(t) 5 4

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) B(t)

N(t) 3 2 1

T2

T2

t1

t2

t1

t2

Seja Nt o nmero mdio de usurios no sistema calculado at o instante t. N t deve ser calculado tomando intervalos nos quais N (t ) constante, multiplicar esse valor pelo respectivo intervalo e tomar a soma de todos esses intervalos dividida por t.
10

Ti o tempo de permanncia do usurio i no sistema

Nt =

reat t

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) 6 Nmero de Chegadas A(t) Nmero de Sadas B(t) 5 4 N(t) 3 2 1 B(t) Nmero de Chegadas A(t) Nmero de Sadas B(t) 6 5 4

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) B(t)

N(t) 3 2 1

T2

T2

t1

t2 Sistema bem comportado:

t1

t2 Sistema bem comportado:

reat Nt = t

N t tende a um nico valor quando t se torna suficientemente grande, isto , o sistema tende a um estado estacionrio no qual a mdia converge para um valor N .
11

reat Nt = t

N = lim N t
t
12

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) 6 Nmero de Chegadas A(t) Nmero de Sadas B(t) 5 4 N(t) 3 2 1 B(t) Nmero de Chegadas A(t) Nmero de Sadas B(t) 6 5 4

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) B(t)

N(t) 3 2 1

T2

T2

t1

t2

t1

t2 Sistema bem comportado:

Seja t a taxa de chegada mdia de usurios ao sistema calculada at o instante t.


13

A(t ) t = t

A(t ) t = t

= lim t
t
14

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) 6 Nmero de Chegadas A(t) Nmero de Sadas B(t) 5 4 N(t) 3 2 1 B(t) Nmero de Chegadas A(t) Nmero de Sadas B(t) 6 5 4

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) B(t)

N(t) 3 2 1

T2

T2

t1

t2

t1

t2 Sistema bem comportado:

Seja t a taxa de sada mdia de usurios do sistema calculada at o instante t.


15

B (t ) t = t

B (t ) t = t

= lim t
t
16

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) 6 Nmero de Chegadas A(t) Nmero de Sadas B(t) 5 4 N(t) 3 2 1 B(t) Nmero de Chegadas A(t) Nmero de Sadas B(t) 6 5 4

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) B(t)

N(t) 3 2 1

T2

T2

t1

t2

t1

t2

Sistema bem comportado:

razovel que =
17

Seja Tt tempo mdio de permanncia no sistema para usurios que chegam entre o instante 0 e o instante t.
18

T
Tt =
i =0

A(t )

A(t )

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) 6 Nmero de Chegadas A(t) Nmero de Sadas B(t) 5 4 3 2 1 B(t) Nmero de Chegadas A(t) Nmero de Sadas B(t)

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) 6 5 4 3 2 1 B(t)

reat
t

t1

t2

t1

t2

reat Ti
i =0
19 20

A(t )

Histricos de Entrada e de Sada


Modelagem Analtica
A(t) 6 Nmero de Chegadas A(t) Nmero de Sadas B(t) 5 4 3 2 1 B(t)

Histricos de Entrada e Sada


Modelagem Analtica

Ti reat Ti
i =0 i =0

B (t )

A(t )

T
i =0

B (t )

T
Nt
i =0

A(t )

t A(t ) Ti
A(t ) i =0

B(t ) Ti
i =0

B (t )

t B(t )
t1
B (t ) i =0

Nt

t A(t )

t2
A( t ) i =0

T
t
i =0

B (t )

T rea T
i t

B (t )

N t tTt
22

21

Histricos de Entrada e Sada


Modelagem Analtica
B (t ) i =0

Histricos de Entrada e Sada


Modelagem Analtica

T
t
t

B (t ) lim t = lim t = =
t

N t tTt

Ti = Ti +
i =0 i =0
J sairam no instante t

A( t )

B (t )

A(t )

Ti

i = B ( t ) +1

Esto no sistema no instante t

lim
t

1 B (t ) Ti N T B (t ) i = 0

(1)
Valor limitado

( )

23

24

Histricos de Entrada e Sada


Modelagem Analtica

Histricos de Entrada e Sada


Modelagem Analtica

Ti = Ti +
i =0 A( t ) i =0

A (t )

B (t )

i = B ( t ) +1

A (t )

Ti

1 1 B (t ) 1 A (t ) = + T T i A(t ) Ti i A(t ) i =0 A(t ) i = B ( t ) +1 i =0 lim


t

1 B (t ) T = lim Ti t A(t ) i =0 1 B (t ) T lim Ti (pois A(t ) B(t ), t ) t B (t ) i =0


lim
t

1 A( t ) 1 B (t ) 1 A( t ) = + T T lim lim i t A(t ) Ti i t A(t ) A(t ) i =0 i =0 i = B ( t ) +1


t

lim Tt = lim
t

1 B (t ) Ti A(t ) i =0

1 B (t ) Ti N T B (t ) i = 0

(1)

1 B (t ) T = lim Ti t A(t ) i =0
25

T N T

N = T
26

Lei de Little
Modelagem Analtica

Lei de Little
Modelagem Analtica

Nmero de Chegadas A(t)

Seja N o nmero mdio de usurios no sistema, a taxa mdia de chegada de usurios ao sistema e T o tempo mdio de permanncia dos usurios no sistema. Ento:

A(t) 6 5 N(s) 4 3 T3 2 T2 1 T1 s t

N=

27

28

Aplicaes (I)
Modelagem Analtica

Aplicaes (I)
Modelagem Analtica

Suponha que a taxa mdia de produo de pacotes de uma determinada fonte seja de 1 Mbps (106 bps), com pacotes de tamanho fixo igual a 1000 bits Se o tempo total de transmisso de um pacote em uma linha unidirecional (contando o tempo desde que o pacote produzido, enfileirado, transmitido e recebido) , em mdia, de 0,1 segundos, qual o nmero mdio de pacotes em transmisso (contando os que ficam prontos e enfileirados esperando a sua vez) ?

Taxabps Tamanho pacote

106 bps = 3 = 103 pacotes seg 10 bits

N = T N = 103 101 N = 100 pacotes

29

30

Aplicaes (II)
Modelagem Analtica

Aplicaes (II)
Modelagem Analtica

Considere uma CPU atendendo tarefas, uma de cada vez. Tarefas podem chegar ao sistema a uma taxa de 1000 tarefas por segundo (tps). Se a CPU gasta (em mdia) 0,01 segundos para atender cada tarefa a qual submetida (sem contar o tempo que uma tarefa fica enfileirada) Pergunta-se: qual o nmero mdio de usurios Perguntana CPU ?

0, 01s

N = T N = 1000 0,01 N = 10

31

32

Lei de Little e Estabilidade do Sistema


Modelagem Analtica

Lei de Little e Estabilidade do Sistema


Modelagem Analtica

No exemplo anterior o sistema no atinge a estabilidade (equilbrio) Seja a taxa mdia de chegada ao centro de servios (em tarefas por segundo, por exemplo) Seja a capacidade do servidor (em tarefas por segundo, por exemplo)

T=
33

N = T N 1 1 T 1 T

T= 1

Para que o sistema alcance equilbrio

No caso do exemplo anterior:


= 100 = 1000
34

Concluso: Lei de Little e Estabilidade do Sistema


Modelagem Analtica

Fator de Utilizao ( )
Modelagem Analtica

Seja a capacidade do servidor e a taxa mdia de chegada A taxa mdia de sada do sistema deve ser igual a
e

Definio: =
= = T = N 1

T= 1

Isto reflete o fato de que a capacidade de processamento do servidor maior do que a mdia de usurios processados por unidade de tempo
Em determinados momentos, o servidor pode estar vazio.

A(t )

= =

(Se o sistema estiver sempre cheio, ento = 1)

A(t ) T t Tempo ocupado = Tempo total = utilizaao = parcela do tempo ocupado

35

36

Fator de Utilizao ( )
Modelagem Analtica

Aplicaes (III)
Modelagem Analtica

No caso mais geral, com Nmax servidores

=
T

N max T

T N = = N max N max
servidores ocupados

= proporo mdia de

Para N max = 1

= proporo do tempo
de ocupao

Considere um computador que atende a N clientes . Cada cliente entra no sistema e, aps um tempo mdio R de reflexo, submete uma tarefa ao computador. Tarefas levam em mdia P unidades de tempo para serem processadas. Tarefas so enfileiradas e tratadas de acordo com alguma poltica ce compartilhamento de tempo. Gostaramos de obter estimativas sobre a taxa de tarefas processadas (tarefas/seg) sustentada pelo sistema e o tempo mdio de atendimento das tarefas. AssumeAssume -se que o sistema sempre tem os N usurios, isto : mesmo que um usurio termine suas tarefas, um outro est pronto para assumir o seu lugar.

37

38

Aplicaes (III)
Modelagem Analtica

Aplicaes (III)
Modelagem Analtica

Arquitetura Cliente Servidor

Arquitetura Cliente Servidor

Cliente 1

Cliente 1

Cliente 2

Fila
Tempo Mdio de Espera W Tempo Mdio de Processamento P

Cliente 2

Fila
Tempo Mdio de Espera W Tempo Mdio de Processamento P

Cliente N Tempo Mdio de Processamento R

Cliente N Tempo Mdio de Processamento R

D =W + P

39

40

Aplicaes (III)
Modelagem Analtica

Aplicaes (III)
Modelagem Analtica

Cliente 1

Cliente 1

Cliente 2

Fila
Tempo Mdio de Espera W Tempo Mdio de Processamento P

Cliente 2

Fila
Tempo Mdio de Espera W Tempo Mdio de Processamento P

Cliente N Tempo Mdio de Processamento R

Cliente N

D =W + P

0 W ( N 1) P Somando P: P D NP Somando R: R + P T R + NP

Tempo Mdio de Processamento R

D =W + P

R + P T R + NP Dividindo por N : R + P T R + NP N N N N N R + NP R+P

N = T = T = R+D

N T

N = T = T = R+D

N T

41

42

Aplicaes (III)
Modelagem Analtica
N lim =0 N 0 R + NP 1 N lim = N R + NP P

Aplicaes (III)
Modelagem Analtica

N 1 N min , R + NP P R + P

Cliente 1

Cliente 2

Fila
Tempo Mdio de Espera W Tempo Mdio de Processamento P

1 N P R+P R+P N P R Regio em que N 1+ P dominado pela


curva N R+P

Cliente N Tempo Mdio de Processamento R

D =W + P

Tambm sabemos que

N > 1+

R P

N N R + NP R+P

1 P Logo: N 1 N min , R + NP P R + P

Regio em que dominado pela curva 1 P

43

44

N lim =0 N 0 R + NP 1 N lim = N R + NP P

N 1 N min , R + NP P R + P

Aplicaes (III)

N 1+

R Regio em que P dominado pela curva N R+P

N 1 N min , R + NP P R + P

Aplicaes (III)

N > 1+

R P

Regio em que dominado pela curva 1 P

1 1 1 , min R + NP N NP R + P Da Lei de Little:

1 T

Upper bound induzido pela capacidade da CPU Vazo Atingida () Upper bound induzido pelo nmero limitado de clientes

1 1 1 1 min , R + NP T NP R + P R + NP T max { NP, R + P} max { NP, R + P} T R + NP

1/P

Lower bound (vazo garantida)

1+R/P Nmero de Terminais (N)

Aplicaes (III)

Tempo Mdio do Usurio no Sistema (T)

R+P R

1 Nmero de Terminais (N)