Você está na página 1de 109

ROMILDO MARTINS DA SILVA BEZERRA

UMA PROPOSTA PARA A GERNCIA


AUTONMICA E ESCALVEL DE REDES DE
COMPUTADORES

Tese apresentada ao Programa Multiinstitucional de


Ps-Graduao em Cincia da Computao da Universidade Federal da Bahia, Universidade Estadual
de Feira de Santana e Universidade Salvador, como
requisito parcial para obteno do grau de Doutor
em Cincia da Computao.

Orientador: Prof. Dr. Joberto Srgio Barbosa Martins

Salvador
2012

ii

Ficha catalogrfica elaborada pela Biblioteca XXXXXX,


Instituto de Matemtica

S111d

Bezerra, Romildo Martins da Silva


XXX
XXX / Romildo Martins da Silva Bezerra. Salvador, 2012.
89p. : il.
Orientador: Prof. Dr. Joberto Srgio Barbosa Martins.
Tese (doutorado) Universidade Federal da Bahia, Instituto de Matemtica,
Programa Multiinstitucional de Ps-Graduao em Cincia da Computao, 2012.
1. Gerncia de Redes. 2. Computao Autonmica. 3. Escalabilidade
4.Qualidade de Servio. I. Joberto Srgio Barbosa. II. Universidade
Federal da Bahia. Instituto de Matemtica. III Ttulo.
CDD 20.ed. 003.83

iii

TERMO DE APROVAO
ROMILDO MARTINS DA SILVA BEZERRA

UMA PROPOSTA PARA A GERNCIA AUTONMICA E


ESCALVEL DE REDES DE COMPUTADORES
Esta tese foi julgada adequada obteno do ttulo
de Doutor em Cincia da Computao e aprovada
em sua forma final pelo Programa Multiinstitucional de Ps-Graduao em Cincia da Computao
da UFBA-UEFS-UNIFACS.

Salvador, 05 de setembro de 2012

Orientador: Professor Joberto Srgio Barbosa Martins, Docteur


Universidade Salvador

Professor Lisandro Zambenedetti Granville, Doutor


Universidade Federal do Rio Grande do Sul

Professor Jos Neuman de Souza, Docteur


Universidade Federal do Cear

Professor Celso Alberto Saibel Santos, Docteur


Universidade Federal do Esprito Santo

Professor Jos Augusto Suruagy Monteiro, Ph.D.


Universidade Federal de Pernambuco

iv

Para minha esposa e minha filha

vi

AGRADECIMENTOS

vii

viii

AGRADECIMENTOS

Os investimentos em conhecimento geram os melhores dividendos


BENJAMIN FRANKLIN

AGRADECIMENTOS

RESUMO
A tarefa de gerenciar redes de computadores tem se tornado uma atividade altamente complexa devido a diversidade dos servios ofertados, heterogeneidade dos dispositivos e baixa
granularidade da gerncia. Neste contexto, os sistemas de gerncia autonmicos (Autonomic
Management Systems AMS) esto sendo investigados como uma possvel abordagem capaz
de lidar com a alta complexidade da gerncia. Com efeito, espera-se que tais sistemas autonmicos possam, entre outras funcionalidades, ofertar a configurao e otimizao dos recursos
da rede, mantendo escalvel as caractersticas de desempenho. Fundamentalmente, o problema
de escalabilidade deve ser considerado por solues atuais de sistemas de gerncia autonmicos
sob risco de tais solues no se adequarem em diferentes ambientes gerenciados. Dessa forma,
espera-se que as solues autonmicas sejam encontradas, de preferncia, dinamicamente (onthe-fly) e, como tal, possam efetivamente substituir a interveno humana na gesto da rede.
Este trabalho objetiva a concepo de uma soluo autonmica para que a gerncia de redes
oferea, dentre outros aspectos, uma caracterstica de escalabilidade na verificao de novas
solues da rede. Para tal, foi desenvolvido um arcabouo auto-gerenciado para a utilizao
em diversos cenrios escalveis, que foram alcanados mediante a concepo de uma estratgia de particionamento de rede (NPCE Network Partitioning Computing Engine). A NPCE
considera simultaneamente um conjunto de requisitos especificados como parmetros de QoS e
tempo de execuo na busca de novas configuraes. Os resultados demonstram a viabilidade
da soluo autonmica atravs de testes em cenrios com diferentes topologias, perfis de trfego
e mediante a aplicao de falhas.
Palavras-chave: Computao Autonmica, Auto-Gerenciamento, Gerncia de Redes e Escalabilidade

xi

xii

RESUMO

ABSTRACT
Managing computers network has become a really complex task due to the diversity of
offered services, devices heterogeneity and low granularity of management. In this context,
Autonomic Management Systems (AMS) has being investigated as a possible approach able to
handle the high complexity of management. Indeed, it is expected that such autonomic systems may, among other features, offer network resources configuration and optimization while
maintaining scalable performance characteristics. Fundamentally, the scalability problem must
be considered by current autonomic management systems at risk of solutions do not fit in different managed environments. Thus, it is expected that autonomic solutions are preferably found
dynamically (on-the-fly), and can effectively replace the human intervention in network management. This work aims at designing a solution for autonomic network management that
provides, among other things, a feature of scalability in the verification of new network solutions. To do so, we developed a self-managed framework to be used in several scalable scenarios,
which were generated through the conception of a strategy of network partitioning (Network
Partitioning Computing Engine or NPCE). NPCE simultaneously considers a set of specified requirements as QoS parameters and execution time in the search for new configurations. Results
demonstrate autonomic solution feasibility through tests in scenarios with different topologies,
traffic profiles and fault model.
Keywords: Autonomic Computing, Self-Management, Network Management and Scalability.

xiii

xiv

ABSTRACT

SUMRIO

Captulo 1Introduo
1.1
1.2
1.3

Gerncia Autonmica de Redes . . . . . . . . . . . . . . . . . . . . . . . . . .


Motivao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Objetivos e Organizao da Tese . . . . . . . . . . . . . . . . . . . . . . . . .

Captulo 2Gerncia Autonmica de Redes


2.1
2.2

2.3
2.4
2.5

2.6

A Evoluo dos Sistemas de Gerncia . . . . . . . . . . . . . . . . . . . . . .


Computao Autonmica Uma Breve Viso . . . . . . . . . . . . . . . . . .
2.2.1 Requisitos para o Auto-Gerenciamento . . . . . . . . . . . . . . . . .
2.2.2 Automtico versus Autonmico . . . . . . . . . . . . . . . . . . . . .
2.2.3 Polticas e Computao Autonmica . . . . . . . . . . . . . . . . . . .
2.2.4 Aspectos Arquiteturais . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.5 Princpios de Projeto . . . . . . . . . . . . . . . . . . . . . . . . . . .
Classificao dos Sistemas Autonmicos . . . . . . . . . . . . . . . . . . . . .
Gerncia Autonmica de Redes e seus Desafios . . . . . . . . . . . . . . . . .
O Estado da Arte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.1 FOCALE Foundation-Observation-Compare-Act-Learning-rEasoning
2.5.2 ANEMA Autonomic Network Management Architecture . . . . . . .
2.5.3 ANA Autonomic Network Architecture . . . . . . . . . . . . . . . . .
Consideraes Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2
2
3
5
5
6
7
8
10
11
13
15
18
20
21
22
23
25

Captulo 3Um Arcabouo com Caractersticas Autonmicas para a Gerncia de Redes


27
3.1
3.2

3.3

3.4

3.5

Modelagem e Requisitos do Arcabouo . . . . . . . . . . . . . . . . . . . . .


Definio e Estruturao do Arcabouo . . . . . . . . . . . . . . . . . . . . .
3.2.1 O Arcabouo Proposto em Relao Estruturao Geral das Solues
Autonmicas para a Gerncia de Redes . . . . . . . . . . . . . . . . .
3.2.2 Estrutura do Arcabouo Uma Viso Baseada em Planos . . . . . . . .
3.2.3 O Plano de Deciso . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.4 Ciclo de Atividades do Arcabouo . . . . . . . . . . . . . . . . . . . .
Utilizando Particionamento para Tratamento da Escalabilidade . . . . . . . . .
3.3.1 Conceitos Bsicos para o Partionamento da Rede Uma Viso Analtica
3.3.2 Anlise Matemtica do Particionamento . . . . . . . . . . . . . . . . .
Estratgia de Particionamento baseada no Trfego e na Topolgica da Rede . .
3.4.1 A Operao do NPCE Fase 01 Tratando a Escalabilidade com o
Particionamento . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4.2 A Operao do NPCE Fase 02 Clculo do Custo Computacional . .
3.4.3 A Operao do NPCE Fase 03 Anlise da Melhor Relao . . . . .
O Motor de Busca de Solues do Arcabouo . . . . . . . . . . . . . . . . . .
xv

27
31
31
32
34
36
38
40
42
43
44
47
48
51

xvi

SUMRIO

3.5.1
3.5.2

3.6

3.7

Mapeamento de um Caso . . . . . . . . . . . . . . . . . . . . . . . . .
A Representao do Conhecimento Associando o Particionamento ao
Motor de Busca de Solues . . . . . . . . . . . . . . . . . . . . . . .
Exemplo de Operao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6.1 Funcionamento na Ocorrncia de Falhas . . . . . . . . . . . . . . . . .
3.6.2 Funcionamento Visando uma Melhor Alocao de Recursos . . . . . .
Consideraes Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Captulo 4Validao da Proposta


4.1
4.2
4.3

4.4

4.5
4.6

Anlise Estatstica dos Dados . . . . . . . . . . . . . . . . . . . . . . . . . . .


Especificao dos Cenrios de Testes . . . . . . . . . . . . . . . . . . . . . . .
Cenrios de Testes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.1 Cenrio de Simulao 01 Teste de Stress Quantidade de Fluxos . .
4.3.2 Cenrio de Simulao 02 Teste de Stress Quantidade de Dispositivos
4.3.3 Cenrio de Simulao 03 Manuteno da Qualidade de Servio . . .
4.3.4 Cenrio de Simulao 04 Sobrevivncia . . . . . . . . . . . . . . . .
Outros Pontos de Investigao . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4.1 Alocao Paralela . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4.2 Impacto do Tempo de Particionamento sobre o Tempo Total . . . . . .
Classificao do Modelo Proposto . . . . . . . . . . . . . . . . . . . . . . . .
Verificao do Cumprimento dos Requisitos Especificados . . . . . . . . . . .

Captulo 5Consideraes Finais e Desdobramentos Futuros


5.1

Pesquisas em Andamento e Desdobramentos Futuros . . . . . . . . . . . . . .

54
55
57
58
59
59
61
61
62
63
63
64
66
67
68
68
69
70
70
73
74

Apndice ALista de Publicaes

85

Apndice BAmbiente de Simulao

87

B.1 R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
B.2 igraph . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

87
88

LISTA DE FIGURAS

2.1
2.2
2.3
2.4
2.5
2.6
2.7

Nveis de evoluo da gerncia (Adaptado de [1]). . . . . . . . . . . . .


Ciclo de gerncia (control loop) Adaptado de [2]. . . . . . . . . . . . .
Ciclo de gerncia (control loop) Adaptado de [3]. . . . . . . . . . . . .
Classificao dos sistemas autonmicos [4]. . . . . . . . . . . . . . . . .
Viso simplificada da arquitetura e ciclos de controle do FOCALE [5] [6]
Arquitetura funcional do ambiente de gerncia do FOCALE [7]. . . . . .
Viso global do ANEMA [8]. . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.

5
11
12
16
22
23
24

3.1
3.2
3.3

28
31

3.7
3.8
3.9
3.10
3.11
3.12
3.13
3.14
3.15
3.16
3.17
3.18

Modelagem genrica do arcabouo com caractersticas autonmicas . . . . . .


Requisitos e caractersticas potencialmente decorrentes do arcabouo . . . . . .
Foco de atuao do arcabouo (C) em relao a estruturas clssicas (A) e ao
modelo conceitual de gerncia autonmica (B) . . . . . . . . . . . . . . . . . .
Viso geral dos planos de gerncia do arcabouo com dois modos de operao
do plano de execuo sem e com a utilizao de Ponto de Deciso de Polticas
(PDP Policy Decision Point) . . . . . . . . . . . . . . . . . . . . . . . . . .
Arcabouo para gerncia autonmica de redes detalhamento da camada de
deciso. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Mapeamento do ciclo de controle arquitetural, planos do arcabouo e ciclo de
controle do arcabouo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Viso geral da estratgia de particionamento NPCE . . . . . . . . . . . . . .
Exemplo ilustrativo da entrada do arcabouo autonmico . . . . . . . . . . . .
Exemplo de particionamento com trs parties . . . . . . . . . . . . . . . . .
A relao entre o trfego intra-domnio das parties A e B . . . . . . . . . . .
Resultados gerados pela primeira fase . . . . . . . . . . . . . . . . . . . . . .
Visualizao do resultado gerado na fase 02 clculo do custo computacional .
Clculo da manuteno do somatrio do fluxo mximo . . . . . . . . . . . . .
Visualizao das etapas do particionamento proposto . . . . . . . . . . . . . .
O ciclo do algoritmo 4R Adaptado de [9] . . . . . . . . . . . . . . . . . . .
Modelo de dados para tomada de decises . . . . . . . . . . . . . . . . . . . .
Operao 01 Ambiente com falhas . . . . . . . . . . . . . . . . . . . . . . .
Operao 02 Ambiente sem falhas . . . . . . . . . . . . . . . . . . . . . . .

37
39
39
41
42
45
49
50
52
53
57
59
59

4.1
4.2
4.3
4.4
4.5
4.6
4.7
4.8

Exemplos de grafos gerados com cardinalidade igual a 25 . . . . .


Cenrio 01 Aumento da quantidade de fluxos . . . . . . . . . .
Cenrio 01 Aumento da quantidade de fluxos . . . . . . . . . .
Cenrio 02 Aumento da quantidade de ns . . . . . . . . . . . .
Cenrio 03 Manuteno da qualidade de servio . . . . . . . .
Cenrio 04 Sobrevivncia Fluxo alocado aps falhas de enlaces
Classificao do arcabouo proposto segundo [4]. . . . . . . . . .
Requisitos especificados . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.

63
64
65
65
67
68
71
71

A.1 Viso cronolgica das publicaes . . . . . . . . . . . . . . . . . . . . . . . .

85

3.4

3.5
3.6

xvii

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

32

33
35

xviii

LISTA DE FIGURAS

LISTA DE TABELAS

2.1

Separao de funes Adaptado de [10] . . . . . . . . . . . . . . . . . . . .

13

3.1

Resultados dos testes para escolha do algoritmo de particionamento, considerando as mtricas especificadas dentro do contexto de redes de computadores
[11]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

47

4.1
4.2
4.3

Clculo do intervalo de confiana (95%) para 25 ns Valores em segundos .


Clculo do intervalo de confiana (95%) para 10000 fluxos Valores em segundos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Tempo de particionamento em segundos . . . . . . . . . . . . . . . . . . . . .

xix

63
66
69

xx

LISTA DE TABELAS

Captulo

1
A simplicidade o ltimo grau de sofisticao Leonardo da Vinci

INTRODUO

Nas ltimas dcadas, a computao tem sido um dos pilares para a evoluo da cincia e do
progresso da humanidade. A utilizao de redes de computadores, servios baseados na Web e
dispositivos portteis tm alterado o cotidiano e a forma como interagimos na sociedade, basicamente pela mudana na maneira pela qual nos comunicamos. Seja para pessoas ou pequenas
e grandes empresas, esta evoluo permite uma melhoria significativa de produtividade.
No entanto, enquanto a produtividade dos usurios cresce continuamente, esses avanos
criam importantes desafios de gerncia para as redes de computadores, e em particular, seus
administradores. A sofisticao dos servios e a maior exigncia dos usurios inspira uma nova
gerao de aplicativos baseados na Web, que compem diferentes servios, tornando a gerncia
da infraestrutura de rede naturalmente mais complexa. Simultaneamente, o crescimento da
demanda, a produo de informaes e o surgimento de distintas tecnologias tornam a gerncia
dos ambientes computacionais na rea de redes de computadores diminuem a manutenibilidade.
Ao longo dos anos, as redes de computadores foram projetadas com um conjunto de dispositivos coordenados de forma centralizada, com a viso global de um administrador de rede.
Tal administrador responsvel por manter o funcionamento desta infraestrutura complexa de
dispositivos de capacidades heterogneas e aplicaes com requisitos distintos de acordo com
as regras de negcios especificadas. Dessa forma, uma rede de computadores pode ser caracterizada como um ambiente com alto nvel de complexidade e heterogeneidade [12], dinmico,
pouco confivel e de larga escala, tornando a gerncia um processo difcil, e algumas vezes
impossvel [7].
A complexidade da gerncia de ambientes computacionais associada necessidade crescente de disponibilidade e heterogeneidade dos servios impactam diretamente na eficincia
dos administradores. Este alto grau de exigncia pode tornar a interveno humana um ponto
suscetvel a falhas [13], afetando o custo operacional na medida em que aumenta o tempo de
busca por solues. Alm disso, o sucesso da gerncia destes ambientes complexos est diretamente ligada ao conhecimento dos administradores.
1

INTRODUO

Com o objetivo de abordar a complexidade da gerncia de ambientes computacionais, maximizando a produtividade dos administradores, surge a alternativa de computao autonmica
(Autonomic Computing) [14]. O manifesto publicado em 2001 pela IBM, indica que o crescimento da complexidade dos ambientes computacionais consiste no principal problema a ser
atacado pela computao autonmica.
De fato, a computao autonmica consiste em um sistema que possui, no limite, a habilidade de se auto-gerenciar de acordo com as regras de negcios e objetivos definidos pelos administradores [1]. A essncia dos sistemas autonmicos o auto-gerenciamento (SelfManagement) [1], que possui quatro reas bsicas que devem ser atendidas: auto-configurao
(Self-Configuration), auto-otimizao (Self-Optimization), auto-cura (Self-Healing) e auto-proteo
(Self-Protection). Este paradigma inovador considerado uma evoluo natural dos sistemas de
gerncia, em resposta crescente complexidade e heterogeneidade dos ambientes atuais [15].
1.1

GERNCIA AUTONMICA DE REDES

O desenvolvimento da gerncia autonmica da infraestrutura de redes de computadores


uma rea de pesquisa atrativa e tambm de interesse industrial [3]. Analogamente ao sistema
nervoso humano, que regula de forma inteligente e inconsciente as funes homeostticas, a
gerncia autonmica de redes visa simplificar a administrao da complexa infraestrutura de
comunicao, reduzindo, por exemplo, a necessidade de interveno manual na configurao
dos dispositivos. A soluo dita autonmica requer uma abordagem que pode envolver uma
srie de reas existentes tais como: projeto de protocolos, gerncia de redes, inteligncia artificial, teoria de controle, teoria dos jogos e sistemas sensveis ao contexto para garantir requisitos
como a manuteno da Qualidade de Servio (Performability) e sobrevivncia (Survivability)
da infraestrutura.
Assim, possvel afirmar que a caraterstica que distingue a computao autonmica de
outras formas de gerncia a fuso de tcnicas a partir destas disciplinas em busca da possvel
simplificao na atividade de gerncia de infraestruturas complexas, requerendo uma difcil
curva de aprendizagem para o desenvolvimento de qualquer trabalho relevante nesta rea [3].
Considerando tais caractersticas, os princpios da computao autonmica podem ser utilizados em redes de computadores com o objetivo de simplificar o processo de gerncia, possibilitando assim a reduo da interveno humana.
1.2

MOTIVAO

O auto-gerenciamento de redes [7] procura melhorar a capacidade da rede em ofertar seus


servios para lidar com mudanas imprevisveis, incluindo mudanas fsicas e lgicas de acordo
com as regras de negcio especificadas. Para tanto, so necessrias solues visando superar os
desafios intrnsecos computao autonmica [16].
A utilizao dos princpios de computao autonmica no contexto da gerncia de redes

1.3 OBJETIVOS E ORGANIZAO DA TESE

potencializa uma maior produtividade para a rea de gerncia e, assim sendo, de grande interesse da comunidade de pesquisa. A utilizao de uma soluo de gerncia com caractersticas
autonmicas permite uma melhoria da capacidade da rede e de seus servios em lidar com mudanas previstas ou imprevistas, incluindo mudanas na topologia, alterao da carga de trfego
e modificaes das caractersticas fsicas e lgicas da rede, dentre outras.
Neste mesmo contexto importante ressaltar que a factibilidade das respostas s mudanas
indicadas depende diretamente do tempo de resposta na busca de solues novas configuraes capazes de atender aos requisitos especificados para a rede que est sendo gerenciada.
Assim sendo, existe tambm grande interesse da comunidade de pesquisa no s em garantir
alguma autonomia na soluo de gerncia aplicada rede, como tambm de ter uma soluo
sistmica que possa ser derivada com tempo de busca de solues dentro de parmetros considerados razoveis e exequveis para a gerncia.
Em termos prticos isto quer dizer que se busca uma soluo menos dependente do ser
humano e que possa ser encontrada numa estratgia visando a reduo dos tempos de resposta,
de forma a viabilizar uma soluo o mais prxima possvel das solues dinmicas.
Outro aspecto de grande interesse no contexto da gerncia autonmica a questo da escalabilidade da soluo proposta. Nesse sentido, as novas solues propostas de gerncia com
caractersticas autonmicas devem permitir uma grande quantidade de dispositivos com perfis
variados, visto que esta a realidade da prpria evoluo das redes nos dias atuais.
Em suma, a motivao bsica para a soluo apresentada nesta tese consiste em buscar uma
soluo escalvel e com tempo de resposta factvel para a gerncia de redes, com um certo nvel
de autonomia para ambientes de redes que podem ser complexos em termos da quantidade de
dispositivos e perfis de utilizao.
1.3

OBJETIVOS E ORGANIZAO DA TESE

O principal objetivo deste tese propor um conjunto de estratgias de gerncia autonmica materializadas atravs de um arcabouo com caractersticas autonmicas para suporte a
gerncia de redes de computadores. Este arcabouo deve estar apto a prover solues em tempo
factvel em ambientes com diferentes quantidades de dispositivos gerenciados. Assim, o mesmo
deve fornecer uma gerncia escalvel.
O conceito de escalabilidade no est associado insero de diversos dispositivos de forma
dinmica no ambiente, mas tambm capacidade do ambiente operar em redes com distintas
quantidades de dispositivos e/ou volume de trfego. Caso novos dispositivos sejam inseridos
na rede gerenciada, o arcabouo deve receber a nova topologia e refazer dinamicamente suas
configuraes. Apesar de ser possvel ele se adaptar, este no ser o cenrio tratado no escopo
desta tese.
A proviso de solues em tempo de resposta aceitvel, no deve desconsiderar a maximizao da qualidade dos servios oferecidos pela rede. Certamente, o administrador espera que

INTRODUO

o arcabouo autonmico para gerncia fornea solues que conciliem o tempo de resposta e
a manuteno da QoS. Esta dualidade no , dentro dos limites de nosso conhecimento, devidamente tratada dentro do contexto da autonomia aplicada gerncia de redes. Alm disso, a
utilizao do histrico do ambiente gerenciado deve ser considerada pelo sistema autonmico
e, como tal, faz-se necessria uma especificao de um motor de busca e alguma estratgia que
sirva para a reduo desta complexidade.
Dessa forma, para permitir o funcionamento adequado da gerncia de rede, de forma autonmica e escalvel, necessrio considerar alguns pontos que colocamos como objetivos
especficos relacionados ao objetivo mais geral indicado:
i) Manuteno da Qualidade de Servio Performability1 O sistema deve ser capaz de
oferecer solues sempre que possvel que mantenham a qualidade dos servios ofertados mesmo com a imprevisibilidade do trfego ou das falhas [18].
ii) Sobrevivncia Survavibility2 O sistema de gerncia deve prover uma melhor robustez
em casos de falhas inesperadas, independentemente de sua localizao e durao. Em
geral, as falhas abordadas nesta tese sero do tipo halt failure (falhas por parada) [19].
iii) Adaptabilidade Adaptability O sistema de gerncia deve ser aplicvel a ambientes
com distintas topologias, padres ou volumes de trfego e no vinculado apenas a uma
tecnologia [7]. No sero impostas restries quanto ao ambiente utilizado no que diz
respeito a sua estrutura e utilizao.
Esta tese est organizada como segue. No captulo 2 so apresentados os conceitos e definies relacionadas computao autonmica, que so aplicveis ao contexto de redes de computadores. No captulo 3 apresentado o arcabouo desenvolvido juntamente com a estratgia de
particionamento e o motor de busca de solues. A validao da escalabilidade e dinamicidade
do arcabouo realizada no Captulo 4 atravs de simulaes. Ainda neste captulo, a soluo
classificada mediante parmetros previamente definidos e verificada em funo do atendimento
dos requisitos especificados. Por fim, no captulo so apresentandas as concluses do trabalho
e os desdobramentos futuros.

1 Corresponde

a propriedade de um sistema fornecer o desempenho exigido pela especificao do servio, descrito pela QoS [17]
2 Sobrevivncia a capacidade de um sistema em cumprir, com tempo hbil, seus objetivos mediante a presena
de ameaas [17]

Captulo

2
O avano da civilizao aumenta a quantidade de operaes importantes que devemos realizar, sem nunca pensar
nelas A. N. Whitehead

GERNCIA AUTONMICA DE REDES

Neste captulo sero descritos os conceitos de computao autonmica, necessrios para o


entendimento desta tese e sua aplicao na rea da gerncia de redes de computadores.
2.1

A EVOLUO DOS SISTEMAS DE GERNCIA

Nas ltimas dcadas os avanos em reas como redes de computadores, sistemas distribudos, Web, computao mvel, juntamente com a necessidade de desempenho e produtividade
tem requisitado uma gerncia mais eficaz destes ambientes complexos. Neste contexto, surge
o conceito de computao autonmica definido como um processo evolucionrio dos sistemas
de gerncia, motivado do avano da tecnologia. Na verdade, a computao autonmica se apresenta como sucessora natural dos outros quatro nveis de gerncia: bsico (basic), gerenciado
(managed), preditivo (predictive) e adaptativo (adaptative) conforme apresentado na Figura 2.1.

Anlise e
resoluo de
problemas manuais
Figura 2.1. Nveis de evoluo da gerncia (Adaptado de [1]).

O nvel bsico ponto de partida dos ambientes gerenciados. Cada elemento da infraestrutura administrado de forma independente por profissionais de tecnologia da informao
(TI), que iro configur-lo, monitor-lo e, em caso de falhas, substitu-lo. Neste caso, existem
mltiplas fontes gerando informaes de gerncia, tornando o processo oneroso e necessitando
de uma equipe muito qualificada.
5

