Modelagem analtica de sobrecarga transiente em

sistemas computacionais por meio de parametros

dinamicos obtidos empiricamente
Helder Jefferson Ferreira da Luz1 , Lourenco Alves Pereira Jr.1,2 ,
Flavio Luiz dos Santos de Souza1 e Francisco J. Monaco1
1 Instituto

de Ci
encias Matem
aticas e de Computac
ao
Universidade de S
ao Paulo, c
ampus S
ao Carlos, SP
E-mail: ljr@icmc.usp.br

2 Instituto

Federal de Educac
ao, Ci
encia e Tecnologia de S
ao Paulo
C
ampus Araraquara

SBRC/WCGA 30 de maio 2016 Salvador, BA

Apresentacao

Abordagem e Contextualizacao

Avaliacao estatica

Avaliacao dinamica

Caso de estudo

Metodologia atual e trabalhos futuros

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

2 / 24

Infraestrutura como Servico

le:///hom

Access

SLA

End-users

SLA

Consumer

Data center
IaaS

PaaS/SaaS

Figura: Modelo de utilizacao comumente adotado em IaaS.

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

3 / 24

Computacao em Nuvem

Elasticidade e um ponto importante para este trabalho;

Modelo de negocio: auto-gerenciamento e adaptacao;
Alteracoes operacionais ocorrem em tempo real;
Gerenciamento: feedforward (observar a carga de trabalho) e
feedback (observar o desempenho entregue);
Adaptacao: configurac
oes proporcionais instantaneas;
Entretanto, a transformacao de entrada-sada adiciona restricoes
temporais.

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

4 / 24

Computacao em Nuvem

Sistema dinamico: atraso na relacao de entrada e sada;

A sada atual depende da entrada atual e das sadas passadas
(memoria);
Causas:
Preenchimento de buffers;
Provisionamento de recursos;
Compartilhamento e sincronizacao;
etc.

A abordagem classica para avaliacao de desempenho de sistemas

computacionais desconsidera os dados transientes dos resultados.

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

5 / 24

Avaliacao de desempenho dinamica

