Engenharia de Trfego em Redes IP sobre

Tecnologia MPLS: Otimizao Baseada em

Heursticas.
Tese submetida
Universidade Federal de Sanat Catarina
como parte dos requisitos para a
obteno do grau de Doutor em Engenharia Eltrica
Roberto Alexandre Dias, Florianpolis, Abril de 2004

Resumido por Adriano Orlando Campestrini

Este trabalho tem como principal objetivo desenvolver algoritmos de roteamento que
permitam a implementao de ET (Engenharia de Trfego) em redes IP sobre tecnologia
MPLS. Alm disso, o trabalho prope uma abordagem de implementao de engenharia de
trfego dinmica, avalia o desempenho computacional dos algoritmos e qualidade das
solues e compara os resultados de algoritmos de roteamento atuais com os do proposto.

Engenharia de trfego e MPLS

Engenharia de trfego em redes IP.
Com o crescimento da demanda por recursos de redes, apenas o aumento da
capacidade dos enlaces no suficiente. Do ponto de vista de QoS (Qualidade de Servio),
nem sempre o caminho mais curto o melhor caminho a se trafegar por uma rede. Neste
cenrio, a ET tem muito a contribuir mapeando os fluxos de trfego de forma balancear a
carga entre os componentes de uma infra-estrutura de rede.
Protocolos de roteamento atuais, como OSPF e IS-IS, classificados como protocolos LS
(Link State) no consideram banda mxima e banda residual dos enlaces ao computar o
destino dos fluxos da rede. Apesar de estarem previstas extenses aos protocolos LS,
tornando-os capacitados a tratar estes parmetros, no recomendado o uso de novos
protocolos de rede pois estes podem causar inundao (ou flood) de mensagens de
sinalizao.
Tecnologia MPLS: conceitos bsicos e terminologia.
Em ambientes de roteamento convencionais, a deciso sobre o roteamento de cada
pacote realizada em cada roteador da infra-estrutura. Para permitir o estabelecimento prvio
da rota a ser seguida pelos pacotes, o MPLS (Multiprotocol Label Switching), nos LERs (Label
Edge Routers), insere rtulos nos pacotes que entram no domnio, associando-os a uma FEC
(Forward equivalence class), que representa o caminho fim-a-fim que o pacote dever
percorrer no domnio. Uma FEC definida como sendo uma classe correspondente a um

conjunto de pacotes encaminhados de uma mesma forma atravs da rede. Cada FEC define
explicitamente os nodos que os pacotes de cada classe ir percorrer. Com as FECs possvel
criar uma LIB (Label Information Base), mantida em cada LSR (Label Switch Router).
MPLS denominado multiprotocolo, pois pode ser empregado de forma independente
dos protocolos da camada de rede e enlace, p.e. ATM, Frame Relay, PPP com IP, IPX,
Appletalk...
Eis alguns conceitos relacionados a MPLS:
Rtulo: conjunto de informaes resumido e de tamanho fixo utilizado para busca
na tabela de encaminhamento;
LIB: a tabela presente em cada LSR que contm informaes necessrias ao
encaminhamento dos pacotes;
LSP: uma rota pr-definida na qual um conjunto de pacote de uma mesma FEC
encaminhado atravs de uma rede MPLS; e
Protocolos de distribuio de rtulos: Para que decises de encaminhamento sejam
definidas em um domnio MPLS, necessrio que informaes sejam
intercambiadas entre todos os LSRs vizinhos. Para isto, existem os protocolos de
distribuio de rtulos.
Roteamento baseado em restries.
RBR (Roteamento baseado em restries) um conjunto de processos voltados ao
cmputo de rotas de rede sujeito ao atendimento de uma ou mais restries (regras). Estas
regras normalmente so relacionada s especificaes de QoS das aplicaes, informaes de
segurana e/ou tarifao. A partir disto, as rotas configuradas podem ser as que melhor
atendem tais restries.
Para possibilitar roteamento explcito - requisito de RBR - necessrio utilizar
protocolos de distribuio de rtulos MPLS. No mercado existem duas propostas: RSVP-TE e
CR-LDP.
MPLS e Engenharia de Trfego.
O MPLS permite esquemas sofisticados de roteamento baseados na capacidade de
estabelecimento de LSPs explicitamente roteados. Tambm tem como vantagem para a ET, a
possibilidade de mapear troncos de trfego em LSPs e o suporte a RBR.

Engenharia de trfego e otimizao