GERNCIA AUTONMICA DE REDES

No nvel gerenciado, sistemas de gerncia centralizados coletam informaes distintas agregando-as numa quantidade menor de terminais de gerncia, reduzindo o tempo que o administrador leva para coletar e consolidar as informaes do ambiente. Isso aumenta a produtividade
em relao ao nvel bsico. Entretanto, no nvel gerenciado o administrador pode no ter uma
viso global do estado do ambiente gerenciado, pois o foco a gesto individual dos dispositivos.
Nesta sequncia, o nvel preditivo possibilita a correlao entre as informaes dos elementos gerenciados, podendo no s reconhecer padres como tambm possveis configuraes,
fornecendo conselhos sobre as possveis aes que o administrador deve tomar e, consequentemente, permitindo a reduo da expertise e dependncia dos administradores. Esses sistemas
tem uma atuao semelhante a um sistema de apoio deciso.
No nvel adaptativo os sistemas podem automaticamente efetuar aes corretivas, em resposta a falhas, baseados na informao oferecida pelos dispositivos e pelas mtricas especificadas, com o objetivo de fornecer agilidade e resilincia com a mnima interao humana. Neste
ponto, Acordos de Nvel de Servio (Service Level Agreements1 ) podem ser utilizados como
estratgia Fterminar dos objetivos do sistema [15].
Por fim, os sistemas autonmicos, que se apresentam como ltimo nvel de evoluo e so
capazes de se auto-configurar, em resposta a mudanas ou falhas, de acordo com polticas de
negcio (business policies) e objetivos, especificadas pelos administradores desses sistemas.
Na prxima seo a computao autonmica ser apresentada com maiores detalhes.
2.2

COMPUTAO AUTONMICA UMA BREVE VISO

Computao autonmica (Autonomic Computing) representa uma evoluo inevitvel da


gerncia da infraestrutura de tecnologia da informao [14]. Esta evoluo se fez necessria
pois a complexidade dos ambientes computacionais aumentou, devido a maior sofisticao dos
servios oferecidos, exigncia de qualidade e produtividade, ao crescente volume de dados, e a
heterogeneidade dos dispositivos, tecnologias e plataformas. Tais caractersticas tem aumentado
a dificuldade da gerncia de infraestrutura, tornando as atividades dos administradores mais
onerosas. A complexidade apresentada como o desafio mais importante a ser tratado por
esses sistemas [15].
Em sistemas complexos, a interveno humana pode ser um ponto de insero de falhas na
gerncia [13]. Sob este aspecto um sistema autonmico pode ser definido como um sistema
livre de administradores para gerncia de rotinas administrativas e tarefas operacionais [15].
Contudo, importante ressaltar que a computao autonmica no foca na eliminao da in1 Neste

contexto, um Acordo de Nvel de Servio (SLA Service Level Agreement) um acordo entre um
cliente e um prestador de um servio que especifica os nveis de disponibilidade, desempenho, gerenciamento de
falhas ou outros atributos do servio, geralmente estabelecido atravs de negociao. Em geral, um SLA identifica
e define as necessidades do cliente, simplificando as exigncias complexas e ajudando a eliminar as expectativas
irreais.

2.2 COMPUTAO AUTONMICA UMA BREVE VISO

terveno humana [2], mas sim em uma participao de alto nvel com o objetivo de estabelecer
metas e regras de negcios a serem seguidas por tais sistemas. Desta forma, possvel definir
computao autonmica como um sistema que possui a capacidade de gerenciar a si mesmo de
acordo com os objetivos estabelecidos pelo administrador [1].
De fato, a essncia de sistemas autonmicos o auto-gerenciamento (Self-Management)
[1], que tem como objetivo tornar o ambiente gerenciado capaz de perceber, analisar as suas
condies atuais e ter a habilidade de reconfigurar seus componentes e dispositivos de forma
proativa.
2.2.1

Requisitos para o Auto-Gerenciamento

Para que o Auto-Gerenciamento possa ser alcanado, quatro requisitos fundamentais devem
ser atendidos [1]:
1. Auto-Configurao (Self-Configuration)
Corresponde a capacidade do sistema de se adaptar s condies do ambiente, previsveis
ou no, ajustando sua configurao dinamicamente (on-the-fly). A auto-configurao no
se limita a capacidade de um sistema de configurar cada dispositivo isoladamente, mas
sim de prover a capacidade de ajustar a configurao dos dispositivos dinamicamente
(on-the-fly) de maneira global visando o bem estar do ambiente como um todo.
2. Auto-Otimizao (Self-Optimization)
Sistemas autonmicos devero ser capazes de buscar o aperfeioamento de suas operaes, identificando novas oportunidades de fazer as mesmas operaes com melhor desempenho ou menor custo utilizando os mesmos recursos. Para isso, eles devero executar
uma busca proativa sendo capazes de identificar, verificar e efetuar mudanas de configurao, que sejam capazes de maximizar a utilizao dos recursos sem a interveno
humana.
3. Auto-Cura (Self-Healing)
A auto-cura pode prevenir e recuperar uma falha, buscando, diagnosticando e corrigindo
pontos que possam causar paradas nos servios oferecidos. Para isso, o sistema dever
ser capaz de isolar um dispositivo ou componente defeituoso de forma a minimizar o
impacto nos servios, maximizando continuamente a disponibilidade e confiabilidade do
ambiente gerenciado.
4. Auto-Proteo (Self-Protection)
Corresponde a capacidade de detectar, identificar e defender-se contra ataques e/ou situaes indesejveis. Para que um sistema autonmico seja capaz de se defender, necessrio antecipar problemas baseando-se em correo de dados e/ou estudo dos seus estados
anteriores. Geralmente, este requisito est vinculado ao acesso no autorizado, vrus,

GERNCIA AUTONMICA DE REDES

denial-of-service (DoS) ou falhas em geral. Entretanto, auto-proteo tambm pode ser


visualizada como capacidade de reconhecer e lidar com condies de sobrecarga que
possam comprometer a integridade do sistema.
Nota-se a correlao entre os requisitos descritos, uma vez que, por exemplo, no possvel
fazer uma auto-otimizao ou auto-cura, sem que exista uma auto-configurao do ambiente.
Dessa forma, tais requisitos devem permitir uma gerncia autonmica colaborativa do ambiente,
capaz de melhorar o desempenho do sistema.
Outro ponto importante a deteco de erro, que consiste em uma pea importante para se
desenvolver um sistema de auto-cura eficaz, que esteja diretamente ligado ao monitoramento
contnuo do sistema. importante ressaltar que existem diversas outras propriedades auto-*
(self-* properties), que podem estar associadas a escopos especficos de aplicao como, por
exemplo, a auto-estabilizao.
De fato, a auto-estabilizao (Self-Stabilization) tem emergido como um paradigma promissor para o projeto, controle e manuteno de sistemas distribudos tolerantes a falhas, pois
permite aos sistemas se recuperarem automaticamente mediante a ocorrncia de falhas [20].
Sua ideia essencial consiste em manter o comportamento desejado de um sistema, independentemente do estado em que o mesmo se encontra, ainda que as falhas o coloquem em um
estado arbitrrio (no esperado). Neste caso, o sistema pode, eventualmente (se houver recursos disponveis), retomar o seu comportamento desejado. Este conceito foi introduzido por
Dijkstra [21], que definiu auto-estabilizao com uma caracterstica dos sistemas que chegam a
um estado legtimo2 , independentemente do seu estado inicial em um nmero finito de passos.
2.2.2

Automtico versus Autonmico

Alguns trabalhos correlacionam um sistema autonmico computacional ao sistema nervoso


humano [22] [23] [24]. Tal analogia ilustra a importncia das funes cognitivas e fsicas (ou
involuntrias), dentro do escopo computacional para um sistema autonmico. A correlao entre tais sistemas levanta uma discusso pertinente referente capacidade do sistema de escolher
um conjunto de estados pr-definidos ou a possibilidade de propor uma nova soluo, sendo
este ltimo mais prximo ao sistema nervoso humano. Esta anlise de suma importncia, uma
vez que se espera do sistema autonmico a possibilidade de propor novas solues de acordo
com o estado atual do ambiente gerenciado, mesmo que no existam pr-configuraes para tal
estado.
Assim, importante diferenciar um sistema automtico de um sistema autonmico. Um
sistema automtico capaz de reagir a mudanas de contexto dentro de um conjunto de estados
pr-definidos. Em geral, os sistemas automticos esto vinculados ao conceito de automao.
Automatizar um sistema no implica em torn-lo autonmico.
2 Um

estado considerado legtimo quando sua operao atende aos requisitos esperados.

2.2 COMPUTAO AUTONMICA UMA BREVE VISO

Um sistema autonmico deve se autoconfigurar mesmo em situaes no previsveis, de


forma a tentar manter o desempenho, mesmo com falhas, no se contentando com o status quo
[15]. No so considerados sistemas que ao detectar um estado no esperado retornam sempre
a um estado inicial seja por mudanas do ambiente ou falhas pois os sistemas automticos
j fazem isso.
Existe uma diferenciao entre automtico, autnomo e autonmico [10]. Por definio,
o termo automtico (oriundo de automatically) est associado a sistemas ou modelos que no
possuem qualquer conhecimento alm do que est pr-definido, sem qualquer possibilidade
de extenso. Na teoria, sistemas automticos sempre exibem o mesmo comportamento para
uma mesma entrada e este comportamento denominado de funo de transferncia (transfer
function). Apesar da palavra automtico vir da palavra grega automatous com significado
de vontade prpria esta palavra ao longo dos anos associou-se a termos mecnicos, que so
pr-estabelecidos e no possuem vontade prpria [25]. Um sistema automtico pode utilizar,
por exemplo, o paradigma de raciocnio baseado em regras (RBR Rule Based Reasoning).
J os sistemas autnomos (oriundo de autonomously) so sistemas que exibem um elevado
grau de auto-governana (Self-Governance), pois este sistema toma a sua deciso com total
independncia, sem se referir a quaisquer entidades externas para alcanar seus prprios objetivos. Um comportamento autnomo a liberdade definitiva [10]. Em tais, sistemas as decises
no so pr-estabelecidas, ou seja, o sistema no necessariamente retorna uma mesma soluo
para um mesmo diagnstico.
Uma ao autonmica uma tarefa que realizada por fora do hbito ou sem qualquer
pensamento consciente. O corpo humano capaz de realizar uma srie de aes reflexas ou
involuntrias, enquanto um sistema automtico projetado para executar algumas aes especficas em consequncia de alguns fatos ocorridos ou problemas conhecidos. Assim, a palavra
autonmico sugere a ideia de auto-gerenciamento dentro de uma entidade baseada em polticas
ou princpios de funcionamento, como requisitos especificados.
Dentro deste contexto, o conceito de auto-governana no sinnimo de auto-gerenciamento,
pois o auto-gerenciamento um sistema capaz de assumir valores pr-definidos, atravs de
polticas que sero aplicadas ao sistema de forma prover mudanas esperadas. J com autogovernana o sistema pr-carregado de polticas, mas tais polticas podem ser alteradas ou
criadas pelo sistema de acordo com as regras de negcio, mudanas do ambiente, demanda
de usurios ou qualquer alterao que necessite de um ajuste dinmico na configurao [26].
Contudo, em [1, 3, 7] no existem restries para a no criao de novas polticas para o autogerenciamento. Neste trabalho, assumimos que auto-gerenciamento um sistema capaz de
criar novos estados visando obter melhor desempenho em resposta a alteraes no ambiente
gerenciado com a interveno humana limitada a definio dos objetivos.

10

GERNCIA AUTONMICA DE REDES

2.2.3

Polticas e Computao Autonmica

Uma poltica pode ser visualizada de forma simples como uma especificao de regras,
definida atravs de um par condio/ao, onde uma ao executada quando determinada
condio satisfeita [27]. Este mapeamento bem definido de condio/ao permite a especificao de um conjunto de estados do ambiente gerenciado e as possveis solues decorrentes
das aes, para a determinao de um novo cenrio mais amigvel. Em outras palavras, uma
poltica uma diretiva que especificada pelo administrador com certos aspectos desejveis
ou necessrios do ambiente, resultando na interao entre aplicaes, usurios e recursos [28].
Este conjunto de regras utilizado para gerenciar as mudanas e permitir a manuteno dos
estados de um conjunto de objetos gerenciados [29].
A utilizao de polticas uma realidade nos sistemas de gerncia de rede, sendo denominada de PBM Policy-Based Management3 [31]. Um PBM pode ser visto como um executor
de decises capaz de gerenciar dispositivos, simplificando o processo tradicional de gerncia,
atravs da reduo da complexidade administrativa e da reconfigurao do ambiente a cada nova
mudana de condio, permitindo assim a escolha dinmica de uma soluo. Alm de agregar
flexibilidade e escalabilidade [31], as regras correspondem a representao do conhecimento do
ambiente gerenciado da rede atravs de um mapeamento esttico e bem especificado. Esttico
em relao a pr-definio do conjunto de possveis estados, e bem especificado no sentido de
ser capaz de resolver conflitos e encontrar sempre que possvel, uma soluo dentre o conjunto
de estados. importante ressaltar, que em algumas situaes pode no ser possvel encontrar uma soluo como por exemplo quando o ambiente gerenciado possuir um alto ndice de
dispositivos apresentando falhas.
De fato, correlacionar esta inteligncia esttica ao contexto de autonomia um desafio.
necessrio um modelo capaz de prover uma soluo baseada em uma anlise dos estados do
ambiente gerenciado, atravs da escolha ou da criao de uma regra para tal. Esta definio
autonmica de regras estende o PBM tradicional, uma vez que no houve intervenes humana
na base de polticas. Alm disso, polticas tornam-se essenciais na viso da computao autonmica, pois consiste na forma com a qual os humanos iro expressar seus objetivos para os
sistemas autonmicos [16].
Com o uso de polticas na representao dos objetivos, necessrio transform-las em outras
polticas para serem utilizadas pelos sistemas autonmicos [16], pois polticas podem ajudar a
traduzir os SLAs ou regras de negcio em aes visando a configurao e controle dos dispositivos. Dentro deste contexto, alguns trabalhos utilizam polticas em sistemas autonmicos
considerando as redes de computadores [5, 7, 3133]. Entretanto, a metodologia de como e
quando usar as polticas, ferramentas de suporte para o refinamento e anlise de polticas, bem
como ambientes de simulao para avaliar o uso de polticas e solues de gerncia para grandes
3 Policy-Based

Management (PBM) um paradigma de gerenciamento que separa as normas que regem o


comportamento de um sistema de sua funcionalidade [30].

2.2 COMPUTAO AUTONMICA UMA BREVE VISO

11

domnios so aspectos importantes para pesquisa e necessrios para a implantao da poltica


na prtica [30].
2.2.4

Aspectos Arquiteturais

Sistemas autonmicos so vistos como uma coleo de elementos autonmicos que possuem recursos capazes de prestar servios aos administradores ou outros sistemas autonmicos
[1]. A arquitetura de um sistema autonmico pode ser visualizada como uma composio de
elementos autonmicos independentes, no que diz respeito a auto-gerenciamento, mas com perfil colaborativo ou inteligncia social capaz de permitir um comportamento coletivo de acordo
com os objetivos especificados. Em outras palavras, as decises podem ser tomadas por cada
elemento, mas sempre almejando o melhor estado para o ambiente como um todo.
De forma geral, um sistema autonmico composto por um elemento ou mais elementos
gerenciados por um nico gerente autonmico que os controla. O elemento gerenciado equivalente ao que encontrado em sistemas no autonmicos comuns, embora possa ser adaptado
para permitir o auto-gerenciamento. J o gerenciador autonmico responsvel pelo monitoramento, anlise, planejamento e execuo, criando uma sequncia de aes necessrias para este
ciclo de gerncia autonmica (Figura 2.2).

Figura 2.2. Ciclo de gerncia (control loop) Adaptado de [2].

A fase de monitoramento tem como objetivo a coleta de dados de elementos gerenciados,


que por sua vez sero filtrados e agregados de forma que possam ser utilizados na fase de anlise. Ao receber estes dados, a fase de anlise deve ser capaz de correlacion-los visando extrair
informaes que so utilizadas para o conhecimento do estado atual do ambiente, identificando
as suas mudanas e podendo prever situaes futuras. J o planejamento verifica ou cria as
possveis aes necessrias visando atingir os objetivos especificados. Tais aes podem afetar
apenas um ou vrios elementos gerenciados. E, por fim, a fase de execuo controla o conjunto
de aes planejadas na fase anterior. importante que tais aes sejam executadas com atomi-

12

GERNCIA AUTONMICA DE REDES

cidade4 , visando a corretude na configurao dos elementos gerenciados [34]. A atomicidade


impede a ocorrncia de uma atualizao incompleta dos dispositivos, resultando em um estado
no desejado.
Este modelo ainda prev um ciclo contnuo de gerncia autonmica, responsvel em coletar
as informaes e buscar aes para controle dos elementos gerenciados, denominado ciclo de
controle (control loop). Esse ciclo contnuo de gerncia autonmica pode ser utilizado visando
a verificao de acertos das decises tomadas no ciclo anterior e, se houver gesto de conhecimento, aprender com erros e acertos, assim como ns humanos. Alguns trabalhos preveem mais
de um ciclo de controle visando trabalhar diferentes atividades como a correo e otimizao
[7].
Ao monitorar o elemento e seu ambiente externo, e executar aes baseadas neste monitoramento, um gerente autonmico est facilitando o trabalho humano na gerncia de cada
elemento. Cada elemento autonmico responsvel pelo auto-gerenciamento de seu estado
interno e pela interao com outros elementos autonmicos. A relao entre eles pode ser realizada em muitos nveis com o objetivo de fixar estados e relacionamentos permitindo maior
dinamismo e flexibilidade [1].
Outros trabalhos apresentam conceitos similares com nomenclaturas distintas [3] [7]. Em
[3] apresentado um ciclo de controle chamado de ciclo de realimentao (Figura 2.3) onde sistema coleta informaes de uma variedade de fontes, incluindo dispositivos de rede tradicional e
fluxos de informao, mas tambm inclui necessidades de aplicaes. Estes so analisados para
construir uma nova configurao capaz de atender as necessidades definidas pelo administrador.
Estas decises so aplicadas atravs da rede e/ou podem ser notificadas aos administradores.

Coletar

elementos gerenciados
informao para administradores
armazenamento de estratgia

requisitos de aplicaes
instrumentao de rede
contexto de usurios

Analisar

Agir

Decidir

regras e polticas
inferncia
modelos econmicos
raciocnio baseado em incerteza
teoria dos jogos

anlise de riscos
gerao de hipteses
teoria da deciso

Figura 2.3. Ciclo de gerncia (control loop) Adaptado de [3].

O importante definir de forma modular quais as funes fundamentais para tais sistemas e
neste trabalho sero utilizadas as definies apresentadas na Tabela 2.1.
Na proposta desta tese o foco de atuao do arcabouo so as fases intermedirias, ou seja,
4 Atomicidade

uma propriedade que trata um trabalho composto de um conjunto de tarefas como indivisvel
(atmico). Com a atomicidade todas as tarefas so executadas em caso de sucesso ou nenhuma delas em caso de
falha, no permitindo resultados parciais da realizao de um trabalho.

2.2 COMPUTAO AUTONMICA UMA BREVE VISO

13

Funo

Descrio

Monitoramento

Permite que o gerente autonmico possa coletar, agregar,


filtrar e reportar detalhes como por exemplo as mtricas ou
topologias), a partir do gerenciamento do(s) dispositivo(s)
sob sua responsabilidade.

Anlise

Compreende o estado atual do sistema em funo dos dados do monitoramento. Em geral, esta fase requer o uso
de modelos complexos para visualizar das vrias situaes
possveis a partir dos dispositivos gerenciados

Planejamento

Consiste na definio do conjunto de aes necessrias para


atingir as metas de alto nvel e objetivos.

Execuo

Esta funo permite que o gerente autonmico altere o comportamento do recurso gerenciado.
Tabela 2.1. Separao de funes Adaptado de [10]

onde a atuao humana decisiva na proposta de uma nova configurao para o ambiente gerenciado.
2.2.5

Princpios de Projeto

A computao autonmica pode ser utilizada em redes de computadores atravs de arcabouos construdos sobre um conjunto de princpios de projeto j utilizados em outros contextos.
Muitos projetos de pesquisa tm seguido direes diferentes visando alcanar a autonomia com
diferentes nveis de sucesso [10].
Os princpios do comportamento autonmico em reas de computao e engenharia podem
ser aplicados, exclusivamente ou em conjunto para construir uma base para sistemas computacionais aplicados a redes autonmicas. Neste contexto, possvel identificar algumas caractersticas gerais de projeto que podem ajudar a construir sistemas autonmicos levando em
considerao suas especificidades particulares, como a heterogeneidade, escalabilidade e distribuio [10]. Dentre eles destacam-se:
Projeto baseado em Sistemas Vivos (Living Systems Inspired Design) Sistemas vivos
so uma fonte importante de inspirao para a concepo de sistemas computacionais,
pois apresentam propriedades que os tornam autnomos. Alm disso, seu entendimento
valioso para o projeto destes sistemas [35]. Entre essas propriedades, duas delas so
especialmente interessantes para a concepo de sistemas autonmicos:
i) Capacidade de sobrevivncia bio-inspirada (Bio-Inspired Survivability) O sistema
sempre tenta permanecer em uma zona de equilbrio mesmo quando qualquer estmulo externo ou interno o retira deste estado. Para tal, mecanismos de adaptao

14

GERNCIA AUTONMICA DE REDES

mudanas de curto prazo5 , somticas6 e gentipos7 tm um papel primordial na


capacidade do sistema biolgico de se adaptar s mudanas no ambiente para sua
sobrevivncia e evoluo. Isso deve inspirar o projeto de futuros sistemas autonmicos podendo beneficiar reas como redes de computadores [36].
ii) Comportamento coletivo (Collective Behavior) O termo comportamento coletivo
referente a processos sociais e eventos, que no refletem estruturas sociais existentes, mas que emergem de uma forma espontnea [37]. Em termos de comportamento humano, um movimento social uma forma de comportamento coletivo, que
identificado por um tipo de ao do grupo realizada pelos indivduos dentro do
movimento. geralmente emergente de um grande agrupamento informal de indivduos em objetivos especficos no estando por muitas vezes sob nenhum controle
e surge em funo de circunstncias ambientais. Em funo deste ponto de vista,
interessante observar como uma informao local se torna global e pode influenciar
o comportamento de todos os membros da comunidade. Os sistemas autonmicos
podem aprender muito com o comportamento coletivo, atravs do projeto de um
sistema com dispositivos verdadeiramente autonmicos interagindo para cumprir
metas diferentes e por vezes conflitantes. O objetivo entender como o sucesso de
um indivduo ao fazer escolhas impacta e, ao mesmo tempo, depende das escolhas
dos outros. O foco identificar o potencial de equilbrio que benfico para todas
as partes.
Projeto Baseado em Polticas (Policy-Based Design) O conceito de polticas amplamente utilizado no contexto de redes de computadores. A aplicao de polticas em sistemas autonmicos possibilita uma tomada de deciso. Entretanto o sistema no estaria
preparado para se adaptar a contextos e comportamentos diferentes do especificado, pois
nem sempre possvel saber todas as situaes e necessidades no contexto de autonomia
aplicada a redes de computadores [1]. A utilizao de polticas na computao autonmica visa facilitar o projeto de sistemas, na medida em que possibilita definir o comportamento do sistema e utilizar tcnicas para resolues de conflitos [38]. Polticas podem ser
usadas em diferentes nveis do ciclo autonmico (monitoramento, anlise, planejamento e
execuo), podendo aumentar os conflitos da utilizao destas polticas a diferentes nveis
de deciso, exigindo a definio de mecanismos de resoluo eficaz de conflitos [10].
Projeto Baseado no Plano de Conhecimento (Knowledge Plane Design) Alguns pesquisadores argumentam que no pode haver auto-gerenciamento de redes sem a construo
5 Short-term

changes mecanismo de resposta imediato, por exemplo, se a temperatura ambiente aumenta, o


corpo humano transpira mais.
6 Somatic changes A exposio prolongada e/ou contnua mudana de temperatura pode impactar em alterao na aclimatao do indivduo (uma mudana de roupa, por exemplo).
7 Genotypic changes a espcie se adapta mudana, por exemplo, com um clima frio a espcie pode ter uma
pele mais grossa. Em sistemas vivos tal mudana genotpica gravada em nvel celular e se torna hereditria e
irreversvel na vida do indivduo. Nota-se que esse o processo mais lento para convergncia.

2.3 CLASSIFICAO DOS SISTEMAS AUTONMICOS

15

de um plano eficiente e completo de conhecimento capaz de capturar todas as propriedades da rede [10]. A chamada Internet do Futuro (Future Internet) baseada no conceito de plano de conhecimento, que uma espcie de plano de controle para a gerncia
dessa rede [39]. O plano de conhecimento foi originalmente proposto com o objetivo de
construir uma rede que pode adaptar-se atravs de instrues de alto nvel para cumprir
mudanas de requisitos, corrigir problemas detectados e descobrir automaticamente novos elementos autonmicos [40]. O plano do conhecimento uma camada superior que
agrega significado semntico a todas as informaes de gerncia, sendo concebido como
uma estrutura de alto nvel que fornece servios e opinies a outros elementos da rede
[41]. Esta abordagem requer o uso de inteligncia artificial (IA) e tcnicas cognitivas
para atingir os objetivos descritos [10].
Projeto Adaptativo (Adaptive Design) A auto-adaptao possibilita a mudana de comportamento de um sistema, quando a auto-avaliao indica que ele no tem realizado o
que esperado ou quando possvel melhorar seu desempenho. Este projeto apresenta
um conceito atraente para o desenvolvimento de sistemas auto-gerenciveis visando o
atendimento total ou parcial das das mudanas espaciais, operacionais ou estratgicas.
No contexto de redes de computadores, mudanas espaciais podem ser entendidas como
alteraes da topologia, enquanto mudanas operacionais relacionam-se com ataques e/ou
falhas. J as mudanas estratgicas podem ser visualizadas como alteraes nos objetivos
ou SLAs. Espera-se que este projeto adaptativo tenha capacidade para reagir s mudanas, aprendendo a partir das experincias passadas, sendo capaz de responder a situaes
de forma imediata. Como seu conhecimento aumenta com o tempo, a habilidade em responder de forma eficiente s diversas situaes conhecidas e desconhecidas tambm ir
aumentar.
2.3

CLASSIFICAO DOS SISTEMAS AUTONMICOS