Protocolo experimental para expor a dinamica do sistema;
Estatica (classica) vs. dinamica:
Estacionario: qual a capacidade do sistema;
Transiente: como o sistema se comporta perante `as flutuacoes da
carga de trabalho;

Figura: Comportamento dinamico de

segunda ordem.
Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Figura: Dinamica do IBM DB2.

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

6 / 24

Modelo de desempenho dinamico

Assumem-se:
Representacao como sinais no tempo;
Estocasticidade: valores esperados;
Caractersticas ergodicas: temporal and espacial;
Modelo linear invariante no tempo (LTI);
Representacao: AutoRegressive with eXogenous input (ARX);

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

7 / 24

MEDC: modelo conceitual

Simulation Engine

Capacity
Monitor

Effector
Demand

Figura: Monitor, Effector, Capacity, and Demand MEDC-DES1 .

Publicado em WSC 2015 and SBAC-PAD 2015

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

8 / 24

MEDC

Figura: MEDC implementacao no Cloudsim.

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

9 / 24

Estudo de caso

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

10 / 24

Estudo de caso

d
r

Figura: Malha de controle PI proposta

por Pedro.
Figura: Sistema de em estudo.

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

11 / 24

Configuracao do simulador
OnlineBroker
Datacenter:
200 Hosts: 2 cores of 1000 MIPS;
RAM: 4 GB;
Armazenamento: 100 GB;
Rede: 10 Gbps.

Carga de trabalho:
Teoria de filas ( = /(m )):
= 10 tu (antes) & = 5 tu (depois);
= 70 tu;
m = 7 vms (time varying);

Entrada: Carga de trabalho (W );

Sada: N
umero de Maquinas Virtuais (N);
Controlador: taxa de utilizacao em 70 %
Replicas: 300.
Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

12 / 24

Calculo da carga de trabalho (W )

Carga de trabalho:

(1)

W1 =

70
=7
10

(2)

W2 =

70
= 14
5

(3)

W =
Antes da perturbacao: (degrau)

Depois da perturbacao:

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

13 / 24

25

18

Comportamento transiente do sistema

10

Nmero de mquinas virtuais

20
15

14
12
10
8

Tempo de processamento (k)

16

Carga de trabalho
Nmero de VMs

500

1000

1500

2000

Tempo (k)

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

14 / 24

Ciclo de vida das VMs

Bleeding

Running

Paused

Booting

Shutoff

Figura: Tempo de boot: 70 tu

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

15 / 24

Modelo autorregressivo
Modelo geral:
A(q)y (k) =

B(q)
C (q)
u(k) +
v (k)
D(q)
F (q)

(4)

Modelo utilizado (Hellerstein et al., 2004):

A(q)y (k) = B(q)u(k)

(5)

A(q) e B(q) sao polinomios, e a variavel q representa um operador de

atraso no tempo. Um sistema de 2a ordem e representado como:
(q 0 + a1 q 1 + a2 q 2 )y (k) = (b1 q 1 + b2 q 2 )u(k)
y (k) + a1 y (k 1) + a2 y (k 2) = b1 u(k 1) + b2 u(k 2)
y (k) = a1 y (k 1) a2 y (k 2)

(6)

+ b1 u(k 1) + b2 u(k 2)
Em que, q 1 u(k) = u(k 1).
Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

16 / 24

Funcao de transferencia
A sada do sitema e a razao entre a entrada e sada:
F (z) =

U(z)
Y (z)

(7)

No nosso caso: (notacao utilizada no Matlab)

F (z) =

b1 z 1 + b2 z 2
1 a1 z 1 a2 z 2

(8)

Modelo ARX utilizado:

y (k) = a1 y (k 1) a2 y (k 2) + b1 u(k 1) + b2 u(k 2)

(9)

Algoritmo de estimacao dos parametros: Mnimos Quadrados.

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

17 / 24

10

Sada real
Sada da FT

Nmero de mquinas virtuais

12

Identificacao desconsiderando a estocasticidade do sistema

500

1000

1500

2000

Time (k)

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

18 / 24

Aplicacao de filtro FIR

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

19 / 24

10

Sada real
Sada da FT

Nmero de mquinas virtuais

12

Sistema identificado

500

1000

1500

2000

Time (k)

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

20 / 24

Acuracia do modelo
Funcao de transferencia:
F (z) =

0.01024z 1 + 0.01312z 2
1 1.96z 1 + 0.9617z 2

(10)

Tabela: Comparacao de caractersticas do modelo analtico com o mensurado do sistema

Metrica
Transiente
(Op )
(Ts )

Modelo
analtico
22.36%
1790rtu

Mensurado
do sistema
27.76%
1370rtu

Erro
absoluto
5.4%
420rtu

Erro
relativo
24.15%
30.65%

Em que, Op e o overshoot e Ts e o settling time.

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

21 / 24

Consideracoes finais

Modelos analticos para previsao de desempenho: overshoot e settling

time; (sem experimentos extras)
Modelagem dinamica apresentou bons resultados para nuvem;
Propcio para sistemas de grande escala/complexidade;
Trabalhos em andamento:
Carga de trabalho com rajadas;
Controle de admissao para evitar overshoot.

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

22 / 24

Obrigado!
Duvidas?

Lourenco Alves Pereira Junior

e-mail: ljr@icmc.usp.br
ljr@ifsp.edu.br

Lourenco A. Pereira Jr. (ljr@icmc.usp.br)

Avaliac
ao de desempenho transiente

SBRC/WCGA2016

23 / 24

Modelagem analtica de sobrecarga transiente em

sistemas computacionais por meio de parametros
dinamicos obtidos empiricamente
Helder Jefferson Ferreira da Luz1 , Lourenco Alves Pereira Jr.1,2 ,
Flavio Luiz dos Santos de Souza1 e Francisco J. Monaco1
1 Instituto

de Ci
encias Matem
aticas e de Computac
ao
Universidade de S
ao Paulo, c
ampus S
ao Carlos, SP
E-mail: ljr@icmc.usp.br

2 Instituto

Federal de Educac
ao, Ci
encia e Tecnologia de S
ao Paulo
C
ampus Araraquara

SBRC/WCGA 30 de maio 2016 Salvador, BA