Modelagem de problemas.
O processo de modelagem de problemas consiste em trs etapas:
1. Definio do problema: objetivos, variveis de deciso ou controle, nvel de
detalhamento e restries;
2. Formulao do modelo: traduo do problema normalmente expresso de forma
matemtica; e
3. Soluo e validao: concepo de uma abordagem de resoluo da formulao.
Programao Linear Inteira.
Uma variedade de problemas reais podem ser formulados e resolvidos empregando-se
notao de PLI (Programao Linear Inteira). Todos eles visam resolver as mesmas categorias
de problemas: otimizao da utilizao dos recursos. Constata-se que para uma categoria de
problemas complexos, chamados de NP-difceis ou NP-completos, sua soluo exata utilizando
programao linear inteira gera um custo computacional muito grande, impossibilitando a
resoluo em tempo hbil. Existem diversas tcnicas dispostas a contornar este problema,
entretanto no garantem que um tempo computacional polinomial na busca da soluo exata,
ou tima. Desta forma, este trabalho recorreu a mtodos de aproximativos.

Mtodos de solues aproximados dos problemas de PLI.

Dois mtodos aproximativos de soluo de problemas de programao inteira foram
empregados neste trabalho:
1. Relaxaes: procedimento que permite a busca de um conjunto de solues para
um problema PLI que sejam prximos das solues timas. A principal vantagem
das relaxaes de permitir ao analista estabelecer uma relao de compromisso
entre a qualidade da soluo e o tempo computacional.
2. Solues heursticas: uma heurstica uma tcnica que busca alcanar uma boa
soluo, utilizando um esforo computacional considerado razovel, sendo capaz de
garantir a viabilidade e/ou otimalidade da soluo encontrada.
Engenharia de trfego como um problema de otimizao.
O emprego de programao matemtica para modelagem de problemas de ET tem se
tornado uma alternativa promissora. Os problemas de ET, em geral, podem ser formulados
como problemas de programao linear inteira, sendo variantes do problema de caminhos
mnimos sujeitos a restries, que como visto, do tipo NP-completo. A soluo destes
problemas pode ser obtida em tempo hbil, atravs de mtodos aproximativos, como as
relaxaes e heursticas. No presente trabalho, foram adotados os mtodos de relaxao
Lagrangeana, com o emprego do algoritmo subgradiente para obteno de uma soluo
vivel, em tempo polinomial, para um problema de engenharia de trfego em redes IP sobre
MPLS.

Modelagem de um Problema de Engenharia de Trfego (PET)

Problema de Engenharia de Trfego.
O objetivo deste problema de ET maximizar a vazo global dos fluxos de dados
injetados em uma topologia de rede com tamanho significativo, respeitando a largura de
banda dos enlaces e o atraso fim-a-fim mximo de cada fluxo de dados.
Modelagem e formulao do problema.
A modelagem e formulao do problema de ET proposto define:
Caractersticas topolgicas: modeladas por um grafo direcionado;
Caractersticas lgicas da rede: o nmero de LSPs e o nmero de nveis de largura
de banda a serem configurados, o mximo atraso fim-a-fim permitido pelos LSPs e
um parmetro de prioridade de admisso;
A funo objetivo: visa maximizar a vazo global dos fluxos de dados injetados na
rede, segundo uma poltica de priorizao;
As variveis de deciso: permitem a seleo do nvel de largura de banda a ser
configurado em cada LSP, e a rota seguida por cada um deles; e
As famlias de restries: corresponde limitao de capacidade de transmisso
dos enlaces e atraso fim-a-fim de cada fluxo de dados.
Soluo Lagrangeana (RLH).
O procedimento RLH possui as seguintes caractersticas:
1. Uso de dois multiplicadores Lagrangeanos para relaxar respectivamente as famlias
de restries;
2. Aplicao do algoritmo subgradiente para obter uma soluo aproximada do
problema Lagrangeano dual; e
3. Finalmente, ps-processamento desta soluo candidata, obtida no passo anterior,
com uma heurstica, com a finalidade de verificar e recuperar a viabilidade das
solues para o PET.