As solues autonmicas podem ser aplicadas a diferentes contextos e possuir distintas funcionalidades, tornando necessrio definir critrios abrangentes para avaliar tais solues. Com
a definio destes critrios se tornar mais vivel a comparao entre as principais pesquisas
da rea, inclusive a proposta apresentada nesta tese. Assim, consideraremos seis critrios para
classificao de sistemas autonmicos que podem ser vistos a seguir na Figura 2.4.
i) Grau de Atividade (Activity Degree) Um sistema autonmico pode satisfazer as propriedades auto-* atravs de um comportamento reativo ou proativo. No modo reativo
o sistema autonmico tenta identificar eventos significativos ou problemas, que podem
reduzir o seu desempenho ou prejudicar o cumprimento de seus objetivos, e efetua uma
nova configurao baseada no estado atual. Este modo o mais comum entre os trabalhos apresentados na literatura [4]. Por outro lado, um sistema autonmico proativo

16

GERNCIA AUTONMICA DE REDES

grau de atividade
proativo

grau de memria

grau de autonomia
autonmico

histrico
reativo

trend
estado atual

automtico

parcialmente auto-*

fechado
centralizado

totalmente auto-*

grau de conscincia

autnomo

hierrquico

aberto

grau de adaptabilidade

distribudo

grau de inteligncia
Figura 2.4. Classificao dos sistemas autonmicos [4].

fica constantemente monitorando o estado atual do ambiente visando manutenibilidade


do desempenho especificado pelo administrador. Esta proatividade do sistema tem caractersticas positivas como a reduo de falhas do ambiente gerenciado atravs de
medidas preventivas e negativas pois este modelo proativo pode gerar problemas de
auto-estabilizao em redes de computadores [42]. Certamente um sistema proativo
fundamental para ambientes no tolerantes a falhas.
ii) Grau de Adaptabilidade (Adaptability Degree) Assim como as arquiteturas de software,
os sistemas autonmicos podem ser classificados como abertos e fechados [43]. A adaptabilidade no contexto autonmico est associada a habilidade/inabilidade de um sistema
autonmico adaptar-se a mudanas em funo de estados criados ou pr-definidos [43],
ou seja, est associada a estratgia de escolha autonmica entre estados especificados
pelo administrador ou criados pelo prprio sistema. Nesta tese consideraremos abertos
apenas os sistemas autonmicos e os sistemas fechados sero considerados automticos.
Um sistema aberto pode criar estados em funo de interaes de componentes ou atravs
da experincia adquirida [44].
iii) Grau de Inteligncia (Intelligence Degree) Em ambientes dinmicos, como o caso de
gerenciamento de rede, um sistema autnomo deve apresentar alguma inteligncia na realizao das propriedades auto-*. Desta maneira, o grau de inteligncia de um sistema
autonmico se refere capacidade de aprender (por exemplo, a partir de experincias passadas), a fim de melhorar sua operao. Em geral, podemos ter um gerente centralizado

2.3 CLASSIFICAO DOS SISTEMAS AUTONMICOS

17

autonmico, que controla todos os outros componentes no sistema [45]. Neste caso, os
componentes no precisam ser autonmicos, uma vez que toda deciso tomada pelo gerente. A outra viso consiste na inteligncia distribuda, que indica a tomada de decises
realizada por todos os componentes do sistema gerenciado (ou pela maioria deles), que
podem ser alcanados atravs da utilizao de algoritmos bio-inspirados [46], nos quais
a inteligncia pode emergir de um comportamento coletivo de pequenas entidades com
inteligncia limitada [47].
iv) Grau de Conscincia (Awaress Degree) Um certo grau de conscincia do ambiente gerenciado necessrio para a realizao de qualquer funcionalidade autonmica. Quando
os sistemas eram no-autonmicos a expertise estava associada ao administrador, ou seja,
quanto maior a expertise do administrador, maior a possibilidade de sucesso da gerncia. Alm disso, o administrador no precisava armazenar o estado preciso de todos os
dispositivos para chegar a uma soluo. O mesmo pode acontecer com os sistemas autonmicos, a base de conhecimento (Knowledgement Base) pode manter um pequeno
conjunto de parmetros operacionais para entender o comportamento atual do ambiente,
considerando todas as propriedades auto-*.
v) Grau de Memria (Memory Srength) Este critrio se refere capacidade do sistema
para lembrar o histrico do comportamento do sistema gerenciado, ou seja, os problemas
e suas solues encontradas pelo sistema autonmico ao longo do tempo. Em alguns
sistemas autonmicos, o conhecimento do estado atual do sistema suficiente para executar as funcionalidades de auto-gerenciamento [45]. J em ambientes altamente dinmicos, conhecimento das tendncias de comportamento e histrico de aes passadas pode
aumentar significativamente o desempenho do sistema [33]). Este conhecimento normalmente armazenado na base de conhecimento do sistema autonmico visando evitar erros
cometidos no passado ou reduzir o tempo de busca de solues, quando o tempo de busca
da soluo tima no for factvel no contexto em que o sistema autonmico utilizado.
importante ressaltar que um histrico permanente pode no ser desejvel em alguns
contextos, pois implica em um maior custo computacional para os sistemas autonmicos,
alm de no garantir o sucesso do sistema. altamente desejvel que sistemas autonmicos considerem apenas o histrico mais relevante, que no necessariamente o mais
utilizado.
vi) Grau de Autonomia (Autonomic Degree or Autonomicity) Este critrio refere-se ao grau
de independncia da atuao humana num sistema autonmico. Em geral, um sistema automtico aquele que usa um circuito fechado de controle monitorado por um gerenciador
que compara as variveis com um valor pr-especificado ou desejado. O administrador,
alm de especificar os valores, pode tambm definir uma ou mais aes a serem executadas. Em geral estes so similares a sistemas baseados em regras, ou seja, um operador
humano especifica, com antecedncia, o desempenho do sistema desejado e a soluo de

18

GERNCIA AUTONMICA DE REDES

cada problema possvel que o sistema deve aplicar uma vez que esse problema encontrado. A introduo da autonomia muda a interveno humana nesses sistemas [13] [48] .
A computao autonmica introduz algum grau de independncia entre o monitoramento
(estado atual do ambiente gerenciado) e ao que o sistema deve executar como resposta
a mudanas do ambiente. O foco da execuo de operaes de um sistema autonmico
garantir a continuidade e eficincia da sua funcionalidade esperada. altamente desejvel que estes sistemas autonmicos sejam capazes de aprender com as aes tomadas,
sendo necessria a medio da eficincia das solues j realizadas por estes sistemas.
Estes critrios faro parte da avaliao da soluo proposta nesta tese, apresentada no
Captulo 4.
2.4

GERNCIA AUTONMICA DE REDES E SEUS DESAFIOS

Os princpios da computao autonmica podem ser utilizados no contexto de redes de


computadores, tendo em vista que tais ambientes so considerados complexos [11, 49], imprevisveis e de larga escala [7, 50]. O objetivo de aplicar a abordagem de computao autonmica
em redes de computadores simplificar o processo de gerncia e reduzir a interveno humana
[3], que por si s difcil, seno impossvel de gerenciar [7]. A complexidade na gerncia de
redes de computadores pode tornar a interveno humana como um ponto de falha [13].
Decorrente disso, pesquisadores e profissionais esto perseguindo a abordagem de gerncia
autonmica para as redes de computadores, que consiste na capacidade de auto-gerenciamento
dos dispositivos de rede de acordo com o comportamento do ambiente gerenciado e com os
objetivos de negcio que a rede como um todo se prope alcanar [7]. Contudo, aplicar o
conceito de computao autonmica na rea de redes de computadores possui vrios desafios,
dos quais destacam-se:
1. Gerncia de funcionalidade heterognea (Management of heterogeneous functionality)
[7]
Um dos problemas na aplicao do princpio autonmico em redes de computadores
que essas so compostas de vrios dispositivos com recursos (capabilities) diferentes.
Devido heterogeneidade de modelos e ao no cumprimento de padres, os dispositivos
de rede tm diferentes implementaes de seus recursos e fornecem monitores distintos,
geralmente executando conceitos similares. Sendo assim, necessrio abstrair as funcionalidades especficas para facilitar uma maneira padro de reconfigurar os dispositivos.
Esta caracterstica facilitar a auto-configurao. Isto permitir tambm que recursos no
autonmicos possam ser administrados por sistemas autonmicos.
2. Adaptabilidade (Adaptability) [3, 7]
Adaptabilidade consiste na capacidade do sistema de se adaptar em resposta a mudanas nos requisitos dos usurios/aplicaes, regras de negcio, e/ou condies ambientais,

2.4 GERNCIA AUTONMICA DE REDES E SEUS DESAFIOS

19

como falhas. Como exemplo, um sistema autonmico para gerncia da qualidade de


servio em redes de computadores deve ser capaz de se adaptar a diferentes redes, independente do tamanho, topologia, carga da rede ou regras de negcio.
3. Aplicao de tcnicas de aprendizagem e raciocnio para dar suporte interao inteligente (Application of learning and reasoning techniques to support intelligent interaction) [7]
Sistemas devem ser capazes de compreender o estado atual da rede atravs da coleta pontual dos dispositivos gerenciados. Por exemplo, a utilizao de dados estticos de cada
dispositivo, podem ser recolhidas e analisadas para determinar se o estado apresenta problemas ou pode ser otimizado. Note que os dados atuais da gerncia no informam ao
administrador, por exemplo, o motivo de um congestionamento numa rede. Desta forma,
tal informao deve ser inferida a partir da correlao dos dados (reasoning) e, se possvel, com um estudo de casos anteriores. Se o sistema tambm for capaz de guardar
informaes para referncias futuras (learning), tal sistema estar caminhando para o estado da arte no contexto da autonomia.
4. Comportamento cooperativo em face concorrncia (Cooperative behavior in the face
of competition) [3]
Arquiteturas de sistemas autonmicos devem ter a capacidade de possibilitar a cooperao entre elementos autonmicos visando o bem estaa global. No caso de sistemas no
centralizados, o desafio evitar o parasitismo, comportamentos egostas ou maliciosos.
5. Falta de objetivos e controle centralizados (Lack of centralized goals and control) [3]
A especificao e controle centralizados dos objetivos facilita o comportamento cooperativo entre elementos. Entretanto a descentralizao oferece mais robustez gerncia no
que diz respeito ao controle global dos objetivos.
6. Auto-estabilizao (Self-Stabilization) [49]
Conforme dito na Seo 2.2.1, o conceito de auto-estabilizao tem muita relevncia
dentro do contexto de gerncia autonmica de redes de computadores j que, no contexto
descentralizado, o estado de cada elemento autonmico deve ser considerado legtimo,
pelos outros elementos.
7. Confiabilidade (Reliability) [50]
Dentro do contexto de sistemas autonmicos, a confiabilidade de um sistema pode ser
medida pela corretude das aes realizadas durante a gerncia. Um sistema autonmico
confivel aquele que funciona, sem interrupes, conforme o esperado ou prometido (de
acordo com as regras de negcio), fornecendo um servio adequado sempre que possvel.
6. Robustez (Robustness) [1]
O conceito de robustez se confunde com o de confiabilidade. Um sistema robusto pode

20

GERNCIA AUTONMICA DE REDES

ser definido como um sistema tolerante a estados no desejveis, ou seja, um sistema


robusto tem o funcionamento persistente, mesmo com perturbaes contnuas proveniente
de falhas, ataques ou comportamento degradante visto no ambiente decorrente da ao de
usurios e/ou aplicaes.
7. Escalabilidade (Scalability) [11]
Os sistemas autonmicos so utilizados para gerncia de sistemas complexos, independente da quantidade de dispositivos gerenciados, que podem variar de dezenas a milhares
de elementos. Estudos de caso e pesquisas na rea no do a devida ateno escalabilidade, limitando-se apenas a informar que existem subdomnios gerenciados, no
indicando como estes so determinados. A depender do contexto, uma escolha infeliz
dos subdomnios pode impactar na qualidade das solues de um sistema autonmico.
8. Anlise de dados e visualizao (Data analysis and visualization) [51]
Tipicamente, sistemas de gerncia de redes coletam uma grande quantidade de informaes de monitoramento que geralmente so visualizadas atravs de mapas ou representaes topolgicas, no levando em considerao a granularidade. Alm disso, visualizao
de trfego tem geralmente como objetivo indicar alto volume de trfego, no indicando o
quanto deste trfego no desejvel ou fora do padro. Isso torna a complexidade ainda
maior. Possivelmente, o estudo do perfil e crescimento do trfego, tenha que ser executado por terceiros, ou seja externo gerente autonmico, ou analisado atravs de tcnicas
estatsticas.
2.5

O ESTADO DA ARTE

A necessidade de administrar um ambiente gerenciado, como uma rede de computadores,


um tema de pesquisas que se desenvolve h alguns anos. Entretanto, a complexidade dos
ambientes gerenciados aumenta constantemente em virtude do crescimento e da variedade de
servios disponveis nas redes de computadores. O principal desafio abordado pela computao
autonmica justamente o crescimento desta complexidade.
A arquitetura de computao autonmica proposta pela IBM [1, 52, 53] o trabalho pioneiro dentro desta abordagem, que define um arcabouo abstrato para a auto-gerenciamento
de sistemas. Basicamente um sistema autonmico visualizado como uma coleo de elementos autonmicos, onde cada um deles pode ser dividido em um gerenciador (ou gerente)
autonmico e um recurso gerenciado. A comunicao entre eles realizada atravs de sensores
(sensors) e executores (effectors). Os sensores so utilizados para a obteno de informaes
do(s) dispositivo(s) gerenciado(s) e os executores so a interface de recebimento de aes para
a mudana de comportamento do dispositivo.
O auto-gerenciamento realizado atravs de um ciclo de controle contnuo, denominado
control loop, que possui quatro fases: monitoramento, anlise, planejamento e execuo (con-

2.5 O ESTADO DA ARTE

21

forme visto na Seo 2.2.4) com suporte gesto de conhecimento, polticas e outras consideraes relacionadas.
Entretanto, o modelo de computao autonmica proposto pela IBM s fornece a orientao
conceitual para a elaborao de sistemas auto-gerenciveis e, na prtica, o modelo de informao deve ser mapeado para algo implementvel. Para tal, tcnicas de monitoramento, alocao
dinmica de recursos, desenvolvimento de elementos autonmicos, gerenciamento escalvel,
coordenao entre sistemas autonmicos, dentre outras, precisam ser desenvolvidas [54]. Diversos trabalhos visam propor solues para tais problemas dentro de um contexto especfico
[5558]. Outros trabalhos classificam e comparam arquiteturas com distintas funcionalidades
[59]. Nesta seo sero destacados trs pesquisas relevantes na rea de computao autonmica
empregadas em redes de computadores.
2.5.1

FOCALE Foundation-Observation-Compare-Act-Learning-rEasoning

A arquitetura FOCALE baseada na observao de que os objetivos de negcios, requisitos


de usurio e bem estar do ambiente sejam garantidos de forma dinmica. Para isso, utiliza mais
de um ciclo de controle, considerando que apenas um insuficiente para permitir que a rede
reaja adequadamente s mudanas observadas.
Um dos ciclos do FOCALE foi concebido para o controle de manuteno, sendo utilizado
quando no so encontradas anomalias (ou seja, quando o estado atual for satisfatrio ou quando
o estado estiver em transio para alcanar um estado satisfatrio). O outro ciclo de controle de
ajustes que utilizado quando uma ou mais aes de reconfigurao poltica deve ser realizada,
e/ou novas polticas devem ser codificadas e implantadas, tendo uma funo corretiva.
A justificativa para a manuteno de dois ciclos de controle a impossibilidade de manter
todas as informaes necessrias para gerenciar redes de larga escala, contendo um grande
nmero de dispositivos heterogneos (em termos de funcionalidades disponveis, especficos
de fornecedores modelo de programao e configurao especfica). Uma viso dos ciclos de
controle pode ser vista na Figura 2.5.
O FOCALE tambm assume que qualquer recurso gerenciado (que pode ser to simples
como uma interface de dispositivo ou to complexo como toda uma rede de computadores)
pode ser associado a um Ambiente de Gerncia Autonmico (AME Autonomic Management
Environment). Este AME efetua a comunicao do recurso gerenciado com um gerente autonmico (AM) usando uma camada de traduo baseada em modelos. Este modelo pode ser
modularizado de forma que um AME possa gerenciar um conjunto de AMEs, tornando o gerenciamento hierrquico (Figura 2.6).
Um AME independente das funcionalidades especficas do objeto gerenciado, o que facilita a comunicao entre os AMEs para a coordenao da tomada de decises. Cada AME realiza a funcionalidade de gerenciamento autonmico, descrito atravs de um gerente de eventos
(event manager), um gerente de estados (state manager), um gerente de ao (action manager),

22

GERNCIA AUTONMICA DE REDES

Figura 2.5. Viso simplificada da arquitetura e ciclos de controle do FOCALE [5] [6]

.
um pensador (reasoner), um aprendiz (learner), um analisador de polticas (policy analyzer) e
um ponto de deciso de polticas (Policy Decision Point PDP [60]).
A comunicao entre todos estes subcomponentes ocorre atravs do modelo de informao
DEN-ng. Um modelo de objeto reflete o estado atual do recurso gerenciado a AME (s), a
ontologia do sistema, e o conjunto de polticas que regem o recurso gerenciado [61].
2.5.2

ANEMA Autonomic Network Management Architecture

A arquitetura de Gerncia de Redes Autonmicas tem como objetivo introduzir mecanismos


diferentes para permitir que redes baseadas em IP se tornem auto-gerenciveis. Esta arquitetura
se baseia na teoria de funo de utilidade e introduz vrios conceitos, tais como funo objetivo,
polticas comportamentais e funo de utilidade. A soluo tambm define um conjunto de
mecanismos para transformar requisitos de alto nvel humano em objetivos expressos em termos
de NUF (Function Utility Network), que so aplicadas nos equipamentos da rede [8].
A NUF representa a utilidade da rede do ponto de vista do operador humano. Esta funo
descrita em forma de otimizao analtica. Sua avaliao permite especificar o espao de
estados viveis [62].
A ANEMA define uma arquitetura de gerenciamento autonmico de rede que implementa
um conjunto de polticas para obter o comportamento autonmico em equipamentos de rede,
assegurando simultaneamente que o comportamento da rede como um todo est satisfazendo os
requisitos de alto nvel dos administradores humanos, bem como os usurios. Para tal, o mesmo
organizado em duas camadas 2.7:
Camada de definio de objetivos (Objectives definition layer) O componente principal
desta camada o Ponto de Definio de Objetivos (ODP Objectives Definition Point).

2.5 O ESTADO DA ARTE

23

Figura 2.6. Arquitetura funcional do ambiente de gerncia do FOCALE [7].

Ele permite que os administradores possam introduzir seus requisitos de alto nvel que
so transformadas em Funes Utilidade de Rede (NUF Network Utility Functions ).
Camada de realizao de objetivos (Objectives achievement layer) Esta camada contm
um conjunto de GAPs (Goal Achievement Points)). Cada GAP uma entidade que se
comporta autonomicamente ao tentar alcanar a meta de requisitos de alto nvel, considerando as polticas de metas e os modelos de otimizao NUF.
Para demonstrar as capacidades da sua arquitetura, O ANEMA instanciado para gerncia
de uma rede IP multi-servios e para testar os modelos analticos utilizados. Para os testes,
tambm foi desenvolvido um simulador do sistema para executar um conjunto de simulaes
com base em vrios cenrios propostos.
2.5.3

ANA Autonomic Network Architecture

O Projeto ANA (Autonomic Network Architecture) visa explorar novas formas de organizar
e utilizar redes de computadores alm da atual arquitetura da Internet. Tem como objetivo final
desenvolver uma arquitetura de rede autonmica, que permita a formao flexvel, dinmica e
totalmente autonmica dos ns da rede, assim como de redes inteiras. Tal projeto conta com a
participao de universidades e institutos de pesquisa da Europa e Amrica do Norte.
A arquitetura de rede deste projeto que ela seja adaptada dinamicamente e reorganizada de
acordo com o seu estado atual e/ou necessidades econmicas e sociais dos usurios. Para tanto,
o projeto possui dois objetivos complementares:
Objetivo cientfico Visa identificar os princpios fundamentais de redes autonmicas,

24

GERNCIA AUTONMICA DE REDES

Figura 2.7. Viso global do ANEMA [8].

com atuao em redes de larga escala. A principal premissa deste objetivo que o dimensionamento de rede consequncia de uma rede que evolui e inclui os atributos auto-*
essenciais da concepo autonmica, tais como auto-otimizao, auto-monitoramento,
auto-reparo, e auto-proteo.
A hiptese que com a utilizao desses atributos auto-* naturalmente as redes estaro
aptas a se tornar escalveis. A nova arquitetura de rede necessitar de um arcabouo para
permitir sua reconfigurao possibilitando a formao flexvel, dinmica e totalmente
autonmica de grandes redes em que as funcionalidades de cada n da rede tambm so
realizadas de forma autonmica. Esta arquitetura deve permitir a adaptao dinmica e
reorganizao da rede de acordo com o trfego da rede, regras de negcios e SLAs.
Objetivo tecnolgico A segunda premissa deste projeto colocar as novas ideias e conceitos bem sucedidos em prtica. Ou seja, este projeto assume o desafio de no apenas
produzir resultados originais de pesquisa cientfica e um projeto inovador para a arquitetura, mas tambm mostrar que eles funcionam em situaes reais. Isso permitir a utilizao da experincia adquirida experimentalmente como retorno para refinar os modelos e
resultados de pesquisas. A meta tecnolgica do ANA , portanto, construir uma arquite-

2.6 CONSIDERAES FINAIS

25

tura de rede experimental autonmica, e demonstrar a viabilidade desta rede autonmica.


O objetivo demonstrar a auto-organizao dos ns individuais em uma rede compondo
topologias de at 105 ns ativos (roteamento). Para demonstrar a a escalabilidade so
previstas a interconexo da estrutura de rede dos sites participantes e simulaes.
Estes dois objetivos (tcnico e cientfico) se complementam e reforam mutuamente em um
ciclo, pois prottipos dos resultados de pesquisa so implementados inicialmente num testbed.
Os resultados preliminares experimentais podero ser usados como um retorno para aperfeioamento do projeto e para obteno de resultados de pesquisa mais precisas e realistas.
O conceito fundamental da arquitetura o Ponto de Distribuio de Informaes (IDP
Information Dispatch Point). Os IDPs so inspirados pelo trabalho em ponteiros de rede. Os
IDPs so tipicamente ligados a blocos funcionais (FB Functional Blocks). Estes ltimos por
sua vez so unidades de processamento de informaes que implementam a funcionalidade de
transmisso (por exemplo, envio e recebimento de pacotes IP), ou algumas funcionalidades
adicionais como, por exemplo, monitoramento de trfego. Geralmente, os blocos funcionais
podem ser usados para implementar servios de rede.
Para prover a autonomia, o projeto suporta as propriedades auto-* requerendo uma troca
de informaes de diferentes tipos dentro de sua arquitetura: informaes de configurao, de
sinalizao e de monitoramento. As informaes de configurao so usadas para configurar um
dispositivo de rede. As informaes relativas sinalizao compreendem essencialmente dados
de controle, por exemplo qualquer tipo de mensagem de protocolo de roteamento. Por fim,
mensagens de monitoramento diz respeito a informaes que caracterizam o comportamento
dinmico de um sistema. Normalmente, pode-se monitorar o estado interno de uma entidade de
rede, por exemplo, a quantidade de memria livre, comprimento da fila atual e largura de banda
disponvel de cada enlace.
Quanto ao processo de tomada de decises, o FOCALE apresenta uma estrutura hierrquica, que permite centralizao do processo. J o projeto ANA, a descentralizao da tomada
de decises aparentemente viabiliza a escalabilidade, mas testes especficos ainda no foram
realizados.
2.6

CONSIDERAES FINAIS

Os trabalhos descritos no tratam devidamente a gerncia autonmica escalvel, ou seja,


o gerente autonmico no tem garantias de atender a uma quantidade maior de dispositivos e
o aumento do volume de trfego da rede com diferentes topologias. Alguns trabalhos citam
que podem haver mais de um gerente no ambiente gerenciado, mas a diviso dos domnios
gerenciados, bem como a comunicao entre eles no devidamente citada. Em geral, testes
relativos capacidade dos sistemas autonmicos atuarem em ambientes de diferentes escalas
no so devidamente tratados, alm de no possurem mtricas comuns ou um conjunto de testes
padro.

26

GERNCIA AUTONMICA DE REDES

No prximo captulo apresentaremos a proposta desenvolvida visando a escalabilidade na


gerncia autonmica de redes com proviso dinmica de solues.

Captulo

3
No o mais forte que sobrevive, nem o mais inteligente, mas o que melhor se adapta s mudanas Charles
Darwin

UM ARCABOUO COM CARACTERSTICAS


AUTONMICAS PARA A GERNCIA DE REDES

O captulo 2 apresentou a evoluo dos sistemas de gerncia de redes de computadores e alguns de seus problemas inerentes, tais como, o problema da escalabilidade e da adaptabilidade
na gerncia autonmica de redes. O objetivo deste captulo apresentar um arcabouo com
caractersticas autonmicas que esteja apto a ser utilizado para a gerncia autonmica de redes,
com um foco de aplicabilidade e estudo de caso especfico para a qualidade de servio. Para
tal, inicialmente sero especificados os requisitos esperados do arcabouo (Seo 3.1), a estrutura do arcabouo estruturado em planos (Seo 3.2), dos quais o plano de deciso detalhado
(Seo 3.2.3). Em seguida, apresentada uma estratgia de particionamento (NPCE Network
Partitioning Computing Engine) integrada ao motor de busca de solues visando o tratamento
da escalabilidade em relao a utilizao em ambientes com quantidades diferentes de dispositivos e/ou volume de trfego (Sees 3.3, 3.4 e 3.5). Por fim, exemplificada a operao (Seo
3.6) do modelo em ambientes computacionais.
De maneira geral, o arcabouo proposto pode ser considerado como a realizao de uma
modelagem do problema de gerncia autonmica de redes com requisitos, caractersticas e foco
especficos, os quais sero detalhados na Seo 3.1.
3.1

MODELAGEM E REQUISITOS DO ARCABOUO

O arcabouo com caractersticas autonmicas para a gerncia de redes pode ser genericamente modelado e percebido como um sistema que recebe o estado atual do ambiente gerenciado (estado da rede) e um conjunto de requisitos de gerncia, especificados pelo administrador
do ambiente (requisitos de negcio e/ou administrao da rede). Este modelo pode ser visualizado na Figura 3.1.
27

28 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


INFORMAES
DO AMBIENTE
GERENCIADO
(REDE)

ARCABOUO COM
CARACTERSTICAS
AUTONMICAS

SOLUO
ENCONTRADA
AUTONOMICAMENTE

