An automated approach for systems performance and dependability improvement through sensitivity analysis of Markov chains

Rubens de Souza Matos Jnior Orientador: Prof Paulo R. M. Maciel

Agenda

Motivao unda!entos
"adeias de Mar#ov An$lise de Sensibilidade

Metodologia %ro%osta Su%orte co!%utacional %ara a !etodologia &studos de caso "onsidera'es finais

Motivao
"o!o %ro%or !el(orias a siste!as co!%utacionais co!%le)os*

+ntera'es entre diversos co!%onentes de soft,are ou (ard,are

A !odelage! de dese!%en(o e de%endabilidade %recisa lidar co! u!a grande -uantidade de %ar.!etros

/ i!%ortante con(ecer a orde! da influ0ncia de cada %ar.!etro nos resultados de u! !odelo

Motivao
1enef2cios de se con(ecer a orde! de influ0ncia dos %ar.!etros:

+dentificao correta de gargalos %ara o dese!%en(o do siste!a 3efinio de %rioridades de investi!ento:

4ard,are ou soft,are !ais confi$vel Manuteno !ais r$%ida "onfigurao fina de %ar.!etros

Motivao
&ste trabal(o %ro%'e u!a !etodologia %ara a identificao de %ontos de oti!izao e! siste!as co!%utacionais

An$lise de Sensibilidade a%licada a "adeias de Mar#ov Auto!atizao atrav5s de u!a ferra!enta de !odelage! anal2tica

"adeias de Mar#ov

Modelos de Mar#ov:

+ntroduzidos %or Andrei A. Mar#ov6 e! 789:. or!alis!o intensiva!ente usado na !odelage! de dese!%en(o e de%endabilidade. A%lica'es ta!b5! e!:
&cono!ia 2sica Meteorologia ;u2!ica <eleco!unica'es

"adeias de Mar#ov

3efinio de Modelo de Mar#ov:

3iagra!a de es%ao de estados associado a u! %rocesso Mar#oviano. Processo estoc$stico e! -ue6 considerando u!a vari$vel aleat=ria de%ende so!ente do lti!o valor

Processo Mar#oviano:

"adeias de Mar#ov

Modelo de Markov simples, para o clima de uma cidade

"adeias de Mar#ov

Pro%riedades de u! !odelo de Mar#ov:

A evoluo futura do estado do siste!a 5 total!ente descrita %elo estado atual O te!%o gasto no estado atual do siste!a no influencia na %robabilidade de !udana %ara o %r=)i!o estado Processo estoc$stico co! es%ao de estados cont$vel >discreto? Pode ser classificada e! 3<M" ou "<M"

"adeia de Mar#ov:

"adeias de Mar#ov

DTMC - Cadeia de Markov de Tempo Discreto

CTMC - Cadeia de Markov de Tempo Contnuo

"adeias de Mar#ov
Matriz de ta as

!"ua#$o do vetor de probabilidades em estado estacion%rio

Modelage! de 3ese!%en(o co! "adeias de Mar#ov

Modelo de nascimento-morte representando um sistema de fila

An$lise de Sensibilidade

3efinio

An$lise do i!%acto -ue cada u! dos %ar.!etros de u! !odelo %ode causar e! u!a deter!inada !5trica. +dentificao de gargalos de dese!%en(o e de%endabilidade @uia %ara oti!izao de siste!as +dentificao de %ar.!etros insignificantes %ara os resultados

1enef2cios

An$lise de Sensibilidade

An$lise de Sensibilidade

M5todos:

Aariao de %ar.!etros u! a u! 3esign of &)%eri!ent An$lise de correlao e de regresso An$lise diferencial

Aariao de %ar.!etros u!BaBu!

An$lise de sensibilidade diferencial

Obteno de fun'es de sensibilidade

3erivada %arcial da !5trica C e! relao a cada %ar.!etro D.

C %ode ser -ual-uer !5trica de an$lise estacion$ria ou transiente

An$lise de sensibilidade diferencial

Relao co! a inclinao das curvas nu!a an$lise %or variao de %ar.!etros u!BaBu!.

Ponto analisado: EFG6 HF:6 IFJ

Metodologia %ro%osta %ara !el(oria de siste!as atr$ves de An$lise de Sensibilidade

Metodologia %ro%osta

Passos da !etodologia Oti!izao co! restri'esKfun'es de custo 3eciso sobre uso de sensibilidade nor!alizada

&lu ograma para a metodologia proposta

Oti!izao co! restri'esKfun'es de custo

M5todo de !ulti%licadores de Lagrange

Oti!izao co! restri'esKfun'es de custo

M5todo de !ulti%licadores de Lagrange

Abordage! e)istente:

Abordage! alternativa %ro%osta:

A%oio a deciso %ara o uso de fun'es de sensibilidade nor!alizadas

Relao entre logarit!os naturais e fun'es de sensibilidade nor!alizadas:

A%oio a deciso %ara o uso de fun'es de sensibilidade nor!alizadas

Mes!a relao %ara log79 :

A%oio a deciso %ara o uso de fun'es de sensibilidade nor!alizadas

"aracter2sticas de !odelos de dis%onibilidade

<a)as de fal(a <a)as de re%aro M5tricas de dis%onibilidade

M!ero de noves

A%oio a deciso %ara o uso de fun'es de sensibilidade nor!alizadas

"aracter2sticas de !odelos de %erfor!abilidade

<a)as de fal(a <a)as de re%aro <a)as de dese!%en(o M5tricas de %erfor!abilidade

"o!%arao co! abordagens e)istentes

Metodologia estruturada Aantagens de usar !odelos anal2ticos

Mais gen5rico do -ue usar f=r!ulas fec(adas Mais eficiente do -ue si!ulao

"lareza na deciso sobre o uso de 2ndices nor!alizados

Ada%tao do !5todo de !ulti%licadores de Lagrange %ara o uso co! 2ndices nor!alizados

Su%orte co!%utacional %ara a !etodologia

+ntegrao de fun'es de A.S. a u!a ferra!enta de !odelage! anal2tica.

S4ARP& >interface te)tual B scri%ts?

Obteno auto!$tica do ran#ing de sensibilidade %ara deter!inadas !5tricas.

M5tricas escol(idas
Probabilidade e! estado estacion$rio do siste!a encontrarBse nu! estado iN

Probabilidade do siste!a encontrarBse nu! estado i nu! te!%o tN

<a)a de re,ard es%erada %ara o siste!a e! estado estacion$rioN

<a)a de re,ard es%erada %ara o siste!a nu! te!%o tN

Probabilidade cu!ulativa de estar no estado i no intervalo >96t?N

Re,ard cu!ulativo es%erado no intervalo >96t?N

As%ectos de %rogra!ao

@iMA"

ra!e,or# %ara co!%utao si!b=lica "onOunto de bibliotecas "PP &ssencial %ara derivao %arcial da !atriz de ta)as +ntegrao si!%les co! as fun'es desenvolvidas no S4ARP& >linguage! "?

"=digo %ara diferenciao da !atriz de ta)as

/* Armazene cada taxa como uma expresso GiNaC*/ for (i=0;i<array_size;i++){ e[i] = reader(q[i]); } /* Obtm todos os smbolos (parmetros) das taxas */ symtab table = reader.get_syms(); /* rocure o parmetro de interesse e con!erta"o num smbolo GiNaC*/ symbol x = table.fi d(!aram) "= table.e d() # ex_to<symbol$(table[!aram]) % symbol(!aram);

"=digo %ara diferenciao da !atriz de ta)as

/* Crie uma lista com os nomes dos smbolos e outra com os !alores deles */ for (i=0;i< symbols; i++){ l_ ames.a!!e d(reader( ames[i])); l_&al'es.a!!e d(&al'es[i]); } /* ara cada expresso (taxa na matriz)# deri!e com rela$o ao parmetro (x)# e ento substitua os smbolos pelos !alores*/ for ((=0;(<array_size;(++){ tem! = e&alf(e[(].diff(x).s'bs(l_ ames)l_&al'es)); if (is_a< 'meri*$(tem!)) { d = ex_to< 'meri*$(tem!).to_do'ble(); &[(]=d; } else { *o't << +,rror i 'meri*+ << e dl; } } *o &ersio symboli* -$

As%ectos de %rogra!ao

Ada%ta'es feitas ao S4ARP&

Movas condi'es %ara co!%utao de resultados Ar!azena!ento de ta)as de re,ard si!b=licas "riao de novas keywords %ara a sinta)e do S4ARP&

un'es desenvolvidas %ara o S4ARP&

&)e!%lo de utilizao do S4ARP& %ara S.A.

Siste!a co! 7 servidor e fila de ta!an(o Q Penalidade %ara -uando ($ 7 ou Q clientes es%erando na fila.

&)e!%lo de utilizao do S4ARP& %ara S.A.

./efi i01o da *adeia de 2ar3o& mar3o& q'e'e 40 45 lambda 45 46 lambda 46 47 lambda 47 46 m' 46 45 m' 45 40 m' re8ard 40 0 45 0 46 50 47 60 e d 40 5.0 e d

&)e!%lo de utilizao do S4ARP& %ara S.A.

.9trib'i01o de &alores (i bi d lambda 7 m' < e d *lie tes:mi ) aos !ar;metros do modelo

.2=tri*as sele*io adas !ara a >lise &ar !rob?'ll !rob(q'e'e)47) &ar se s?'ll@ambda s!rob(q'e'e)47)lambda) &ar se s?'ll2' s!rob(q'e'e)47)m') &ar !rob?'ll6mi t&al'e(6;q'e'e)47) &ar se s?'ll6mi @ambda st&al'e(6;q'e'e)47)lambda) &ar se s?'ll6mi 2' st&al'e(6;q'e'e)47)m') &ar *ost4'e'e exrss(q'e'e) &ar se sAost@ambda sexrss(q'e'e)lambda) &ar se sAost2' sexrss(q'e'e)m')