O algoritmo subgradiente pode ser visto como uma adaptao do algoritmo de passos
decrescentes para funes no diferenciveis.
Mesmo que o algoritmo subgradiente possa encontrar uma soluo, no h nenhuma
garantia que a mesma seja uma soluo vivel para o problema PET. Sendo assim, foi
desenvolvida uma heurstica que visa verificar e recuperar a viabilidade da soluo para o
problema primal PET.
Soluo heurstica pura.
Um procedimento de otimizao foi desenvolvido, denominado Procedimento Heurstico
Puro (PHP), que no considera a priori os procedimentos de relaxao Lagrangeana. Apesar do
PHP encontrar uma soluo vivel para o PET, no existe garantia de sua otimalidade. Uma
srie de experimentos demonstrou que o desempenho computacional e tambm a qualidade
de soluo de PHP foi superior obtida pela abordagem RLH em todos os casos
experimentadas.
Experimentos e resultados.
A estratgia de avaliao dos algoritmos corresponder as seguintes anlises:
Avaliao de desempenho dos algoritmos: onde sero contrastados o grau de
otimalidade e os tempos de execuo para o PET, contrastando os procedimentos
RLH, PHP e solues exatas obtidas por um pacote comercial de alto desempenho,
chamado Xpress-MP.
Anlise do controle de admisso: contendo o nmero de rejeies de fluxos quando
o PET resolvido pelo PHP.
Foram usadas duas topologias de redes para os experimentos, uma de complexidade
mdia (com 17 roteadores) e outra de grande complexidade (com 50 roteadores e 200
enlaces). Nelas, foram inseridas duas categorias de fluxos:
1. Fluxos de baixa prioridade, com taxa de transmisso entre 20 e 150Kbps e atraso
fim-a-fim entre 100 e 150ms; e
2. Fluxos de alta prioridade, com taxa de transmisso entre 380 e 870Kbps e atraso
fim-a-fim entre 30 e 60ms.
Para a primeira topologia foram injetados at 500 fluxos de dados e para a segunda
topologia foram gerados 20.000 fluxos. Em ambos os cenrios, os fluxos de alta prioridade
correspondem 1,5% do total de fluxos injetados nas topologias.
A avaliao de desempenho mostrou que o tempo computacional consumido pelo PHP
menor que 0.06s para rotear 490 fluxos de dados. O RLH por sua vez, ultrapassa 25s para o
mesmo caso e o Xpress-MP no consegue resolver estes casos em tempo hbil. A qualidade da
soluo PHP confirmada pela funo objetiva, que confere com a funo objetiva do XpressMP at o ponto que este consegue resolver.
A soluo PHP chegou a rejeitar 57% dos 490 fluxos de dados configurados para a
topologia 1, enquanto protocolos de roteamento convencionais, p. e. RIP e OSPF chegam a ter
60% de perda de pacotes, evidenciando um alto grau de congestionamento da rede.
Com a segunda topologia, verificou-se que o PHP resolve os 20.000 fluxos de dados em
menos de 10s de execuo e com uma funo objetivo melhor que o RHL, que leva cerca de 3
horas para resolver o mesmo PET nesta topologia.

Uma abordagem para soluo de um problema de engenharia de

trfego dinmico (PETDIN)
Tendo em vista o timo desempenho computacional do PHP, este captulo mostra como
este procedimento pode ser usado em cenrios de Engenharia de Trfego Dinmicos,
melhorando a QoS dos fluxos de dados de alta prioridade, com a rede operando em temporeal.

Definio do problema.
O problema de ET dinmico consiste em atender de forma dinmica novas requisies
de servio submetidas a um domnio de rede. O problema PETDIN se processa da seguinte
forma:
1. Num primeiro instante requisies de servio aguardam admisso na rede. A partir
das informaes lgicas destas primeiras requisies de servio (demanda de taxa
de bits, atraso mximo fim-a-fim e demais restries de QoS), executado um
procedimento de ET;
2. No instante seguinte, aps um certo intervalo de tempo, correspondente ao
processamento do procedimento de ET do passo anterior, as configuraes da rede,
representadas pelo conjunto de solues so aplicados rede. Um conjunto de
fluxos pode ter a admisso rejeitada aps a obteno desta soluo. Ainda neste
instante de tempo, outras requisies de servio aguardam admisso na rede. Este
segundo conjunto de requisies de servio a soma das requisies rejeitadas do
procedimento anterior com os fluxos que pediram admisso entre o primeiro
instante e o atual; e
3. No terceiro instante, aps um intervalo de tempo suficiente para o processamento
do procedimento de ET referente ao passo 2, as configuraes dos fluxos de dados,
representados pelo conjunto de solues so aplicados rede. Novamente, um
conjunto de fluxos pode ter a admisso rejeitada na rede. Este conjunto, ser
somado ao conjuntos das requisies entre o instante do passo 2 e do passo 3 e o
procedimento de ET se repete de forma similar aos passos anteriores.
Caso algumas requisies no sejam atendidas em seguidas rodadas, estas podem ser
descartadas por timeout.
Proposta de soluo.
Para resoluo do problema PETDIN, a proposta um processo simples de
seqencializao do procedimento de otimizao PHP descrito no captulo anterior. Este
procedimento de soluo caracteriza-se por ser centralizado, pois cabe a uma entidade
centralizada executar as rodadas de otimizao, e prescritivo, pois o processo de ET ao
encontrar uma soluo para a distribuio do trfego na rede, tem como sada a configurao
dos LSPs.
Implementao da soluo.
A estrutura lgica da soluo do PETDIN composta por um processo de entrada de
dados, pelo componente de otimizao (PHP) e por um componente de monitorao e gerao
de logs, responsvel por registrar eventuais excluses por timeout, renivelamentos,
reroteamentos, rejeies e tempo de espera de admisso do fluxo.
A estrutura lgica da soluo do PETDIN similar ao COPS (Common Open Police
Service), onde uma estrutura centralizada define as aes a serem implementadas na rede.
Estratgia de avaliao proposta.
A estratgia de avaliao foi dividida em trs etapas, de forma similar ao que foi
apresentado soluo do PET:
Desempenho do algoritmo: da mesma forma que na etapa anterior, foi avaliado o
tempo de execuo e a funo objetivo do PHP ao longo do tempo;
Controle de admisso: parmetros correspondentes ao comportamento do PHP
durante a obteno das solues do PETDIN, como tempo de espera dos fluxos,
rejeies, interrupes, reroteamentos, renivelamentos e excluses; e
QoS dos fluxos: parmetros de desempenho de rede para o encaminhamento dos
fluxos, como vazo, atraso fim-a-fim e jitter (variao do atraso) fim-a-fim.