REQUISITOS DEFINIDOS
PELO ADMINISTRADOR
(SLAs)
Figura 3.1. Modelagem genrica do arcabouo com caractersticas autonmicas

O arcabouo produz ento como sada uma nova configurao de rede, que atende aos requisitos especificados pelo administrador. A busca da nova configurao de rede realizada
sem a interveno direta do administrador e, assim sendo, assume a caracterstica de autogerenciamento no escopo das solues ditas autonmicas.
Os requisitos bsicos definidos para o arcabouo com caractersticas autonmicas para o
modelo bsico definido na Figura 3.1 so os seguintes:
Auto-gerenciamento no contexto da gerncia de redes de computadores;
Modularidade;
Exequibilidade em relao ao tempo de busca de novas solues para a rede gerenciada;
Escalabilidade.
O requisito de auto-gerenciamento efetivamente uma condio bsica de implantao do
sistema, na medida em que se prope uma soluo com caractersticas autonmicas. Em outras
palavras, este um requisito bsico e intrnseco. O auto-gerenciamento consiste na alterao
do estado atual do ambiente gerenciado (rede) de acordo com os requisitos atravs da busca
de uma soluo (nova configurao) a partir de um conjunto de possveis solues capazes de
atender a tais requisitos. Alm disso, uma caracterstica fundamental que deve ser considerada
para o arcabouo no contexto do requisito de auto-gerenciamento a questo do seu foco de
atuao e da aplicabilidade da soluo proposta.
De fato, o arcabouo proposto tem uma caracterstica de modularidade conforme explicado
adiante mas, para efeito de realizao e validao da proposta, faz-se necessrio a definio de
um escopo de aplicao do mesmo. Neste caso, o escopo e o estudo de caso considerados so
focados na qualidade de servio em redes.
A modularidade uma caracterstica importante e relevante do arcabouo proposto, que
poder consider-la em diferentes perspectivas e nveis. Como requisito geral, inicialmente
necessrio que o arcabouo seja capaz de utilizar diferentes algoritmos no escopo da sua
estruturao e implementao. Alm disso, sua estruturao geral do arcabouo deve ser de
tal forma, que no adote uma estrutura monoltica orientada apenas para o foco de aplicao

3.1 MODELAGEM E REQUISITOS DO ARCABOUO

29

apresentado nesta tese. Em outras palavras, o foco desenvolvido nesta tese orientado para a
qualidade de servio, mas o arcabouo poder ser adaptado para outros cenrios de aplicao
atravs da introduo e escolhas de novos algoritmos ou abordagens para os elementos de sua
arquitetura. Alm disso, a incluso de novas funcionalidades deve ser facilitada, para que o
administrador da rede consiga estender o arcabouo visando o atendimento ou a adaptao ao
seu contexto. Por exemplo, o modelo no deve impor restries ao algoritmo de caminho mais
curto (Shortest-Path Algorithm) para busca de caminhos durante a alocao dos fluxos na rede
para uma soluo visando a qualidade de servio ou para outra de otimizao no contexto de
engenharia de trfego.
A exequibilidade em relao ao tempo de busca por novas solues para a rede gerenciada
um requisito a ser considerado no projeto do arcabouo. Em efeito, a busca de forma autonmica de uma nova configurao para o ambiente gerenciado pode levar a um tempo de resposta
inaceitvel para os requisitos especificados pelo administrador. Como exemplo ilustrativo, considere que a computao de um novo estado da rede, visando um determinado desempenho
esperado para uma configurao com 100 dispositivos (roteadores) pode necessitar de alguns
minutos de processamento e, como tal, existe uma forte tendncia nos sistemas de gerncia
autonmicos para que no sejam executados dinamicamente (execuo offline).
O requisito de escalabilidade mais um aspecto importante e significativo para o arcabouo.
Atualmente a heterogeneidade e pluralidade das redes atuais em termos tecnolgicos so uma
realidade. Alm de apresentarem tais caractersticas, as redes atuais possuem uma tendncia
a ter um nmero elevado de dispositivos (sejam eles roteadores, comutadores, dispositivos de
acesso, outros equipamentos especficos de redes). Assim sendo, o arcabouo proposto deve ser
capaz de atuar em redes de diferentes cardinalidades (ns e enlaces) sem restries topolgicas.
Em resumo, fundamental que a soluo apresentada nesta tese possa escalar na busca de
novas configuraes para a rede, pois esta uma questo de ordem prtica que atualmente j
representa uma forte tendncia de cenrio para a gerncia de redes.
importante ressaltar tambm que existe uma relao entre os requisitos de exequibilidade
na busca da soluo e escalabilidade. Assim, em termos da implantao, o arcabouo abordar
estes dois requisitos de forma correlata e concomitante atravs de uma abordagem de particionamento a ser apresentada na Seo 3.3.
A realizao dos requisitos indicados leva intrinsecamente ao atendimento de um conjunto
de objetivos e caractersticas decorrentes da operao do arcabouo como segue:
i) Reduo do tempo de alocao dos recursos para a rede gerenciada;
ii) Identificao da melhor qualidade de servio (soluo) possvel;
iii) Maximizao da capacidade de sobrevivncia da rede.
A reduo do tempo de alocao de recursos para a rede uma decorrncia direta do requisito de exequibilidade do tempo de resposta. Em suma, os administradores podero computar

30 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


novas alocaes de recursos de forma mais eficiente.
A identificao da melhor qualidade de servio possvel corresponde a um aspecto da operao do arcabouo. Na verdade, o arcabouo permite que o administrador indique requisitos
mais ou menos restritivos (nvel de exigncia) e o mesmo ainda prover o conjunto de solues
computado como funo destes requisitos. Consequentemente, uma caracterstica desejvel
para o arcabouo que o administrador tenha a liberdade de identificar a melhor qualidade de
servio, conforme seus requisitos e fazer as escolhas apropriadas, ou seja, o grau de desempenho da nova configurao , em termos prticos, ajustado pelo administrador. Um aspecto
operacional decorrente deste fato que poder existir uma situao onde no exista soluo
para os requisitos apresentados pelo administrador. Por exemplo, numa situao de diversas
falhas por parada. De maneira geral, o arcabouo na sua operao procurar sempre apresentar
a melhor soluo encontrada. Outros detalhes de cenrios de operao sero vistos na Seo
3.6.
A maximizao da capacidade de sobrevivncia da rede outro aspecto de operao importante decorrente dos requisitos do arcabouo. De fato, o arcabouo pode ser acionado para a
computao de um novo estado de configurao da rede sempre que falhas por parada venham
a acontecer nos dispositivos. Logo, como o arcabouo um sistema com tempo de computao melhorado em relao aos sistemas de gerncia no autonmicos, consequentemente a
capacidade de sobrevivncia da rede fica maximizada com a obteno de novas solues para
implantao sem a interveno do ser humano (mais lenta e no executada dinamicamente, ou
seja, offline).
importante que estes requisitos sejam atendidos mesmo que as redes gerenciadas tenham
dinamicidade de trfego (traffic dinamicity) e que em alguns momentos operem com sobrecarga
(traffic overload). A juno destas duas caractersticas corresponde capacidade de um sistema
em tolerar variao de trfego [17]. Assim o arcabouo deve estar apto a prover de forma
autonmica os requisitos considerando estas necessidades. No escopo desta tese, a caracterstica
de tolerncia a mudanas engloba as caractersticas de tolerncia de variao de trfego, seja
por dinamicidade do perfil e/ou sobrecarga, e de sobrevivncia, mediante a falhas por parada.
Segundo [17], a sobrevivncia, a tolerncia de trfego e a manuteno da qualidade de
servio so caractersticas necessrias mas no suficientes para a garantia da robustez. Um
sistema que possui suporte a tais caractersticas no pode ser considerado robusto, uma vez que
outras reas devem ser atendidas como por exemplo: tolerncia a falhas e segurana. Podemos
indicar que o mesmo possui caractersticas que viabilizam a robustez. Uma visualizao destas
caractersticas apresentada na Figura 3.2.
Na seo seguinte ser apresentado o arcabouo com caractersticas autonmicas, que atende
ao conjunto de requisitos especificados, no que diz respeito sua estrutura, aspectos funcionais
e de operao no contexto de redes de computadores.

3.2 DEFINIO E ESTRUTURAO DO ARCABOUO

31

SOBREVIVNCIA

MODULARIDADE

FALHAS POR PARADA


TOLERNCIA A MUDANAS

ESCALABILIDADE
CARACTERSTICAS
DESEJVEIS
ADAPTABILIDADE

TOLERNCIA DE TRFEGO
MANUTENO DA QoS

EXEQUIBILIDADE

DINAMICIDADE
SOBRECARGA
ROBUSTEZ

Figura 3.2. Requisitos e caractersticas potencialmente decorrentes do arcabouo

.
3.2

DEFINIO E ESTRUTURAO DO ARCABOUO

Esta seo define o arcabouo com caractersticas autonmicas apresentando a sua estrutura
para a gerncia de redes. Finalmente, a seo detalha os aspectos mais especficos de modularidade, da implantao e da operao do arcabouo para o foco considerado da gerncia da
qualidade de servio em redes.
3.2.1

O Arcabouo Proposto em Relao Estruturao Geral das Solues Autonmicas para a Gerncia de Redes

No gerenciamento no autonmico a administrao dos recursos para a manuteno da satisfao dos usurios e aplicaes realizada pelo administrador da rede, que responde diretamente pelas funes intermedirias conforme apresentado na Figura 3.3a. Ferramentas de
monitoramento de redes e execuo de polticas tm uma maior consolidao, inclusive com as
demais ferramentas disponveis no mundo acadmico e comercial. Com o auto-gerenciamento,
o administrador apenas especifica os requisitos para que o sistema de gerncia fornea a soluo apropriada, tendo suas atividades de monitoramento, anlise, planejamento e execuo
realizadas por um sistema autonmico o que pode ser observado nas Figuras 3.3a e 3.3b.
As estratgias de implantao da autonomia na gerncia so comumente adotadas para fornecerem uma soluo que integra as quatro funcionalidades descritas na Figura 3.3b. Conforme
visto na Seo 2.2.4, nas arquiteturas autonmicas, independentemente da soluo especfica
implementada, existe uma separao em relao s funes de gerncia monitoramento, anlise, planejamento e execuo.
Com relao ao arcabouo proposto, tem-se uma soluo em planos independentes e modulares, onde o plano de deciso concentra as fases de anlise e planejamento. Este plano tambm
mantm o requisito de modularidade fazendo com que o arcabouo proposto possa utilizar diferentes algoritmos e/ou estratgias computacionais para a derivao do melhor estado da rede
e diferenciando-o das solues mais clssicas de gerenciamento autonmico.
Para que o arcabouo seja compatvel com diferentes sistemas de monitoramento e/ou sis-

INFORMAO

INFORMAO

MONITORAMENTO

MONITORAMENTO

MONITORAMENTO
A
ANLISE

ANLISE
ADMINISTRADOR
(CONHECIMENTO)

POLICY-BASED
MANAGEMENT

AO

PLANEJAMENTO

CONHECIMENTO

INFORMAO

PLANEJAMENTO
A

EXECUO

CONHECIMENTO

32 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES

EXECUO

AO

AO

DISPOSITIVOS

DISPOSITIVOS

DISPOSITIVOS

NOVA INFORMAO

NOVA INFORMAO

NOVA INFORMAO

Figura 3.3. Foco de atuao do arcabouo (C) em relao a estruturas clssicas (A) e ao modelo conceitual de gerncia autonmica (B)

.
temas de gerncia baseados em polticas torna-se necessrio o desenvolvimento de adaptadores
entre as fases de monitoramento e anlise e as fases de planejamento e execuo. Os adaptadores so apenas formatadores dos dados recebidos para a utilizao no arcabouo desenvolvido,
visando a interoperabilidade do mesmo (3.3c).
3.2.2

Estrutura do Arcabouo Uma Viso Baseada em Planos

O arcabouo para a gerncia com caractersticas autonmicas definido como uma estrutura
com trs planos com caractersticas de modularidade como segue [63] [34] (Figura 3.4):
Plano de Informao;
Plano de Deciso;
Plano de Execuo.
O Plano de Informao o plano responsvel pelo recebimento do estado atual dos dispositivos gerenciados (estado da rede), atravs de ferramentas de monitorao. No arcabouo
proposto, este plano tem como funcionalidade inerente a converso das informaes de monitoramento para um padro de formatao baseado em XML1 . Esta converso atende o requisito
de modularidade e torna o arcabouo mais adaptvel, uma vez que a criao de novos conversores torna-o compatvel e interopervel com os diversos tipos de monitores (distintas imple1 eXtensible

Markup Language uma recomendao da W3C para gerar linguagens de marcao para necessidades especiais.

3.2 DEFINIO E ESTRUTURAO DO ARCABOUO

33

Figura 3.4. Viso geral dos planos de gerncia do arcabouo com dois modos de operao do plano de
execuo sem e com a utilizao de Ponto de Deciso de Polticas (PDP Policy Decision Point)

mentaes). Assim sendo, o arcabouo tenta dar suporte a interoperabilidade com diferentes
fornecedores de servio que, por sua vez, podem ter estruturas de monitorao distintas.
Outra funcionalidade do plano de informao a deteco de eventuais anomalias com base
no estado atual da rede. De fato, o estado atual da rede analisado com base na verificao dos
nveis de servios esperados para a manuteno de parmetros pr-definidos. Na implantao
realizada, esta verificao consiste apenas na determinao de anomalias e na quantificao dos
nveis de servio atendidos e em suas respectivas penalidades. Em outras palavras, o plano de
informao trabalha com dados de monitoramento normalizados (XML) recebidos do ambiente
gerenciado (estado da rede) e retorna os sintomas detectados (em analogia ao corpo humano).
A existncia de um sintoma indicado nesta fase um gatilho para a atuao do arcabouo. Em
resumo, o plano de informao trata do conhecimento da rede e, fundamentalmente, lida com
os dados que definem o estado atual da mesma derivando um eventual sintoma para o plano de
deciso.
O plano de execuo o plano responsvel pela aplicao das polticas e/ou aes (decises) geradas pelo plano de deciso do arcabouo. No caso, o plano de execuo recebe uma
indicao de ao e a aplica (Figura 3.4a) ou gera uma poltica a ser aplicada nos dispositivos
gerenciados atravs de protocolo ou sistema de aplicao de polticas de gerenciamento (Figura
3.4b). Observa-se que o plano de execuo se assemelha a um sistema de Gerncia Baseado
em Polticas (PBM Policy-Based Management) tradicional, capaz de ler/converter polticas e
entreg-las aos dispositivos, seja de forma direta ou atravs de um Ponto de Deciso de Polticas
(PDP Policy Decision Point). No arcabouo proposto recomendado que a distribuio de
polticas seja feita atravs de um protocolo de difuso de polticas, visando a atomicidade das
operaes de gerncia da rede.
A poltica ou ao aplicada aos objetos gerenciados gera um novo estado da rede a ser
avaliado em relao ao sucesso da operao realizada. Em seguida, produzida uma nova
informao que deve ser analisada pelo arcabouo.
Como comentrio final em relao ao plano de execuo, um PBM foi adaptado para servir
de base para o arcabouo com caractersticas autonmicas [64]. Originalmente o PBM foi

34 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


desenvolvido para administrar todo o ciclo de vida de uma poltica com ferramentas capazes
de criar, editar, converter e ativar polticas de forma integrada e flexvel, com o objetivo de
garantir uma gerncia eficaz de dispositivos e equipamentos. Alm disso, O PBM busca tambm
permitir a configurao completa do domnio, oferecer um gerenciador de alertas, dentre outras
funes.
Em seguida, o plano de deciso fornece o conhecimento ao processo de gerncia com polticas visando reduo da interveno humana. Vale tambm ressaltar que o arcabouo proposto
modular no sentido de ter sido especificado de forma a atuar com outros PBMs atravs de um
conversor de polticas, desde que a linguagem de definio de polticas esteja especificada.
O plano de deciso o ponto chave das contribuies desta tese. Em sntese, ele recebe o
sintoma da rede derivado pelo plano de informao, coleta os requisitos definidos pelo administrador para a busca de uma nova soluo e, finalmente, executa um ciclo de processamento
visando a identificao de um novo estado para a rede. Este novo estado de configurao da rede
computado gera efetivamente uma ao ou poltica, que deve ser encaminhada para o plano de
execuo (Figuras 3.4a e 3.4b). O ciclo de processamento interno do plano de deciso corresponde computao do novo estado da rede e ser detalhado em termos operacionais na Seo
3.2.4.
Por definio, o plano de deciso tenta encontrar uma soluo tima, ou seja, o melhor
estado possvel para a rede dentro de um conjunto de solues aplicveis. Obviamente, a qualidade da soluo depende dos requisitos definidos pelo gerente e esta questo ser discutida na
Seo 3.4.3.
Em suma, o plano de deciso: (i) concentra as fases de anlise e planejamento inerentes aos
sistemas autonmicos, (ii) trata os aspectos de conhecimento (knowledge) referentes ao estado
da rede e seu histrico de solues e (iii) representa o ponto focal de otimizao do arcabouo
no sentido da garantia dos requisitos de exequibilidade do tempo de resposta na busca de novas
configuraes e no tratamento da escalabilidade.
3.2.3

O Plano de Deciso

No contexto da autonomia, as fases de anlise e planejamento agregadas neste trabalho


no plano de deciso so as principais fases no processo de desenvolvimento de sistemas autonmicos, tendo em vista a substituio do administrador na tomada de deciso. Nestas fases,
funes como: compreender o estado atual do sistema em funo dos dados do monitoramento
e buscar uma soluo para otimizar o estado atual so desempenhadas tradicionalmente por administradores na gerncia no autonmica. A experincia e a memria dos administradores so
essenciais quando no existe autonomia. Dessa maneira, ser abordado nesta seo o plano de
deciso e o seu motor de busca de solues integrado a tcnica de particionamento utilizada
para a reduo do tempo de resposta na oferta dinmica de solues (on-the-fly).
O plano de deciso, apresentado na Figura 3.5, deve atender os requisitos especificados na

3.2 DEFINIO E ESTRUTURAO DO ARCABOUO

35

Seo 3.1, ao ofertar autonomicamente solues para o ambiente gerenciado. Para tanto, o
plano de deciso composto de cinco mdulos:

PLANO DE DECISO

SINTOMA

PARMETROS
ANALISADOS
ALGORTMOS
DISPONVEIS

MDULO DE
CONTROLE

SIMULADOR
DE ESTADOS

SOLUO

VERIFICADOR DE
DESEMPENHO
VALIDADOR DE
ESTADO

BANCO DE DADOS

PLANO DE INFORMAO

INFORMAO

PLANO DE EXECUO

POLICY-BASED MANAGEMENT
AO (POLTICA)

AMBIENTE GERENCIADO
NOVA INFORMAO

Figura 3.5. Arcabouo para gerncia autonmica de redes detalhamento da camada de deciso.

i) Mdulo de Controle Responsvel por coordenar as aes entre mdulos, base de conhecimento e requisitos especificados pelo administrador. Controla o fluxo de informaes
entre os mdulos deste plano.
ii) Parmetros Analisados Este mdulo contm os parmetros que sero levados em considerao na busca de novas solues. Por exemplo, em qualidade de servio os parmetros
largura de banda e atraso podem ser utilizados na especificao do arcabouo.
iii) Algoritmos Disponveis Este mdulo contm todos os algoritmos que podem ser utilizados na busca de solues. Por exemplo, para a escolha do menor caminho entre dois
ns esto disponveis os algoritmos de Dijkstra [65], Bellman-Ford [66] e Jonhsons [67].
Para o clculo do fluxo mximo entre dois ns quaisquer da rede utilizado o algoritmo
de Goldberg [68]. Para o particionamento da rede esto disponveis quatro algoritmos
[6972]. importante ressaltar que quaisquer outros algoritmos podem ser utilizados.
iv) Simulador de Estados Este mdulo contm um simulador matemtico que calcula a melhor relao (tradeoff ) entre a manuteno da qualidade de servio e o tempo de resposta
em funo de parmetros especificados pelo usurio. Para tal utilizada a ferramenta R2
2R

uma linguagem e ambiente para computao estatstica e grficos que oferece uma ampla variedade de
funes estatsticas (modelagem linear e no linear, testes estatsticos clssicos, anlise de sries temporais, classificao, clustering, entre outros) e tcnicas grficas, e altamente extensvel. Maiores detalhes vide o Anexo
B.

36 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


com o pacote igraph3 . O objetivo deste simulador ser a plataforma de desenvolvimento
para busca e verificao de novas solues.
v) Validador de Estados O objetivo deste mdulo filtrar a(s) soluo(es) encontrada(s)
pelo simulador de estados. Pode ser possvel encontrar mais de uma configurao para
otimizar os recursos do ambiente gerenciado. Este mdulo verificar se todos os requisitos esto sendo atendidos e selecionar qual das solues possveis ser executada.
Conforme visto anteriormente, o arcabouo apresentado define trs planos para a gerncia
autonmica de redes, onde o plano de deciso precisa oferecer uma nova configurao dinamicamente. Essa busca com restries temporais implica na necessidade de mecanismos para
reduzir o espao de busca de solues, visando a oferta de tempo de resposta factvel para grandes domnios. No entanto, a reduo do espao de busca implica na restrio da viso global da
rede, podendo limitar a qualidade das solues ofertadas pelo arcabouo. Assim torna-se fundamental encontrar alguma estratgia capaz de minimizar esta restrio, maximizando a qualidade
da soluo ofertada. Na seo 3.3 ser apresentado uma estratgia baseada no conceito de dividir e conquistar que segmenta a rede em domnios em funo de informaes do perfil de
trfego e topologia.
3.2.4

Ciclo de Atividades do Arcabouo

Para ambientes gerenciados autonomicamente, o ciclo de controle pode ser caracterizado


como uma sequencia de atividades desempenhadas por um sistema autonmico e o seu respectivo fluxo de informaes, conforme descrito no Captulo 2.
Para a gerncia autonmica de redes espera-se que o arcabouo procure novas configuraes
da rede tanto para alcanar uma melhor utilizao do seus recursos, quanto para prover respostas
a falhas encontradas nos dispositivos. Desta maneira necessrio ter uma viso mais detalhada
do ciclo de controle para ambas as situaes com foco nas fases de anlise e planejamento, uma
vez que estas fases compem o foco deste trabalho. No arcabouo desta tese, o ciclo de controle
pode ser visualizado na Figura 3.6.
Observando os possveis caminhos do ciclo de controle, possvel destacar:
Para a ocorrncia de falhas, o ciclo de controle verifica inicialmente se, com a configurao atual a rede, consegue manter os requisitos especificados pelo administrador. Caso
no consiga, verificado sob qual configurao o mesmo consegue melhor atender tais
necessidades. importante ressaltar a existncia da impossibilidade de encontrar uma
soluo que atenda aos requisitos para uma maior quantidade de falhas ou quando as
mesmas se concentram em um n (ou regio). Neste caso, o arcabouo verifica se o administrador aceita a aplicao de uma nova configurao, melhor que o estado atual da
3 IGRAPH

um pacote de software livre para criao e manipulao de grafos que possui implementaes para
problemas clssicos de Teoria do Grafos. Maiores detalhes vide o Anexo B.

3.2 DEFINIO E ESTRUTURAO DO ARCABOUO


MONITORAMENTO

PLANO
DE INFORMAO

RECEBE PARMETROS
DO AMBIENTE
GERENCIADO

VERIFICA O
ESTADO ATUAL
(QoS X DESEMPENHO)

ANLISE

37

PLANEJAMENTO

EXECUO

PLANO
DE DECISO

PLANO DE
EXECUO

EXISTEM
FALHAS NO
AMBIENTE?

BUSCA NOVA
CONFIGURAO
(OTIMIZAO)

S
OS
REQUISITOS SO
ATENDIDOS?

N
BUSCA NOVA
CONFIGURAO
(MANUTENO)

SOLUO
ENCONTRADA?

NOTIFICA O
ADMINISTRADOR

S
APLICA NOVA
CONFIGURAO

SOLICITA NOVAS
MEDIES PARA O
MONITORAMENTO

Figura 3.6. Mapeamento do ciclo de controle arquitetural, planos do arcabouo e ciclo de controle do
arcabouo

rede, mas que no atinge as metas especificadas. importante ressaltar que o relaxamento
dos objetivos especificados s poder ser realizado mediante a ocorrncia de falhas. Se o
administrador no aceitar tal escolha (se a configurao no atender aos objetivos especificados), ele receber uma notificao do arcabouo.
Na inexistncia de falhas, o arcabouo busca otimizar os recursos da rede. O processo de
busca de solues similar, mas durante a busca de uma nova configurao a restrio
de tempo no crtica e o custo operacional de aplicao das alteraes pode ser um
parmetro limitante. Ainda assim, o tempo deve ser considerado para que o arcabouo
no oferea uma nova configurao (soluo) para um estado da rede que no est mais
acontecendo.
Para alcanar os objetivos descritos na Seo 3.1 foi necessria a concepo do plano de
deciso com as seguintes capacidades:

38 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


i) Prover uma tcnica de particionamento em funo da topologia e do perfil de trfego da
rede visando a proviso de solues em ambientes escalveis (Seo 3.3).
ii) Incorporar raciocnio e aprendizagem ao arcabouo autonmico permitindo a integrao
com o particionamento de forma que a busca por solues atenda aos objetivos especificados, em especial, neste caso, o tempo de resposta e a manuteno da qualidade de
servio, aspectos discutidos na Seo 3.5.
Na Seo 3.3 ser apresentada uma estratgia de particionamento para permitir o tratamento
da escalabilidade (capacidade i) e em seguida, na Seo 3.5, tal tcnica ser integrada ao motor
de busca de solues (capacidade ii). Ambas as capacidades so executadas pelo plano de
deciso.
3.3

UTILIZANDO PARTICIONAMENTO PARA TRATAMENTO DA ESCALABILIDADE

Conforme dito anteriormente, quando se trata de gerncia autonmica de redes necessrio