&)e!%lo de utilizao do S4ARP& %ara S.A.

.Bri ti g res'lts for all meas'res% ex!r !rob?'ll ex!r se s?'ll@ambda ex!r se s?'ll2' ex!r !rob?'ll6mi ex!r se s?'ll6mi @ambda ex!r se s?'ll6mi 2' ex!r *ost4'e'e ex!r se sAost@ambda ex!r se sAost2'

&)e!%lo de utilizao do S4ARP& %ara S.A.

&studos de caso

"o!%osio de ,eb services

3ese!%en(o e confiabilidade 3is%onibilidade 3is%onibilidade >co! e se! fun'es de custo?

Redund.ncia e! redes de co!%utadores

Siste!a de servidores virtualizados

Servidores virtualizados

An$lise de dis%onibilidade &studo de caso baseado e! >Ri! et al6 Q998?

<rataBse de u! %rovedor de (os%edage! de a%lica'es

Servidores virtualizados

Servidores virtualizados

Subsiste!a de AMs

Modelo %ara subsiste!a de AMs

Modelo %ara subsiste!a de AMs

'omenclatura adotada para os estados ( ) ativo & ) falha n$o detectada D ) falha detectada M ) *M migrando + ) *M reiniciando f ) falha na App

Modelo %ara subsiste!a de AMs

Descri#$o e valores dos par,metros @randes diferenas: 8 )79S J )797 8 )79B7

Modelo %ara subsiste!a de AMs

3uas !5tricas %ara an$lise:

M<< TAMs "OATAMs

A!bas considerando o siste!a e! estado estacion$rio

Modelo %ara subsiste!a de AMs

Modelo %ara subsiste!a de AMs

ri F 76 se ($ u!a AM e)ecutando e! cada (ost

ri F 96:G6 se as duas AMs esto e)ecutando no !es!o (ost

ri F 96G6 se s= ($ u!a AM e)ecutando ri F 96 se no ($ nen(u!a AM e)ecutando

Modelo %ara subsiste!a de AMs

3e acordo co! a !etodologia %ro%osta6 fora! usadas fun'es de sensibilidade nor!alizadas

Mo caso base analisado:

M<< TAMs F U.9GS ) 79: ( "OATAMs F 9.88V

Resultados da An$lise de Sensibilidade

+anking de sensibilidade para MTT&-*Ms

Resultados da An$lise de Sensibilidade

Maior inclina#$o para MTT& dos hosts ) ./lambda-h

!feito de cada par,metro de falha sobre o MTT&-*Ms

Resultados da An$lise de Sensibilidade

Maior inclina#$o para o tempo de migra#$o ) ./m-v

!feito de cada par,metro de recupera#$o sobre o MTT&-*Ms

Resultados da An$lise de Sensibilidade

+ankings de sensibilidade para C0A-*Ms, considerando diferentes valores de MTT&-h ) . / lambda-h

Resultados de A.S. co! fun'es de custo

"onsidera!os -ue a !el(oria de u! %ar.!etro acarreta au!ento de custos. 3efini!os o custo do siste!a e! funo dos valores dos %ar.!etros

Resultados de A.S. co! fun'es de custo

Wtiliza!os o !5todo de !ulti%licadores de Lagrange6 ada%tado %ara o uso de sensibilidade nor!alizada:

Resultados de A.S. co! fun'es de custo

+ankings de sensibilidade para MTT&-*Ms, considerando custos

Resultados de A.S. co! fun'es de custo

"onsidera'es finais

&ste trabal(o contribui %ara a oti!izao de siste!as

Metodologia baseada e! !odelos for!ais %ara realizar !el(orias e! infraestruturas de co!%utao +ntegrao entre A.S. e t5cnicas de oti!izao co! restri'es %er!ite e-uilibrar !el(orias no siste!a e au!entos nos custos 3iretrizes sobre o uso de fun'es de sensibilidade nor!alizadas no .!bito de estudos de dese!%en(o e de%endabilidade. +!%le!entao de fun'es de an$lise de sensibilidade nu!a ferra!enta de !odelage! co! cadeias de Mar#ov.

<rabal(os futuros

An$lise de Sensibilidade e! !odelos (ier$r-uicos +ntegrao entre A.S. 3iferencial e outras t5cnicas:

+!%ort.ncia estrutural An$lise de "orrelao An$lise de Regresso

+!%le!entao de fun'es de A.S. e! ferra!entas %ara outros for!alis!os:

Redes de Petri Redes de fila

<rabal(os %ublicados
MA<OS JXM+OR6 R. N <R+A&3+6 R. N Maciel6 P. N "AM1O+M6 R. N @W+MARY&S6 A. . 1ensitivity Analysis of Availability of +edundancy in Computer 'et2orks . +n: <(e ourt( +nternational "onference on "o!!unication <(eorZ6 ReliabilitZ6 and ;ualitZ of Service6 Q9776 1uda%est. Proceeding of "<R;6 Q977.

@W+MARY&S6 A. N MA"+&L6 P. R. M. N MA<OS JXM+OR6 R. N "AM1O+M6 R. . Dependability Analysis in +edundant Communication 'et2orks using +eliability 3mportance. +n: <(e Q977 +nternational "onference on +nfor!ation and Met,or# <ec(nologZ6 Q9776 "(ennai. Proceeding of +"+M<6 Q977.

<iago alco N Andrade6 &r!eson N MA<OS J[M+OR6 R. N MA"+&L6 P. R. M. N \OR<46 S. N MAL&M AM<6 P. . \ S: (m 1istema de Ar"uivos &(1!-4inu 5aseado na 6oltica 7rite-0nce +ead-Many8 +n: \or#s(o% de Soft,are Livre6 Q9796 Rio @rande do Sul. Proceeddings of \SL6 Q979.

<iago alco N Andrade6 &r!eson N MA<OS JXM+OR6 R. N MA"+&L6 P. R. M. N \OR<46 S. N MAL&M AM<6 P. . 0timiza#$o do Desempenho de um 1istema de Ar"uivos &(1!-4inu 5aseado na 6oltica 7rite-0nce +ead-Many. +n: "onfer0ncia LatinoBa!ericana de +nfor!$tica6 Q9796 Assuno. Proceeddings of "L&+ Q9796 Q979.