Experimentos e resultados.
A topologia utilizada a mesma topologia de complexidade mdia utilizada no captulo
anterior e, tambm a mesma, a estratgia de gerao de carga utilizada, com os mesmo
1,5% de fluxos de alta prioridade.
Atravs da anlise do crescimento da funo objetivo de acordo com o crescimento do
nmero de fluxos injetados na rede, verificou-se que com 754 fluxos a rede fica num alto nvel
de saturao. O tempo de execuo do PHP fica em 41ms em mdia, no pior caso
considerado.
Quanto ao controle de admisso, verifica-se que a grande maioria dos fluxos de alta
prioridade levam em torno de 10 a 50 ms para serem admitidos, enquanto fluxos de baixa
prioridade sofrem bastante rejeies e aguardam tempos de admisso maiores. Praticamente
um tero deles aguardam a mesma quantidade de tempo que os fluxos de alta prioridade. Um
quarto dos fluxos de baixa prioridade sofrem excluso por no serem admitidos num perodo
de 60s, enquanto isto no ocorre para nenhum fluxo de alta prioridade. Nenhum fluxo de alta
prioridade foi rejeitado. O nvel de transmisso mximo foi admitido em 92% dos fluxos de
alta prioridade, enquanto os fluxos de baixa prioridade tiveram nvel mximo em 83% dos
casos.
Parmetros de QoS tambm mostraram um bom desempenho. Constata-se que
nenhum fluxo de alta prioridade tem a restrio de atraso mximo fim-a-fim violada. O nvel
de satisfao quanto taxa de transmisso admitida para os fluxos sempre acima dos 50%
do requerido. Mesmo para os piores casos, os fluxos de dados tm vazo maior que o dobro
da vazo utilizando OSPF e mais que o triplo utilizando RIP. O atraso mdio fim-a-fim fica em
torno de 0,03s enquanto OSPF e RIP giram em torno de 0,2s e 0,4s respectivamente. A
anlise do jitter do PHP em relao ao jitter do RIP e so OSPF, mostra apenas em 1 dos 9
fluxos de alta prioridade medidos o jitter do PHP maior que do RIP e do OSPF.
Trabalhos relacionados.
Outra abordagem de ET dinmica utilizada pelo MIRA (Minimal Inference Routing
Algorithm). O MIRA busca selecionar caminhos de rede que maximizem os fluxos de dados de
forma que a rota selecionada interfira minimamente nas rotas dos fluxos que percorrem
outros enlaces, utilizando o algoritmo maxflow.

Concluso Final e Perspectivas de Trabalhos Futuros

O presente trabalho corrobora a viabilidade de utilizao de ferramentas de ET para
melhoria geral da QoS de aplicaes de tempo-real. A fim de viabilizar estas ferramentas, as
solues propostas devem ser simples, do ponto de vista de implementao e eficientes do
ponto de vista do tempo de execuo. Este trabalho possibilita operadoras de
telecomunicaes a oferecerem nveis de servios com tarifao diferenciada de acordo com os
requisitos dos clientes.