oferecer suporte dinmico de pequenos a grandes e complexos domnios, mantendo o tempo
de resposta factvel. Dessa forma, nota-se que a escalabilidade um requisito que deve ser
considerado [11]. O desempenho no contexto autonmico um aspecto importante uma vez que
necessrio garantir um tempo de resposta vivel durante a alocao de recursos. A alocao
dinmica de recursos deve fornecer resultados otimizados com base no estado atual da rede,
analisando uma base de dados do trfego coletado e do estado do ambiente gerenciado. Em
particular, a escolha de caminhos um dos problemas fundamentais de otimizao em redes
e algoritmos para solucionar este problema tm sido propostos h algum tempo [73]. A ideia
principal apresentada nesta seo a utilizao do conceito de dividir e conquistar, atravs
de um algoritmo de particionamento, que visa a escalabilidade e aspectos de robustez para a
gerncia de redes.
As grandes redes so altamente complexas de gerenciar, principalmente por conta da natureza dinmica do roteamento (distribuio da trfego da matriz, as mudanas de topologia, entre
outros) e do tamanho de tais redes [74]. Como discutido anteriormente, os sistemas de gerncia
autonmicos (AMS) devem ser capazes de operar em redes com cardinalidades diferentes (ns
e enlaces) sem restries topolgicas ou de trfego.
Nesta seo, uma estratgia de particionamento da rede proposta para lidar com este problema. A fim de facilitar a apresentao desta estratgia, ser considerado um caso especial do
arcabouo autonmico, que consiste na alocao de todos os fluxos (como teste de escalabilidade). Neste quadro, o plano de deciso a entidade responsvel que calcula todas as novas
definies de rede com caractersticas autonmicas [11]. Como tal, a estratgia de particionamento efetivamente implementada no plano de deciso e a fim de facilitar a discusso, ser
definido o NPCE (Network Partitioning Computing Engine).

3.3 UTILIZANDO PARTICIONAMENTO PARA TRATAMENTO DA ESCALABILIDADE

39

Em termos de estratgia de rede de particionamento, o NPCE recebe inicialmente o seguinte conjunto de parmetros bsicos (entradas): a topologia da rede, a matriz de trfego e os
requisitos de rede (tempo de resposta e qualidade de servio). A estratgia de particionamento,
apresentada na Figura 3.7, essencialmente calcula a melhor relao entre o tempo de resposta
esperado para encontrar um novo estado de rede e da qualidade do servio. Uma vez que a
melhor opo de particionamento seja encontrada pelo NPCE, a matriz de trfego realocada,
a fim de redistribuir os fluxos atravs da rede configurando um estado de nova rede.
PARMETROS DE
ENTRADA
(TOPOLOGIA, MATRIZ
DE TRFEGO,
REQUISITOS)

ESTRATGIA DE
PARTICIONAMENTO
(CASAMENTO ENTRE
TEMPO DE RESPOSTA E
QoS)

PARTICIONAMENTO
(EXECUO)

ALOCAO DOS
RECURSOS

Figura 3.7. Viso geral da estratgia de particionamento NPCE

Em termos prticos o NPCE recebe uma matriz com todos os fluxos da rede, outra matriz
com os possveis servios oferecidos e uma matriz de adjacncia da topologia da rede. Um
simples exemplo ilustrativo pode ser visto na Figura 3.8.

Figura 3.8. Exemplo ilustrativo da entrada do arcabouo autonmico

A matriz de adjacncia uma das formas tradicionais de representao de um grafo G


qualquer, atravs de uma matriz n x n denominada como A(G). No exemplo da Figura 3.8, o
grafo G (topologia da rede) no direcionado, simples e com pesos nas arestas (representando
a largura de banda dos enlaces), assim basta que as entradas ai j da matriz A(G) contenham o
peso se vi e v j forem adjacentes.
Caso existam dois ou mais enlaces entre ns de redes A e B quaisquer, o NPCE ir visualizar
um nico enlace com a largura de banda total sendo o somatrio entre todas as larguras de banda
dos enlaces que unem os vrtices A e B

40 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


O aspecto essencial da estratgia de particionamento , primeiramente, que a distribuio
do trfego para a rede tenha dois componentes novos: o trfego intra-domnio e o trfego interdomnio. O trfego intra-domnio pode ser entendido como a quantidade de trfego (fluxos),
que permanece dentro dos limites de uma partio de rede recm-calculada (novo segmento
de rede). O trfego inter-domnio corresponde quantidade de trfego (fluxos) que necessariamente atravessa as fronteiras do domnio em questo, pois os ns de origem e destino no
pertencem ao mesmo domnio.
O segundo aspecto importante da estratgia de particionamento que o clculo de redistribuio matriz de trfego pode agora ser potencialmente executado em paralelo para todo o
trfego intra-domnio e, alm disso, para esse clculo sero exigidos menos recursos computacionais, pois o nmero de parmetros envolvidos ser potencialmente reduzido (com relao
ao nmero de enlaces). Como tal, existe um benefcio potencial para atingir uma reduo no
tempo de computao requerida, como previamente indicado, pelos AMSs.
Os aspectos essenciais da estratgia de particionamento so, em resumo, a capacidade potencial para reduzir o tempo de computao para a definio de um novo estado de rede com
base na capacidade do segmento da rede e da realocao do trfego intra e inter-domnios.
Este aspecto ser considerado nas sees seguintes, inicialmente em termos de seus conceitos
analticos e, posteriormente, mostrando detalhes adicionais da sua efetiva implementao.
3.3.1

Conceitos Bsicos para o Partionamento da Rede Uma Viso Analtica

Definio 3.3.1 Dado um conjunto V de vrtices (ns de rede) e um conjunto E de arestas


(enlaces de redes), uma rede de computadores pode ser definida como um grafo G = (V, E)
conexo e no direcionado de forma que E |V 2 |, onde cada elemento de E corresponde a uma
tupla com dois elementos de V , ou seja, tuplas do tipo (ei , ei ) no so consideradas e (ei , e j )
igual a (e j , ei ), pois o grafo no direcionado.
Nesta tese sero utilizadas as seguintes notaes:
A ordem de um grafo G |V |, que corresponde ao nmero de vrtices do grafo. Neste
texto, |V | = n. Por exemplo, na Figura 3.9 a quantidade de vrtices (ns da rede) igual
a 23 (n = 23).
O nmero de arestas de um grafo ||G||. Por exemplo, na Figura 3.9, a quantidade de
arestas (enlaces de rede) ||G|| = 44.
O grau de um vrtice o nmero de arestas conectadas a ele. O grau do vrtice 3 tem
valor quatro.
A densidade de um grafo a relao entre o nmero de arestas do grafo e o total de
arestas de um grafo completo com n vrtices (||G||/||Kn ||). Por exemplo, na Figura 3.9 a
densidade igual a 0, 174, ou seja existem 17,4 % dos enlaces possveis entre os ns de
rede.

3.3 UTILIZANDO PARTICIONAMENTO PARA TRATAMENTO DA ESCALABILIDADE

41

Um simples exemplo de particionamento de rede, para n = 23, com trs parties (d = 3)


pode ser visualizado na Figura 3.9.

(a)

(b)

Figura 3.9. Exemplo de particionamento com trs parties

Definio 3.3.2 Dada uma rede qualquer representada por um grafo G, quando a estratgia
de particionamento aplicada gera um conjunto de parties (d 2) e, consequentemente, o
trfego da rede pode ser subdividido em dois grupos disjuntos: trfego entre parties e trfego
dentro das parties. Nesta tese definimos trfego intra-domnio como sendo todo o trfego
onde os ns de origem e destino pertencem a mesma partio. Em contrapartida, quando os ns
de origem e destino pertencerem a parties distintas definiremos como trfego inter-domnio.
Por exemplo, uma rede de computadores representada pelo grafo G com V = A, B,C, D, E,
F, G, H, I, K, J, L, M, N, O, P, Q ns e tg = (A, B,C, D, E, F) geradores de trfego4 , sua matriz
de trfego representada por uma matriz quadrada M de dimenso 6 x 6 (tg x tg). Neste
exemplo, assumimos duas possibilidades de particionamento A e B, onde o nmero de parties
so respectivamente, dois (A = pA1 , pA2 ) e trs (B = pB1 , pB2 , pB3 ), representado da seguinte
forma:
pA1 = (A, B, G, H, M)
pA2 = (C, D, E, F, I, J, L, N, O, P, Q)
pB1 = (A, B, G, H, M)
pB2 = (C, D, I, J, O)
pB3 = (E, F, K, L, P, Q)

Definio 3.3.3 Dada uma rede qualquer representada por um grafo G com custo de alocao
de fluxos T. Quando a estratgia de particionamento for aplicada o custo computacional total de
alocao dos fluxos ser representado por T .
4 Neste

exemplo didtico apenas alguns ns so geradores de trfego. No existem restries quanto quantidade ou ao percentual de geradores entre os ns.

42 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


B

2 Parties
pA1 , pA2
F

pA1
B

3 Parties
pB1 , pB2 , pB3

pB1

pB3

A B C D E F
A p
A1
B
C
D
E
F

A B C D E F
D

pA2
F

Trfego da Partio 1

pA2

pB2

Trfego da Partio 2

A
B
C
D
E
F

pB
1
pB2
pB3
Trfego da Partio 1
Trfego da Partio 2
Trfego da Partio 3

Trfego Intradomnios

Trfego Intradomnios

Figura 3.10. A relao entre o trfego intra-domnio das parties A e B

Nas sees seguintes, as variveis T e T sero utilizadas para efeito de comparao entre
(a)o tempo total de alocao dos fluxos sem considerar o particionamento e (b) o tempo total
de alocao dos fluxos com particionamento, respectivamente. No sero considerados outros
requisitos alm do tempo de alocao.

3.3.2

Anlise Matemtica do Particionamento

Definio 3.3.4 O tempo de alocao de fluxos sem a utilizao do particionamento pode ser
escrito como
T = ft c

(.)

onde ft representa o total de fluxos.

Definio 3.3.5 O tempo de alocao de fluxos com a utilizao do particionamento pode ser
escrito como

T = Tinter
+ Tintra

(.)

3.4 ESTRATGIA DE PARTICIONAMENTO BASEADA NO TRFEGO E NA TOPOLGICA DA REDE 43


d

T = finter c + ( fi ci )

(.)

i=1

Lema 3.3.1 O tempo de alocao quando o algoritmo de particionamento utilizado sempre


menor ou igual ao tempo de alocao quando o algoritmo de alocao sem particionamento
adotado, independentemente do algoritmo de alocao, nmero ou tamanho das parties.
T T

(.)

ft c finter c + ( fi ci )

(.)

i=1

( ft finter ) c ( fi ci )

(.)

i=1

fintra c ( fi ci )

(.)

( f1 + f2 + ... + fi + ... + fd ) c f1 c1 + f2 c2 + ... + fi ci + ... + fd cd

(.)

i=1

onde fi representa o total de trfego da partio i

3.4

f1 c + f2 c + ... + fi c + ... + fd c f1 c1 + f2 c2 + ... + fi ci + ... + fd cd

(.)

( f1 c f1 c1 ) + ( f2 c f2 c2 ) + ... + ( fi c fi ci ) + ... + ( fd c fd cd ) 0, d 1

(.)

ESTRATGIA DE PARTICIONAMENTO BASEADA NO TRFEGO E NA TOPOLGICA DA REDE

Uma rede pode ser visualizada como um grafo conexo sem loops5 . Particionamento de
grafos um problema matemtico que consiste em dividir um grafo em subgrafos, de forma
que os subgrafos tenham alguma caracterstica em comum entre eles, como por exemplo, o
tamanho [75]. A escolha de subgrafos de mesmo tamanho no parece ser a melhor soluo para
redes de computadores, pois desconsidera informaes relevantes como topologia e o trfego
da rede. A estratgia proposta particiona um grafo G (rede de computadores) em parties
(domnios) disjuntos, para que a alocao de recursos seja realizada de forma concomitante em
5 Ou

seja, arestas do tipo (ei , ei )

44 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


todas as parties (trfego intra-domnio6 ). Entretanto existe tambm um trfego entre ns de
diferentes domnios (trfego inter-domnios 7 ) vistos na Figura 3.10.
Conforme visto na Figura 3.7, a estratgia utilizada recebe um grafo G, uma matriz de
trfego M e uma lista de todos os fluxos ativos na rede F e escolhe qual a melhor composio
de parties, que minimiza o tempo de resposta e maximiza a manuteno da qualidade de
servio. A ideia bsica da estratgia NPCE encontrar um casamento adequado (match) entre
o perfil de trfego e a escolha das parties.
Para tal, a estratgia de particionamento implementada pelo NPCE (Network Partitioning
Computing Engine) estende um algoritmo de segmentao da rede estando estruturado em uma
sequncia de etapas conforme indicado a seguir:
i) O NPCE executa inicialmente o algoritmo de particionamento (a ser discutido na Seo
3.4.1) gerando um conjunto de possveis parties da rede (d 2) de diferentes tamanhos,
ocasionando distintos padres de trfego intra e inter-domnios.
ii) O NPCE avalia o custo algoritmo de alocao para a matriz de trfego de entrada (perfil de trfego de rede atual) para cada particionamento obtido independentemente (a ser
discutido na Seo 3.4.2).
iii) O NPCE avalia a melhor relao entre o tempo de resposta e os requisitos de qualidade
de servio definidos pelo administrador da rede (a ser discutido na Seo 3.4.3).
O resultado esperado, como discutido anteriormente, a reduo do tempo de resposta
necessrio para uma nova definio de um novo estado da rede (configurao), preservando a
qualidade do servio. As sees seguintes descrevem cada passo especfico associado com a
implementao da estratgia de particionamento NPCE.
3.4.1

A Operao do NPCE Fase 01 Tratando a Escalabilidade com o Particionamento

Um parmetro de entrada para o algoritmo de particionamento um grafo conexo qualquer


de topologia G. Em geral, encontrar uma soluo exata para uma partio de grafos considerado um problema NP-completo, tornando difcil tal tarefa para grandes domnios de redes
de computadores. Muitas reas, como redes sociais e ecossistemas, usam algoritmos de particionamento de grficos para encontrar propriedades comuns ou de relaes entre os vrtices de
acordo com suas necessidades especficas.
Considerando o cenrio de gerenciamento de rede adotado (qualidade de servio), o princpio geral de particionamento , basicamente, para dividir os ns da rede (Grafo G) em subgrafos com a maior densidade possvel. Ao olhar para subgrafos de maior densidade, obtm-se um
6 Este

trfego caracterizado quando a origem e o destino pertencem ao mesmo domnio


n de origem e o n de destino no pertencem a mesma partio

7 Quando

3.4 ESTRATGIA DE PARTICIONAMENTO BASEADA NO TRFEGO E NA TOPOLGICA DA REDE 45


conjunto de vrtices em que a relao entre eles mais forte, isto , o nmero de arestas por subgrafo substancial. Sendo assim, no contexto de rede de computadores uma maior densidade
por partio (subgrafos) representa, potencialmente, um maior nmero de caminhos entre um
conjunto de vrtices, um maior nmero de caminhos de roteamento alocveis (como LSPs) em
cada partio. importante mencionar que, quando as arestas (links) no pertencem a qualquer
partio, elas correspondem a enlaces de comunicao inter-domnios.
Os critrios adotados para a estratgia de particionamento foram o tempo de resposta, a
densidade das parties e o desvio padro mdio do tamanho das parties [11]. O algoritmo
edgebetweenness apresentou um melhor comportamento considerando os critrios adotados
na gerao de parties da rede gerenciada.
Desta forma, nesta fase o NPCE produz grupos de parties com diferentes cardinalidades
em funo da topologia da rede. Cada um desses grupos de particionamento contm p distintas
parties e ser identificado neste texto como um novo NPT (Network Partitioned Topology).
Ou seja, ao final desta fase gerado um conjunto de NPTs, onde o NPTx tem x + 1 parties.

Figura 3.11. Resultados gerados pela primeira fase

Muitas reas que tambm possuem alta complexidade como redes sociais (social networks)
utilizam algoritmos de particionamento em funo de propriedades entre os vrtices e/ou arestas de um grafo. O particionamento utilizado nestas reas realizado com base na busca de
comunidades (community structures) [75].
Algoritmos para busca de comunidades tm sido amplamente estudados e tal estratgia est
intimamente relacionada com a ideia de particionamento em teoria dos grafos [6972]. Dentro
do contexto de redes de computadores, o objetivo desenvolver um algoritmo dinmico capaz de buscar um grupo de d domnios de alta densidade com v vrtices e e arestas. Ao criar
domnios menores, um subconjunto de arestas no pertencer aos domnios servindo de interligao entre eles de modo que tais arestas que no pertenam aos domnios so as que

46 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


tornam os domnios menos densos. A seguir sero apresentados conceitos matemticos para
contextualizao dos tpicos desta seo.
Ao procurar domnios de maior densidade em um grafo G, obtm-se um conjunto de vrtices, onde o relacionamento entre eles mais forte, ou seja, o nmero de arestas existentes
maior para um subconjunto de vrtices de G. No contexto de redes de computadores, isso
representa um maior nmero de caminhos entre este conjunto de vrtices. Estes subconjuntos de vrtices, partio do grafo G, de maior densidade sero denominados aqui de domnios.
importante mencionar que as arestas (enlaces) no pertencentes a nenhum domnio so enlaces que permitem a comunicao inter-domnios. Assim, o algoritmo usado originalmente
para encontrar comunidades, ser efetivamente utilizado em nosso contexto para identificar os
vrtices (ns) dos domnios de rede. O algoritmo recebe um grafo G (topologia de rede) e o
nmero necessrio de domnios d e cria um novo grfico com a interligao das comunidades
(domnios).
Alguns algoritmos clssicos para a busca de comunidades tem sido utilizados para busca
de parties. Desta classe de algoritmos, quatro algoritmos clssicos foram testados: walktrap
[72], fastgreedy [70], eigenvector [71] e edgebetweenness [69] por possurem menor complexidade. Os testes para a escolha do algoritmo utilizaram trs mtricas: nmero mximo de arestas
pertencentes aos domnios, tempo mdio de execuo e menor desvio padro da cardinalidade,
n, dos domnios (subgrafos) gerados. Vale ressaltar que o nmero mximo de arestas pertencentes aos domnios o parmetro que permitir a criao de subgrafos mais densos e por isso
considerado um parmetro relevante. J a considerao do desvio mdio padro da cardinalidade dos domnios visa encontrar um algoritmo que encontre subgrafos com quantidade de
vrtices e arestas similares.
Os testes foram realizados com grafos de cardinalidade n = {10, 50, 100, 250} gerados aleatoriamente. Para a gerao dos grafos foram aplicadas as seguintes restries: grau mnimo dos
vrtices iguais a dois visando evitar redes desconexas e/ou com roteamento trivial grafos
no completos e, conforme a definio 3.3.1, que no possuam ciclos (loops). Os resultados
dos testes destes algoritmos de particionamento de grafos para a utilizao no plano de deciso
podem ser vistos na Tabela 3.1 com as melhores escolhas indicadas em negrito.
O algoritmo edgebetweenness apresentou um melhor comportamento perante os itens especificados, tempo de execuo, arestas no usadas e desvio padro mdio que corresponde a um
parmetro relevante pois permite a escolha de um conjunto e domnios com baixa variao de
cardinalidade, visando tempo de alocao prximos. Por esta razo, o algoritmo edgebetweenness foi escolhido como base para o particionamento visando a escalabilidade [11]. Resumidamente, o particionamento executado algoritmo edgebetweenness resultou em um nmero
mximo de arestas pertencentes aos domnios gerados e o mesmo tambm apresentou um tempo
de execuo satisfatrio. Alm disso, a variao da cardinalidade dos subgrafos foi o menor.
Vale ressaltar que o algoritmo walktrap no possui um desempenho estvel porque no determinstico e utiliza caminhos aleatrios. J o algoritmo eigenvector no teve os resultados

3.4 ESTRATGIA DE PARTICIONAMENTO BASEADA NO TRFEGO E NA TOPOLGICA DA REDE 47


Tabela 3.1. Resultados dos testes para escolha do algoritmo de particionamento, considerando as mtricas especificadas dentro do contexto de redes de computadores [11].

Parametros

tempo de execuo Arestas no usadas desvio padro mdio


segundos

Algoritmos

50

100

50

100

50

100

edgebetweenness O(e2 v) 0,172

0,872

20,8

20,2

2,05

6,83

fastgreedy O(v log2 v)

0,188

20,8

20,2

19,7

4,27

7,06

walktrap O(ev2 )

0,181

0,186

20,8

22,6

3,90

11,98

apresentados na Tabela 3.1 por no conseguir gerar domnios em algumas situaes.


A ideia do algoritmo edgebetweenness, utilizado originalmente para a deteco de comunidades, baseada na probabilidade de que as arestas conectando domnios separados tenham
pesos altos porque todos os caminhos mais curtos de domnio para domnio, deve percorr-las.
Ento, se forem removidas gradualmente as arestas de maior peso, teremos um mapa hierrquico, uma rvore com razes, chamada de dendrograma8 .
Para encontrar os domnios, o algoritmo edgebetweenness segue os passos descritos a seguir
[69]. Na figura 3.9 pode ser visto um exemplo de execuo do algoritmo para trs parties.
i) Calcula os pesos (betweenness) para todas as arestas do grafo;
ii) Procura a aresta de maior peso e remove do grafo;
iii) Recalcula os pesos (betweenness) para todas as outras arestas;
iv) Repete o item ii, at que no existam mais arestas.
3.4.2

A Operao do NPCE Fase 02 Clculo do Custo Computacional

Neste passo calculado o custo total para alocao dos fluxos de rede em funo dos n
particionamentos encontrados, ou seja, determina para cada partio qual o custo mdio para
busca de caminhos. Para tanto, as seguintes tarefas so executadas:
i) Tarefa 01 - Para cada particionamento p (2 < |p| < n) calculado o percentual trfego
para cada domnio em funo do total de trfego e a quantidade de fluxos por domnio
contabilizada. Em seguida, tambm para cada particionamento, calculado o trfego
total inter-domnios e contabilizada a quantidade de fluxos intra-domnios.
8 Um

Dendrograma (dendro = rvore) um tipo especfico de diagrama que organiza determinados fatores e
variveis. Resulta de uma anlise estatstica de determinados dados, em que se emprega um mtodo quantitativo
que leva a agrupamentos e sua ordenao hierrquica ascendente - o que em termos grficos se assemelha aos
ramos de uma rvore que se vo dividindo noutros sucessivamente.

48 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


ii) Tarefa 02 - O algoritmo do caminho mais curto selecionado de acordo com a topologia
da rede para a obteno de um melhor desempenho em funo do tempo de resposta
para a alocao de todos os fluxos. Existem diversos algoritmos disponveis na literatura
[76], no arcabouo esto disponveis os algoritmos de Dijkstra [65] O(|e| + |v| log|v|),
Bellman-Ford [66] O(|e| |v|) e Jonhsons [67] O(|v|2 log|v| + |v| |e|). importante
ressaltar que outros algoritmos podem ser adicionados, viabilizando a modularidade do
arcabouo apresentado neste documento.
iii) Tarefa 03 - calculado o percentual do custo de alocao de recursos com o particionamento em funo da soluo sem particionamento, denominada de . Ela representa
a soma dos custos intra-domnio (Cintra ) e inter-domnio (Cinter ) para todo particionamento p (2 < |p| < n) dividido pelo o custo de alocao de recursos sem particionamento C. O valor de pode ser visto na Equao ..
=

Cintra +Cinter
| Cintra = (Ci fi ) ,
C

(.)

onde:
Ci custo estimado para um fluxo calculado na Tarefa 02
fi total de fluxos da partio calculado na Tarefa 01
Ao final desta etapa o NPCE retorna o custo computacional para a alocao de todos os
fluxos da rede em funo das possveis NPTs encontradas. Um exemplo pode ser visto
na Figura 3.12, onde mostrado para a NPT com dois domnios de gerncia que 56%
do trfego est concentrado entre os ns do domnio D1, 26% no domnio D2 e 18% do
trfego entre ns dos domnio D1 e D2.
3.4.3

A Operao do NPCE Fase 03 Anlise da Melhor Relao

Nesta terceira fase, a melhor relao entre o tempo total de execuo dos possveis particionamentos e o percentual do somatrio do fluxo mximo, que corresponde a razo entre o
somatrio de todos os fluxos mximos com particionamento e o somatrio de todos os fluxos
mximos sem particionamento, calculada.
Alm disso, para a definio do problema do fluxo mximo necessrio o entendimento de
capacidade, fluxo e o valor de um fluxo que so vistos a seguir.
Definio 3.4.1 Dado G = (V, E) um grafo conexo e no direcionado com v1 e v2 V sendo a
origem e o destino de um fluxo de rede, respectivamente.
A capacidade de uma aresta um mapeamento c : E + denotado por cv1 v2 ou c(v1 , v2 ),
que representa o valor mximo de um fluxo que pode passar em uma aresta (enlace).

3.4 ESTRATGIA DE PARTICIONAMENTO BASEADA NO TRFEGO E NA TOPOLGICA DA REDE 49

Figura 3.12. Visualizao do resultado gerado na fase 02 clculo do custo computacional

Um fluxo um mapeamento f : E + denotado por fv1 v2 ou f (v1 , v2 ), sujeito s seguintes restries:

i) f (v1 , v2 ) c(v1 , v2 ), pois um fluxo no pode superar a capacidade de uma aresta


(enlace)
ii) v1 : (v1 , v2 ) E f (v1 , v2 ) = v2 : (v2 , v1 ) E f (v2 , v1 ), ou seja, corresponde lei
de conservao dos fluxos. Para todo fluxo f de origem e v1 e destino em v2 , soma
dos fluxos de sada igual a soma dos fluxos de entrada. Esta uma adaptao
da lei de conservao dos fluxos, uma vez que em redes de computadores, geralmente no existem ns apenas geradores ou ns apenas receptores uma vez que as
comunicaes geralmente so full-duplex.
O valor de um fluxo definido por | f |. Em redes de computadores o valor do fluxo
corresponde largura de banda especificada para um servio esperado pelo arcabouo.

Assim, o problema do fluxo mximo consiste em maximizar | f |, ou seja, encontrar um conjunto


de rotas entre v1 e v2 , visando a maior soma de capacidades possvel. Nesta tese o fluxo mximo
entre dois vrtices calculado com base no algoritmo de Goldberg [68] com complexidade

50 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES

de O(|v|3 ) que satisfaz a duas propriedades:


i) para cada aresta de G o fluxo no pode ser maior que a capacidade da aresta (a capacidade
um parmetro ou atributo da aresta),
ii) para cada vrtice, exceto os vrtices de origem e destino, o fluxo de entrada igual ao
fluxo de sada. O fluxo mximo o somatrio de todos os fluxos de entrada em uma
aresta, sem restries de direo.
Assim o somatrio do fluxo mximo corresponde soma de todos os fluxos mximos
calculados individualmente para cada par de vrtices (v1 , v2 ) V . A representao pode
ser realizada utilizando uma matriz quadrada V xV e o somatrio corresponde soma de todos
elementos desta matriz. O parmetro de qualidade definido para esta tese a manuteno percentual do fluxo mximo que corresponde a razo entre o somatrio do fluxo mximo com e
sem a utilizao do particionamento para todos os ns (vrtices), que pertencem uma mesma
NPT. Um exemplo ilustrativo e simples destes parmetros pode ser visualizado na Figura 3.13.

Figura 3.13. Clculo da manuteno do somatrio do fluxo mximo

Observa-se que o fluxo mximo entre os ns B e C (| f(B,C) |), que pertencem partio 1,
tem valor igual trs sem a utilizao do particionamento. Quando o particionamento utilizado,
o valor do fluxo mximo entre os ns citados reduzido para dois, uma vez que os caminhos
B D E C e B D F E C no podem ser mais utilizados pois os ns D, E e

3.5 O MOTOR DE BUSCA DE SOLUES DO ARCABOUO

51

F agora pertencem partio 2. O valores de | f(B,C) | com e sem particionamento podem ser
visualizados na linha dois e coluna trs das matrizes da Figura 3.13). O mesmo problema ocorre
com os vrtices D e E, uma vez que os caminhos D B C E e D B A C E no
podem ser utilizados. Isso pode ser visualizado na linha quatro, coluna cinco da Figura 3.13.
Esta reduo do fluxo mximo no ocorre para todos os pares de vrtices de uma mesma
partio. Para os pares (A, B) e (A,C) da partio 1 e (D, F) e (E, F) da partio 2, o fluxo
mximo igual a dois (| f | = 2) com ou sem a utilizao da estratgia de particionamento. Note
que para o exemplo da figura 3.13, | f | no ser maior que dois, uma vez que os vrtices A e F
tem grau dois (|d| = 2).
Em termos prticos, o administrador pode especificar a quantidade percentual destes caminhos perdidos em funo da aplicao da estratgia de particionamento. Caso o administrador
especifique o valor de 90% como o limite de qualidade, o particionamento apresentado na Figura 3.13 no seria aprovado. Apenas seria considerado se o valor da manuteno percentual
do fluxo mximo fosse maior ou igual a 85%. Este parmetro fica armazenado no mdulo de
parmetros analisados do plano de deciso.
A Figura 3.14 resume as atividades realizadas no plano de deciso.
Neste exemplo especfico, a qualidade foi previamente ajustada em 90% (valor mnimo
aceitvel) e o tempo de execuo de 40% (valor mximo aceitvel). Observe que tanto o NPT2
quanto o NPT3 atendem os requisitos. Entretanto o NPT2 foi escolhido por oferecer um menor
tempo de resposta com melhor qualidade.
Na seo seguinte ser descrito o motor de busca de solues integrado ao NPCE.
3.5

O MOTOR DE BUSCA DE SOLUES DO ARCABOUO

Em um sistema autonmico desejvel que exista em sua estrutura e/ou concepo um


histrico de decises tomadas para que tais informaes armazenadas sirvam de apoio para a
anlise de novas solues e consequente determinao de uma nova configurao da rede gerenciada. Espera-se que esta nova configurao possa gerar um estado satisfatrio no que diz
respeito ao atendimento dos requisitos especificados no arcabouo autonmico pelo administrador da rede gerenciada, sempre quando possvel.
Por outro lado, o armazenamento de todas as informaes pertinentes ao estado atual de uma
rede e de seus dispositivos poder aumentar a complexidade da gerncia autonmica, devido
alta granularidade de informaes coletadas, e a uma possvel grande quantidade de dispositivos
gerenciados. Dentro desta realidade espera-se que o armazenamento e recuperao de forma
satisfatria atenda a necessidade de especificar um motor de busca de solues capaz de propor
novas configuraes considerando:
A especificao de um motor de busca de solues, que permita modelar o conhecimento
dentro da realidade da gerncia de redes de computadores. Esta especificao deve contemplar a possibilidade de operar com baixa aquisio de conhecimento possibilitando

52 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES

Figura 3.14. Visualizao das etapas do particionamento proposto

o incio da operao de um arcabouo autonmico ainda sem uma base de informaes


significativa e que tente evitar a repetio de erros ocorridos no passado.
Uma base de informao que possibilite a representao das informaes de forma flexvel, permitindo a adaptao das informaes relevantes da estratgia utilizada pelo arcabouo, e uma recuperao de dados em tempo factvel para tornar vivel o tempo de
resposta das solues.
Na busca de novas solues, um modelo autonmico deve incorporar tcnicas de aprendizagem e raciocnio (learning and reasoning techniques) para garantir as propriedades auto-* [7].
Segundo [3], durante a fase de anlise e planejamento diversas tcnicas podem ser utilizadas
tais como inferncia, teoria dos jogos, modelos econmicos, teoria da deciso, anlise de risco,
dentre outros.

3.5 O MOTOR DE BUSCA DE SOLUES DO ARCABOUO

53

A correlao de eventos tambm pode ser uma tcnica utilizada para gerenciamento integrado em sistemas autonmicos dentro do contexto de redes de computadores [77], uma vez
que ela utiliza experincias passadas para encontrar novas solues atravs de tcnicas como
RBR (Rule-Based Reasoning Raciocnio Baseado em Regras) e CBR (Case-Based Reasoning
Raciocnio Baseado em Casos) [77]. O CBR uma abordagem para resoluo de problemas
que tem a habilidade de se adaptar automaticamente para encontrar novas solues baseadas em
casos passados, diferentemente do RBR, que pode ou no ser adaptado.
O funcionamento do CBR similar forma humana de resoluo de problemas, j que os
mesmos so resovidos com base em experincias anteriores (case based) e em suas respectivas
similaridades. Para tanto, este paradigma faz uso do Algoritmo dos 4Rs apresentado na Figura
3.15 que representam retrieve, reuse, revise e retain [9].

Figura 3.15. O ciclo do algoritmo 4R Adaptado de [9]

O paradigma de CBR envolve raciocnio atravs do armazenamento de um caso e sua respectiva soluo, para a apoio resoluo de problemas novos. Alm disso, o CBR pode ser
usado para resolver diversos tipos de problemas em reas distintas, apesar de ser indicado para
situaes onde seja impossvel entender e prever completamente os domnios, ou quando os
fatores de sucesso de uma soluo no podem ser modelados de forma explcita.
Em geral a utilizao de CBR oferece as seguintes vantagens [78]:
Reduo da tarefa de aquisio de conhecimento Por no trabalhar com modelo baseado em regras, o CBR permite maior facilidade na busca de uma nova soluo fruto da
comparao com situaes anteriores.
Evita repetio de erros do passado Ao armazenar os casos que obtiveram xito ou
fracasso,9 o CBR pode evitar que erros se repitam para uma mesma situao.
Proporciona flexibilidade na modelagem do conhecimento Diferentemente de sistemas
baseados em modelos, o CBR permite que o desenvolvedor modele seu conhecimento em
funo da modelagem de seu caso.

54 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


Raciocnio em um domnio com um pequeno corpo de conhecimento Esta vantagem
permite que um sistema seja utilizado sem um mapeamento completo do domnio. Esta
vantagem bastante interessante no contexto de autonomia para ambientes gerenciados
dinmicos, uma vez que o sistema pode alcanar o sucesso sem necessariamente ter a
soluo j gravada na base de conhecimento .
Raciocnio com dados incompletos ou imprecisos O casamento (match) entre a recuperao de um caso e o estado atual no precisa ser perfeito, possibilitando maior flexibilidade na escolha de uma soluo.
Como mencionado anteriormente, o CBR usa experincias anteriores para resolver novos
problemas e isso geralmente requer a aquisio de conhecimentos significativamente menor.
Esta vantagem faz do CBR uma alternativa, em distintas situaes, para sistemas que durante
sua implantao tenham com pequena quantidade de experincia, que aumentar de acordo com
as novas solues criadas, consequentemente, enriquecendo a base de casos.
Apesar de no ser considerado como um novo paradigma de inteligncia artificial, o CBR
vem sendo recentemente utilizado para resolver problemas de alta complexidade como a gerncia autonmica de redes [79] [33]. Ao considerar a computao autonmica, abordagens
recentes sugerem o uso deste paradigma em sistemas autonmicos para melhorar a eficincia
de tais sistemas [80].
A seguir ser apresentado como foi mapeado um caso para o arcabouo com caractersticas
autonmicas utilizando a estratgia de particionamento.
3.5.1

Mapeamento de um Caso

Um caso tipicamente corresponde ao armazenamento de uma tupla problema/soluo que


ocorreu no passado. Desta forma, no contexto autonmico de rede de computadores, um caso
(ci ) composto por um problema encontrado no ambiente gerenciado (sintomas) (pi ) e por uma
soluo para este problema (si ), descrito da seguinte forma:

ci = {pi , si }

(.)

Para detalhar e adaptar um caso proposta apresentada nesta tese, o caso foi estendido em
funo da estratgia de particionamento (NPCE) e corresponde seguinte tupla:

ci = {t pi ,tri , npti , qsi , nsi ,tsi , ci }


onde:

(.)

3.5 O MOTOR DE BUSCA DE SOLUES DO ARCABOUO

55

t pi representa a topologia da rede gerenciada. O objetivo verificar se existem falhas


na topologia.
tri representa o trfego da rede gerenciada. O total de trfego armazenado para cada
partio em funo do NPT atual.
npti representa os possveis particionamentos (NPTs) em funo do algoritmo utilizado
na NPCE.
qsi indica a qualidade da soluo proposta, que medida de acordo com a verificao
dos SLAs no atendidos.
nsi indica o nmero de ocorrncia de um caso ci ; utilizado para verificar a ocorrncia
de casos pouco utilizados e refinar a busca por novas solues.
tsi indica o tempo da ltima ocorrncia de um caso. desejvel remover casos no
utilizados recentemente.
ci indica o percentual do custo computacional em realizao a no utilizao do particionamento (apresentado na Seo 3.4.2);
Este modelo bsico de caso foi estendido neste trabalho para garantir mais eficincia e flexibilidade na busca de novas solues. Flexibilidade, pois um problema pode estar em diferentes
contextos, por exemplo, um enlace pode falhar e causar diferentes reaes a depender do estado
atual da rede (distintos perfis de trfego). Eficincia, com a reduo do domnio de casos-base
no relevantes no contexto atual (mudana topolgica ou baixa ocorrncia de casos).
3.5.2

A Representao do Conhecimento Associando o Particionamento ao Motor de


Busca de Solues

Para que a utilizao da representao do conhecimento atravs do raciocnio baseado em


casos seja possvel necessrio que seja utilizado um mtodo capaz de armazenar e indexar tais
informaes do CBR.
Em geral, os casos podem ser considerados como experincias contextualizadas, teis para
que os objetivos do arcabouo sejam alcanados. Portanto, a representao do caso pode ser
vista como a tarefa capaz de permitir que o arcabouo reconhea, armazene, e processe as
suas experincias passadas contextualizadas. Ao considerar a representao de um caso, de
fundamental importncia observar dois pontos: (a) os modelos conceituais que so usados
para projetar e representar casos, especificados na Seo 3.5 e (b) os meios de implementao
das informaes no computador (como por exemplo, em uma tabela relacional num SGBD9
9 Do

ingls Data Base Management System (DBMS) - o conjunto de programas de computador responsveis
pelo gerenciamento de uma base de dados, cujo principal objetivo retirar da aplicao cliente a responsabilidade
de gerenciar o acesso, a manipulao e a organizao dos dados. O SGBD disponibiliza uma interface para que
seus clientes possam incluir, alterar ou consultar dados previamente armazenados.

56 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


(Sistema de Gerenciamento de Banco de Dados) relacional; algumas estruturas de dados tais
como rvores B ou numa hierarquia orientada a objetos). Desta forma, a escolha de um
mtodo para a representao e indexao de um caso essencial, porque fornece a estrutura de
base para utilizao de RBC em sistemas autonmicos.
Como mencionado anteriormente, um caso consiste principalmente de duas partes: o problema e a soluo. Cada parte pode ser dividida em componentes menores que podem ser teis
mais tarde para tarefas de raciocnio dependendo do problema a ser tratado. No contexto da
gerncia de redes de computadores so necessrias informaes refentes topologia, ao trfego
e aos requisitos esperados pelo administrador. Por outro lado a representao deve armazenar
tambm informaes referentes estratgia utilizada pela camada de deciso, em especial pelo
NPCE.
Uma tcnica comumente usada para representao de um caso a abordagem de banco de
dados relacional. Este modelo simples e flexvel e tem sido amplamente adotado em muitas
aplicaes de raciocnio baseado em casos [81]. Cada objeto representado por uma linha de
uma tabela relacional onde as colunas so usados para definir os atributos (ou campos) dos
objetos, sejam eles informaes da rede gerenciada ou dados referentes NPCE.
Assim como a representao de um caso, poderamos dividir a(s) tabela(s) em: descrio
do problema e parte da soluo. Se o caso tem muitas relaes com vrios objetos ou se o
caso pode ser dividido em subcasos, uma rede de relacionamentos poder ser desenvolvida e
modelada num SGBD.
De fato o banco de dados relacional pode reduzir a redundncia de armazenamento, bem
como melhorar a eficincia de recuperao [81]. Uma vantagem deste modelo que ele apresenta uma viso de vrios lados dos casos a partir da possibilidade de relacionamento dos dados
de forma mais natural. No entanto, este modelo de representao tem a desvantagem de consumir tempo e energia considerveis para o desenvolvimento de um modelo de banco de dados
relacional para a representao de um caso.
Desta forma, um mtodo de armazenamento com a utilizao de banco de dados viabiliza a
relao entre as informaes e ainda tem como vantagens: compartilhamento de dados, suporte
a mltiplas vises; reduo da redundncia de dados, minimizao da inconsistncia, suporte a
transaes e atomicidade, manuteno da integridade dos dados e flexibilizao na representao [82].
A representao desenvolvida com a utilizao de banco de dados apresentada na Figura
3.16, de acordo com a especificao contida na equao ., e contm as seguintes tabelas:
casos principal tabela do sistema, possui uma chave primria composta contendo a
identificao da topologia (informaes dos enlaces e verificao das falhas), do particionamento atual (NPT) e do trfego por partio;
npt contm informaes do particionamento relativas a cada caso armazenado;

3.6 EXEMPLO DE OPERAO

57

tr nesta tabela so indexados o percentual de trfego para o NPT de cada caso armazenado. Nela consta o percentual de trfego por partio e entre parties. O objetivo
utilizar essas informaes como base para a determinao do custo computacional para o
NPT definido pelo NPCE.
tp contm informaes da topologia e o identificador da quantidade de falhas por partio.
falhas indica a quantidade de falhas por partio.
custo armazena o custo computacional por partio.
fluxomximo armazena a manuteno de fluxo mximo por partio de um NPT.
algoritmo apenas guarda o algoritmo de busca de menor caminho e sua complexidade.

Figura 3.16. Modelo de dados para tomada de decises

3.6

EXEMPLO DE OPERAO

Nesta seo sero apresentados exemplos de operao do arcabouo em funo do estado


da rede no que diz respeito ao percentual de fluxos alocados. Os exemplos tomam como base
possveis estados da rede e o NPT escolhidos. Em seguida so mostrados como o ambiente pode
reagir em caso de falhas e/ou de no atendimento das necessidades dos usurios e servios.

58 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


Tecnicamente o arcabouo pode encontrar duas situaes distintas: (a) uma falha ocasionando a reconfigurao autonmica dos recursos da rede e (b) uma situao em que no existem
falhas mas onde uma reconfigurao pode maximizar a alocao dos recursos na rede gerenciada.
Para exemplificar os possveis estados e suas transies, sero utilizadas as nomenclaturas
A1, A2, A3 e A4 para o funcionamento na ocorrncia de falhas e B1, B2,C1 e C2 quando o
objetivo melhorar a alocao de recursos. A diferena entre os exemplos B e C basicamente
o estado inicial, pois em C o estado C1 considerado no desejvel.
3.6.1

Funcionamento na Ocorrncia de Falhas

(A1) A rede gerenciada est com 100% dos fluxos alocados e o NPT atual possui cinco
parties.
(A2) Ocorre um conjunto de falhas (1 f alhas e) que podem estar presentes em
diferentes parties. Na ocasio apresentada, tal conjunto de falhas afetou em torno de
15% dos enlaces da rede.
(A3) O arcabouo ao receber uma fotografia (snapshot) da rede gerenciada, procura
realocar os fluxos em funo da NPCE considerando a relao entre tempo de execuo
e qualidade da soluo. Nesta ocasio dois acontecimentos podem ocorrer:

(A31 ) O NPCE pode sugerir um novo NPT visando a maximao da alocao de


fluxos, com foco na qualidade da soluo proposta. Neste caso, a nova NPT geralmente opta por uma quantidade menor de parties, visando a reduo da perda do
fluxo mximo apresentada na Seo 3.4.3. Isso poder ter um custo computacional
maior durante a alocao de fluxos.
(A32 ) O NPCE pode optar em manter o NPT atual, realocando todos os fluxos afetados pelas falhas sempre que possvel. Caso estes fluxos no consigam ser alocados
o NPCE esperar a correo das falhas para realocar os fluxos pendentes.

(A4 ) Uma vez que as falhas sejam corrigidas, o NPCE pode manter o particionamento
e apenas alocar fluxos eventualmente no alocados (situao apresentada em (A31 )). O
NPCE tambm pode reavaliar e utilizar NPTs intermedirios ou at mesmo o NPT original. Na Figura 3.17, nota-se em (A4) que o NPCE poderia escolher melhorar a utilizao
de recursos migrando para (A41 ) ou (A42 ), onde a quantidade de NPTs pode ser mantida
em trs ou aumentada para cinco, respectivamente

3.7 CONSIDERAES FINAIS

59

Figura 3.17. Operao 01 Ambiente com falhas

3.6.2

Funcionamento Visando uma Melhor Alocao de Recursos

(B1)&(C1) Em (B1) a rede gerenciada tambm possui seus objetivos alcanados, mas
o arcabouo verificou que existe uma nova configurao capaz de melhorar o estado atual
da rede. O que difere esta situao da (C1) a identificao de uma no conformidade
de alocao dos recursos, verificada para este caso e indicada em cinza na Figura 3.18.
importante ressaltar que no existem falhas neste exemplo de funcionamento.
(B2)&(C2) Uma reconfigurao pode ser executada considerando duas distintas situaes:
(B21 )&(C21 ) Mantendo a escolha do NPT atual. Neste caso a varivel tempo de
resposta considerada prioritria no processo de alocao de recursos.
(B22 )&(C22 ) Buscar um NPT mais adequado visando uma melhor alocao dos
servios. Neste caso a varivel qualidade considerada prioritria no processo de
alocao de recursos.

Figura 3.18. Operao 02 Ambiente sem falhas

3.7

CONSIDERAES FINAIS

Neste captulo foi apresentado o arcabouo proposto com nfase no plano de deciso, e em
especial no NPCE visando o suporte a escalabilidade.
No captulo seguinte sero apresentados os testes realizados atravs de simulaes considerando os ciclos de operaes como forma de avaliao do arcabouo com testes de escalabilidade, qualidade e mediante a falhas de enlace .

60 UM ARCABOUO COM CARACTERSTICAS AUTONMICAS PARA A GERNCIA DE REDES


Os testes de escalabilidade sero realizados em funo do aumento da quantidade de fluxos
e do aumento da quantidade de ns. As simulaes consideram o pior caso, ou seja, alocao
de todos os fluxos de uma rede. As medies para este caso envolvem a comparao entre os
tempos de resposta. A qualidade da soluo medida atravs do percentual mdio da alocao
dos enlaces e do valor mdio do comprimento dos caminhos dos fluxos. Em relao s falhas,
os testes verificam a capacidade de reao da arcabouo em funo do percentual de fluxo
realocado em consequncia das falhas.

Captulo

4
Divide as dificuldades que tenhas de examinar em tantas partes quantas for possvel, para uma melhor soluo
Ren Descartes

VALIDAO DA PROPOSTA

A necessidade de considerar a da escalabilidade motivou a criao do arcabouo para gerncia autonmica de redes de computadores apresentado no Captulo 3. Os elementos do
arcabouo foram descritos com um detalhamento especial no plano de controle.
Neste captulo o arcabouo proposto ser analisado em funo dos requisitos especificados
na Seo 3.1 atravs de simulaes, anlises matemticas e discusses em quesitos menos mensurveis como adaptabilidade. O objetivo deste captulo fornecer um estudo mais aprofundado
do arcabouo de gerncia utilizado em funo dos resultados obtidos, principalmente a partir
das simulaes.
4.1

ANLISE ESTATSTICA DOS DADOS

Nesta seo, apresentada a tcnica utilizada para analisar os dados da simulao. Os


resultados so analisados usando o mtodo tradicional de inferncia estatstica, uma vez que
este permite estimar um parmetro de uma populao com base em dados amostrais [83]. De
fato, na medida em que no possvel calcular a utilizao dos limites ou o melhor caminho para
o somatrio de fluxos considerando todas as possveis redes, a anlise descrita aqui baseada
em valores amostrais.
Alm disso, no sentido de avaliar a disperso dos dados da amostra, o desvio padro amostral foi calculado, conforme descrito na Equao . [83].
=
onde:

1
(xi x)2
n1

n o tamanho da amostra;
xi o valor amostral;
61

(.)

62

VALIDAO DA PROPOSTA

x a mdia amostral
O desvio padro foi calculado usando as funes estatsticas do programa R [84].
Para determinar a acurcia dos valores obtidos, foi calculadoo intervalo de confiana para
cada valor mdio. O objetivo foi determinar o intervalo vlido para os dados com uma confiana
de 95%. De fato, de acordo com o Teorema do Limite Central, quando o parmtero estimado
a mdia, 95% dos valores esto a uma distncia da mdia de duas vezes o desvio padro [85].
4.2

ESPECIFICAO DOS CENRIOS DE TESTES

Os testes do arcabouo proposto utiliza duas classes de cenrios de simulao com objetivos
distintos de (i) testar o funcionamento da soluo mediante a escalabilidade (stress test) e (ii)
testar se a reduo do tempo de execuo impacta na qualidade e/ou na sobrevivncia da soluo
apresentada.
Para o teste de escalabilidade o objetivo medir o tempo de alocao de recursos para v
vrtices e f fluxos e ampliar estes valores gradativamente, verificando qual o impacto deles na
eficincia da soluo proposta. Para cada conjunto de simulaes, a alocao sem particionamento tambm realizada visando a medio quantitativa e qualitativa dos resultados.
J o teste de sobrevivncia da soluo apresentada objetiva injetar aleatoriamente um conjunto de falhas nos enlaces e verificar qual a porcentagem de trfego que foi realocado sem
alterar o trfego dos enlaces no afetados pelas falhas.
Em ambos os casos, o arcabouo proposto (com CBR e particionamento) comparado
a alocao sem estes recursos. O algoritmo utilizado para busca de caminhos em todas as
simulaes o algoritmo de Dijkstra por ser uma referncia na literatura e para padronizar as
simulaes realizadas.
Para que a escolha das topologias das redes simuladas sejam definidas pelo administrador
podendo influenciar nos resultados as redes geradas consideram as seguintes premissas:
i) Todas as redes so conexas;
ii) O grau mnimo de todos os ns (vrtices) maior ou igual a dois (d(g) 3), para evitar
o roteamento trivial;
iii) Todos as redes so grafos simples, ou seja, so grafos no direcionados que no contem
loops e nos quais existe mais de uma aresta para cada par de diferentes vrtices.
Exemplos das redes geradas so apresenatdos na Figura 4.1.
As simulaes utilizaram o software R [84] com o pacote igraph [86], descritos no Anexo
B.

4.3 CENRIOS DE TESTES

63

(c)

(b)

(a)

Figura 4.1. Exemplos de grafos gerados com cardinalidade igual a 25

4.3

CENRIOS DE TESTES

4.3.1

Cenrio de Simulao 01 Teste de Stress Quantidade de Fluxos

Este cenrio de simulao tem como objetivo testar o tempo de execuo do algoritmo proposto mediante uma sobrecarga de fluxos. Para tal, o cenrio inicial composto por 25 vrtices
e 10000 fluxos de rede. Em seguida o trfego de rede aumentado para 200%, resultando 20000
fluxos, e 400%, resultando 40000 fluxos, tanto com a utilizao da soluo proposta, quanto na
alocao tradicional (sem particionamento).
Em resumo os parmetros de simulao so:
6 topologias distintas com 25 vrtices (v = 25);
Para cada rede seis (6) perfis de trfego distintos;
Os itens anteriores foram testados com 10000, 20000 e 40000 fluxos ( 2,3 GB, 4,7 GB
e 9,5 GB), totalizando 108 simulaes.
A Figura 4.2 apresenta os resultados da simulao para o primeiro cenrio de simulao.
Os resultados so apresentados em valores mdios percentuais, em funo do cenrio inicial
(25 vrtices e 10000), sem a utilizao do particionamento. Alm disto, para cada caso so
apresentados os valores mximos e mnimos com 95% de confiana.
O valor mdio obtido apresentado na Tabela 4.1. Observe que o desvio padro e o intervalo
de confiana, considerando 95% de confiana, tambm so apresentados, com o objetivo de
verificar a acurria do valor mdio obtido na simulao.
Fluxos

10000

20000

40000

Ambiente

Sem Part.

Com Part.

Sem Part.

Com Part.

Sem Part.

Com Part.

Mdia

52,93

92,71

129,44

257,95

363,84

936,20

Desvio Padro

11,76

14,18

16,11

53,31

202,97

142,19

Intervalo de Confiana (95%) [47,60 ; 56,87] [88,87 ; 96,56]. [112,02 ; 146,85] [252,69 ; 263,21] [317,39 ; 410,29] [869,90 ; 1002,51]

Tabela 4.1. Clculo do intervalo de confiana (95%) para 25 ns Valores em segundos

64

VALIDAO DA PROPOSTA

Figura 4.2. Cenrio 01 Aumento da quantidade de fluxos

Neste primeiro cenrio de simulao possvel verificar um melhor desempenho do algoritmo proposto em relao ao tempo de resposta sem a utilizao do particionamento para os
valores de 10000, 20000 e 40000 fluxos. Nota-se tambm que a valor mximo com a utilizao
do particionamento menor que o valor mdio da soluo sem o particionamento. Por exemplo,
para 10000 fluxos o valor mximo representa 85,01% do valor mdio sem o particionamento.
Uma segunda consolidao dos resultados onde os valores percentuais com e sem o particionamento para 10000, 20000 e 40000 so comparados individualmente apresenrado na Figura
4.3. Observe que as simulaes que no consideram o particionamento tem valores consideravelmente menores, como por exemplo a soluo para 40000 fluxos para a qual h uma economia
de 62,15% do tempo de alocao dos recursos.
A seguir, examinaremos o segundo cenrio de simulao.
4.3.2

Cenrio de Simulao 02 Teste de Stress Quantidade de Dispositivos

Nesta simulao a anlise da escalabilidade foi realizada em funo da quantidade de dispositivos da rede, onde o valor foi aumentado para 50 e 100 vrtices, representando um aumento
em duas e quatro vezes, respectivamente. Neste cenrio o total de fluxos foi mantido em 10000
para todas as simulaes executas. Podemos resumir o cenrio como:
6 topologias distintas com 25 vrtices (|v| = 25);
6 topologias distintas com 50 vrtices (|v| = 50);
6 topologias distintas com 100 vrtices (|v| = 100);
3 distintos perfis de trfego para cada conjunto de topologias;

4.3 CENRIOS DE TESTES

65
100,00%
90,00%
80,00%
70,00%
60,00%
50,00%
40,00%
30,00%
20,00%
10,00%
0,00%

10000

20000

40000

Com Particionamento

56,34%

50,18%

38,86%

Sem Particionamento

100,00%

100,00%

100,00%

Figura 4.3. Cenrio 01 Aumento da quantidade de fluxos

10000 fluxos para todas as 48 simulaes ( 2,2 GB).


Neste segundo cenrio, a validao da escalabilidade realizada em funo da cardinalidade
da rede. Em todas as simulaes a quantidade de fluxos foi fixada em 10000 unidades ( f =
10000) e a quantidade de ns aumentou de 25 para 50 e 100. O tempo de execuo foi calculado
para o algoritmo proposto e para o algoritmo tradicional (sem particionamento) (Figura 4.4). Os
resultados so vistos na Figura 4.4.
100,00%
90,00%
80,00%
70,00%
60,00%
50,00%
40,00%
30,00%
20,00%
10,00%
0,00%

Mnimo

Mdio

Mximo

Mnimo

Mdio

Com Particionamento

32,01%

56,34%

64,35%

36,71%

Sem Particionamento

100,00%

100,00%

100,00%

100,00%

25

Mximo

Mnimo

Mdio

58,51%

64,94%

27,82%

54,53%

81,48%

100,00%

100,00%

100,00%

100,00%

100,00%

50

Mximo

100

Figura 4.4. Cenrio 02 Aumento da quantidade de ns

Observe que em todos os casos, a soluo proposta apresentou o tempo de resposta mdio de
56,34%, 58,51% e 54,53% para 25, 50 e 100 vrtices, respectivamente, em relao aos valores

66

VALIDAO DA PROPOSTA

mdios considerando a abordagem tradicional (sem particonamento).

Ns (vrtices)

25

50

100

Ambiente

Sem Part.

Com Part.

Sem Part.

Com Part.

Sem Part.

Com Part.

Mdia

52,93

92,71

53,38

91,23

54,85

103,34

Desvio Padro

11,76

14,18

9,43

13,16

6,65

21,56

Intervalo de Confiana (95%) [47,60 ; 56,87] [88,87 ; 96,56]. [49,08 ; 57,68] [88,15 ; 94,32] [47,81 ; 61,89] [101,17 ; 105,52]

Tabela 4.2. Clculo do intervalo de confiana (95%) para 10000 fluxos Valores em segundos

Note que para 25, 50 e 100 vrtices o valor mdio est contido no intervalo de confiana,
indicando que a soluo proposta pode ser utilizado para determinar a oferta da escalabilidade
em redes de computadores.
4.3.3

Cenrio de Simulao 03 Manuteno da Qualidade de Servio

Neste cenrio de simulao foram resumidas todas as simulaes anteriores onde v = 25,
que s verificavam o tempo de resposta, e para cada uma delas dois requisitos de qualidade de
servio foram analisados (i) a largura de banda mdia utilizada e (ii) o comprimento mdio
dos caminhos. Em suma os parmetros utilizados foram:
6 topologias distintas com 25 vrtices (|v| = 25);
6 topologias distintas com 50 vrtices (|v| = 50);
6 topologias distintas com 100 vrtices (|v| = 100);
10000 fluxos ( 2,3 TB);
6 distintos perfis de trfego para cada conjunto de topologias, totalizando 108 simulaes.
Observe que houve uma reduo significativa do tempo de resposta com a manuteno da
qualidade de servio, uma vez que, em mdia, tanto a utilizao da largura de banda quanto o
comprimento mdio dos caminhos escolhidos tiveram um desempenho bastante similar com a
utilizao da soluo proposta, sendo este acrscimo de 2,31% e 3,98% respectivamente. Estes
resultados podem ser visualizados na Figura 4.5.
Essa manuteno dos parmetros de QoS especificados ocorre pois o particionamento proposto, baseado em densidade, permite uma maior concentrao de caminhos dentro dos domnios. Alm disso, o algoritmo considera tambm para o limite mximo de parties a perda do
fluxo mximo, vista na Seo 3.4.3.

4.3 CENRIOS DE TESTES

67
Tempo de Execuo

100%

100%

80%
60%
48,52%
40%
20%
0%

100%
102,31%

100%
103,98%

Largura de Banda

Comprimento dos Fluxos


Tempo de Execuo

Comprimento dos Fluxos

Largura de Banda

Sem Particionamento

100%

100%

100%

Com Particionamento

48,52%

103,98%

102,31%

Figura 4.5. Cenrio 03 Manuteno da qualidade de servio

4.3.4

Cenrio de Simulao 04 Sobrevivncia

Neste cenrio de simulao o principal objetivo medir a capacidade de reao da soluo


proposta no contexto de falhas. Para isso, foram injetadas falhas aleatrias numa rede com
alocao dos enlaces entre 40% e 60%. As falhas injetadas atingiram 5%, 10%, 15% e 20% dos
enlaces.
importante ressaltar que estas falhas no so contnuas. Ou seja, o segundo conjunto de
falhas aplicado diretamente sobre o primeiro. Por exemplo, dado um grafo G com |E| = 60,
um possvel conjunto de falhas com 5% de enlaces seria {e7 , e12 , e42 }. Nesta caso, todo o trfego
que flui sobre estas arestas seria realocado. Se um conjunto de falhas que atinge 10% dos enlaces
seja aplicado, o estado inicial da rede recuperado e um novo conjunto de falhas gerado a
partir do original, por exemplo os conjuntos {e7 , e12 , e42 , e32 , e6 , e51 }, {e7 , e12 , e42 , e15 , e44 , e21 }
e {e7 , e12 , e42 , e2 , e26 , e34 } so vlidos.
O ambiente testado para este cenrio foi:

68

VALIDAO DA PROPOSTA

8 topologias distintas com 25 vrtices (|v| = 25]);


10000 fluxos ( 2,3 TB);
5%, 10%, 15% e 20% de falhas aleatrias;
100%
99,62%
100%

97,82%

100%
99,58%

94,86%

98,07%

95%

95,04%

90,14%

90%

90,15%

85%
0%

5%

10%

15%

20%

0%

5%

10%

15%

20%

Sem particionamento

100%

99,58%

98,07%

95,04%

90,15%

Com particionamento

100%

99,62%

97,82%

94,86%

90,14%

Figura 4.6. Cenrio 04 Sobrevivncia Fluxo alocado aps falhas de enlaces

Os resultados apontam uma equivalncia entre a porcentagem dos fluxos alocados para distintos conjuntos de falhas com valores entre 5% e 20%.
4.4

OUTROS PONTOS DE INVESTIGAO

Agora que os resultados do algoritmo de particionamento baseado em densidades foram


apresentados, possvel discutir pontos estratgicos considerando a computao autonmica.
Sendo assim, alguns aspectos como alocao paralela, viso global versus viso local, entre
outros, sero contextualizados.
4.4.1

Alocao Paralela

Todas as simulaes apresentadas na seo anterior consideraram que a alocao do trfego


intra-domnio foi realizada ao mesmo tempo para cada domnio. J o trfego inter-domnio
foi alocado separadamente. Para esclarecer melhor, o particionamento da rede e alocao so
executados de acordo com a sequncia abaixo:
i) O algoritmo de alocao de recursos seleciona todo o trfego intra-domnio para cada
partio;

4.4 OUTROS PONTOS DE INVESTIGAO

69

ii) O algoritmo de alocao de recursos aloca todo o trfego intra-domnio;


iii) O algoritmo de alocao de recursos aloca todo o trfego inter-domnio.

A alocao de trfego intra-domnio pode ser executada de forma paralela, pois o conjunto
T
interseo de vrtices para qualquer par de domnios vazio (Vdi Vd j = 0/ , i, j d onde
d d1 , d2 , ...dn , ou seja, um vrtice s pertence a um nico domnio. Assim, a alocao no
precisa ser realizada sequencialmente. Isto possibilitou a reduo de tempo de execuo para o
algoritmo de alocao de fluxos.
4.4.2

Impacto do Tempo de Particionamento sobre o Tempo Total

Uma preocupao que tambm deve ser considerada o tempo do algoritmo de particionamento. Se o tempo de particionamento for alto, isso pode afetar diretamente a viabilidade da
soluo proposta. Para analisar essa relao entre o tempo de resposta da soluo e o tempo
de particionamento, foram realizados particionamentos para redes com cardinalidade entre 25
a 400 vrtices, assumindo um conjunto fixo (onde o conjunto tinha cardinalidade no intervalo

[2, 4]) e dinmico de parties (onde o conjunto de parties ficou no intervalo [2,p = 3 n]),
onde p a quantidade mxima de parties e n o nmero de ns da rede (n = |v|). Os resultados deste experimento so apresentados na Tabela 4.3.

Tabela 4.3. Tempo de particionamento em segundos

|V |
25
50
100
200
400

||E||
40
84
180
364
760

p f ixo
0, 280
0, 358
0, 905
3, 859
22, 214

p dinamico
0, 280
0, 359
1, 062
5, 672
39, 972

Para entender esta anlise, considere, por exemplo, uma rede com 100 vrtices, para a qual
todos os domnios foram gerados para p = {2, 3, 4}(se p fixo) e para p = {2, 3, 4, 5} (se p dinmico) totalizando 9 e 14 subgrafos, respectivamente. Em seguida, os tempos para a execuo
do particionamento foram somados para cada caso. Por fim, na Tabela 4.3 possvel observar
que a relao do tempo de particionamento frente ao tempo de alocao no representativo
considerando os valores optidos na Tabela 4.2 uma vez que para 100 ns o mesmo fica em
torno de um segundo.
O tempo de particionamento para 25, 50 e 100 vrtices representa, respectivamente, apenas
0, 2291%, 0, 0995%, e 0.0901% do tempo de alocao para quatro parties (d = 4), e 0, 2291%,

0, 0998% e 0, 1056% para o valor dinmico de d = 3 n.

70

VALIDAO DA PROPOSTA

4.5

CLASSIFICAO DO MODELO PROPOSTO

Na Seo 2.3 foi apresentada uma classificao de sistemas autonmicos em funo de seis
critrios [4]: grau de atividade, grau de adaptabilidade, grau de inteligncia, grau de conhecimento, grau de memria e grau de autonomia. De acordo com esta classificao o arcabouo
proposto pode ser especificado como:
i) Reativo Grau de Atividade (Activity Degree) O arcabouo busca otimizar ou reconfigurar a rede gerenciada para estados que j ocorreram. Ele no infere ou predita estados
futuros a partir do histrico de estados de sua base de conhecimento. Tambm no executa atividades preventivas. Para tal, seria necessria uma maior integrao entre a fase de
monitoramento com o arcabouo proposto visando estudar as possibilidades de estados
futuros.
ii) Aberto Grau de Adaptabilidade (Adaptability Degree) Conforme citado anteriormente, o conceito de adaptabilidade apresentado por [4] diz respeito habilidade / inabilidade de um sistema autonmico adaptar-se a mudanas em funo de estados criados
ou pr-definidos [43]. O arcabouo apresentado prope novas solues para estados no
previstos.
iii) Hierrquico Grau de Inteligncia (Intelligence Degree) O arcabouo proposto faz
apenas tomada de decises administrativas de forma centralizada, mas distribui o planejamento de atividades e execuo em paralelo por cada domnio.
iv) Parcialmente Autonmico Grau de Conscincia (Awareness Degree) O arcabouo
proposto no engloba todas as auto-* propriedades tendo foco na auto-configurao e
auto-otimizao, conforme especificado na Subseo 3.2.1.
v) Histrico Grau de Memria (Memory Strength) O motor de busca de solues guarda
todos os casos passados que podem ser utilizados para uma nova configurao.
vi) Autonmico Grau de Autonomia (Autonomic Degree or Autonomicity) A atividade do
administrador est associada definio de objetivos e configurao inicial do arcabouo,
seus parmetros e algoritmos.
Uma viso geral do sistema de acordo com esta classificao pode ser vista na Figura 4.7.
4.6

VERIFICAO DO CUMPRIMENTO DOS REQUISITOS ESPECIFICADOS

Para a elaborao do arcabouo apresentado nesta tese foram especificadas caractersticas


apresentadas na Figura 4.8 para a oferta de autonomia na gerncia de redes de computadores.
Nesta seo ser realizada uma verificao do cumprimento das caractersticas anteriormente
especificadas. Para tal verificao dois mtodos sero utilizados: (i) utilizao dos resultados

4.6 VERIFICAO DO CUMPRIMENTO DOS REQUISITOS ESPECIFICADOS

71

grau de atividade
proativo

grau de memria

grau de autonomia
autonmico

histrico
reativo

trend
estado atual

autnomo

automtico

parcialmente auto-*

fechado
centralizado

aberto

totalmente auto-*
hierrquico

grau de conscincia

grau de adaptabilidade

distribudo

grau de inteligncia
Figura 4.7. Classificao do arcabouo proposto segundo [4].

de simulao, para os itens indicados em cinza (ii)discusso conceitual do funcionamento do


arcabouo, para os itens indicados em branco (Figura 4.8).

SOBREVIVNCIA

MODULARIDADE

FALHAS POR PARADA


TOLERNCIA A MUDANAS

ESCALABILIDADE
CARACTERSTICAS
DESEJVEIS
ADAPTABILIDADE

TOLERNCIA DE TRFEGO
MANUTENO DA QoS

EXEQUIBILIDADE

DINAMICIDADE
SOBRECARGA
ROBUSTEZ

Figura 4.8. Requisitos especificados

i) Tolerncia a mudanas Conforme citado anteriormente o conceito de tolerncia a mudanas apresentado nesta tese est associado a sobrevivncia da rede mediante falhas e
capacidade de adaptar-se mesmo com alteraes do perfil e/ou volume de trfego. A
sobrevivncia foi validada no cenrio de simulao 4 (Seo 4.3.4), enquanto a tolerncia
a mudanas pode ser vista em todas as simulaes, uma vez que o trfego no foi inicialmente pr-definido. Alm disso, nos dois primeiros cenrios de simulao (Sees 4.3.1
e 4.3.2), o total de fluxos foi aumentado at 400% do valor inicial.

72

VALIDAO DA PROPOSTA

ii) Manuteno da QoS Para validar tal item foi criado um cenrio de simulao especfico
(Seo 4.3.3). Este cenrio compara dois parmetros de QoS largura de banda mdia e
comprimento mdio das alocaes realizadas para redes de cardinalidade igual a 25, 50
e 100 ns. Nesta simulao foi verificado que os parmetros de QoS foram relativamente
pouco afetados em comparao p reduo de tempo considervel com a utilizao do
arcabouo.
iii) Escalabilidade A viso de escalabilidade para esta tese compreende a capacidade do
arcabouo ofertar solues mesmo com um aumento significativo em seus parmetros.
Nos cenrios de simulao apresentados a escalabilidade est associada ao aumento de
trfego e de quantidade de ns das redes simuladas, conforme visto principalmente nas
sees 4.3.1 e 4.3.2.
iv) Modularidade O arcabouo proposto tem suporte a diversos algoritmos independentemente do objetivo dos mesmos. Por exemplo, para o particionamento, trs algoritmos
esto disponveis; para busca de melhor caminho, quatro algoritmos podem ser utilizados. Ainda possvel adicionar novos algoritmos caso exista a necessidade por parte do
administrador do arcabouo.
v) Adaptabilidade No existem restries tcnicas para instanciao do arcabouo em uma
rede real, pois o mesmo no est vinculado a tecnologias. A nica restrio tcnica apresentada orientao a fluxos de rede. Ainda assim, no h vnculos especficos com
tecnologias que utilizem este conceito como MPLS. O plano de deciso independente
do plano de execuo.
vi) Exequibilidade Os resultados apresentados durante todo este captulo apontam que o
arcabouo pode ser executado. Como o mesmo utiliza a plataforma de simulao do R,
pode ser utilizado em qualquer sistema operacional com plataforma Windows ou Linux.

Captulo

5
A arte de programar consiste em organizar e dominar a complexidade E. Dijkstra

CONSIDERAES FINAIS E DESDOBRAMENTOS


FUTUROS
Como j discutido, a gerncia de redes de computadores uma tarefa naturalmente complexa, devido a diversos fatores intrnsecos, que dificultam a ao do administrador em grandes
domnios. A busca por novas solues de redes em ambientes com alto grau de complexidade
impacta diretamente no tempo de resposta, inviabilizando a oferta de sistemas que atuem de
forma dinmica. A proposta da computao autonmica justamente fornecer suporte gerncia de ambientes de alta complexidade como as redes de computadores. Alm disso, espera-se
que a insero da autonomia na gerncia reduza sensivelmente a atuao humana, preferencialmente limitando-a para a especificao dos requisitos esperados para os servios oferecidos,
como, por exemplo, o tempo de resposta e a qualidade de servio.
Uma das contribuies deste trabalho a na busca do tratamento da complexidade visando
uma gerncia escalvel e dinmica de solues de rede. Isso, na medida em que foi verificado
que os arcabouos autonmicos disponveis na literatura fazem um tratamento para a gerncia
escalvel de rede de computadores que pode ser aprimorado.
O estudo de requisitos esperados e atividades necessrias para elaborao de um arcabouo
visando a autonomia da gerncia de redes foi a primeira contribuio desta tese. Em efeito, as
atividades mais crticas para o desenvolvimento de sistemas autonmicos esto associadas s
fases de anlise e planejamento das solues.
Um arcabouo com caractersticas autonmicas para a gerncia escalvel de redes foi concebido. Em termos operacionais, o arcabouo visa materializar as propostas de autonomia e
escalabilidade de forma dinmica, permitindo uma validao das mesmas. Seu foco de atuao justamente nas atividades de anlise e planejamento consolidadas no plano de deciso
viabilizando assim a aplicao de estratgias operacionais para um melhor tratamento da escalabilidade.
Uma das principais contribuies desta tese foi a integrao entre a estratgia utilizada e o
motor de busca de solues realizada no plano de deciso do arcabouo. Em suma, esta inte73

74

CONSIDERAES FINAIS E DESDOBRAMENTOS FUTUROS

grao permite a identificao de novas solues dinamicamente, e ao mesmo tempo, otimiza o


tempo de execuo. Para tal, o motor de busca de solues do arcabouo baseado em Raciocnio Baseado em Casos (Case-Based Reasoning CBR) e a estratgia denominada de NPCE
(Network Partitioning Computing Engine) consiste no particionamento da rede em funo de
suas caractersticas, do seu perfil de trfego e dos requisitos especificados pelo usurio (administrador da rede).
O cenrio escolhido para a validao das contribuies propostas foi a gerncia de qualidade
de servio com foco na alocao de fluxos de redes, com uma ateno especial para a largura de
banda utilizada dos enlaces e o comprimento dos fluxos. Os testes foram realizados escalando
a quantidade de fluxos das redes (10.000, 20.000 e 40.000 fluxos) que possuam cardinalidade
de 25, 50 e 100 ns, caracterizando um ambiente complexo para testes de escalabilidade.
Os resultados apresentados atravs de simulaes apontam para um tempo de resposta com
preservao da qualidade da soluo encontrada. O arcabouo tambm foi avaliado e classificado mediante aos requisitos especificados e classificao proposta na literatura [4].
A capacidade do arcabouo em reagir a falhas por parada nos enlaces de rede um outro resultado relevante decorrente da aplicao das estratgias de escalabilidade desenvolvidas.
Observa-se que as estratgias de escalabilidade aplicadas no plano de deciso do arcabouo permitem a sua utilizao na rea de gerncia de falhas, em especial sob a viso da sobrevivncia
da rede. Embora este no tenha sido o foco do trabalho, observou-se resultados satisfatrios
na gerao de novas solues com preservao da qualidade de servio, sempre que possvel, a
partir da aplicao de um conjunto de falhas.
5.1

PESQUISAS EM ANDAMENTO E DESDOBRAMENTOS FUTUROS

Em funo dos resultados obtidos, uma avaliao de possveis desdobramentos desta tese
segue:
Anlise do limite da sobrevivncia mediante a falhas Um dos desdobramentos em andamento a anlise minuciosa da resposta do arcabouo materializao das estratgias
de tratamento da complexidade e oferta de solues dinamicamente mediante falhas por
parada ou ataques intencionais rede. A sobrevivncia a capacidade de um sistema para
cumprir sua misso, em tempo hbil, na presena de ameaas como ataques intencionais
ou grandes catstrofes naturais que geralmente produzem muitas falhas alm do modelo de poucas falhas aleatrias comumente associados a problemas em equipamentos ou
erros operacionais [87] [17]. Dessa forma se faz necessrio um estudo com distribuio
das falhas baseado em modelos apresentados na literatura.
Anlise de histrico completo da base em CBR Ao prover uma nova soluo, o CBR
armazena este novo estado na base de conhecimento para que o mesmo, caso necessrio,
seja utilizado novamente. A insero de novos casos na base geram um histrico de todas

5.1 PESQUISAS EM ANDAMENTO E DESDOBRAMENTOS FUTUROS

75

as solues aplicadas pelo arcabouo. Alguns pontos de investigao interessantes podem


ser futuramente analisados:
Filtro dos casos mais relevantes medida que o arcabouo vai provendo novas
solues a complexidade e o tamanho da base de casos aumenta, tornando-se necessrio - em algum momento uma reviso para a identificao dos casos mais
relevantes. O objetivo deste filtro maximizar o tempo de resposta atravs de um
filtro de casos menos relevantes.
Anlise de transio entre os casos Caso sejam mapeadas as transies entre os
casos escolhidos pelo arcabouo, tal mapeamento de transies pode gerar um grfico orientado onde os ns representam os casos e os bordos da quantidade de tempo
que esta transio ocorreu [88].
Anlise de Auto-Estabilizao Um ponto de investigao a ser abordado a partir
dos resultados desta tese a anlise de auto-estabilizao. Com a autonomia, os
sistemas passam a propor a soluo mais adequada possvel para o atendimento dos
requisitos. Quanto mais forte for esse casamento soluo/estado da rede, maior ser
a probabilidade de uma simples alterao do seu estado atual necessitar de uma nova
configurao. Dessa forma se faz necessria a escolha de solues que atendam aos
requisitos, mas mantenham o ambiente estvel o maior tempo possvel em resposta
a pequenas mudanas no ambiente gerenciado.
Instanciao do arcabouo Neste trabalho futuro a proposta instanciar o arcabouo
em termo de uma ferramenta que possa ser utilizada para a gerncia efetiva de redes,
possibilitando o estudo de ajustes finos de acordo com as peculiaridades do ambiente
aplicado.
Anlise de planejamento de capacidade A base de conhecimento gerada pelo CBR, a estratgica do NPCE e os algoritmos utilizados podem ser utilizados para um planejamento
de capacidade para uma rede de computadores. Todos os dados armazenados servem de
base para uma anlise offline entre informaes da topologia e do trfego para estimao
de alteraes topolgicas visando uma melhor conformidade entre tais informaes. Para
tal seriam utilizadas a computao das Fases 2 e 3 do plano de deciso.

76

CONSIDERAES FINAIS E DESDOBRAMENTOS FUTUROS

REFERNCIAS BIBLIOGRFICAS

[1] KEPHART, J. O.; CHESS, D. M. The vision of autonomic computing. Computer, IEEE Computer
Society Press, Los Alamitos, CA, USA, v. 36, n. 1, p. 4150, 2003. ISSN 0018-9162.
[2] PARASHAR, M. Autonomic Computing: Concepts, Infrastructure, and Applications / Editor(s):
Manish Parashar and Salim Hariri. Bristol, PA, USA: Taylor & Francis, Inc., 2007. ISBN
1420009354.
[3] DOBSON, S. et al. A survey of autonomic communications. ACM Trans. Auton. Adapt. Syst., ACM,
New York, NY, USA, v. 1, n. 2, p. 223259, 2006. ISSN 1556-4665.
[4] SAMAAN,
an

analysis

ons

Surveys

N.;
of

KARMOUCH,
current

Tutorials,

and

IEEE,

A.

Towards

future
v.

11,

autonomic

research
n.

3,

directions.
p.

2236,

network

management:

IEEE

Communicati-

2009.

Disponvel

em:

http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5208731.
[5] STRASSNER, J. The design of the focale autonomic networking architecture. In: ALGOMINE, N.
(Ed.). Autonomic Network Management Principles Form Concepts to Applications. [S.l.]: Elsevier,
2011. p. 231259. ISBN 978-0123821904.
[6] STRASSNER, J.; HONG, J.-K.; KANG, K. A framework for modeling and reasoning about network
management resources and services to support information reuse. In: Information Reuse Integration,
2009. IRI 09. IEEE International Conference on. [S.l.: s.n.], 2009. p. 85 90.
[7] JENNINGS, B. et al. Towards autonomic management of communications networks. Communications Magazine, IEEE, v. 45, n. 10, p. 112121, October 2007. ISSN 0163-6804.
[8] DERBEL, H.; AGOULMINE, N.; SALAN, M. Anema: Autonomic network management architecture to support self-configuration and self-optimization in IP networks. Comput. Netw., Elsevier
North-Holland, Inc., New York, NY, USA, v. 53, p. 418430, February 2009. ISSN 1389-1286.
Disponvel em: http://dl.acm.org/citation.cfm?id=1501029.1501235.
[9] AAMODT, A.; PLAZA, E. Case-based reasoning: foundational issues, methodological variations,
and system approaches. AI Commun., IOS Press, Amsterdam, The Netherlands, The Netherlands,
v. 7, n. 1, p. 3959, 1994. ISSN 0921-7126.
[10] ALGOMINE, N. Introduction to autonomic concepts applied to future self-managed networks. In:
ALGOMINE, N. (Ed.). Autonomic Network Management Principles Form Concepts to Applications.
[S.l.]: Elsevier, 2011. p. 126. ISBN 978-0123821904.

77

REFERNCIAS BIBLIOGRFICAS

78

[11] BEZERRA, R. M. S.; MARTINS, J. S. B. Network partitioning and self-sizing methods for QoS
management with autonomic characteristics. In: APNOMS. [S.l.: s.n.], 2009. p. 151160.
[12] YAHIA, I. G. B.; BERTIN, E.; CRESPI, N. Towards autonomic management for next generation
services. In: Proceedings of the International Conference on Networking and Services (ICNS 06).
Washington, DC, USA: IEEE Computer Society, 2006. p. 38. ISBN 0-7695-2622-5.
[13] JRAD, Z. et al. Artificial intelligence techniques in the dynamic negotiation of QoS: A user interface
for the internet new generation. In: GATI, D. et al. (Ed.). Autonomic Networking. [S.l.]: Springer,
2006. (Lecture Notes in Computer Science, v. 4195), p. 146158. ISBN 3-540-45891-3.
[14] HORN, P. Autonomic computing: IBMs Perspective on the State of Information Technology. [S.l.]:
IBM, 2001.
[15] GANEK, A. G.; CORBI, T. A. The dawning of the autonomic computing era. IBM Systems Journal,
IBM Corp., Riverton, NJ, USA, v. 42, n. 1, p. 518, 2003. ISSN 0018-8670.
[16] KEPHART, J. O. Research challenges of autonomic computing. In: ICSE 05: Proceedings of the
27th international conference on Software engineering. New York, NY, USA: ACM, 2005. p. 1522.
ISBN 1-59593-963-2.
[17] STERBENZ, J. P. G. et al. Resilience and survivability in communication networks: Strategies, principles, and survey of disciplines. Comput. Netw., Elsevier North-Holland, Inc.,
New York, NY, USA, v. 54, p. 12451265, June 2010. ISSN 1389-1286. Disponvel em:
http://dx.doi.org/10.1016/j.comnet.2010.03.005.
[18] MEYER, J. F. Performability: a retrospective and some pointers to the future. Performance Evaluation, v. 14, n. 3-4, p. 139 156, 1992. ISSN 0166-5316.
[19] AVIZIENIS, A. et al. Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, v. 1, n. 1, p. 11 33, jan.-march 2004. ISSN
1545-5971.
[20] SCHNEIDER,
NY,

USA,

v.

M.
25,

Self-stabilization.
p.

4567,

ACM

March

Comput.

1993.

ISSN

Surv.,

ACM,

0360-0300.

New

Disponvel

York,
em:

http://doi.acm.org/10.1145/151254.151256.
[21] DIJKSTRA, E. W. Self-stabilizing systems in spite of distributed control. Commun. ACM, ACM,
New York, NY, USA, v. 17, n. 11, p. 643644, 1974. ISSN 0001-0782.
[22] STRASSNER, J.; AGOULMINE, N.; LEHTIHET, E. Focale - a novel autonomic networking architecture. Multimedia Systems, v. 3, n. 1, p. 6479, 2006. Disponvel em:
http://eprints.wit.ie/189/.
[23] MURCH, R. Autonomic attributes and the grand challenge. In: MANAGEMENT, I. P. S. I. (Ed.).
Autonomic computing. [S.l.]: Prentice Hall PTR, 2004. p. 231259. ISBN 978-0131440258.

REFERNCIAS BIBLIOGRFICAS

79

[24] PARASHAR, M.; HARIRI, S. Autonomic Computing: An Overview. In: . [s.n.], 2005. p. 257269.
Disponvel em: http://dx.doi.org/10.1007/11527800_20.
[25] FEENEY, M.; FRISBY, R. Autonomic management of ubiquitous computing environments. 2006.
Disponvel em: http://repository.wit.ie/879/.
[26] STRASSNER, J. Using autonomic principles to manage converged services in next generation
networks. In: Autonomic Computing, 2006. ICAC 06. IEEE International Conference on. [S.l.:
s.n.], 2006. p. 11.
[27] LUPU, E.; SLOMAN, M. Conflicts in policy-based distributed systems management. Software
Engineering, IEEE Transactions on, v. 25, n. 6, p. 852 869, nov/dec 1999. ISSN 0098-5589.
[28] VERMA, D. C. Policy-Based Networking: Architecture and Algorithms. Thousand Oaks, CA,
USA: New Riders Publishing, 2000. ISBN 1578702267.
[29] STRASSNER, J. Policy-Based Network Management: Solutions for the Next Generation (The Morgan Kaufmann Series in Networking). San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.,
2003. ISBN 1558608591.
[30] BOUTABA, R.; AIB, I. Policy-based management: A historical perspective. Journal Networks
Systems Management, Plenum Press, New York, NY, USA, v. 15, n. 4, p. 447480, 2007. ISSN
1064-7570.
[31] DAVY, S. et al. Policy-based architecture to enable autonomic communications - a position paper.
In: Consumer Communications and Networking Conference, 2006. CCNC 2006. 3rd IEEE. [S.l.:
s.n.], 2006. v. 1, p. 590594.
[32] LIU, Y. et al. A model-based approach to adding autonomic capabilities to network fault management system. In: Network Operations and Management Symposium, 2008. NOMS 2008. IEEE. [S.l.:
s.n.], 2008. p. 859862. ISSN 1542-1201.
[33] SAMAAN, N.; KARMOUCH, A. An automated policy-based management framework for differentiated communication systems. Selected Areas in Communications, IEEE Journal on, v. 23, n. 12,
p. 22362247, Dec. 2005. ISSN 0733-8716.
[34] BEZERRA, R. M. S.; MARTINS, J. S. B. A policy-based autonomic model suitable for quality of
service management. Journal of Networks (JNW), v. 4, n. 6, p. 495504, 2009.
[35] STRASSNER, J. et al. Modelling context for autonomic networking. In: Network Operations and
Management Symposium Workshops, 2008. NOMS Workshops 2008. IEEE. [S.l.: s.n.], 2008. p. 299
308.
[36] BALASUBRAMANIAM, S. et al. A multi-layered approach towards achieving survivability in
autonomic network. In: Telecommunications and Malaysia International Conference on Communications, 2007. ICT-MICC 2007. IEEE International Conference on. [S.l.: s.n.], 2007. p. 360 365.

REFERNCIAS BIBLIOGRFICAS

80

[37] GITTLER, J. Review of Sociology: Analysis of a Decade. J. Wiley, 1975. Disponvel em:
http://books.google.com.br/books?id=ILFUMAEACAAJ.
[38] AIB, I. et al. Analysis of policy management models and specification languages. In:

. Norwell,

MA, USA: Kluwer Academic Publishers, 2003. p. 2650. ISBN 1-4020-7616-9. Disponvel em:
http://dl.acm.org/citation.cfm?id=963962.963966.
[39] CLARK, D. D. et al. A knowledge plane for the internet. In: Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications.
New York, NY, USA: ACM, 2003. (SIGCOMM 03), p. 310. ISBN 1-58113-735-4. Disponvel
em: http://doi.acm.org/10.1145/863955.863957.
[40] CLARK, D. et al. New Arch: Future Generation Internet Architecture. [S.l.], 2004. Disponvel em:
http://www.isi.edu/newarch/iDOCS/final.finalreport.pdf.
[41] SIEKKINEN, M. et al. Beyond the future internetrequirements of autonomic networking architectures to address long term future networking challenges. In: Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems. Washington, DC, USA:
IEEE Computer Society, 2007. (FTDCS 07), p. 8998. ISBN 0-7695-2810-4. Disponvel em:
http://dx.doi.org/10.1109/FTDCS.2007.14.
[42] BOUTABA, R.; XIAO, J.; ZHANG, Q. Toward autonomic networks: Knowledge management and
self-stabilization. In: ZHANG, Y.; YANG, L. T.; DENKO, M. K. (Ed.). Autonomic Computing and
Networking. Springer US, 2009. p. 239260. ISBN 978-0-387-89828-5. 10.1007/978-0-387-89828510. Disponvel em: http://dx.doi.org/10.1007/978-0-387-89828-510.
[43] OREIZY, P. et al. An architecture-based approach to self-adaptive software. IEEE Intelligent Systems, IEEE Educational Activities Department, Piscataway, NJ, USA, v. 14, p. 5462, May 1999.
ISSN 1541-1672. Disponvel em: http://dx.doi.org/10.1109/5254.769885.
[44] TESAURO, G. Reinforcement learning in autonomic computing:

A manifesto and

case studies. IEEE Internet Computing, IEEE Educational Activities Department, Piscataway, NJ, USA, v. 11, p. 2230, January 2007. ISSN 1089-7801. Disponvel em:
http://dx.doi.org/10.1109/MIC.2007.21.
[45] KEPHART, J. O.; DAS, R. Achieving self-management via utility functions. IEEE Internet Computing, IEEE Educational Activities Department, Piscataway, NJ, USA, v. 11, p. 4048, January 2007.
ISSN 1089-7801. Disponvel em: http://dx.doi.org/10.1109/MIC.2007.2.
[46] MARTIN-FLATIN, J.-P.; SRIVASTAVA, D.; WESTERINEN, A. Iterative multi-tier management
information modeling. Communications Magazine, IEEE, v. 41, n. 12, p. 92 99, dec. 2003. ISSN
0163-6804.
[47] TRUSZKOWSKI, W. F. et al. Autonomous and autonomic systems: a paradigm for future space
exploration missions. IEEE Transactions on Systems Man and Cybernetics Part C Applications and
Reviews, v. 36, n. 3, p. 279291, 2006.

REFERNCIAS BIBLIOGRFICAS

81

[48] WANT, R.; PERING, T.; TENNENHOUSE, D. Comparing autonomic and proactive computing.
IBM Syst. J., IBM Corp., Riverton, NJ, USA, v. 42, p. 129135, January 2003. ISSN 0018-8670.
Disponvel em: http://dx.doi.org/10.1147/sj.421.0129.
[49] DENKO, M. K.; YANG, L. T.; ZHANG, Y. Autonomic Computing and Networking. [S.l.]: Springer
Publishing Company, Incorporated, 2009. ISBN 0387898271, 9780387898278.
[50] GELENBE, E. Steps toward self-aware networks. Commun. ACM, ACM, New York, NY, USA,
v. 52, n. 7, p. 6675, 2009. ISSN 0001-0782.
[51] PRAS, A. et al. Key research challenges in network management. Communications Magazine,
IEEE, v. 45, n. 10, p. 104110, October 2007. ISSN 0163-6804.
[52] FARHA, R.; LEON-GARCIA, A. Blueprint for an autonomic service architecture. In: Autonomic
and Autonomous Systems, 2006. ICAS 06. 2006 International Conference on. [S.l.: s.n.], 2006. p.
1616.
[53] COMPUTING, A. An architectural blueprint for autonomic computing. Quality, Citeseer,
v. 36, n. June, p. 34, 2006. Disponvel em:
resources/ACB lueprintW hiteP aper4th.pd f .

htt p : //users.encs.concordia.ca/ ac/ac

[54] CHENG, Y. et al. A generic architecture for autonomic service and network management. Comput.
Commun., Butterworth-Heinemann, Newton, MA, USA, v. 29, n. 18, p. 36913709, 2006. ISSN
0140-3664.
[55] AGARWAL, M. et al. Automate: enabling autonomic applications on the grid. In: Autonomic Computing Workshop, 2003. [S.l.: s.n.], 2003. p. 4857.
[56] GRAUPNER, S.; ANDRZEJAK, A. Adaptive control overlay for service management. In:
Workshop on the Design of Self-Managing Systems, International Conference on Dependable Systems and Networks (DSN), 2003. [S.l.: s.n.], 2003.
[57] SERRANO, J. M. et al. Policy-based management and context modelling contributions for supporting services in autonomic systems. In: GATI, D. et al. (Ed.). Autonomic Networking. [S.l.]:
Springer, 2006. (Lecture Notes in Computer Science, v. 4195), p. 172187. ISBN 3-540-45891-3.
[58] STRASSNER, J. et al. The design of a novel context-aware policy model to support machine-based
learning and reasoning. Cluster Computing, Kluwer Academic Publishers, Hingham, MA, USA,
v. 12, n. 1, p. 1743, 2009. ISSN 1386-7857.
[59] MOVAHEDI, Z. et al. A survey of autonomic network architectures and evaluation criteria. Communications Surveys Tutorials, IEEE, v. 14, n. 2, p. 464 490, quarter 2012. ISSN 1553-877X.
[60] CHAN, K. et al. COPS Usage for Policy Provisioning (COPS-PR). United States: RFC Editor,
2001.
[61] STRASSNER, J. et al. An autonomic architecture to manage ubiquitous computing networks and
applications. In: Ubiquitous and Future Networks, 2009. ICUFN 2009. First International Conference on. [S.l.: s.n.], 2009. p. 116 121.

REFERNCIAS BIBLIOGRFICAS

82

[62] DERBEL, H. et al. A utility-based autonomic architecture to support QoE quantification in IP


networks. In: ALGOMINE, N. (Ed.). Autonomic Network Management Principles Form Concepts
to Applications. [S.l.]: Elsevier, 2011. p. 6799. ISBN 978-0123821904.
[63] BEZERRA, R. M. S.; MARTINS, J. S. A sense and react plane structured autonomic model suitable
for QoS management. In: Proceedings of 5th International IEEE Workshop on Management of
Ubiquitous Communications and Services. [S.l.: s.n.], 2008.
[64] BEZERRA, R. M. S.; MARTINS, J. S. B. Functional decoupling principle applied to network
device and QoS management. In: Proceedings of 7me Colloque Francophone of Gestion of Rseaux
et of Services. [S.l.: s.n.], 2006. v. 1, p. 4758.
[65] DIJKSTRA, E. W. A note on two problems in connexion with graphs. Numerische Mathematik, v. 1,
n. 1, p. 269271, December 1959. Disponvel em: http://dx.doi.org/10.1007/BF01386390.
[66] BELLMAN, R. On a Routing Problem. Quarterly of Applied Mathematics, v. 16, p. 8790, 1958.
[67] JOHNSON, D. B. Efficient algorithms for shortest paths in sparse networks. J. ACM, ACM, New
York, NY, USA, v. 24, n. 1, p. 113, 1977. ISSN 0004-5411.
[68] GOLDBERG, A. V.; TARJAN, R. E. A new approach to the maximum flow problem.
In: Proceedings of the eighteenth annual ACM symposium on Theory of computing. New
York, NY, USA: ACM, 1986. (STOC 86), p. 136146. ISBN 0-89791-193-8. Disponvel em:
http://doi.acm.org/10.1145/12130.12144.
[69] NEWMAN,
ture

in

M.;
networks.

GIRVAN,
Physical

M.

Finding

Review

E,

and
v.

evaluating
69,

2004.

community
Disponvel

strucem:

http://www.citebase.org/abstract?id=oai:arXiv.org:cond-mat/0308217.
[70] CLAUSET, A.; NEWMAN, M.; MOORE, C. Finding community structure in very large networks.
Physical Review E, v. 70, 2004. Disponvel em: doi:10.1103/PhysRevE.70.066111.
[71] NEWMAN, M. Finding community structure in networks using the eigenvectors of matrices. Physical Review E, v. 74, 2006. Disponvel em: doi:10.1103/PhysRevE.74.036104.
[72] PONS, P.; LATAPY, M. Computing communities in large networks using random walks. Journal
of Graph Algorithms and Applications, v. 10, n. 2, p. 191218, 2006.
[73] CHERKASSKY, B. V.; GOLDBERG, A. V.; RADZIK, T. Shortest paths algorithms: theory and
experimental evaluation. In: SODA 94: Proceedings of the fifth annual ACM-SIAM symposium on
Discrete algorithms. Philadelphia, PA, USA: Society for Industrial and Applied Mathematics, 1994.
p. 516525. ISBN 0-89871-329-3.
[74] MORTIER, R.; ISAACS, R.; BARHAM, P. Anemone: using end-systems as a rich network management platform. Applications, Technologies, Architectures, and Protocols for Computer Communication, ACM Press New York, NY, USA, p. 203204, 2005.

REFERNCIAS BIBLIOGRFICAS

83

[75] NEWMAN, M. Networks: An Introduction. New York, NY, USA: Oxford University Press, Inc.,
2010. ISBN 0199206651, 9780199206650.
[76] PIRO, M.; MEDHI, D. Routing, Flow, and Capacity Design in Communication and Computer
Networks. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc., 2004. ISBN 0125571895.
[77] MARTIN-FLATIN, J. P.; JAKOBSON, G.; LEWIS, L. Event correlation in integrated management:
Lessons learned and outlook. J. Netw. Syst. Manage., Plenum Press, New York, NY, USA, v. 15, n. 4,
p. 481502, 2007. ISSN 1064-7570.
[78] SHIU, S.; PAL, S. K. Foundations of Soft Case-Based Reasoning. [S.l.]: John Wiley & Sons, 2004.
ISBN 0471086355.
[79] SAMAAN, N.; KARMOUCH, A. A case-based reasoning approach for automated management in
policy-based networks. In: SAHAI, A.; WU, F. (Ed.). Utility Computing. [S.l.]: Springer Berlin Heidelberg, 2004, (Lecture Notes in Computer Science, v. 3278). p. 7687. ISBN 9783540236313.
[80] KHAN, M. J.; AWAIS, M. M.; SHAMAIL, S. Enabling self-configuration in autonomic systems
using case-based reasoning with improved efficiency. In: ICAS 08: Proceedings of the Fourth
International Conference on Autonomic and Autonomous Systems. Washington, DC, USA: IEEE
Computer Society, 2008. p. 112117. ISBN 978-0-7695-3093-2.
[81] SHIU, S.; PAL, S. K. Foundations of Soft Case-Based Reasoning. [S.l.]: John Wiley & Sons, 2004.
ISBN 0471086355.
[82] ELMASRI, R.; NAVATHE, S. B. Fundamentals of database systems. Redwood City, CA, USA:
Benjamin-Cummings Publishing Co., Inc., 2003. ISBN 0-8053-0145-3.
[83] TRIOLA, M. F. Elementary Statistics. [S.l.]: Pearson, 2008.
[84] R Development Core Team. R: A Language and Environment for Statistical Computing. Vienna,
Austria, 2011. ISBN 3-900051-07-0. Disponvel em: http://www.R-project.org.
[85] MORETTIN, P.; BUSSAB, W. Estatstica Bsica. [S.l.]: Saraiva, 2004.
[86] CSARDI,

G.

igraph

Manual.

Lausanne,

Switzerland,

2010.

Disponvel

em:

http://igraph.sourceforge.net/.
[87] ELLISON, R. et al. Survivable Network Systems: An Emerging Discipline. [S.l.], 1997. Disponvel
em: http://www.sei.cmu.edu/library/abstracts/reports/97tr013.cfm.
[88] BEZERRA, R. M. S.; MARTINS, J. S. B. Introducing case-based reasoning approach in autonomic
model suitable for QoS management. In: LAACS. [S.l.: s.n.], 2008.
[89] GATI, D. et al. (Ed.). Autonomic Networking, First International IFIP TC6 Conference, AN 2006,
Paris, France, September 27-29, 2006, Proceedings, v. 4195 de Lecture Notes in Computer Science,
(Lecture Notes in Computer Science, v. 4195). [S.l.]: Springer, 2006. ISBN 3-540-45891-3.

84

REFERNCIAS BIBLIOGRFICAS

Apndice

A
LISTA DE PUBLICAES

Neste anexo ser apresentado o conjunto de publicaes e trabalhos submetidos relacionados ao escopo desta tese. Durante o desenvolvimento deste trabalho, os resultados parciais
foram submetidos para alguns eventos visando a verificao das abordagens utilizadas e suas
respectivas crticas. Os resultados definitivos e publicados colaboraram para a consolidao da
tese. Uma viso cronolgica dos artigos pode ser vista abaixo (Figura A.1)
Particionamento

full paper
short paper

Motor de Busca

3
6

4
Arcabouo

2
1
2007

2008

2009

2010

2011

Figura A.1. Viso cronolgica das publicaes

1 BEZERRA, R. M. S. ; MARTINS, J. S. B. . Using Policy-Based Framework to Support


QoS Autonomic Management. In: 2nd Latin American Autonomic Computing Symposium (LAACS2007), 2007, Petrpolis, Brasil.
2 BEZERRA, R. M. S. ; MARTINS, J. S. B. . A Sense and React Plane Structured Autonomic Model Suitable for Quality of Service (QoS) Management. In: 5th International IEEE
Workshop on Management of Ubiquitous Communications and Services (MUCS2008),
2008, Salvador, Brasil.
85

86

LISTA DE PUBLICAES

3 BEZERRA, R. M. S. ; MARTINS, J. S. B. . Introducing Case-Based Reasoning Approach


in Autonomic Model Suitable for QoS Management. In: 3rd Latin American Autonomic
Computing Symposium (LAACS2008), 2008, Gramado, Brasil.
4 BEZERRA, R. M. S. ; MARTINS, J. S. B. A Policy-Based Autonomic Model Suitable
for Quality of Service Management. Journal of Networks, v. 4, p. 495-504, 2009. DOI:
http://dx.doi.org/10.4304/jnw.4.6.495-504
5 BEZERRA, R. M. S. ; MARTINS, J. S. B. . Network Partitioning and Self-sizing Methods
for QoS Management with Autonomic Characteristics. In: 11th Asia-Pacific Network
Operations and Management Symposium (APNOMS2009), 2009, Jeju, Korea. Lecture
Notes in Computer Science (LNCS) v. 5787. p. 151-160. DOI: http://dx.doi.org/10.1007/
978-3-642-04492-2_16
6 BEZERRA, R. M. S. ; MARTINS, J. S. B. . Network Self-Management with a Partitioning Method based on Network Density and Traffic Matrix. In: 13th Asia-Pacific
Network Operations and Management Symposium (APNOMS2011), 2011, Taipei, Taiwan.
13th Asia-Pacific Network Operations and Management Symposium (APNOMS2011),
2011.
7 Dealing with the Scalability Issue in Network Self-Management Submisso ao Journal
of Communications and Networks.
Inicialmente o primeiro trabalho publicado no LAACS2007 (shortpaper), assim como os
artigos do MUCS2008 e LAACS2008 (shortpaper) e JNW2009 referem-se ao modelo.
Durante a fase de pesquisa, foi verificada a necessidade de proviso de escalabilidade para
modelos autonmicos, independentemente do arcabouo utilizado. Dessa forma, no final de
2008 a pesquisa foi direcionada para o particionamento em domnios com o objetivo de integrar
esta estratgia ao arcabouo, proposta apresentada no APNOMS2009.
Em dezembro de 2009, recebemos o convite do Journal of Communication and Computer
(ISSN 1548-7709) para detalhamento dos resultados do artigo publicado no APNOMS2009.
Em dezembro tambm foi submetido para o Computer Networks (ISSN 1389-1286) o artigo
A Strategy of Density-Based Partitioning for Scalability Problem in Network Self-Management
que apresenta resultados quantitativos e qualitativos do algoritmo de particionamento.
Atualmente foi submetido um novo artigo com foco na anlise da robustez do arcabouo integrando o particionamento e o motor de busca de solues. Este artigo consiste em um resumo
dos principais resultados desta tese. O journal escolhido foi o Journal of Communications and
Networks.

Apndice

B
AMBIENTE DE SIMULAO

B.1 R
R uma linguagem e ambiente para computao estatstica que fornece uma ampla variedade de estatsticas (modelagem linear e no linear, testes estatsticos clssicos, anlise de sries
temporais, classificao, clustering, dentre outras) e tcnicas grficas, alm de ser altamente extensvel. R est disponvel como Software Livre sob os termos da Free Software Foundations
GNU General Public License em forma de cdigo fonte. Ele compila e roda em uma grande
variedade de plataformas UNIX e sistemas similares (incluindo FreeBSD e Linux), Windows e
MacOS.
O ambiente R um conjunto integrado de instalaes de software para manipulao de dados,
clculo e apresentao grfica que inclui:
uma estrutura de dados eficaz manuseio e instalao de armazenamento,
um conjunto de operadores para clculos sobre matrizes,
uma coleo grande, coerente e integrada de ferramentas intermedirias para anlise de
dados,
uma ferramenta grfica para anlise de dados,
uma linguagem de programao simples e eficaz.
O termo ambiente destina-se a caracteriz-la como um sistema totalmente planejado e coerente, em vez de um conjunto de ferramentas muito especficas e inflexveis, como frequentemente o caso com outros softwares de anlise de dados.
R tem o seu formato de documentao prpria LaTeX-like, que usado para fornecer documentao completa, tanto dinamicamente em vrios formatos e em via impressa.
87

88

AMBIENTE DE SIMULAO

Muitos usurios pensam de R como um sistema de estatsticas. Preferimos pensar nele de


um ambiente no qual as tcnicas estatsticas so implementadas. R pode ser estendido (facilmente) atravs de pacotes. H cerca de oito pacotes fornecidos com a distribuio R e muitos
mais esto disponveis atravs da famlia CRAN de stios da Internet que cobrem uma vasta
gama de estatsticas modernas. Dentre estes pacotes destaco o igraph para o desenvolvimento
desta tese.
B.2

IGRAPH

IGRAPH um pacote de software livre para criao e manipulao de grafos direcionado


e no direcionados. Ele inclui implementaes para problemas clssicos de teoria grafos como
rvores geradoras mnimas e fluxo de redes, e tambm implementa algoritmos para alguns mtodos de anlise de rede recentes, como a busca da estrutura da comunidade.
A aplicao eficaz de IGRAPH lhe permite lidar com grficos, com milhes de vrtices e
arestas. A regra chave que se o grafo se encaixa na memria fsica, ento IGRAPH permite um
desempenho satisfatrio. Alm disso um conjunto de caractersticas do IGRAPH so bastante
desejveis no desenvolvimento desta tese:
contm funes para a gerao de grafos regulares e aleatrios de acordo com muitos
algoritmos e modelos da literatura sobre teoria dos grafos.
fornece rotinas para manipulao de grficos, adio e remoo de arestas e vrtices.
possvel atribuir variveis numricas ou textuais para os vrtices e/ou arestas do grafo,
como peso ou capacidade dos enlaces.
fornece tipos de dados para implementar o seu prprio algoritmo em C, R, Python ou
Ruby.
fornece tambm algoritmos de deteco de comunidades usando pesquisas desenvolvidas
recentemente.
O IGRAPH pode ser instalado como:
uma biblioteca C, sendo til se for necessrio us-lo em seus projetos C/C++, ou se deseja
implementar sua anlise prpria ou modelo em C/C++ utilizando as estruturas de dados e
funes fornecidas pelo IGRAPH.
um pacote de R, ou seja, um pacote de extenso para o projeto GNU R para computao estatstica. A flexibilidade da linguagem R e sua riqueza em mtodos estatsticos
permitem adicionar uma grande produtividade para o IGRAPH, com uma penalizao
de desempenho muito pequena. No contexto desta tese o IGRAPH est sendo utilizado
como um pacote do R.

B .2 IGRAPH

89

Python (mdulo de extenso) permitindo combinar o a facilidade e enorme conjunto de


funes Python disponveis, tambm com uma penalizao de desempenho muito pequena

Você também pode gostar