Super Tela

DANIELA VIEIRA CUNHA
ANLISE LGICA DE PROTOCOLOS, PROPOSTA E AVALIAO

DE DESEMPENHO DE UM ALGORITMO DE ATRIBUIO DE
RTULOS BASEADO EM SRLG EM UM AMBIENTE GMPLS-WDM

So Paulo
2006

Tese apresentada a Escola Politcnica
da Universidade de So Paulo para
obteno do ttulo de Doutor em
Engenharia.

DANIELA VIEIRA CUNHA

ANLISE LGICA DE PROTOCOLOS, PROPOSTA E AVALIAO
DE DESEMPENHO DE UM ALGORITMO DE ATRIBUIO DE
RTULOS BASEADO EM SRLG EM UM AMBIENTE GMPLS-WDM

So Paulo
2006
Tese apresentada a Escola Politcnica
da Universidade de So Paulo para
obteno do ttulo de Doutor em
Engenharia.

rea de Concentrao: Sistemas Digitais
Orientadora: Prof. Dra Graa Bressan

FICHA CATALOGRFICA

Cunha, Daniela Vieira
Anlise lgica de protocolos, proposta e avaliao de
desem-
penho de um algoritmo de atribuio de rtulos baseado em
SRLG em um ambiente GMPLS-WDM / D.V. Cunha. -- So Paulo,
2006.
p.

Tese (Doutorado) - Escola Politcnica da Universidade de
So Paulo. Departamento de Engenharia de Computao e
Sistemas Digitais.

1.Protocolos de comunicao (Anlise) 2.Redes pticas
I.Universidade de So Paulo. Escola Politcnica. Departamento
de Engenharia de Computao e Sistemas Digitais II.t.

FOLHA DE APROVAO

Daniela Vieira Cunha
Anlise Lgica de Protocolos, Proposta e Avaliao de Desempenho de um Algoritmo de
Atribuio de Rtulos baseado em SRLG em um Ambiente GMPLS-WDM

Tese apresentada a Escola Politcnica da
Universidade de So Paulo para obteno
do ttulo de Doutor.

rea de Concentrao: Sistemas Digitais

Aprovado em:

Banca Examinadora

Prof. Dr. ___________________________________________________________________
Instituio: _____________________________ Assinatura: __________________________

Prof. Dr. ___________________________________________________________________

Prof. Dr. ___________________________________________________________________

Prof. Dr. ___________________________________________________________________

Prof. Dr. ___________________________________________________________________

DEDICATRIA

Aos meus queridos pais por todo amor e incentivo que sempre
demonstraram.

Ao Rodrigo, meu marido, com amor, admirao e gratido por
sua compreenso, carinho, presena e incansvel apoio ao longo
do perodo de elaborao deste trabalho.

AGRADECIMENTOS
A concluso desta tese s foi possvel devido a ajuda de vrias pessoas e instituies.
Ento, eu gostaria de agradecer:
Deus pela vida e por mais esta oportunidade.
Fundao de Amparo Pesquisa do Estado de So Paulo pela ajuda financeira
recebida e pelas correes dos relatrios no decorrer do meu trabalho.
Ao Departamento de Engenharia da Computao e Sistemas Digitais (PCS) e
Laboratrio de Arquitetura e Redes de Computadores LARC, na Escola Politcnica da
Universidade de So Paulo, pelos recursos oferecidos para a execuo deste trabalho.
minha orientadora Prof. Dra. Graa Bressan, por sua orientao e dedicao na
realizao do curso de doutorado. Ela, que sempre me deu ateno, conselho e um melhor
direcionamento nos momentos que precisei.
Aos funcionrios e mais do que isso colegas do Laboratrio, Ana Maria e Edivaldo,
pela boa vontade e ajuda que sempre me ofereceram. Aos demais colegas do Laboratrio que
sempre me ensinaram e ajudaram a desenvolver meus conhecimentos.
Estes so presentes pra vida inteira. Mame e Papai contriburam significativamente
moral e espiritualmente para o desenvolvimento desta tese.
Ao meu marido Rodrigo que sempre esteve ao meu lado, e sempre me deu fora,
nimo e exemplo de garra para continuar em frente mesmo nas horas difceis.
Aos meus irmos Leo e Vivinha, pelo carinho e apoio.
Aos meus avs, vov Eliza, vov Mauro, vov Betinha e vov Milton, que sempre se
orgulharam de mim.
todos os amigos e todas as pessoas que indiretamente me deram fora e apoio.

RESUMO

Anlise Lgica de Protocolos, Proposta e Avaliao de Desempenho de um Algoritmo de
Atribuio de Rtulos baseado em SRLG em um Ambiente GMPLS-WDM

Para satisfazer o explosivo aumento na demanda de trfego de voz e dados, as redes pticas
baseadas em WDM e GMPLS esto sendo desenvolvidas. A sute de protocolos GMPLS
atualmente considerada como um plano de controle para as redes pticas e composta por
protocolos de sinalizao e de roteamento, como tambm do protocolo de gerenciamento de
enlace (LMP). O LMP um importante protocolo que interfere na atribuio de rtulos
(comprimentos de onda) e necessrio fazer sua anlise lgica para verificar se o mesmo est
livre de erros de progresso. Para esta finalidade, o mtodo denominado alcanabilidade justa
foi utilizado. Verificada a corretude do LMP, o estudo foca o subproblema de atribuio de
comprimento de onda do RWA nas redes GMPLS-WDM por ser um dos principais problemas
que causam o baixo desempenho destas redes. O cenrio estudado das redes GMPLS-WDM
que operam em um ambiente RWA dinmico com restrio de continuidade de comprimento
de onda. O problema RWA examinado bem como as vrias heursticas de atribuio de
comprimento de onda apresentadas na literatura. Com o objetivo de melhorar o desempenho
das redes GMPLS-WDM com restrio de continuidade de comprimento de onda, prope-se
um algoritmo de atribuio de rtulos que utiliza os conceitos conjunto de rtulos e SRLG j
implementados pelo GMPLS. O algoritmo proposto melhora a eficincia no uso de recursos
nas redes em questo. O desempenho verificado atravs da mtricas de probabilidade de
bloqueio de conexo, desempenho este prximo do timo e demonstrado atravs de
simulaes.
Palavras-Chave GMPLS, redes pticas, anlise lgica, alcanabilidade justa, RWA,
algoritmo de atribuio de rtulos, conjunto de rtulos, SRLG.

ABSTRACT

Protocol Logical Analysis, Proposal and Performance Evaluation of a Label Assignment
Algorithm based on SRLG in a GMPLS-WDM Environment

To satisfy the explosive increasing demands of voice and data traffic, optical networks based
on WDM and GMPLS are being developed. The GMPLS suite of protocols is currently being
considered as the control plane for optical networks and it is compounded of signaling and
routing protocols, and also the link management protocol (LMP). The LMP is an important
protocol that interferes with label (wavelength) assignment and it is necessary to logically
analyse this protocol in order to verify if it is free from progress errors. For this purpose, the
method called fair reachability has been used. Verified the LMP is correctable, the study
focuses on the RWA wavelength assignment problem in GMPLS-WDM networks because it
is one of the main problems which causes the low performance of these networks. The
studied scene is GMPLS-WDM networks operating under a dynamic RWA environment with
wavelength continuity constraint. The RWA problem is examined and also the various
wavelength-assignment heuristics proposed in the literature. With the goal to improve the
performance of the GMPLS-WDM networks with wavelength continuity constraint, it is
proposed a label assignment algorithm, which uses the concepts of label set and SRLG,
already implemented by GMPLS. The proposed algorithm provides an improvement in
efficiency of resource use. The performance is verified by using the blocking probability
metric, and it is very close to the optimum and demonstrated through simulations.
Key-words GMPLS, optical networks, logical analysis, fair reachability, RWA, label
assignment protocol, label set, SRLG.

SUMRIO

CAPTULO I INTRODUO 018
1.1 GMPLS 020
1.2 Redes GMPLS pticas Baseadas em WDM 021
1.3 SRLG 025
1.4 Objetivo e Justificativa 025
1.5 Metodologia 027
1.6 Organizao do Texto 032

CAPTULO II GMPLS MPLS GENERALIZADO 034
2.1 Introduo 034
2.2 Evoluo em Direo ao GMPLS 037
2.2.1 MPLS e o Paradigma Label Switching 037
2.2.2 MPLS-TE 040
2.2.3 MPS 040
2.2.4 Conceitos Fundamentais do GMPLS 042
2.3 Rtulos Generalizados 045
2.3.1 Pedido de Rtulo Generalizado 048
2.3.2 Escolha de Rtulos com Restrio 049
2.4 Interfaces Suportadas 055
2.5 Conjunto de Protocolos 057
2.5.1 Protocolos de Roteamento 058
2.5.2 Protocolos de Sinalizao 060
2.5.3 Protocolo de Gerenciamento de Enlace 062
2.6 Funcionamento 063
2.6.1 Descobrimento de Vizinhos 064
2.6.2 Clculo de Caminhos 065
2.6.3 Sinalizao de Servio 066
2.7 Grupos de Enlaces de Risco Compartilhado - SRLG 066
2.7.1 Propriedades SRLG 069
2.7.2 Disjuno SRLG 070
2.8 Concluses 070

CAPTULO III REDES GMPLS BASEADAS EM WDM VISO GERAL DO
RWA 073
3.1 Introduo 073
3.2 Redes pticas WDM 075
3.3 Roteador de Comprimento de Onda 077
3.4 Encaminhamento de Trfego 079
3.4.1 Sem Converso de Comprimento de Onda 079
3.4.2 Com Converso de Comprimento de Onda 080
3.4.3 Com Converso x Sem Converso 081
3.5 Roteamento e Atribuio de Comprimento de Onda 082
3.5.1 Subproblema de Roteamento 086
3.5.2 Subproblema de Atribuio de Comprimento de Onda 089
3.5.3 Formulao Matemtica atribuio de comprimento de
onda 097
3.6 Concluso 099

CAPTULO IV ANLISE LGICA DE PROTOCOLOS DE COMUNICAO 101
4.1 Introduo 101
4.2 Estratgias de Reparao Existentes 105
4.3 Redes de Mquinas de Estado Finitas de Comunicao 112
4.4 Anlise de Alcanabilidade Justa 116
4.5 Concluses 122

CAPTULO V ANLISE LGICA, PROPOSTA DE CORREES E
MELHORIAS DO PROTOCOLO DE GERENCIAMENTO
DE ENLACE 124
5.1 Introduo 124
5.2 LMP Viso Geral 125
5.3 Gerenciamento de Canal de Controle 126
5.3.1 Negociao de Parmetros 127
5.3.2 Protocolo Hello 128
5.3.3 Canal de Controle Desativado 130
5.3.4 Estado Degradado 131
5.4 Correlao de Propriedades de Enlace 131

5.5 Verificao de Conectividade de Enlace 134
5.6 Gerenciamento de Falhas 136
5.7 Procedimentos de Back-off Exponencial 138
5.8 Mquinas de Estado Finitas 140
5.8.1 MEF de Canal de Controle 140
5.8.2 MEF de Enlace TE 147
5.8.3 MEF de Enlace de Dados 152
5.8.4 MEF de Gerenciamento de Falhas 159
5.9 Concluso 161

CAPTULO VI ATRIBUIO DE RTULOS COM BASE NA INFORMAO
SRLG EM UM AMBIENTE GMPLS-WDM 164
6.1 Introduo 164
6.2 Proposta 166
6.2.1 Algoritmo Proposto 167
6.2.2 Anlise Lgica 170
6.3 Simulao 177
6.3.1 Descrio dos Simuladores 178
6.3.2 Topologias Simuladas, Avaliao de Desempenho,
Apresentao e Anlise dos Resultados 179
6.3.2.1 Topologia de 6 Ns 181
6.3.2.2 Topologia NSFNET 189
6.3.2.3 Topologia Mesh 195
6.3.2.4 Topologia EON 201
6.3.3 Validao do Simulador 206
6.4 Escalabilidade 207
6.5 Concluso 211

CAPTULO VII CONCLUSO 214

REFERNCIAS 222

LISTA DE FIGURAS

Figura 2.1 Comparao entre o roteamento IP convencional (topo) e o Paradigma Label
Switching (base) 039
Figura 2.2 Hierarquia de Envio 043
Figura 2.3 Alocao de Rtulos para LSPs Bidirecionais com Estabelecimento
Simultneo 044
Figura 2.4 - Rtulos Generalizados 047
Figura 2.5 - Conflito na Escolha de Rtulos com Restrio em Comutadores pticos 050
Figura 2.6 - Como estabelecer um caminho ptico com sinalizao RSVP-TE 054
Figura 2.7 - Interfaces suportadas pelo GMPLS 056
Figura 2.8 Fluxo de Informao e Controle GMPLS 057
Figura 2.9 Rede GMPLS 063
Figura 2.10 SRLG - Exemplo de um modelo de rede 069
Figura 3.1 Rede com roteamento de comprimento de onda 076
Figura 3.2 - Roteador de comprimento de onda 077
Figura 3.3 Conversor de comprimento de onda 078
Figura 3.4 Encaminhamento de trfego 081
Figura 3.5 Anel ptico unidirecional com 6 ns e 4 comprimentos de onda 090
Figura 4.1 Representao de um Protocolo Simples atravs de uma Mquina de
Estado 102
Figura 4.2 (a) e (b) especificao de dois processos que formam um protocolo
atravs de mquinas de estado finitas; (c) anlise de alcanabilidade exaustiva 121
do protocolo; (d) anlise de alcanabilidade justa do protocolo especificado 122
Figura 5.1 MEF de Canal de Controle 145

Figura 5.2 Rede de MEFCs de canal de controle formada a partir da MEF de canal de
controle 146
Figura 5.3 Grafo de Alcanabilidade Justa resultante da rede de MEFCs do LMP
relacionado ao canal de controle 147
Figura 5.4 - MEF de enlace TE 150
Figura 5.5 Rede de MEFCs de enlace TE formada a partir da MEF de enlace TE 151
relacionado ao enlace TE 152
Figura 5.7 - MEF de Enlace de Dados Ativo 156
Figura 5.8 - MEF de Enlace de Dados Passivo 156
Figura 5.9 Rede de MEFCs de enlace de dados (ativo e passivo) formada a partir
das MEFs de enlaces de dados ativo e passivo 158
relacionado ao enlace de dados passivo 159
Figura 5.11 Rede de MEFCs de gerenciamento de falhas 160
relacionado ao gerenciamento de falhas 161
Figura 6.1 Definio do protocolo de sinalizao para atribuio de comprimento
de onda 173
Figura 6.2 Mquina de estado finito de comunicao entre n upstream e um n
downstream em um ponto intermedirio da rede 174
Figura 6.3 Anlise justa da MEFC da sinalizao de atribuio de rtulos em um
ponto intermedirio da rede 175
downstream considerado n de egresso da rede 176

Figura 6.5 Anlise justa da MEFC da sinalizao de atribuio de rtulos no ponto
de egresso da rede 176
Figura 6.6 Topologia com 6 ns 182
Figura 6.7 - Topologia de 6 ns com M=1 e W=16 comprimentos de onda sem
problema de Traps 183
Figura 6.10 - Topologia de 6 ns com M=1 e W=16 comprimentos de onda com
Figura 6.13 Topologia NSFNET 190
Figura 6.14 - Topologia NSFNET com 32 comprimentos de onda sem problema
de Traps 191
Figura 6.15 - Topologia NSFNET com 40 comprimentos de onda sem problema
de Traps 192
Figura 6.16 - Topologia NSFNET com 32 comprimentos de onda com problema
de Traps 194
Figura 6.17 - Topologia NSFNET com 40 comprimentos de onda com problema
de Traps 195

Figura 6.18 Topologia Mesh com 25 ns 196
Figura 6.19 - Topologia Mesh com 32 comprimentos de onda sem problema
de Traps 197
Figura 6.20 - Topologia Mesh com 40 comprimentos de onda sem problema
de Traps 198
Figura 6.21 - Topologia Mesh com 32 comprimentos de onda com problema
de Traps 199
Figura 6.22 - Topologia Mesh com 40 comprimentos de onda com problema
de Traps 201
Figura 6.23 Topologia EON 202
Figura 6.24 - Topologia EON com 32 comprimentos de onda sem problema
de Traps 203
Figura 6.25 - Topologia EON com 40 comprimentos de onda sem problema
de Traps 204
Figura 6.26 - Topologia EON com 32 comprimentos de onda com problema
de Traps 205
Figura 6.27 - Topologia EON com 40 comprimentos de onda com problema
de Traps 206
Figura 6.28 - Tempo de Atribuio de Comprimento de Onda na Topologia de 6 ns 210
Figura 6.29 - Tempo de Atribuio de Comprimento de Onda na Topologia NSFNET 210

LISTA DE TABELAS

Tabela 3.1 Possveis conexes em uma rede em anel unidirecional com 6 ns 091
Tabela 3.2 Pb
prox
aps o estabelecimento da conexo (2,4) 092
Tabela 3.3 Perda relativa por comprimento de onda 096
Tabela 6.1 Esboo da tabela SRLG_ 169

LISTA DE SIGLAS

ADM Add/Drop Multiplexer
AP Available Pool
ASPR Alternative Shortest Path Routing
ATM Asynchronous Transfer Mode
BGP Border Gateway Protocol
BoD Bandwidth on Demand
BW Bandwidth
CAPEX Capital Expenditures
CC Canal de Controle
CCAMP Common Control and Measurement Information
CC-ID Control Channel Identifier
CFSMs Communicating Finite State Machines
CoS Class of Service
CR-LDP Constraint-based Routing Label Distribution Protocol
CSPF Constraint-based Shortest Path First
DLE Dynamic Lightpath Establishment
DRCL Distributed Relative Capacity Loss
DWDM Dense Wavelength Division Multiplexing
DXC Digital Crossconnect
ECN Explicit Congestion Notification
EF Explicited Forwarding
EGP Exterior Gateway Protocol

EO Enlaces pticos
EON European Optical Network
ERO Explicit Route Object
FA Forwarding Adjacency
FEC Forwarding Equivalence Class
FF First Fit
FIB Forwarding Information Base
FIFO First In First Out
FR Frame Relay
FRG Fair Reachability Graph
FSC Fiber Switch Capable
FSM Finite State Machine
GAJ Grafo de Alcanabilidade Justa
G-LSP Generalized Label Switched Path
GMPLS Generalized Multiprotocol Label Switching
G-PID Generalized Payload Identifier
ID Identifier
IETF Internet Engineering Task Force
IGP Interior Gateway Protocol
IP Internet Protocol
IS-IS Intermdiate System Intermediate System
IS-IS TE Intermediate System Intermediate System Traffic Engineering
ISP Internet Service Provider
LDP Label Distribution Protocol
LER Label Edge Router

LLR Least loaded routing
LMP Link Management Protocol
LoL Loss of Light
LR Label Request
LSA Link State Advertisement
LSC Lambda Switch Capable
LSP Label Switched Path
LSR Label Switching Router
LU Least Used
MEFC Mquinas de Estado Finitas de Comunicao
MEMS Micro Electro Mechanical Systems
MPS Multiprotocol Lambda Switching
MPLS Multiprotocol Label Switching
MS Max Sum
MU Most Used
MUX Multiplexing
NAM Network Animator
NMS Network Management System
NS2 Network Simulator Verso 2
NSFNET National Science Foundation Network
OADM Optical Add-Drop Multiplexors
Och Optical Channel
OEO Optical Electrical - Optical
OIF Optical Internetworking Forum
OO Optical Optical

OPEX Operating Expenditures
OSC Optical Switch Controller
OSPF Open Shortest Path First
OSPF-TE Open Shortest Path First Traffic Engineering
OVPN Optical Virtual Private Network
OWNS Optical WDM Network Simulator
OXC Optical Cross-connect
PSC Packet Switch Capable
QoS Quality of Service
RCL Relative Capacity Loss
RD Random Wavelength Assignment
RFC Request for Comments
ROI Return on Investment
RSVP Resource Reservation Protocol
RSVP-TE Resource Reservation Protocol Traffic Engineering
RWA Routing and Wavelength Assignment
SDH Synchronous Digital Hierarchy
SLA Service Level Agreement
SLE Static Lightpath Establishment
SNMP Simple Network Management Protocol
SP Service Provider
SPF Shortest Path First
SONET Synchronous Optical Network
SPR Shortest Path Routing
SRLG Share Risk Link Group

SRLG-ID Identificador (nmero) de SRLG
TCP Transmission Control Protocol
TDM Time Division Multiplex
TE Traffic Engineering
ToS Type of Service
TSC TDM Switch Capable
UDP User Datagram Protocol
UP Used Pool
VPN Virtual Private Network
WDM Wavelength Division Multiplexing
XC Cross-connect

CAPTULO I

INTRODUO

Desde que a rede de comunicao de dados baseada na arquitetura TCP/IP (Transmission
Control Protocol / Internet Protocol), a Internet, foi aberta ao trfego comercial, esta cresceu
rapidamente de uma rede de pesquisa experimental, restrita a um campus, para uma rede de
comunicao de dados pblica abrangente e de grande escala. A demanda faz com que a
capacidade da Internet hoje cresa em vrias dimenses mensurveis de uma rede incluindo,
mas no se limitando largura de banda na transmisso, nmero de hosts, qualidade de
servio (QoS - Quality of Service), tamanho geogrfico e volume de trfego. Ao mesmo
tempo, a Internet est evoluindo do servio baseado no melhor esforo convencional (best
effort), passando a oferecer servios com nveis de garantia de QoS e incorporando novas
tecnologias medida que se desenvolve [CUNHA, 2001].

Existem aplicaes que apresentam servios de entrega crticos com relao ao tempo e
qualidade. Juntamente com a crescente importncia desses servios de dados, h tambm uma
mudana nos tipos de aplicaes disponveis. As tradicionais aplicaes (e.g. e-mail, ftp)
19
esto cada vez mais incorporando caractersticas de aplicaes em tempo real, tais como
servios de voz e de vdeo. As caractersticas de tempo real destas novas aplicaes
demandam por QoS. Logo, necessrio que as redes de comunicao suportem contratos de
nvel de servio (SLA Service Level Agreement)
1
que garantem um nvel especfico de QoS,
independente do servio utilizado como tambm de falhas na rede.

H alguns anos, a quantidade de trfego de dados sendo encaminhada em todas as redes no
mundo j ultrapassou a quantidade de trfego de voz e essa diferena tende a continuar
aumentando nos prximos anos, tornando crescente os requisitos de largura de banda para
dados IP e atingindo limites que demandam a reconstruo da arquitetura de rede e mudanas
na infra-estrutura de transporte existente. Ao mesmo tempo, tem-se uma grande e crescente
demanda dos usurios para que se mantenham baixos os custos dos servios oferecidos pela
rede.

A necessidade de transportar mais dados, combinada com a necessidade de minimizar o custo
de transporte desses dados, resulta em uma situao onde Provedores de Servio (SPs -
Service Providers) carecem de solues que permitem o encaminhamento de um grande
volume de trfego de forma mais eficiente e a um custo menor; o que foi considerado um
desafio caso fosse utilizada a arquitetura de rede de dados em uso atualmente.

Acredita-se, indstria e alguns pesquisadores, que a rede ptica a melhor soluo capaz de
suportar todos os requisitos de servio e de qualidade resultantes desse crescimento, em
volume de trfego, tamanho geogrfico e diversificao de aplicaes. Desta forma,
substancial nmero de pesquisas tem como foco as redes pticas cujo desenvolvimento prov

1
SLA: um contrato entre um provedor de servio de rede e um cliente que especifica, geralmente em termos
mensurveis, quais os servios que o provedor de servio de rede deve fornecer e com qual qualidade.
20
aumento da capacidade de transporte e da escalabilidade da rede e, o desenvolvimento de uma
grande quantidade de novas e sofisticadas aplicaes [PAPADIMITRIOU, 2003].

Para que isto acontea, requer-se uma maior integrao da camada IP com a camada ptica,
como tambm uma maior padronizao dos protocolos nos ambientes de comutao de
telecomunicaes de hoje. No entanto, para que potenciais benefcios da convergncia IP e
redes pticas possam ser utilizados, servios IP em particular precisam ser mais inteligentes,
flexveis e escalveis, objetivo que pode ser atingido atravs do uso da tecnologia MPLS
(Multiprotocol Label Switching), e possveis extenses, nas redes IP.

Para se ter uma rede verdadeiramente dinmica, necessrio um mtodo para controle total da
rede dentro do ncleo ptico. Surgiu ento, o conceito de rede ptica inteligente. O MPLS
poderia ser utilizado, mas como especfico para redes IP, seus protocolos so modificados
para conversar com equipamentos de telecomunicao, propiciando desta forma o
surgimento do MPLS Generalizado (GMPLS - Generalized MPLS).

1.1 GMPLS

O MPLS foi definido apenas para redes de comutao de pacotes e as pesquisas sobre esta
tecnologia esto mais direcionadas para o plano de dados (trfego de dados). Por outro lado, o
GMPLS estende a arquitetura MPLS permitindo o interfaceamento com tecnologias que no
so apenas baseadas na comutao de pacotes. O GMPLS est sendo desenvolvido com o
objetivo de ser um conjunto de protocolos aplicveis a todo tipo de trfego de transporte e
servio. Ele suporta no somente comutao de pacotes (PSC Packet Switching Capable),
mas tambm comutao no domnio do tempo (TSC TDM, Time Division Multiplex,
21
Switching Capable), comprimento de onda (LSC - Lambda Switching Capable) e fibra (FSC -
Fiber Switching Capable) [IOVANNA, 2003], [IEC], [DEO, 2003].

Com suporte do IETF (Internet Engineering Task Force) e do OIF (Optical Internetworking
Forum), o GMPLS est rapidamente tornando-se um padro. O IETF foca na estrutura
GMPLS como um todo e, o OIF desenvolve especificaes de interoperabilidade destes
protocolos [ROUSSEAU, 2003].

O GMPLS, extenso do paradigma MPLS s redes pticas, um conjunto de protocolos do
plano de controle que fornece uma semntica consistente e uniforme para sinalizao (RSVP-
TE Resource Reservation Protocol Traffic Engineering), roteamento (OSPF-TE Open
Shortest Path First Traffic Engineering) e gerenciamento de enlace (LMP Link
Management Protocol) [LANDOLSI, 2002], [PAPADIMITRIOU, 2003], [ROUSSEAU,
2003].

1.2 REDES GMPLS PTICAS BASEADAS EM WDM

Com o objetivo de melhorar o aproveitamento da capacidade de transmisso das fibras
pticas, as redes pticas, incluindo as redes GMPLS, passaram a usar o WDM (Wavelength
Division Multiplexing), uma tcnica de multiplexao que divide a fibra ptica em vrios
canais WDM de diferentes freqncias pticas, chamados de comprimentos de onda [ASSI,
2001], [CHAUDHURI, 2000], [KIM, 2003].

Atravs de um caminho ptico (G-LSP label switched path generalizado, ou seja, caminho
generalizado baseado em comutao de rtulos) uma conexo em uma rede ptica
22
estabelecida utilizando um determinado comprimento de onda. Em geral, seria desejvel
poder alocar um comprimento de onda diferente para cada pedido de conexo, porm, nas
redes pticas WDM, o nmero de comprimentos de onda disponveis nos enlaces limita o
nmero possvel de conexes entre cada par de ns [ZHU, 2000], [CHAUDHURI, 2000],
[STRAND, 2001].

Dentro das redes pticas, o trfego em cada conexo estabelecida pode ser encaminhado pela
rede de duas formas:
Sem converso de comprimento de onda
Um caminho ptico usa o mesmo comprimento de onda em todos os enlaces pticos
que o compem, da origem at o destino. Essa propriedade chamada de restrio de
continuidade de comprimento de onda. Duas conexes que compartilham um enlace
comum devem utilizar comprimentos de onda distintos [ZANG, 2000], [ROUSKAS,
2001].
Com converso de comprimento de onda
Diferentes comprimentos de onda podem ser usados pelos enlaces das rotas de
conexes ao longo do caminho ptico, ou seja, pode haver converso de um
comprimento de onda para outro comprimento de onda em um mesmo caminho
ptico. Neste tipo de encaminhamento, necessria a utilizao de conversores nos
roteadores para converter o comprimento de onda nos ns intermedirios [ZANG,
2000], [ROUSKAS, 2001].

Porm a tecnologia de conversores de comprimento de onda ainda no est amadurecida e
competitiva e, os mesmos possuem um custo muito alto. Deste modo, o foco deste estudo
23
em redes GMPLS pticas que no possuem a capacidade de converso de comprimento de
onda.

Um problema muito importante nas redes GMPLS pticas baseadas em WDM a
configurao de caminhos pticos para um dado conjunto de pedidos de conexes atravs de
roteamento e atribuio de comprimentos de onda (rtulos
2
) para cada uma dessas conexes.
Este problema denominado de problema de roteamento e atribuio de comprimento de
onda - RWA (Routing and Wavelength Assignment) [ZHU, 2000], [ASSI, 2001],
[CHAUDHURI, 2000], [STRAND, 2001], [ZANG, 2000], [OKI, 2004].

O objetivo do RWA selecionar a melhor combinao de rotas e comprimentos de onda para
cada conexo de forma a otimizar o atendimento das demandas dentro da rede, maximizando
o nmero de conexes estabelecidas e/ou minimizando o nmero de comprimentos de onda
usados pela rede, assim melhorando a eficincia da mesma.

O subproblema de roteamento se restringe em encontrar um caminho para um par origem-
destino de um pedido de conexo. O problema atualmente tratado com as seguintes tcnicas:
Roteamento fixo [GIRARD, 1990]
Roteamento fixo alternativo [GIRARD, 1990], [HARAI, 1997], [RAMAMURTHY,
1998]
Roteamento adaptativo [JUE, 2000], [LI, 1999]

No subproblema de atribuio de comprimento de onda, deve-se alocar um comprimento de
onda para cada caminho ptico de tal forma que dois caminhos pticos no compartilhem um

2
No caso das redes GMPLS pticas, um rtulo especfico sinnimo de um comprimento de onda particular.
24
mesmo comprimento de onda em uma mesma fibra. Os principais algoritmos de atribuio de
comprimento de onda propostos na literatura so:
First-Fit [CHLAMTAC, 1989]
Random Wavelength Assignment [CHLAMTAC, 1989]
Most-Used [SUBRAMANIAM, 1997]
Least-Used [SUBRAMANIAM, 1997]
Max-Sum [BARRY, 1997], [SUBRAMANIAM, 1997]
Relative Capacity Loss [ZHANG, 1998]
Distributed Relative Capacity Loss [ZANG, 2000]

Quando h demanda em uma rede GMPLS totalmente ptica (i.e., GMPLS-WDM) e preciso
realizar roteamento e seleo de comprimento de onda, um pedido de conexo pode falhar
devido a um dos dois eventos de bloqueio denominados bloqueio de enlace forward e
bloqueio de enlace backward. O bloqueio de enlace forward devido a recursos de
comprimento de onda insuficientes e a no utilizao de algoritmos de roteamento que
promovem o balanceamento no uso dos enlaces. Bloqueio de enlace backward, ou
simplesmente bloqueio de conexo
3
, acontece devido ao conflito de reservas de rtulos
[JERRAN, 2001].

Com o objetivo de diminuir o bloqueio de conexo em um ambiente GMPLS-WDM com
restrio de continuidade de comprimento de onda, o GMPLS introduz o conceito de conjunto
de rtulos (no ingls, Label Set) para restringir a escolha do rtulo pelo n downstream
4
para
um pedido de caminho ptico [BERGER, 2003], [OKI, 2004].

3
O termo bloqueio de conexo ser utilizado no restante deste trabalho.
4
N downstream: prximo n vizinho com relao ao fluxo de dados.
25
O objeto conjunto de rtulos no suficiente para eliminar o bloqueio de conexo que ocorre
quando dois ou mais ns de egresso selecionam o mesmo rtulo para conexes que
compartilham os mesmos enlaces.

1.3 SRLG

SRLG (Shared Risk Link Group, no portugus, grupo de enlaces de risco compartilhado),
fornece parmetros fundamentais para o gerenciamento de recursos no plano de controle
GMPLS e necessrios para planejar a confiabilidade nas redes de transporte. Um SRLG est
associado com uma entidade em risco, tipicamente um segmento de fibra. Assim, um SRLG
definido como um conjunto de enlaces que compartilham um risco em comum
[PAPADIMITRIOU - Draft, 2003].

O conceito SRLG foi concebido no desenvolvimento de mecanismos de recuperao de
falhas. Ele (SRLG) considerado como um dos critrios mais importantes com relao a
comutao de caminhos baseados em restries nas rotas de canal ptico. Aplicando o critrio
de disjuno SRLG na computao de caminhos baseados em restries, pode-se selecionar
uma rota levando em considerao a separao de estrutura lgica e de recursos. Isto implica
em uma probabilidade mais baixa de falhas de canal ptico simultaneamente [SEBOS, 2002],
[STRAND, 2001], [OKI, 2004], [MIYAMURA, 2004].

1.4 OBJETIVO e JUSTIFICATIVA

O GMPLS ainda no se tornou um padro por completo e nem mesmo uma RFC (Request for
Comments). Alguma documentao desta tecnologia se encontra apenas como Internet Drafts.
Antes mesmo de padronizar o MPLS Generalizado, de grande importncia fazer uma anlise
lgica dos protocolos que compem o conjunto de protocolos GMPLS. Neste trabalho, esta
26
anlise feita utilizando a tcnica de alcanabilidade com progresso justo podendo assim
verificar o comportamento do protocolo LMP (protocolo de gerenciamento de enlace) do
conjunto de protocolos GMPLS bem como verificar se o mesmo est ou no livre de erros de
progresso. Os demais protocolos que compem o GMPLS so os protocolos de roteamento e
sinalizao que so os mesmos utilizados anteriormente pelo MPLS e possuem apenas
algumas extenses para suportar diferentes interfaces de comutao no MPLS Generalizado.
Trabalhos anteriores j verificaram a corretude desses protocolos [IETF] e por est razo
essas anlises no fazem parte do escopo deste trabalho.

Aps a anlise lgica do protocolo LMP, possvel propor uma adequao atribuio de
rtulos em um ambiente GMPLS com o intuito atender ao problema RWA.

Com o objetivo de melhorar o desempenho e a utilizao de recursos de uma rede GMPLS-
WDM com restrio de continuidade de comprimento de onda, diminuindo a probabilidade de
bloqueio de conexo, prope-se um novo algoritmo de atribuio de comprimento de onda
(rtulos) que utiliza o conceito de conjunto de rtulos juntamente com o conceito SRLG que
passa a ser utilizado no processo de atribuio de comprimento de onda e no somente no
estabelecimento dos caminhos de proteo.

A idia para alocao de comprimentos de onda que para conexes cujos caminhos pticos
compartilham pelo menos um enlace na rede, deve-se atribuir diferentes comprimentos de
onda para cada conexo, pois a propriedade de restrio de continuidade de comprimento de
onda considerada. Esta a mesma idia proposta pelo conceito SRLG para o
estabelecimento de caminhos de proteo e que agora ser usado para alocao de
comprimento de onda, como proposta deste trabalho. Com base na informao SRLG do
27
caminho a ser estabelecido e dos caminhos j existentes possvel saber se estes
compartilham ou no alguma entidade de risco (recurso) e assim decidir qual comprimento de
onda deve ser atribudo.

1.5 METODOLOGIA

Para que haja um ordenado desenvolvimento do estudo proposto, alguns procedimentos
devem ser realizados tais como: levantamento bibliogrfico relevante aos assuntos abordados,
estudo aprofundado dos temas relacionados ao trabalho tais como ferramentas de avaliao
lgica e experincia no manuseio de simulador.

Na etapa inicial realizado um levantamento bibliogrfico, anlise e estudo do material
selecionado sobre o ambiente GMPLS e os protocolos de roteamento e sinalizao utilizados,
bem como o protocolo de gerenciamento de enlace, LMP. Este levantamento bibliogrfico
feito atravs de revistas especializadas, artigos j publicados e RFCs na forma de Internet
Drafts (devido ao fato do GMPLS ser uma tecnologia nova e ainda estar em desenvolvimento
e padronizao). As principais referncias utilizadas foram: [ROUSSEAU, 2003],
[LANDOLSI, 2002], [PAPADIMITRIOU, 2003], [IOVANNA, 2003], [IEC], [DEO, 2003],
[CHOI, 2003], [LANG, 2005].

Posteriormente, um estudo mais detalhado efetuado sobre o problema de roteamento e
atribuio de comprimento de onda (RWA) em um ambiente GMPLS como tambm os
conceitos e uso do SRLG. O problema de roteamento e atribuio de comprimento de onda
existe em redes com converso de comprimento de onda e sem converso de comprimento de
onda, e vantagens e desvantagens so encontradas em cada um destes cenrios. A forma de
estabelecimento de caminhos pticos em um ambiente GMPLS-WDM considera o uso do
28
conjunto de rtulos na tentativa de diminuir a probabilidade de bloqueio de conexo e assim
atender ao problema RWA. As mais significativas referncias utilizadas so: [ASSI, 2001],
[CHAUDHURI, 2000], [KIM, 2003], [ZHU, 2000], [CHAUDHURI, 2000], [STRAND,
2001], [ZANG, 2000], [ROUSKAS, 2001], [OKI, 2004].

Com base nos estudos realizados, verifica-se que o protocolo LMP ainda no foi analisado de
acordo com sua corretude e necessrio antes de propor qualquer alterao no controle
GMPLS para atribuio de rtulos atendendo assim o problema RWA. O protocolo de
gerenciamento de enlace pode ser ento modelado por uma rede formada por mquinas de
estado finitas de comunicao (MEFC).

MEFCs so largamente utilizadas para especificar e validar protocolos de comunicao
atravs da anlise de alcanabilidade. Este mtodo provou ser um dos mtodos mais efetivos
na verificao da corretude dos protocolos de comunicao, no entanto, sabe-se tambm que a
exploso de estados a mais severa limitao da aplicabilidade deste mtodo [SCHOOT,
1998], [GOUDA, 1984], [MOURA, 1986], [LIN, 1998], [NEGULESCU, 1995].

Na busca por uma abordagem apropriada para lidar com tal problema, so pesquisadas
diferentes estratgias de reparao desta limitao. As abordagens estudadas so:
Estratgia de reparao proposta por West que restringe o uso de parmetros
multivalorados, limita o nmero de mensagens nos canais de mensagens e limita as
classes de erros de transmisso [WEST, 1982]
Estratgias de reparao propostas por Vuong e Cowan, Choi e Miller e, Chow, Gouda
e Lam. Eles observaram que certas classes de protocolos podem ser particionadas em
componentes que posteriormente podem ser separadamente verificados para garantir a
corretude do protocolo original. [VUONG, 1982], [CHOI, 1983], [CHOW, 1985]
29
Estratgia proposta por Lam e Shankar. Uma abordagem de projeo que constri um
protocolo imagem do protocolo dado para cada uma das funes que se pretende
verificar [LAM, 1984]
Estratgia proposta por Blumer e Sidhu. Utiliza um mecanismo chamado regra de
escolha de transio que uma condio booleana cujo valor decide se a transio na
MEFC ou no para ser executada [BLUMER, 1986]
Estratgia proposta por Ansart. Faz uso de uma ferramenta denominada LISE baseada
no modelo de mquina de estado finita estendida [ANSART, 1985]
Estratgias propostas por Ruben e West, Gouda e Han e, Zhao e Bochman. Tem como
base a explorao de estado com progresso justo. A idia explorar somente os
estados globais que so alcanveis considerando o fato das duas entidades de
protocolo avanarem em uma mesma velocidade [RUBIN, 1982], [GOUDA, 1985],
[ZHAO, 1987]
Estratgia proposta por Gouda e Yu. Proposta chamada de explorao de estado com
progresso mximo [GOUDA, 1984]
Estratgia proposta por Itoh e Ichikawa. Proposta aplicada a protocolos cuja MEFC
no contm qualquer ciclo que no passe pelos estados iniciais [ITOH, 1983]
Estratgia proposta por Brand e Zfiropulo e, Kakuda, Wakahara e Morigoe. Estratgia
chamada de validao de protocolo de rvore ou forma acclica [BRAND, 1983],
[KAKUDA, 1986]
Holzmann projetou uma ferramenta chamada Trace, que trabalha sob dois modos,
como ferramenta de depurao rpida ou como um provador de corretude lento
[HOLZMANN, 1985] [HOLZMANN, 1987] [HOLZMANN, 1988]
30
Estratgia proposta por West. Esta estratgia chamada de explorao de estados com
caminhada aleatria (random-walk) que uma forma de parcialmente explorar o grafo
de estados globais. [WEST, 1987]
Estratgia proposta por Vuong, Hui, e Cowan. Os pesquisadores propem uma nova
representao de estado global de forma que o algoritmo de alcanabilidade
desenvolvido gere grafos finitos para todos os protocolos no-FIFO e para uma certa
classe de protocolos FIFO [VUONG, 1982].

Dentre as abordagens apresentadas a explorao de estados com progresso justo foi a
abordagem escolhida para a anlise do protocolo LMP devido s suas vantajosas
caractersticas.

Alcanabilidade justa [GOUDA, 1986] uma tcnica muito til de deteco de erros de
progresso tais como deadlocks, recepes no-especificadas, interaes no-executadas,
livelocks e overflow em redes de MEFCs compostas por duas mquinas [PENG, 1997].

Finalizada a avaliao do protocolo LMP, apresenta-se a proposta de uma nova tcnica de
atribuio de comprimento de onda com o objetivo de diminuir a probabilidade de bloqueio
de conexo em ambientes GMPLS-WDM com restrio de continuidade de comprimento de
onda e assim melhorar a eficincia e desempenho dessas redes. A proposta se baseia no
conceito de conjunto de rtulos j utilizado em ambientes GMPLS e no conceito SRLG usado
em mecanismos de proteo. O objetivo utilizar conceitos j implementados com sucesso
que ao serem utilizados em abordagens diferentes, podem ajudar a atender o problema RWA.

31
A proposta tambm analisada de acordo com sua corretude, ou seja, se est livre ou no dos
erros de progresso e, a tcnica de alcanabilidade justa usada para esta finalidade. A anlise
realizada da poro do protocolo de sinalizao relacionada com atribuio de rtulos.

A anlise lgica no suficiente para comprovar a eficincia ou no eficincia da proposta de
atribuio de rtulos. necessrio realizar a avaliao de desempenho da mesma, o que uma
tarefa complexa e trabalhosa. Em geral, trs solues podem ser utilizadas para auxiliar na
execuo desta tarefa: a experimentao com redes reais, a utilizao de mtodos analticos e
a simulao computacional. Cada uma dessas solues possui vantagens e limitaes e,
embora no sejam mutuamente excludentes, cada uma delas melhor aplicvel a uma
determinada situao particular. Este trabalho utiliza a simulao computacional para realizar
a anlise da proposta de atribuio de rtulos. Assim, necessrio o uso de um simulador para
que o mesmo comprove ou no a queda na taxa de probabilidade de bloqueio de conexo para
diferentes cenrios GMPLS-WDM.

Apresenta-se uma avaliao de desempenho dos algoritmos de atribuio de comprimento de
onda citados anteriormente bem como do algoritmo proposto com relao a probabilidade de
bloqueio de conexo. Assim, possvel verificar o desempenho oferecido pelo algoritmo de
atribuio de comprimento onda baseado em SRLG.

O programa de simulao Network Simulator NS verso 2.1b6, juntamente com o mdulo
OWNS (Optical WDM Network Simulator), bem como o Matlab foram utilizados para que a
avaliao relacionada a cada heurstica de atribuio de comprimento de onda mencionada e
proposta fosse obtida. A base do simulador foi mantida e apenas algumas modificaes e
32
acrscimos foram feitos de forma a adaptar o simulador a cada um dos algoritmos de
atribuio de comprimento de onda.

1.6 ORGANIZAO DO TEXTO

A organizao deste trabalho foi realizada como descrito a seguir.

Captulo II apresenta uma viso geral do GMPLS, suas principais caractersticas e
funcionamento, a evoluo desde o MPLS bem como os protocolos de sinalizao,
roteamento e gerenciamento que nessa tecnologia so utilizados. A forma de estabelecimento
de caminhos pticos em um ambiente GMPLS-WDM descrita como tambm o uso do
conjunto de rtulos na tentativa de diminuir a probabilidade de bloqueio de conexo. Para
finalizar o Captulo, algumas definies do conceito SRLG e sua importncia so
apresentadas.

Captulo III aborda as redes pticas WDM, o problema de roteamento e atribuio de
comprimento de onda (RWA) em redes pticas com converso de comprimento de onda e
sem converso de comprimento de onda. Vantagens e desvantagens so discutidas para cada
um dos casos mencionados. So apresentadas as tcnicas de roteamento utilizadas no
subproblema de roteamento bem como as heursticas de atribuio de comprimento de onda
propostas pela literatura e utilizadas no subproblema de atribuio de comprimento de onda.

Captulo IV descreve a forma como protocolos de comunicao podem ser avaliados de
acordo com sua corretude. So apresentados alguns tipos de erros de progresso e tambm as
diferentes tcnicas existentes para a finalidade de avaliao. Foco maior dado anlise de
alcanabilidade justa por ter sido a tcnica escolhida para aplicao neste trabalho.
33

Captulo V relata a anlise lgica do protocolo de gerenciamento de enlace (LMP) que faz
parte do conjunto de protocolos GMPLS. A tcnica de alcanabilidade justa aplicada s
mquinas de estado finitas de comunicao que representam cada funo deste protocolo.
Com base nessa anlise verifica-se a corretude ou no corretude do LMP.

Captulo VI apresenta a proposta de um novo algoritmo de atribuio de comprimento de
onda utilizando o conceito de conjunto de rtulos e o conceito SRLG em um ambiente
GMPLS-WDM com o objetivo de diminuir a probabilidade de bloqueio de conexo.
detalhada a anlise lgica desta proposta atravs da tcnica de alcanabilidade justa.
Descreve-se os aspectos relevantes simulao de uma rede GMPLS-WDM para os diversos
algoritmos de atribuio de comprimento de onda, a apresentao dos resultados das
simulaes e uma breve anlise destes, possibilitando assim a comparao entre as heursticas
de atribuio de comprimento de onda mencionadas e a proposta.

As concluses gerais e algumas sugestes para continuidade deste trabalho so mencionadas
no Captulo VII.

CAPTULO II

GMPLS MPLS GENERALIZADO

2.1 INTRODUO

O desenvolvimento ptico iniciado no incio dos anos 90 rapidamente conduziu a um
impressionante interesse em inmeros tpicos de pesquisa tais como engenharia de trfego
(traffic engineering TE), recuperao (proteo e restaurao), controle in-band e out-of-
band e, tcnicas de superviso e monitoramento. No domnio de transmisso, as principais
atividades foram direcionadas no somente para a comutao por comprimento de onda, mas
tambm para o DWDM (Dense Wavelength Division Multiplexing), que uma tecnologia que
aumenta o nmero de comprimentos de ondas em uma nica fibra.

O trfego de Internet, incluindo servios relacionados, tem crescido significativamente desde
1995, bem como sua importncia tem aumentado de forma contnua. Hoje, amplamente
35
reconhecido que o trfego IP (Internet Protocol) continuar crescendo
5
e constituir cada vez
mais uma maior proporo do volume total de trfego na rede
6
. Estas tendncias criam uma
necessidade para uma eficiente interoperao entre redes orientadas a circuito tradicionais e
redes IP/MPLS (Internet Protocol / Multiprotocol Label Switching) baseadas no paradigma de
encaminhamento/comutao de pacotes.

Atualmente, a mais promissora tecnologia capaz de atender os rgidos requisitos das
operadoras (aumento no rendimento ou diminuio de despesas operacionais) o conjunto de
protocolos GMPLS (MPLS Generalizado, no ingls Generalized Multiprotocol Label
Switching) como definido pelo IETF (Internet Engineering Task Force) e pelo OIF (Optical
Internetworking Forum).

Os esforos de padronizao comearam no final dos anos 90 com o desenvolvimento do
MPS (Multiprotocol Lambda Switching) que focou somente nas redes pticas de prxima
gerao. Desde ento, MPS foi aprimorado gerando o GMPLS, definido como um conjunto
de protocolos centrada no IP para planos de controle [ROUSSEAU, 2003].

GMPLS uma generalizao da arquitetura MPLS [RFC3031], e em alguns casos pode
diferenciar um pouco desta arquitetura devido ao fato do GMPLS tambm considerar planos
de dados no baseados em pacotes. O GMPLS suporta as interfaces e elementos de
comutao: PSC (Packet Switching Capable), TSC (TDM Time Division Multiplexing -
Switching Capable), LSC (Lambda Switching Capable) e FSC (Fiber Switching Capable).

5
Em outubro, 2002, IDC estimou que o trfego de Internet aproximadamente dobraria a cada ano nos prximos
cinco anos.
6
Em abril, 2003, RHK previu que o IP teria seu domnio aumentado no volume total de trfego na rede de 50%
(atual) para aproximadamente 80% at 2006.
36
Hoje, baseado nos rgidos requisitos das operadoras, a maior parte dos esforos GMPLS esto
direcionados s extenses dos protocolos baseados em IP/MPLS para redes orientadas a
circuito de controle, incluindo redes pticas. GMPLS utiliza o mesmo conjunto de protocolos
de sinalizao e roteamento utilizada pelas redes IP/MPLS reduzindo assim a complexidade
de projeto, desenvolvimento e manuteno. GMPLS tambm fornece capacidades e
caractersticas, tais como descobrimento e controle de recursos distribudos em tempo real
(para o uso de um recurso on-line durante a comutao de pacotes), recuperao e
estabelecimento de conexo de mltiplas camadas (evitando o uso de vrias instncias de
plano de controle antes de estabelecer e recuperar tais conexes), provisionamento de circuito
rpido, flexibilidade de servio tal como servios de largura de banda sob demanda, melhor
interoperabilidade dos elementos de rede de diferentes fabricantes, e aumento da capacidade
de sobrevivncia fornecendo habilidade de reroteamento dinmico quando uma falha ocorre,
facilitando assim, as operaes do dia-a-dia das operadoras [LANDOLSI, 2002],
[PAPADIMITRIOU, 2003], [ROUSSEAU, 2003].

Algumas das importantes caractersticas do MPLS Generalizado so [PAPADIMITRIOU,
2003]:
Descobrir os vizinhos de um n
Distribuir informaes sobre os enlaces
Fornecer topologia da rede
Gerenciar caminhos
Proteger/restaurar enlaces

37
Alm disso, o GMPLS permite um plano de controle comum, provisionamento automtico,
balanceamento de carga, largura de banda sob demanda
7
e OVPN (Optical Virtual Private
Network)

Um impacto econmico importante do GMPLS fornecer a habilidade de automatizar o
gerenciamento de recursos da rede e o provisionamento de servio de caminhos TE fim-a-fim.
O provisionamento de servios um processo manual que consome muito tempo e, alm
disso, um processo de alto custo. O desenvolvimento de ns baseados no GMPLS permite
que operadoras automatizem o provisionamento e gerenciamento da rede, aumentem o
nmero de servios oferecidos aos clientes e prometem reduzir os custos operacionais.

O efeito colateral mais interessante para uma rede GMPLS fim-a-fim que todo caminho
pode ser efetivamente automatizado. Teoricamente, baseado em um conjunto de requisitos, a
rede pode estabelecer conexes fim-a-fim sem requerer ao operador o provisionamento em
cada n intermedirio. Portanto, tem-se economia de tempo, eliminao de muitos erros,
menor custo e potencialmente elevados rendimentos para o operador de rede [CHOI, 2003].

2.2 EVOLUO EM DIREO AO GMPLS

2.2.1 MPLS e o Paradigma Label Switching

Em redes IP, pacotes so encaminhados com base no endereo IP de destino contido no
cabealho do pacote e tambm com base na informao armazenada na base de dados de
envio do roteador (chamada de base de informao de envio FIB, do ingls, Forwarding

7
Largura de banda sob demanda o fornecimento de conectividade entre dois pontos de acesso de uma maneira
rpida, automtica e de modo no planejado anteriormente, atravs de sinalizao.
38
Information Base). A FIB contm uma lista com os endereos de rede que so conhecidos
pelo roteador e a interface sobre a qual um pacote deve ser encaminhado para com sucesso
alcanar o seu destino. Quando um roteador IP recebe um pacote IP, ele realiza uma
associao de prefixo longa com o endereo IP de destino do pacote e os endereos de rede
contidos na FIB e, envia o pacote atravs da interface correspondente. Esta associao de
prefixo longa um processo relativamente lento, especialmente quando a FIB contm uma
grande quantidade de entradas bem como, parmetros de qualidade de servio (QoS Quality
of Service). Um novo paradigma de envio foi desenvolvido com o objetivo de resolver este
problema: label switching, no portugus, troca de rtulos [SAHA, 2002].

No label switching, um rtulo atribudo a cada pacote e, o encaminhamento do pacote
baeado neste rtulo. Cada roteador no label switching, conhecido como roteador label
switching (LSR Label Switching Router) mantm uma base de dados de envio que mapeia
um par interface/rtulo de entrada a um par interface/rtulo de sada. Este princpio ilustrado
na Figura 2.1 [ROUSSEAU, 2003].

O fato de que o princpio label switching poderia ser aplicado a diferentes tecnologias de
comutao de pacotes/clulas/frames (IP, ATM Asynchronous Transfer Protocol, FR
Frame Relay) foi importante para o desenvolvimento do conjunto de protocolos MPLS
(Multiprotocol Label Switching) [RFC3031].

O caminho utilizado pelos pacotes rotulados chamado caminho label switching (LSP - Label
Switching Path). Os LSRs ao longo de um LSP fazem com que as decises de envio sejam
baseadas nos rtulos transportados pelos pacotes ao invs de serem baseadas no endereo IP
de destino, eliminando assim, a associao de prefixo longa.
39
In
10.4
10.3
10.2
10.1
Out
2
2
1
3
1
1
1
1
1 1
2
2
2
2
2
2
3
3
3
3
3
3
10.1/16
10.2/16
10.3/16
10.4/16
A
In
10.4
10.3
10.2
10.1
Out
3
3
2
1
B
C
In
10.4
10.3
10.2
10.1
Out
3
2
2
1
D
E
F
In
10.4
10.3
10.2
10.1
Out
3
2
1
1
In
10.4
10.3
10.2
10.1
Out
1
3
2
1
In
10.4
10.3
10.2
10.1
Out
3
2
2
1
1
1
1
1
1 1
2
2
2
2
2
2
3
3
3
3
3
3
A
B
C D
E
F
* - atribuio de
rtulo
** - retirada de
rtulo
In
3.15
Out
2.9
In
2.9
Out
3.17
In
3.21
1.17
Out
**
**
In
1.7
Out
2.21
In
1.11
Out
3.7
In
*
*
Out
3.11
2.15

Figura 2.1 Comparao entre o roteamento IP convencional (topo) e o Paradigma Label
Switching (base).

A eliminao da associao de prefixo longa, juntamente com o fato de que existem poucos
rtulos para serem buscados na FIB se comparados com o nmero de endereos IP, tornam o
paradigma label switching mais rpido do que o encaminhamento IP tradicional. Note que o
40
rtulo atribudo ao pacote pelo roteador de ingresso junto com a informao armazenada nas
bases de dados de envio dos LSRs completamente estabelecem o LSP.

2.2.2 MPLS-TE

Engenharia de trfego (TE Traffic Engineering) utilizada para otimizao do desempenho
da rede. O suporte s capacidades TE aprimoradas requerem no somente protocolos de
sinalizao estendidos tal como RSVP-TE (Resource Reservation Protocol) [RFC3209], mas
tambm verses estendidas dos protocolos de roteamento tais como OSPF (Open Shortest
Path First) [RFC2328] e ISIS (Intermediate System to Intermediate System) [RFC1195]. Isto
gerou os protocolos OSPF-TE e ISIS-TE que fornecem informaes TE mais detalhadas sobre
o status e utilizao dos recursos de rede. Estas extenses de engenharia de trfego ao MPLS
so referidas como MPLS-TE [CONTE, 2003], [IOVANNA, 2003].

Observa-se que embora o label switching tenha sido originalmente introduzido para melhorar
a velocidade de encaminhamento (eliminado a demorada associao de prefixo longa), o foco
foi direcionado para o aprimoramento da flexibilidade e capacidades de QoS e para mais
flexveis e eficientes mecanismos de controle (devido ao aprimoramento das capacidade TE).

2.2.3 MPS

Quando as tecnologias pticas foram introduzidas nas redes de telecomunicao, elas foram
desenvolvidas como enlaces ponto-a-ponto interconectando dispositivos como cross-
connects. Com o surgimento do WDM/DWDM, foi possvel multiplexar diversos
comprimentos de onda em uma nica fibra. Os sistemas DWDM foram inicialmente aplicados
41
de forma a exigir operaes manuais para interconexo de fibras, tornando impossvel
qualquer flexibilidade e eliminando a granularidade de todo o sinal multiplexado.

Devido a crescente importncia do trfego IP/MPLS associado com sua dinmica de trfego,
a reconfigurao de conexo ptica tornou mais freqente e a realizao desta operao
manualmente no era mais satisfatria. Portanto, para atender as mudanas das condies de
trfego de maneira conveniente, eliminando o enorme tempo despendido e as operaes
manuais possveis causadoras de erros, cross-connects pticos foram introduzidos para
fornecer capacidades cross-connect automatizadas e controladas remotamente. O conceito de
comutao por comprimento de onda, ou comutao lambda assim surgiu [ROUSSEAU,
2003].

Logo tornou-se claro que apenas o cross-connect automatizado e controlado remotamente
insuficiente para suportar aplicaes de demanda tal como recuperao rpida de rede em
caso de falhas: um plano de controle distribudo necessrio. O IETF iniciou a padronizao
deste plano de controle no final dos anos 90 [MPS]. Baseado na idia de que um
comprimento de onda pode ser considerado equivalente a um rtulo, o conjunto de protocolos
MPLS foi estendido para comutao lambda; e assim surgiu o MPS. Enquanto no MPLS um
par interface/rtulo de entrada associado a um par interface/rtulo de sada, no MPS um
par fibra/comprimento-de-onda de entrada mapeado a um par fibra/comprimento-de-onda de
sada [GALLAHER, 2001].

Depois que o trabalho de definio do MPS foi inicializado, percebeu-se que o paradigma
label switching poderia no apenas ser aplicado a pacotes/clulas/frames e comprimentos de
onda, mas este poderia ser generalizado para slots de tempo, faixa de ondas, fibras, etc. Como
42
conseqncia desta generalizao, o MPS foi aprimorado gerando assim o MPLS
generalizado (GMPLS Generalized MPLS) [SAHA, 2002].

2.2.4 Conceitos Fundamentais do GMPLS

Como mencionado anteriormente, o GMPLS evolui a partir do MPLS via MPS e estendeu o
paradigma label switching de tecnologias de comutao de pacotes/clulas/frames para
tecnologias orientadas conexo [IEC], [DEO, 2003].

Os seguintes objetivos de projeto foram mencionados quando GMPLS foi definido [DEO,
2003], [PAPADIMITRIOU, 2003], [ROUSSEAU, 2003]:
Reduo do nmero de camadas de comutao
Re-uso do paradigma de comutao de rtulos
Re-uso do conjunto de protocolos e mecanismo MPLS-TE
Re-uso do mtodo de endereamento IP

Importante neste contexto que o GMPLS extensivamente re-utiliza os conceitos e protocolos
introduzidos pelo MPLS. O GMPLS se baseia nas seguintes inovaes tcnicas para atender
os objetivos de projeto citados [PAPADIMITRIOU, 2003], [ROUSSEAU, 2003]:
Hierarquia LSP
Este conceito consiste do fato de LSPs de diferentes interfaces de controle serem
colocados dentro de outro LSP com o mesmo tipo de interface ou com um tipo diferente
de interface, obtendo assim, uma hierarquia de envio. Esta hierarquia pode ser construda
se uma interface for capaz de multiplexar diversos LSPs de uma mesma camada, mas
43
tambm, pode ocorrer entre interfaces de diferentes tipos como mostra a Figura 2.2
[MANNIE, 2004], [DEO, 2003], [PAPADIMITRIOU, 2003].

Fibra
1
Lambda
1
TDM
Lambda
N
Fibra
N
TDM
Pacote / Clula
FSC
PSC
TDM
LSC
A
s
s
o
c
i
a
o

d
e

F
i
b
r
a
s

Figura 2.2 - Hierarquia de Envio.

Na hierarquia de envio, muitos LSPs de engenharia de trfego (LSPs-TE) so agregados
dentro de um LSP-TE maior. Ns intermedirios vem somente o LSP externo. Eles no
precisam manter os estados de envio para cada LSP interno. Logo, uma quantidade menor
de mensagens de sinalizao necessria e assim a escalabilidade de sinalizao aumenta.

LSPs bidirecionais
Um LSP bidirecional possui os mesmos requisitos TE incluindo compartilhamento,
proteo e restaurao, LSRs, e requisitos de recursos (e.g. latncia e jitter), em cada
direo. Quando o MPLS(-TE) utilizado para estabelecer um LSP bidirecional, dois
LSPs unidirecionais devem ser independentemente configurados.

44
O GMPLS suporta LSPs bidirecionais com estabelecimento simultneo do caminho
downstream e do caminho upstream utilizando um nico conjunto de mensagens de
sinalizao. Para LSPs bidirecionais, dois rtulos devem ser alocados, um para o caminho
downstream (requerido pelo n upstream e atribudo pelo n downstream) e outro para o
caminho upstream (como especificado pelo n upstream), como mostra a Figura 2.3. O
estabelecimento de um LSP bidirecional no GMPLS indicado pela presena de um
rtulo upstream em uma mensagem de sinalizao apropriada [DEO, 2003],
[PAPADIMITRIOU, 2003].

OXC
Caminho (rtulo sugerido = Lambda A,
rtulo upstream = Lambda X)
Caminho (rtulo sugerido = Lambda B,
rtulo upstream = Lambda Y)
Resv (rtulo = Lambda D) Resv (rtulo = Lambda C)
OXC
Lambda X
Lambda D Lambda C
Lambda Y

Figura 2.3 Alocao de Rtulos para LSPs Bidirecionais com Estabelecimento Simultneo.

Aprimoramento das capacidades de roteamento IGP-TE (Interior Gateway
Protocol Traffic Engineering)
Enlaces no-numerados
Enlaces no numerados so usados para aumentar a escalabilidade de
endereamento. Definidos como ponto-a-ponto, estes enlaces ou interfaces no
so identificados por um endereo IP, ao contrrio, eles utilizam a combinao
de um identificador de roteador nico e um nmero de enlace, que unicamente
45
identifica o enlace em um escopo local da entidade de plano de controle. Esta
combinao de 32 bits e chamada de identificador local de enlace, da
perspectiva do LSR host, ou identificador remoto de enlace, da perspectiva dos
demais LSRs. Protocolos de sinalizao e protocolos de roteamento foram
estendidos para transportarem e concordarem com tal informao no plano de
sinalizao [MANNIE, 2004], [IEC].
Enlaces TE
Quando um par de LSRs conectado por mltiplos enlaces, possvel anunciar
vrios ou todos estes enlaces como um nico enlace no OSPF e/ou ISIS. Este
processo chamado associao de enlaces. O enlace lgico resultante
chamado enlace TE e seus enlaces fsicos so chamados de enlaces
componentes [DEO, 2003]. A finalidade da associao de enlace melhorar a
escalabilidade de roteamento atravs da reduo da quantidade de informao
que deve ser manipulada pelo IGP, pois o mesmo enxerga somente o enlace
TE, e no cada enlace componente. Esta reduo atingida pela
agregao/abstrao da informao. [MANNIE, 2004], [PAPADIMITRIOU,
2003].

Protocolo de gerenciamento de enlace
Mencionado na seo 2.5.3 e detalhado no Captulo V.

2.3 RTULOS GENERALIZADOS

MPLS Generalizado difere do MPLS tradicional pois suporta mltiplos tipos de comutao.
Para lidar com este amplo escopo de domnios de comutao e provisionar um caminho timo
46
baseado nos requisitos dos diferentes tipos de trfego do usurio, vrias novas formas de
rtulos so requeridas. Estas novas formas de rtulos so coletivamente referidas como
rtulo generalizado [MANNIE, 2004], [IEC].

O rtulo generalizado uma extenso do rtulo tradicional permitindo a representao de no
somente rtulos que viajam com os pacotes de dados associados, mas tambm rtulos que
identificam slots de tempo, comprimentos de onda ou fibra (espao fsico).

Os rtulos generalizados podem ser classificados como [CHOI, 2003], [PAPADIMITRIOU,
2003]:
Rtulos de Slots de Tempo
A largura de banda de uma fibra ptica subdividida em slots de tempo pela
multiplexao por diviso de tempo (TDM Time Division Multiplexing) e, um
comutador ptico pode satisfazer um pedido de fluxo de dados particular alocando um ou
mais slots de tempo para este fluxo.
Rtulos de Comprimento de Onda
A largura de banda de uma fibra ptica subdividida atravs de multiplexao por diviso
de comprimento de onda (WDM - Wavelength Division Multiplexing). Um LSR ptico
pode alocar um nico comprimento de onda para um fluxo de dados pedido. Neste caso, o
valor do rtulo o comprimento de onda selecionado.
Rtulos de Faixa de Ondas
Se comprimentos de onda consecutivos so agrupados em uma faixa de ondas logo, para
que todos sejam comutados da mesma forma, o rtulo composto por um identificador de
faixa de ondas e um par de nmeros inteiros e positivos (identificadores de canais)
indicando o comprimento de onda inferior e superior da faixa de ondas selecionada.
47
Rtulos de Fibra
Roteadores Label Switching (LSRs) podem alocar toda uma fibra para um fluxo de dados
e assim simplesmente precisam concordar em qual fibra usar. Neste caso, o valor do
rtulo utilizado o nmero da fibra selecionada. A interpretao dos nmeros de
fibra/porta um problema local para os LSRs no enlace.

O tamanho dos rtulos generalizados de 32 bits como mostra a Figura 2.4a. O rtulo de
faixa de ondas uma exceo; este formado por um maior nmero de bits (96 bits) por ser
composto por um maior nmero de informaes: 32 bits do ID (identificador) de faixa de
ondas, 32 bits do comprimento de onda inferior e 32 bits do comprimento de onda superior,
como apresentado na Figura 2.4b.

Como os ns enviando e recebendo as novas formas de rtulos sabem que tipo de enlace eles
esto usando, o rtulo generalizado no contm um campo tipo, ao contrrio, espera-se que
os ns saibam, com base no contexto, o tipo de rtulo esperado.

Rtulo

(a)

ID de Waveband
Comprimento de Onda Inferior
Comprimento de Onda Superior

(b)
Figura 2.4 - Rtulos Generalizados

Para todos os tipos de domnios descritos, o valor do rtulo implica diretamente a largura de
banda disponvel para o fluxo de dados correspondente. Esta situao um pouco diferente do
48
caso dos rtulos no-generalizados e uma reflexo fundamental da natureza das redes
pticas.

2.3.1 Pedido de Rtulo Generalizado

Os procedimentos do protocolo MPLS bsico para estabelecimento do valor do rtulo atravs
de um enlace no so diferentes para as redes pticas:
O LSR upstream envia um pedido ao LSR downstream (uma mensagem Path no RSVP,
um pedido de rtulo no CR-LDP Constraint-based Routing Label Distribution
Protocol). O pedido contm informaes suficientes sobre a largura de banda e qualidade
de servio requeridos para que o LSR downstream faa uma escolha de rtulo adequada.
O LSR downstream recebe o pedido e aloca o valor de um rtulo que atende os requisitos
especficos do pedido.
O LSR downstream envia uma resposta ao LSR upstream (Resv no RSVP, Mapeamento
de rtulo no CR-LDP) comunicando o valor de rtulo selecionado.

Algumas informaes que o LSR downstream precisa, com o objetivo de realizar a melhor
escolha para o valor do rtulo requerido, so indiretamente sugeridas pelo contexto. No nvel
mais bsico, ambos LSRs envolvidos sabem que o rtulo deve ser um rtulo generalizado ao
invs de um rtulo no-generalizado, pois o enlace ao qual o pedido se relaciona um enlace
ptico generalizado. Portanto, esta informao no est explcita na mensagem de pedido.

No entanto, como um enlace ptico pode ser formado por um conjunto de fibras, e os
comutadores podem suportar mais de um tipo de multiplexao nestas fibras, necessrio que
o LSR upstream especifique o tipo de codificao do LSP que ele quer para o fluxo de dados
49
sendo estabelecido; este tipo de codificao ento determina se o rtulo selecionado baseado
em slot de tempo ou comprimento de onda, por exemplo, e de que tipo.

O pedido de rtulo generalizado deve ser adicionado na mensagem Path RSVP-TE ou, em
uma mensagem de pedido CR-LDP. Somente um pedido de rtulo generalizado pode ser
usado em cada mensagem, logo um nico LSP pode ser requerido por cada mensagem de
sinalizao.

O pedido de rtulo generalizado realiza a comunicao das caractersticas requeridas para
suportar o LSP sendo pedido, como mencionado anteriormente. Outros parmetros
especficos de tecnologia no so transportados no pedido de rtulo, mas sim em parmetros
de trfego especficos da tecnologia.

2.3.2 Escolha de rtulos com restries

Como descrito anteriormente, a escolha do rtulo para cada enlace normalmente feita pelo
n downstream daquele enlace especfico. No MPLS no-generalizado, onde rtulos so
simplesmente nmeros arbitrrios, este procedimento no resulta em nenhum tipo de
problema ao ambiente de rede. No MPLS Generalizado, onde os rtulos so diretamente
relacionados com os recursos da rede, esta escolha pode levar a conflitos durante o
estabelecimento do LSP. Por exemplo, um comutador ptico baseado em micro espelhos pode
ser capaz de comutar um comprimento de onda de uma porta de entrada a uma porta de sada,
mas no capaz de modificar o comprimento de onda.

50
A Figura 2.5 apresenta dois LSPs em uma rede ptica onde os comutadores (OXCs Optical
Cross Connects) so incapazes de fazer converses de comprimento de onda. O LSP-L1
(comprimento de onda L1 usado) passa pelos ns A, B, D, E e F. O LSP-L2 estabelecido
entre os ns C, D, E e G (cores representam os comprimentos de onda usados pelos LSPs).

No h conflitos no enlace entre os ns D e E pois os dois LSPs utilizam comprimentos de
onda diferentes. No entanto, quando o LSR C precisa estabelecer um novo LSP atravs dos
ns D, E e G, este deve escolher um novo comprimento de onda. Se a escolha for realizada
pelo LSR G (o que o procedimento normal no GMPLS), o n G poderia escolher o
comprimento de onda L1. Como o comprimento de onda L1 j est sendo utilizado entre os
ns D e E, o mesmo no pode ser utilizado. Se a escolha for feita pelo LSR C, um problema
similar pode acontecer [JERRAN, 2001].

OXC A
OXC F
OXC G OXC E OXC D OXC C
OXC B
? ?
L1
L1 L1
L1
L1
L1
L2 L2 L2

Figura 2.5 - Conflito na Escolha de Rtulos com Restrio em Comutadores pticos.

Existe, portanto, uma necessidade em permitir que todos os OXCs ao longo de um caminho a
ser estabelecido influenciem e/ou restrinjam a escolha de rtulos para garantir que os rtulos
apropriados sejam escolhidos.

GMPLS introduz o conceito de conjunto de rtulos para restringir a faixa dos rtulos que
podem ser usados por um LSP particular entre dois peers. Um LSR upstream inclui um
51
conjunto de rtulos no seu pedido de sinalizao para restringir a escolha de um rtulo pelo
LSR downstream para o enlace entre eles. O receptor de um conjunto de rtulos (LSR
downstream) limita sua escolha de rtulos para um rtulo pertencente ao conjunto de rtulos
caso contrrio o estabelecimento do LSP falha (esta limitao se aplica a cada salto, pois
semelhante a um rtulo, um conjunto de rtulos deve estar presente atravs de mltiplos
saltos) [MANNIE, 2004].

Com o objetivo de suportar o objeto conjunto de rtulos, controladores de comutador ptico
(OSCs - optical switch controllers) possuem dois reservatrios de comprimentos de onda
denominados Reservatrio dos Utilizados (UP - Used Pool) e Reservatrio dos Disponveis
(AP - Available Pool). O AP usado para sugerir comprimentos de onda para downstream. Se
qualquer comprimento de onda no conjunto de rtulos recebido est no UP, o comprimento de
onda especfico retirado do conjunto de rtulos antes de ser encaminhado ao n
downstream. Por exemplo, um LSR que incapaz de realizar converso de comprimentos de
onda gera um conjunto de rtulos de sada para encaminhar o conjunto de rtulos de entrada
menos qualquer rtulo que ele no pode gerar ou receber [BERGER, 2003].

Considere novamente o exemplo na Figura 2.5. Suponha que o LSR C pode somente gerar
comprimentos de onda na faixa R. Assim, ele sinaliza um conjunto de rtulos de qualquer
comprimento de onda na faixa R exceto L2. LSR D modifica este conjunto e sinaliza
qualquer comprimento de onda na faixa R exceto L2 e L1. LSR E encaminha esta
sinalizao e LSR G pode selecionar um comprimento de onda que aceitvel a todos os
LSRs no caminho, se um estiver disponvel.

52
O conjunto de rtulos til em domnios pticos quando, por exemplo:
Um LSR incapaz de converter diferentes comprimentos de onda
Um LSR pode somente gerar e receber um subconjunto de comprimentos de onda que
podem ser comutados pelos LSRs vizinhos
desejvel por um LSR que a quantidade de converses de comprimentos de onda
que devem ser realizadas seja limitada, com o objetivo de reduzir distores nos
sinais pticos.
Duas terminaes de enlace suportam diferentes conjuntos de comprimentos de onda

Segue ento a descrio do estabelecimento de um caminho ptico no GMPLS utilizando o
conceito de conjunto de rtulos.

A sinalizao GMPLS estabelece um caminho ptico da origem ao destino, assumindo que as
extenses GMPLS para RSVP-TE so utilizadas. A abordagem de sinalizao segue o modo
downstream sob demanda onde um n upstream faz um pedido de rtulo explicitamente e um
n downstream atribui um rtulo particular como resposta ao pedido. Alm disso, um n
somente atribui um rtulo ao seu vizinho upstream se o mesmo for o n de destino, ou se este
j recebeu um rtulo do seu prximo salto. Assim, a fase de sinalizao consiste de um pedido
de rtulo que passa n a n da origem ao destino, seguido por uma atribuio de rtulo
encaminhada ao longo da rede em direo oposta ao pedido, de volta a origem. No RSVP-TE,
um pedido de rtulo est contido na mensagem Path enquanto que a atribuio de rtulo est
contida na mensagem Resv [OKI, 2004].

Quando a origem precisa estabelecer um caminho ptico para um destino em particular,
primeiro ela determina a rota/caminho em direo ao destino. Assim que a rota for
53
determinada, a origem inicia uma mensagem Path (pedido de rtulo generalizado) do RSVP-
TE
8
contendo:
objeto de pedido de rtulo
objeto de rota explcita (ERO explicit route object) que armazena a rota que foi
determinada
objeto conjunto de rtulos que permite que o n upstream restrinja o conjunto de
rtulos que o n downstream pode selecionar e,
outros objetos relevantes.

medida que o conjunto de rtulos se propaga na mensagem Path, cada n downstream pode
gerar um novo conjunto de rtulos de sada possivelmente baseado no conjunto de rtulos de
entrada e na sua capacidade de hardware. Quando o n de egresso (destino) recebe a
mensagem Path, ele seleciona qualquer rtulo pertencente ao conjunto de rtulos de entrada, e
envia sua escolha em um objeto reserva de rtulos usando a mensagem Resv. Cada n ao
longo da rota reserva o rtulo selecionado medida que a mensagem Resv segue em direo
ao n de ingresso [KIM, 2003].

Se o n incapaz de escolher um rtulo do conjunto de rtulos ou se existe um problema em
analisar o conjunto de rtulos, ento o pedido finalizado e uma mensagem PathErr com
uma indicao problema de roteamento/ conjunto de rtulos deve ser gerada. Quando o
conjunto de rtulos resultante vazio, a mensagem Path deve ser finalizada, e uma mensagem
PathErr e uma indicao problema de roteamento/ conjunto de rtulos deve ser gerada.

8
Os termos do protocolo RSVP-TE so utilizados e os termos do protocolo CR-LDP so fceis de serem
deduzidos.
54
A Figura 2.6 ilustra a seqncia de passos necessrios para o estabelecimento de um caminho
ptico. No passo (a), a origem inclui um conjunto de rtulo {
1
,
2
,
3
,
4
,
5
,
6
} na sua
mensagem Path indicando que o laser da origem capaz de sintonizar seus comprimentos de
onda para qualquer um dos seus comprimentos de onda possveis. Aps o recebimento da
mensagem Path, o primeiro roteador de comprimento de onda faz a interseo do conjunto de
rtulos de entrada e o conjunto de rtulos disponveis no seu enlace de sada, resultando em
um conjunto de rtulos de sada {
1
,
4
,
5
,
6
}, que ser encaminhado na mensagem Path ao
prximo salto. Cada roteador de comprimento de onda realiza a mesma operao at que o
conjunto de rtulos seja propagado ao destino, que ento seleciona um dos rtulos aceitveis.
Depois que o destino selecionou um rtulo indicado no passo (b), rtulo
1
atribudo a cada
salto em direo a origem. Quando todos os rtulos ao longo do caminho forem atribudos,
um caminho ptico com comprimento de onda
1
entre origem e destino estabelecido (passo
(c)) [WIDJAJA, 2002], [OKI, 2004], [KIM, 2003].

S L2
L3
D
L6
L3
L4
Path Path Path Path Path
rtulos utilizados
L1
L2
L3
L4
L5
L6
Conjunto
de Rtulos
L1
L4
L5
L6
L1
L4
L5
L6
L1
L4
L5
L1
L5
S D
Resv Resv Resv Resv Resv
L1 L1 L1 L1 L1
S D
L1 L1 L1 L1 L1
Lightpath
(a)
(b)
(c)

Figura 2.6 Como estabelecer um caminho ptico com sinalizao RSVP-TE.

55
Note que um rtulo pode ser sugerido por mltiplas mensagens Path, pois o rtulo no
realmente reservado at que a mensagem Resv seja recebida. Assim, mltiplas mensagens
Resv podem tentar reservar os mesmos recursos, resultando em falha para pelo menos um
pedido de conexo e conseqentemente, uma mensagem ResvErr deve ser enviada aos ns do
caminho que j realizaram a reserva do comprimento de onda selecionado.

Quando h demanda em uma rede GMPLS total ou parcialmente ptica e preciso realizar
roteamento e seleo de comprimento de onda, um pedido de conexo pode falhar devido a
um dos dois eventos de bloqueio denominados bloqueio de enlace forward e bloqueio de
enlace backward. O bloqueio de enlace forward devido a recursos de comprimento de onda
insuficientes e a no utilizao de algoritmos de roteamento que promovem o balanceamento
no uso dos enlaces. Bloqueio de enlace backward acontece devido ao conflito de reservas de
rtulos (no caso das redes GMPLS pticas, um rtulo particular sinnimo de um
comprimento de onda particular). Assim, o objeto conjunto de rtulos no suficiente para
eliminar o bloqueio de enlace backward que ocorre quando dois ou mais ns de egresso
selecionam o mesmo rtulo para conexes que compartilham os mesmos enlaces.

2.4 INTERFACES SUPORTADAS

A arquitetura MPLS foi estendida de forma que as decises de comutao na rede possam ser
tomadas com base no somente nos cabealhos dos pacotes e clulas mas tambm com base
em slots de tempo, comprimentos de onda e espaos fsicos. Assim, as interfaces LSRs
suportadas no GMPLS, apresentadas na Figura 2.7, so [POLARIS], [MANNIE, 2004],
[IEC], [DEO, 2003]:

56
PSC Packet Switch Capable
Interfaces com capacidade de comutao de pacotes. O encaminhamento de dados
baseado no contedo do cabealho MPLS transportado por pacotes e clulas.
TSC Time Division Multiplexing Switch Capable
Interfaces com capacidade TDM. As decises de envio so baseadas no slot de tempo dos
dados em um ciclo repetitivo.
LSC Lambda Switch Capable
Interfaces com capacidade de comutao de lambdas (ou comprimento de ondas). O envio
de dados se baseia no comprimento de onda ou faixa de comprimentos de onda
(waveband) no qual os dados so recebidos.
FSC Fiber Switch Capable
Interfaces com capacidade de comutao de fibras. O encaminhamento de dados
baseado na posio dos dados no espao fsico do mundo real (e.g., porta de entrada ou
fibra).

Rtulo MPLS
Rtulo de Slot
de Tempo
Rtulo de
Tamanho de
Onda
Rtulo de Fibra
LSP de Pacotes
LSP TDM
LSP de Tamanho de Onda
LSP de Fibra

Figura 2.7. Interfaces suportadas pelo GMPLS.

57
2.5 CONJUNTO DE PROTOCOLOS

A arquitetura do plano de controle GMPLS (Figura 2.8) composta por diferentes blocos [LI,
2002]. Eles so baseados nos protocolos de sinalizao e roteamento MPLS-TE que foram
estendidos para suportar o GMPLS, bem como no proposto protocolo de gerenciamento de
enlace [MANNIE, 2004], [ABOUL-MAGD, 2001], [IEC], [PAPADIMITRIOU, 2003].

Tabela de Roteamento
Trocas com Banco de Dados/
Flooding
Adjacncias de Roteamento (Hello)
Controlador de roteamento
Controlador de Sinalizao
(Blocos de Estado e Hellos)
Controlador de Conexo
Controle de Admisso e
Policiamento de Enlace
TE
Computao e Seleo de
Caminhos
Controlador TE
Banco de Dados
de Estado de
Enlace
Banco de Dados
de Enlace TE
Manuteno e Controle
de
Enlace de Dados e
Enlace TE
Controlador de Enlace
Manuteno e
Configurao de Canal
de Controle
Controlador de CC
Controlador GMPLS
1a
1b
2a
3a
3b
2b
2c

Figura 2.8 Fluxo de Informao e Controle GMPLS.

A Figura 2.8 resume os diferentes fluxos externos de informao e as interaes internas de
plano de controle entre os distintos blocos da arquitetura de plano de controle GMPLS:
Sinalizao sinalizao RSVP-TE (1a) e Hellos (1b) para manuteno de adjacncia
de sinalizao
58
Roteamento OSPF-TE com Hellos para descobrimento e manuteno de adjacncia
de roteamento (2a), troca de descrio de banco de dados (2b) e, atualizao/pedido/
reconhecimento de estado de enlace (2c)
Protocolo de gerenciamento de enlace manuteno e configurao de canal de
controle (Hellos 3a) e, gerenciamento de enlace de dados e enlace TE (verificao,
correlao e gerenciamento de falha 3b)

2.5.1 Protocolos de Roteamento

O roteamento GMPLS [BANERJEE, 01/2001] refere-se disseminao de informao de
alcanabilidade, topologia e recursos/capacidade atravs da topologia de roteamento do plano
de controle. GMPLS fornece extenses de roteamento TE adicionais s interfaces no-PSC, se
comparado ao roteamento TE realizado no MPLS-TE atravs dos protocolos OSPF-TE (Open
Shortest Path First Traffic Engineering) e ISIS-TE (Intermediate System to Intermediate
System Traffic Engineering) [KOMPELLA, 2003].

Para o aprimoramento de escalabilidade, os seguintes mecanismos foram definidos: enlaces
no numerados, tipo de proteo de enlace, informao de grupo de enlace de risco
compartilhado (SRLG Shared Risk Link Group) e associao de enlaces (note que estes
mecanismos so igualmente aplicveis s interfaces PSC).

Para utilizar os recursos de forma mais eficiente, o algoritmo de computao de caminhos
considera vrias restries TE. Assim, o roteamento baseado em restries ultrapassa o
algoritmo SPF (Shortest Path First) tradicional. Estas restries incluem restries intrnsecas
(ou de rede) tais como capacidades de enlace TE (framing, proteo, etc) e suas
59
disponibilidades de recursos (largura de banda, etc) e, restries extrnsecas tais como o nvel
de servio requerido e tempo mdio de recuperao. Em resumo, roteamento baseado em
restries deve considerar as restries intrnsecas e extrnsecas para computar o(s)
melhor(es) caminho(s) que as satisfazem.

Para tornar a computao de caminho baseada em restries praticvel, o LSR que inicia o
pedido do LSP precisa de mais informao (i.e., atributos) sobre os enlaces TE do que os
protocolos de roteamento intra-domnio fornecem para as redes IP/MPLS. Estes atributos TE
so disseminados usando os mecanismos de distribuio dos protocolos de roteamento de
estado de enlace j estendidos para o MPLS-TE tais como, OSPF-TE e ISIS-TE. Assim, os
algoritmos de computao e seleo de caminhos so mantidos especficos por cada
fabricante, desde que os atributos TE sejam semanticamente padronizados [DEO, 2003].

Extenses aos protocolos de roteamento do MPLS-TE so fornecidas para uniformemente
codificarem e transportarem informaes de enlace TE. Esta informao ento utilizada
pelos algoritmos de computao de caminhos para estabelecerem rotas explcitas atravs do
processo de sinalizao. Rotas explcitas garantem que as restries TE e o nvel de servios
requeridos (como parte do pedido de conexo) sejam satisfeitos no estabelecimento do LSP ao
longo da rede. Enquanto o roteamento explcito normalmente utilizado, o roteamento salto-
a-salto pode ser considerado, mas este tem um escopo de aplicabilidade restrito devido
gerao permanente de loops em ambientes altamente dinmicos [KOMPELLA, 2003].

60
2.5.2 Protocolos de Sinalizao

A sinalizao GMPLS [BANERJEE, 07/2001] estende dois protocolos definidos pelo MPLS-
TE, RSVP-TE [BERGER, 2003] e CR-LDP, e em alguns casos adiciona funcionalidades.
Estas mudanas e adies provocam impacto em propriedades LSP bsicas, por exemplo, na
forma como os rtulos so requeridos e distribudos, a natureza unidirecional dos LSPs, a
maneira como os erros so propagados e a informao fornecida para sincronizao do n de
ingresso e do n de egresso.

Estes protocolos de sinalizao devem ser capazes de transportar os parmetros LSP
requeridos tais como largura de banda, tipo de sinal, proteo de enlace desejada, posio em
uma multiplexao especfica, etc [BERGER, 2003].

A sinalizao GMPLS comanda a alocao de rtulo do tipo downstream sob-demanda bem
como a distribuio com controle ordenado e iniciado pelo n de ingresso. Embora a reteno
de rtulo liberal seja normalmente usada, a reteno de rtulos conservativa
9
tambm deve ser
considerada. Alm disso, no h restrio quanto estratgia de alocao de rtulos. A
alocao pode ser orientada a pedido/sinalizao (o que obvio para as tecnologias de
comutao de circuito), orientada a topologia ou at mesmo orientada a dados/trfego
(embora esta ltima opo seja muito comum, ela requer a definio de uma funo de
ativao) [DEO, 2003].

A sinalizao GMPLS define novos blocos de construo no topo do MPLS-TE:
(i) Novo formato de pedido de rtulo genrico

9
Se um LSR suporta o modo de reteno de rtulo liberal, ele mantm as associaes entre um rtulo e uma
FEC que recebida de LSRs que no so considerados como prximo salto para a FEC. Se um LSR suporta o
modo de reteno de rtulo conservativo, ele descarta tais associaes. Mais detalhes em RFC3031.
61
(ii) Rtulos para as interfaces TSC, LSC e FSC, conhecidos como rtulos generalizados
(iii) Suporte para comutao de faixa de ondas
(iv) Sugesto de rtulo pelo n upstream para finalidade de otimizao (e.g. latncia)
(v) Restrio de rtulo pelo n upstream para suportar algumas restries pticas
(vi) Estabelecimento de LSP bidirecional com resoluo de conteno
(vii) Extenses de notificao de falha
(viii) Informao de proteo e foco na recuperao de enlace, mais indicao do LSP
primrio e secundrio
(ix) Roteamento explcito com controle de rtulo explcito para um melhor grau de
controle
(x) Parmetros de trfego especficos por tecnologia
(xi) Manipulao do status administrativo do LSP.

Note que o GMPLS altamente genrico e possui muitas opes. Somente os blocos (i), (ii) e
(x) so obrigatrios, e somente o formato especfico necessrio. Tipicamente, os blocos (vi)
e (ix) devem ser implementados. Os blocos (iii), (iv), (v), (vii), (viii) e (xi) so opcionais.

Uma rede de comutao SONET/SDH tpica implementa os blocos (i) e (ii) (rtulo
SONET/SDH), (vi), (ix), (x) e (xi). Os blocos (vii) e (viii) so opcionais, pois
proteo/restaurao pode ser executada usando bytes de overhead SONET/SDH.

Uma rede tpica de comutao por comprimento de onda implementa os blocos (i), (ii)
(formato genrico), (iv), (v), (vi), (vii), (viii), (ix) e (xi). O bloco (iii) necessrio somente em
caso particular de comutao de faixa de ondas. Uma rede de comutao de fibra tpica
implementa os blocos (i), (ii) (formato genrico), (vi), (vii), (viii), (ix) e (xi).
62
Uma rede MPLS-IP tradicional no implementa nenhum desses blocos pois a ausncia do
bloco (i) indica MPLS-IP regular. Note, no entanto, que os blocos (ii) e (viii) podem tambm
ser usados para sinalizar MPLS-IP. Neste caso, a rede MPLS-IP pode beneficiar-se do tipo de
proteo de enlace (no disponvel no CR-LDP e uma forma muito bsica disponvel no
RSVP-TE). Bloco (ii) aqui um rtulo regular e nenhum formato de rtulo novo requerido.

2.5.3 Protocolo de Gerenciamento de Enlace

O LMP, protocolo de gerenciamento de enlace (no ingls Link Management Protocol), est
sendo desenvolvido como parte do conjunto de protocolos GMPLS para gerenciar enlaces TE
e permitir que elementos de rede se comuniquem de forma adequada. Este protocolo permite
que os ns descubram a identidade e informao detalhada de interfaces dos ns vizinhos e
mantm esta informao atualizada assim que configuraes ou propriedades dos enlaces TE
so modificadas [DATA CONNECTION].

O LMP consiste de quatro funes suportadas pelos controladores de canal de controle e
enlace TE; as duas primeiras funes so obrigatrias e as demais so opcionais [DEO, 2003]:
Gerenciamento de canal de controle
usado para estabelecer, configurar e manter a conectividade entre ns adjacentes
10
(mais
precisamente, entre controladores GMPLS) atravs da topologia de rede de controle. Esta
operao realizada utilizando a troca de mensagens de configurao de canal de
controle, seguido por uma troca de mensagens do tipo keep-alive.
Correlao de propriedade de enlace

10
Com a separao entre o plano de controle e o plano de dados, vizinhos no plano de controle no
necessariamente so vizinhos no plano de dados.
63
usada para agregar mltiplos enlaces de dados em um nico enlace TE e sincronizar as
propriedades local e remota do enlace TE.
Verificao de enlace
usada para verificar a conectividade fsica dos enlaces de dados e o mapeamento entre
os identificadores de interface local e remota dos enlaces de dados.
Gerenciamento de falhas
usado para suprimir alarmes e localizar falhas de enlace em redes opacas e
transparentes.

2.6 FUNCIONAMENTO

Considere uma rede GMPLS como mostra a Figura 2.9, que est sob controle do plano de
controle GMPLS. O estabelecimento de LSPs entre ns da rede feito atravs de uma
sucesso de aes, como descrito a seguir. Aqui, a funo de cada protocolo no processo de
estabelecimento de um LSP descrita [LI, 2002].

OXC
A
OXC
C
OXC
B
OXC
D
LSR
LSR
Componente de
Controle
Plano de Controle
Plano de Dados

Figura 2.9 Rede GMPLS.

64
2.6.1 Descobrimento de Vizinhos

Para qualquer n na rede requer-se que este conhea outros elementos de rede, as interfaces
disponveis, e topologia dos enlaces entre estas interfaces.

Funo do LMP no estabelecimento de enlace
Depois da inicializao de um n, ele negocia as propriedades de enlace (e.g. formato de
dados, monitoramento de erros) com o elemento de rede na outra terminao de cada enlace
disponvel. Aps finalizar tais negociaes com sucesso, cada elemento de rede est apto a
realizar plena comunicao com seus vizinhos.

Funo do OSPF-TE no descobrimento de vizinhos
No prximo passo, o protocolo de descoberta de topologia iniciado. Primeiro ele aprende
quais elementos de rede esto diretamente conectados aos seus enlaces. Por exemplo, o n A
aprende que o n B e o n D so seus vizinhos. A seguir, eles trocam todas as informaes
que receberam com cada um. Assim, n A sabe que o n C est a dois hops de distncia.
OSPF-TE tambm distribui informao sobre o uso de recursos em cada n. Esta informao
preenche uma base de dados TE que mantm registro da utilizao de recursos e desempenho
de cada n na rede. O protocolo de descobrimento executado continuamente e atualiza a
base de dados TE em tempo real. Neste ponto, todos os elementos de rede participantes do
plano de controle possuem conhecimento completo da rede. A rede est pronta para aceitar
pedidos de servio.

65
2.6.2 Clculo de Caminhos

Para um servio particular, um caminho apropriado encontrado atravs da rede tornando
eficiente o uso dos elementos de rede e enlaces.

Funo do algoritmo CSPF (Constrained Shortest Path First)
Um pedido de servio iniciado pelo software de gerenciamento (como SNMP - Simple
Network Management Protocol) chega do n de ingresso. Este n realiza uma busca em sua
base de dados TE para encontrar o melhor caminho entre os pontos finais do servio. O
melhor caminho definido como um caminho que minimiza o nmero de enlaces ou atraso de
rede enquanto tambm satisfaz as restries e polticas especificadas pelo usurio. As
restries so o aspecto mais interessante do plano de controle inteligente.

Restries tpicas incluem:
Evitar ns e enlace especficos. Isto usado com freqncia para obter caminhos
independentes de falhas. Ns e enlaces que compartilham os mesmos riscos so
coletados em grupos. Os riscos podem ser fibras no mesmo conduto ou, escritrios
centrais na mesma zona de terremoto. Logo, pode-se requerer que os caminhos passem
por grupos diferentes.
Incluir ns especficos. Um caso especial especificar completamente cada n no
caminho. Isto pode ser usado em casos onde o clculo de caminhos manualmente
desejado.
Respeitar certas propriedades de atraso e jitter.

66
2.6.3 Sinalizao de Servio

A configurao de cada elemento de rede do caminho, de acordo com todos os parmetros
necessrios, deve ser realizada para que o servio seja iniciado.

Funo do RSVP-TE ou CR-LDP na sinalizao de servio
Assim que um caminho selecionado, protocolos de sinalizao so utilizados para associar
cada elemento de rede ao caminho. Em cada n, o gerenciamento de recurso realizado para
garantir que o atendimento do servio permita que o novo servio e todos os servios j
existentes tenham suas QoS garantidas.

Cada n ao longo do caminho faz uma verificao final e reserva recursos para o servio. Se
qualquer n no pode cumprir os requisitos do servio, um erro gerado e todos os recursos
reservados em outros ns no caminho so liberados. Neste ponto, o clculo do caminho
repetido com base na informao atualizada. Assim que a sinalizao de servio estiver
completa, o servio pode ser liberado e tornar disponvel ao usurio final.

O trabalho do plano de controle no pra apenas porque o servio foi criado. Ele
continuamente atualiza a base de dados TE para lidar com falhas e troca de carga na rede.

2.7 GRUPO DE ENLACES DE RISCO COMPARTILHADO SRLG

SRLG, no ingls shared risk link group, fornece parmetros fundamentais para o
gerenciamento de recursos no plano de controle GMPLS e necessrios para planejar a
confiabilidade nas redes de transporte. Um SRLG est associado com uma entidade em risco,
67
tipicamente um segmento de fibra, ou seja, um SRLG define um conjunto de enlaces que
compartilham um risco em comum (por exemplo, um recurso fsico comum tal como enlace
de fibra ou um cabo de fibra) [PAPADIMITRIOU - Draft, 2003]. Um conjunto de enlaces
pode constituir um grupo de enlaces de risco compartilhado (SRLG) se estes compartilham
um recurso cuja falha pode afetar todos os enlaces no conjunto e, um enlace pode pertencer a
mltiplos SRLGs. Assim, a informao SRLG (SRLG-Info) de cada enlace descreve a lista de
SRLGs, ou seja, os grupos de risco, aos quais este enlace pertence. Por exemplo, um conjunto
de enlaces L pertence ao mesmo SRLG s, se eles existirem sobre o mesmo enlace de fibra f
[SEBOS, 2002], [STRAND, 2001], [OKI, 2004], [MIYAMURA, 2004].

Uma vez que os ns recebem a informao de enlace TE, as relaes SRLG correspondentes
podem ser computadas em uma base regular. O conjunto SRLG de cada enlace propagado
uma vez na configurao inicial entre os vrios ns utilizando extenses TE do GMPLS para
IGPs (OSPF-TE, ISIS-TE). Depois desta troca inicial de identificadores SRLG, valores
correspondentes no so alterados com o tempo. No entanto, a propagao de informao
SRLG necessria sempre que um novo enlace adicionado ou um enlace j existente
removido. A informao SRLG opcional e se a Propagao de Estado de Enlace (Link State
Advertisement - LSA) no transportar a informao SRLG isto significa que o SRLG daquele
caminho no conhecido [PAPADIMITRIOU - Draft, 2003].

Um SRLG identificado por um nmero de 32 bits que nico no domnio IGP. A
informao SRLG uma lista no ordenada de SRLGs aos quais o enlace pertence. O SRLG
de um LSP a unio dos SRLGs dos enlaces no LSP. O SRLG de um enlace associado a
unio dos SRLGs de todos os enlaces componentes.

68
O conceito SRLG foi concebido no desenvolvimento de mecanismos de recuperao de
falhas. Ele (SRLG) considerado como um dos critrios mais importantes com relao a
comutao de caminhos baseados em restries nas rotas de canal ptico. Aplicando o critrio
de disjuno SRLG na computao de caminhos baseados em restries, pode-se selecionar
uma rota levando em considerao a separao de estrutura lgica e de recursos. Isto implica
em uma probabilidade mais baixa de falhas de canal ptico simultaneamente. Se so
atribudos diferentes comprimentos de onda, em uma nica fibra para um LSP primrio e o
seu LSP de backup, um simples corte na fibra resultaria na falha de ambos caminhos, LSPs
primrio e de backup. Para evitar este problema, o conceito SRLG foi introduzido para
garantir a disjuno destes dois LSPs.

A Figura 2.10 apresenta uma rede com SRLG, onde o nmero associado com cada enlace
identifica o SRLG [STRAND, 2001]. Na Figura 2.10(a), os enlaces 1-4 e 3-2 possuem o
mesmo nmero SRLG (SRLG #4), o que significa que estes enlaces pticos compartilham a
mesma fibra como apresentado na Figura 2.10(b). Isto conhecido como problema de traps
(emboscada) nas redes SRLG, ou seja, caminhos/enlaces que aparentemente so distintos,
mas fisicamente so o mesmo enlace (um problema importante que diminui o desempenho
das redes com relao a probabilidade de bloqueio mas muitos protocolos de roteamento e
atribuio de comprimento de onda no consideram) [STRAND, 2001], [SEBOS, 2002],
[MIYAMURA, 2004], [PAPADIMITRIOU - Draft, 2003].

No domnio ptico, o conceito SRLG usado para derivar um caminho, que disjunto em
relao aos recursos lgicos (ou ativos) e fsicos (ou passivos). Os requisitos correspondentes
quando considera-se uma rede fsica, topologia e riscos associados podem ser resumidos
como segue [MIYAMURA, 2004]:
69
O mecanismo de codificao do SRLG deve reduzir a complexidade de computao
de caminho
A quantidade de informao SRLG deve ser delimitada para reduzir a quantidade de
informao que trocada entre domnios e inter domnio
A codificao SRLG deve acomodar as restries lgicas e fsicas impostas na
diversidade de requisitos

S1
2 3
D 4 1
S2
#1
#4
#3
#6
#5 #4
#2
S1
4 3
D 2 1
S2
#1
#4
#3 #6
#5
#2
(a) topologia da camada ptica (b) topologia fsica

Figura 2.10 SRLG - Exemplo de um modelo de rede.

2.7.1 Propriedades SRLG

As propriedades SRLG podem ser resumidas como segue:
Um enlace pertence a mais de um SRLG se e somente se ele cruza (pelo menos) um
dos recursos usados por cada um destes SRLGs.
Dois enlaces pertencentes ao mesmo SRLG podem pertencer individualmente a (um
ou mais) outros SRLGs.
O conjunto de SRLGs S de um LSP definido como a unio dos SRLG s individuais
dos enlaces individuais compondo este LSP.

70
2.7.2 Disjuno SRLG

Para definir a noo de disjuno SRLG de LSP, primeiro introduz-se a seguinte definio:
um LSP (i.e. sequncia de enlaces) cobre um SRLG se e somente se ele cruza um dos enlaces
pertencentes ao SRLG especfico.

A disjuno SRLG de LSP pode ser definida como:
Dois LSPs so disjuntos com relao a um SRLG s1 se e somente se um deles no
cobre este SRLG (eles no cobrem simultaneamente este SRLG s1).
Dois LSPs so disjuntos com relao a um conjunto de SRLG S se e somente se o
conjunto de SRLGs que eles individualmente cobrem so completamente disjuntos (os
SRLGs comuns entre os conjuntos de SRLGs que eles individualmente cobrem
disjunto de S).

O impacto na recuperao notvel. A disjuno SRLG uma condio necessria (mas no
suficiente) para garantir a capacidade de sobrevivncia da rede. Com relao aos recursos de
rede fsicos, um par LSP de recuperao deve ter disjuno SRLG no caso de tipo de
recuperao dedicada.

2.8 CONCLUSES

GMPLS evolui a partir do MPLS, via MPS, atravs da extenso do paradigma label
switching de tecnologias de comutao de pacotes/clulas/frames para tecnologias orientadas
a conexo. Embora o paradigma label switching tenha sido originalmente introduzido para
melhorar a velocidade de encaminhamento em redes IP (eliminando o tempo gasto na
71
associao de prefixo longa), o foco foi direcionado para melhorar a flexibilidade, aprimorar
capacidades de QoS e, mais flexveis e eficientes mecanismos de controle (possvel atravs de
um aprimoramento nas capacidades TE). Excluindo completamente a necessidade de
reinventar uma nova classe de protocolos de controle para redes de transporte e de definir um
espao de endereamento ptico dedicado, o GMPLS permite que a maior parte dos softwares
originalmente desenvolvidos para aplicaes MPLS-TE sejam re-utilizados.

O GMPLS suporta todas as granularidades de comutao: da capacidade de comutao de
pacotes at a capacidade de comutao de fibras. Ele no somente re-utiliza os conceitos
MPLS (e.g. engenharia de trfego do MPLS e recuperao), mas tambm constri seus
prprios protocolos, i.e., extenses foram definidas para protocolos de roteamento (e.g.,
OSPF-TE) e protocolos de sinalizao (e.g., RSVP-TE). LMP faz parte do conjunto de
protocolos GMPLS. Este lida com negociaes para sinalizao, roteamento, gerenciamento
de enlace, e engenharia de trfego. As principais funes suportadas pelo LMP so:
gerenciamento de canal de controle, correlao de propriedades de enlace, gerenciamento de
falhas, e verificao de conectividade de enlace.

GMPLS faz a ligao entre as redes IP e as redes pticas fornecendo interoperabilidade e
escalabilidade. Ele aprimora o roteamento e escalabilidade fornecendo hierarquia de envio,
enlaces no numerados e associao de enlaces.

O aspecto chave da arquitetura GMPLS a separao do plano de controle e plano de dados,
que permite um mais alto desempenho e funcionamento inteligente. Ele tambm simplifica as
redes apresentando um plano de controle comum. Assim, os vrios elementos de rede e
72
sistemas de software de mltiplos fabricantes podem trabalhar juntos de forma garantida
como uma nica rede.

O aprimoramento das capacidades de QoS permite um eficiente transporte sobre uma nica
rede de diferentes classes de servio (CoS) tais como voz, vdeo e dados com seus requisitos
associados em termos de atraso, jitter e disponibilidade. O controle de rede eficiente e
flexvel, possvel via plano de controle GMPLS unificado, permite um mais rpido e
simplificado provisionamento de servios, resultando no aumento de ganhos e diminuio do
OPEX (gerenciamento de rede simplificado). Em resumo, GMPLS atende os requisitos das
operadoras para qualquer nova tecnologia para aumentar gastos, diminuir capital e/ou
despesas operacionais.

GMPLS promete fornecer um mais rpido provisionamento de servio com custos
operacionais mais baixos. Isto porque ele pode automaticamente descobrir os recursos da
rede, oferece ao operador servios baseados em restries especficas com certa QoS e pode
estabelecer caminhos peer-to-peer com um nico protocolo de sinalizao. Novos servios,
como largura de banda sob demanda (BoD Bandwidth on Demand) so possveis devido a
flexibilidade da arquitetura. Devido s vrias vantagens e importantes caractersticas, o
GMPLS ser parte integral nas redes de prxima gerao (next generation networks).
CAPTULO III

REDES GMPLS BASEADAS EM WDM VISO GERAL DO RWA

3.1 INTRODUO

O avano explosivo da Internet nos ltimos anos, comprovado pelo crescimento no nmero de
usurios, e o surgimento de novas aplicaes envolvendo voz e vdeo, alm das aplicaes de
dados, tm provocado um aumento considervel na demanda de largura de banda nas redes de
transporte que constituem os backbones dos provedores de servios de telecomunicaes.
Dados estatsticos justificam este fato: uma chamada telefnica de voz dura em mdia 3
minutos e os usurios que se conectam a Internet permanecem conectados em mdia 20
minutos. As conexes Internet introduzem cerca de seis vezes mais trfego na rede que as
chamadas telefnicas, e o trfego na Internet duplica-se a cada seis meses (aparentemente esta
tendncia continuar neste ritmo por mais algum tempo). Com o objetivo de atender, de forma
satisfatria, tal demanda de trfego, tem sido desenvolvida uma nova gerao de redes de
transporte baseada em uma infra-estrutura ptica inteligente e de alta capacidade.

74
As redes pticas comearam a surgir com o uso intensivo das fibras pticas a partir dos anos
80. Este tipo de rede formado por ns interconectados por enlaces de fibra ptica ponto-a-
ponto criando assim, uma determinada topologia.

As redes pticas, tal como GMPLS (Generalized Multiprotocol Label Switching), podem ser
classificadas em opacas ou transparentes. As redes pticas opacas realizam a comutao de
comprimentos de onda no domnio eletrnico. Nesse tipo de rede so necessrios conversores
OEO (ptico-eltrico-ptico) responsveis por converter o sinal ptico em sinal eltrico e
vice-versa. Conversores OEO tm o inconveniente de inserir atrasos de processamento alm
de aumentar significativamente o custo dos equipamentos. Nas redes pticas transparentes, ou
redes totalmente pticas, no existe nenhum armazenamento (buffering) nos ns
intermedirios da rede e as funes de roteamento, tal como a comutao de comprimentos de
onda, so executadas no domnio ptico eliminando os conversores OEO e suas limitaes.
Desta forma, os dados so levados da origem at o destino no domnio ptico, sem a
necessidade de sofrerem qualquer converso ptico-eltrico-ptico em algum ponto
intermedirio da rede.

As redes pticas GMPLS transparentes com multiplexao por diviso de comprimento de
onda (Wavelength Division Multiplexing WDM) so uma das maiores candidatas para as
futuras redes de comunicao de grande distncia, como detalhado a seguir. As redes GMPLS
WDM parcialmente transparentes sero consideradas no restante deste estudo e citadas apenas
como redes GMPLS WDM ou GMPLS. Parcialmente transparentes, pois o roteamento
totalmente realizado no domnio ptico no entanto, a sinalizao (algoritmo de atribuio de
comprimento de onda) utiliza canais opacos para que informaes sejam armazenadas nos ns
intermedirios da rede.

75
3.2 REDES PTICAS WDM

Inicialmente, as redes pticas utilizavam o TDM (Time Division Multiplexing) como tcnica
de multiplexao sub-utilizando assim, a enorme capacidade de transmisso das fibras
pticas. A tcnica TDM utiliza apenas um comprimento de onda na fibra e realiza o
compartilhamento da fibra dividindo o tempo de sua utilizao para cada conexo requerida.

Com o objetivo de melhorar o aproveitamento da capacidade de transmisso das fibras
pticas, as redes pticas passaram a usar o WDM, uma tcnica de multiplexao que divide a
fibra ptica em vrios canais WDM de diferentes freqncias pticas, chamados de
comprimentos de onda. Mltiplos sinais pticos de diferentes comprimentos de onda so
multiplexados, assim os sinais pticos so combinados e transmitidos sobre a mesma fibra.
Com o WDM possvel o estabelecimento de mais de uma conexo, simultaneamente,
atravs de uma nica fibra ptica, mostrando, portanto ser uma tcnica promissora para
satisfazer as altas demandas de largura de banda sem o enorme investimento necessrio para
se instalar fibras pticas adicionais [ASSI, 2001], [CHAUDHURI, 2000], [KIM, 2003].

As redes pticas WDM, conhecidas por suas altas taxas de transmisso, so formadas por
pares de ns origem-destino que se comunicam atravs de enlaces pticos (EO), tambm
chamados de segmentos de fibras ou apenas enlaces. Cada enlace considerado bidirecional e
atualmente consiste de um par de enlaces unidirecionais. Um caminho ptico (lightpath) entre
duas estaes um sinal ptico que vai de um n origem a um n destino, envolvendo um ou
mais ns na rede ao longo de uma rota estabelecida, utilizando um comprimento de onda nos
enlaces que ligam esses ns (Figura 3.1). Cada comprimento de onda sempre representado

76
por uma cor, logo diferentes comprimentos de onda so representados por cores distintas
[KIM, 2003], [RAMASWAMI, 1995].

1
4
2
3
n de
acesso
caminhos pticos
1
4
2
3
(a) topologia fsica e caminhos pticos (b) topologia lgica
roteador de
comprimento de onda
L1 L1
L3
L1
L1
L2
L2
L2
L3
L3
L3
L1 L1
L1
L2
L3

Figura 3.1 Rede com roteamento de comprimento de onda.

Atravs de um caminho ptico uma conexo em uma rede ptica estabelecida, ou seja, a
cada conexo (demanda requerida) na rede estabelecido um caminho ptico entre o n
origem e o n destino, utilizando um determinado comprimento de onda. Em geral, seria
desejvel poder alocar um comprimento de onda diferente para cada pedido de conexo,
porm, nas redes pticas WDM, o nmero de comprimentos de onda disponveis nos enlaces
limita o nmero possvel de conexes entre cada par de ns. Mltiplos caminhos podem usar
o mesmo comprimento de onda, desde que eles no se sobreponham em uma mesma fibra.
Esta capacidade espacial de reutilizao permite rede ter um nmero maior de caminhos
utilizando um nmero limitado de comprimentos de onda. Como apresentado na Figura 3.1,
caminhos pticos entre os ns 1 e 2, 3 e 4 utilizam o mesmo comprimento de onda pois
nenhum enlace compartilhado. Por outro lado, os caminhos pticos entre 1 e 2, 2 e 4, 2 e 3

77
devem utilizar comprimentos de onda diferentes pois todas as conexes compartilham o
mesmo enlace de fibra.

3.3 ROTEADOR DE COMPRIMENTO DE ONDA

A estrutura de um roteador de comprimento de onda apresentada na Figura 3.2a [WIDJAJA,
2002]. O roteador de comprimento de onda finaliza mltiplas fibras bidirecionais que so
usadas para interconectar roteadores de comprimento de onda. Cada fibra de entrada ou de
sada tipicamente transporta mltiplos comprimentos de onda.

.
.
.
comutador
ptico
1
C
2
conversores de
comprimento de
onda
lentes
espelhos
refletor
fibras
pticas
(a) estrutura de um roteador de comprimento de
onda
(b) estrutura de um comutador ptico
L1
L2
L3
L4
L5
L1
L2
L3
L4
L5
Figura 3.2 - Roteador de comprimento de onda.

Sinais de entrada de uma fibra so, primeiramente, demultiplexados em comprimentos de
onda separados antes de entrar em um comutador ptico (Figura 3.2-a) cuja funo rotear
cada comprimento de onda de qualquer entrada para qualquer sada (Figura 3.2-b) atravs de

78
componentes de comutao ptica (MEMS Micro Electro Mechanical Systems) [KIM,
2003].

Cada conjunto de sadas de um comutador ptico ento multiplexado por comprimento de
onda antes de finalmente o sinal ser enviado a uma fibra de sada (Figura 3.2-a). Note que o
mesmo comprimento de onda em dois enlaces de entrada no pode ser roteado mesma fibra
de sada simultaneamente. Para evitar coliso de comprimento de onda, o roteador de
comprimento de onda pode fornecer um reservatrio compartilhado de conversores de
comprimento de onda. Quando um comprimento de onda de entrada para ser roteado para
uma fibra de sada que j esteja transportando o mesmo comprimento de onda, o comprimento
de onda de entrada precisa primeiro ser roteado para um conversor de comprimento de onda
antes de ser re-roteado fibra de sada (parte inferior da Figura 3.2-a). O conversor de
comprimento de onda traduz o comprimento de onda de entrada para um novo comprimento
de onda que no esteja em uso na fibra de sada (Figura 3.3).

fibra fibra
L1
L2
L3
L1
L2
L3
portas de
entrada
portas de
sada

Figura 3.3 Conversor de comprimento de onda.

Quando um roteador de comprimento de onda no contm conversores de comprimento de
onda, este denominado roteador de comprimento de onda transparente. Um roteador de
comprimento de onda que possui um nmero ilimitado de conversores de comprimento de
onda denominado roteador de comprimento de onda opaco que similar a um comutador de

79
circuito no sentido de que um pedido de entrada pode ser sempre roteado a um enlace de sada
se este enlace tiver capacidade disponvel suficiente. Um roteador de comprimento de onda
que contm um nmero limitado de conversores de comprimento de onda denominado
roteador de comprimento de onda parcialmente transparente.

3.4 ENCAMINHAMENTO DE TRFEGO

Dentro das redes pticas, o trfego em cada conexo estabelecida pode ser encaminhado pela
rede de duas formas: (i) sem converso de comprimento de onda; (ii) com converso de
comprimento de onda [ZHU, 2000], [CHAUDHURI, 2000], [STRAND, 2001].

3.4.1 Encaminhamento de trfego - Sem converso de comprimentos de onda

Um caminho ptico usa o mesmo comprimento de onda em todos os enlaces pticos que o
compem, da origem at o destino. Essa propriedade chamada de restrio de continuidade
de comprimento de onda ou continuidade obrigatria de comprimento de onda. Cada enlace
ptico tem um nmero fixo de comprimentos de onda, disponibilizando vrios canais,
conforme a tecnologia WDM. Duas conexes que compartilham um enlace comum devem
utilizar comprimentos de onda distintos, como mencionado na seo 3.2

[ZANG, 2000],
[ROUSKAS, 2001].

A restrio de continuidade de comprimento de onda implica em uma utilizao ineficiente
dos comprimentos de onda e tem como resultado uma probabilidade de bloqueio de conexes
mais alta se comparada com a probabilidade de bloqueio de conexes em redes pticas com

80
conversores. Um pedido de conexo pode ser bloqueado, mesmo que haja comprimentos de
onda disponveis ao longo do caminho que liga os ns origem e destino da conexo solicitada.

A condio de continuidade de comprimento de onda torna a tarefa de atribuio de rota e
comprimento de onda mais desafiadora quando comparada aos problemas similares
executados nas redes convencionais. A atribuio de rota e comprimento de onda um
problema de controle fundamental.

3.4.2 Encaminhamento de trfego - Com converso de comprimentos de onda

Diferentes comprimentos de onda podem ser usados pelos enlaces das rotas de conexes ao
longo do caminho ptico, ou seja, pode haver converso de um comprimento de onda para
outro comprimento de onda em um mesmo caminho ptico sem, contudo, interferir no sinal
de informao que est sendo transmitido. Neste tipo de encaminhamento, necessria a
utilizao de conversores nos roteadores para converter o comprimento de onda nos ns
intermedirios [KARASAN, 1998].

Esses dispositivos permitem uma melhor utilizao dos comprimentos de onda, minimizando
a probabilidade de bloqueio de conexes, pois pode melhorar a eficincia da rede ao resolver
os conflitos de alocao de comprimentos de onda nos caminhos. Porm a tecnologia de
conversores de comprimento de onda ainda no est amadurecida e competitiva e, os mesmos
possuem um custo muito alto. Deste modo, o foco deste estudo em redes pticas que no
possuem a capacidade de converso de comprimento de onda [ZANG, 2000], [ROUSKAS,
2001].

81
3.4.3 Com converso x Sem converso

Considere w o tamanho do reservatrio de comprimentos de onda disponveis para alocao
em cada n (
1
,
2
, ...,
w
). Caso no haja converso de comprimento de onda, a rede pode ser
analisada como a unio de w sub-redes disjuntas, cada qual com um nico comprimento de
onda (Figura 3.4-a). Quando a rede dispe de converso de comprimento de onda, o caminho
ptico ao passar por um n poder ser transladado para uma outra sub-rede (Figura 3.4-b),
desde que: i) o padro de converso deste n permita; ii) a nova sub-rede esteja com seu
enlace desocupado.
A
B
C
D
A
B
C
D
A
B
C
D
A
B
C
D
A
B
C
D
A
B
C
(a) sem converso
(b) com converso
L1
L1
L2 L2
L3
L3

Figura 3.4 Encaminhamento de trfego.

Devido limitao na carga das fibras, cada enlace fica fisicamente bloqueado se estiver
sendo utilizado em w sub-redes. Dessa maneira, uma requisio por um caminho ou rota
considerada ilegal se um ou mais dos enlaces requisitados estiverem bloqueados. Analisando
o comentrio anterior e a Figura 3.4b, percebe-se que, se houver convertibilidade plena de
comprimento de onda em todos os ns da rede, a condio de continuidade de comprimento
de onda desaparece naturalmente e, portanto, apenas requisies ilegais so bloqueadas. Fato
este que no ocorre quando no se dispe de converso nos ns, pois mesmo uma requisio
sendo legal, ela pode ser bloqueada caso no encontre um comprimento de onda que esteja

82
disponvel simultaneamente em todos os enlaces requisitados, mesmo existindo, em todos
eles, comprimentos de onda disponveis. Para este ltimo caso, entretanto, a escolha de um
bom algoritmo de atribuio de rota e comprimento de onda pode reduzir a freqncia dessas
ocorrncias, ocasionando um melhor desempenho da rede [ROUSKAS, 2001].

3.5 ROTEAMENTO E ATRIBUIO DE COMPRIMENTOS DE ONDA

Um problema muito importante nas redes pticas WDM a configurao de caminhos pticos
para um dado conjunto de pedidos de conexes atravs de roteamento e atribuio de
comprimentos de onda para cada uma dessas conexes, dada uma restrio no nmero de
comprimentos de onda disponveis. Este problema denominado de problema de roteamento
e atribuio de comprimento de onda - RWA (Routing and Wavelength Assignment). O
objetivo do RWA selecionar a melhor combinao de rotas e comprimentos de onda para
cada conexo de forma a otimizar o atendimento das demandas dentro da rede, maximizando
o nmero de conexes estabelecidas, minimizando a probabilidade de bloqueio de conexo na
rede
11
e/ou minimizando o nmero de comprimentos de onda usados pela rede [ZHU, 2000],
[ASSI, 2001], [CHAUDHURI, 2000], [STRAND, 2001], [ZANG, 2000], [OKI, 2004].

Os algoritmos RWA da literatura diferem nas consideraes de trfego e nas mtricas de
desempenho utilizadas. As consideraes do tipo de demanda de trfego, ou seja, o tipo de
pedido de conexo, pertencem a uma das categorias mencionadas:
Demanda esttica (ou determinstica), na qual um conjunto de pedidos de conexo
para pares origem-destino definida e conhecida a priori.

11
Probabilidade de bloqueio de conexo definida como a taxa entre o nmero de conexes bloqueadas e o
nmero total de pedidos de conexo

83
Demanda dinmica (ou aleatria), na qual os pedidos de conexo chegam rede um a
um de forma no conhecida. Em geral, dispe-se de um conhecimento probabilstico
dessa demanda.

Assim, o problema RWA pode ser classificado em:
RWA esttico
No problema RWA esttico, todo o conjunto de caminhos pticos (conjunto de
pedidos de conexo) que precisam ser atendidos conhecido com antecedncia e as
operaes de roteamento e atribuio de comprimentos de onda so feitas offline. O
problema RWA esttico se restringe a estabelecer os caminhos pticos para as
conexes de uma maneira global enquanto se minimiza o uso de recursos da rede,
como o nmero de comprimentos de onda ou o nmero de fibras na rede para uma
dada topologia fsica, de forma a acomodar um determinado nmero de conexes, ou
maximizar o nmero de conexes acomodadas se o nmero de comprimentos de onda
for limitado. Algoritmos RWA que trabalham de forma esttica tm como objetivo
planejar a distribuio de demandas dentro da rede. O RWA para a demanda esttica
conhecido como problema do Estabelecimento de Caminhos pticos Estticos (Static
Lightpath Establishment SLE) [ZANG, 2000], [ROUSKAS, 2001].

RWA dinmico
No problema RWA dinmico, ou problema de Estabelecimento de Caminhos pticos
Dinmicos (Dynamic Lightpath Establishment - DLE), as conexes no so
conhecidas previamente, os pedidos de conexo chegam rede um por vez, de forma
aleatria. Um caminho ptico estabelecido medida que as requisies de conexes
chegam no n de acesso, devendo cada qual ser atendida no instante da solicitao,

84
sem esperar, portanto, que futuras requisies se tornem conhecidas. Os caminhos
existentes no podem ser re-roteados para acomodar uma nova requisio, pois isto
implicaria uma interrupo momentnea das conexes ativas (o que seria inaceitvel
principalmente por tratarem-se de taxas de transmisso acima de Gbps), agravado
ainda mais pela necessidade de se resolver um problema extremamente complexo de
encontrar nova rota e novo comprimento de onda para cada uma das conexes.
Qualquer soluo do problema de encaminhamento dinmico deve ser
computacionalmente simples, dado que os pedidos de conexo devem ser processados
em tempo real. O objetivo do RWA dinmico alocar comprimentos de onda tentando
minimizar a probabilidade de bloqueio de futuras conexes, dado um conjunto de
comprimentos de onda disponveis, ou seja, maximizar o nmero de pedidos de
conexo atendidos. No caso dos algoritmos RWA que trabalham de forma dinmica
(online) no ocorre uma distribuio planejada de demanda, pois a demanda que chega
no n de origem tratada individualmente. Os algoritmos dinmicos tm desempenho
pior que os algoritmos RWA estticos, j que um algoritmo RWA dinmico no tem
conhecimento sobre os pedidos de conexo futuros, enquanto que no caso esttico
todos os pedidos de conexo so conhecidos com antecedncia [MANDAL, 2003],
[ZANG, 2001], [TACHIBANA, 2002], [ZANG, 2000], [ROUSKAS, 2001].

Na prtica, o problema RWA pode ser encarado de duas formas distintas: alocao conjunta
de rota e comprimento de onda ou decomposio do problema em dois subproblemas
distintos, subproblema de roteamento e subproblema de atribuio de comprimento de onda:
Na alocao conjunta de rota e comprimento de onda, uma requisio por um par
[rota, comprimento de onda] gerada. Nessa hiptese, todos os pares disponveis

85
devem ser comparados segundo algum critrio a fim de se gerar uma escolha ou
alocao.
Na alocao disjunta de rota e comprimento de onda, cada requisio gera,
sucessivamente: (i) uma requisio de rota; (ii) uma requisio de comprimento de
onda para a rota requisitada ou bloqueio da mesma.

Do ponto de vista do desempenho da rede, espera-se que a alocao conjunta, caso trate
devidamente todas as implicaes de se disponibilizar o par [rota, comprimento de onda],
apresente melhores resultados, embora seja processualmente de maior complexidade. Ao
mesmo tempo, alocaes disjuntas de rota e comprimento de onda so mais gerenciveis,
alm de provavelmente mais compatveis com esquemas de proteo. Da o grande interesse
em se abordar a alocao separada de rota e comprimento de onda, comparando-a com a
alocao conjunta.

3.5.1 Subproblema de Roteamento

O subproblema de roteamento se restringe em encontrar uma rota ou caminho para um par
origem-destino de um pedido de conexo. O problema atualmente tratado com as seguintes
tcnicas: roteamento fixo, roteamento fixo alternativo e roteamento adaptativo [ZANG, 2001],
[MAIER, 2004], [TACHIBANA, 2002], [ZHU, 2000], [ASSI, 2001], [STRAND, 2001],
[ZANG, 2000], [ROUSKAS, 2001].

Roteamento Fixo
No roteamento fixo [GIRARD, 1990] todos os pares de ns origem e destino sempre utilizam
uma mesma rota (fixa) estabelecida previamente. Na existncia de mais de uma requisio por

86
par de ns origem-destino, todas essas requisies disputam o mesmo recurso (conjunto de
comprimentos de onda). Isso implica em uma maior probabilidade de bloqueio. Esse tipo de
roteamento muito simples de ser implementado, mas possui desvantagens como:
Intolerncia a falhas nas quais um ou mais enlaces da rede sejam danificados. Para se
contornar essas e outras situaes, diferentes esquemas de roteamento devem
considerar caminhos alternativos ou precisam encontrar uma rota alternativa de forma
dinmica
Maior probabilidade de bloqueio em decorrncia de bloquear todas as conexes que
surjam quando no h comprimento de onda disponvel na nica rota estabelecida,
mesmo havendo rotas alternativas que podem atend-las.

Um exemplo de algoritmo de roteamento fixo o roteamento de caminho mnimo (Shortest
Path Routing - SPR). Nesse algoritmo a rota mais curta para cada par origem-destino
calculada usando algoritmos de caminho mnimo e torna-se a escolhida para que sejam
estabelecidas as conexes entre os ns da rede. Trs principais algoritmos de caminho mnimo
so conhecidos na literatura: Floyd, Bellman-Ford e Dijkstra, com vrias aplicaes,
principalmente em problemas de otimizao de rotas de transporte.

Roteamento Fixo Alternativo
O roteamento fixo alternativo [GIRARD, 1990], [HARAI, 1997], [RAMAMURTHY, 1998]
caracterizado pela existncia de mais de uma rota fixa estabelecida previamente. Ao contrrio
do roteamento fixo, no roteamento fixo alternativo todas as combinaes de pares de ns
origem-destino possuem mais de uma rota. Para isso, so necessrias tabelas de
encaminhamento, ou tabelas de rotas, para armazenar as rotas fixas disponveis, ordenadas por
custo (por exemplo, nmero de enlaces entre os ns a serem conectados), para um

87
determinado n de destino. Esta tabela pode incluir o caminho mnimo, o segundo caminho
mnimo, e assim por diante. Neste caso, o caminho mais curto (menos custoso) o caminho
primrio e os demais so considerados alternativos. Esses caminhos podem ser calculados
atravs de algoritmos tais como:
Algoritmo de Yen capaz de determinar os k caminhos mais curtos e que no
contm loops, embora esses caminhos no sejam necessariamente disjuntos [YEN,
1972]
2-shortest path routing (2-SPR) esse algoritmo considera apenas as duas rotas
mais curtas entre os pares de ns, desprezando assim todas as demais
Alternative shortest path routing (ASPR) todas as rotas possveis entre um n
origem e um n destino sero disponibilizadas e ordenadas pelo nmero de enlaces

Quando chega um pedido de conexo nas redes que utilizam roteamento fixo alternativo, o n
origem tenta estabelecer a conexo com o n destino para cada um dos caminhos da tabela de
encaminhamento, de forma seqencial, comeando pelo caminho primrio, at que um
caminho com comprimento de onda vlido (disponvel) seja encontrado. Caso no se encontre
um caminho disponvel na lista de caminhos alternativos, o pedido de conexo bloqueado e,
conseqentemente, perdido. O roteamento fixo alternativo possui um certo nvel de tolerncia
a falhas e menor probabilidade de bloqueio quando comparado ao roteamento fixo.

Pode-se observar que os algoritmos que empregam o roteamento fixo alternativo, alm de no
apresentarem uma complexidade de implementao muito elevada, podem ser utilizados para
que se disponha de tolerncia a falhas nos enlaces dando preferncia as rotas que estejam
completamente desassociadas com outras rotas, ou seja, no possuam enlaces em comum.

88
Roteamento Adaptativo
No roteamento adaptativo [JUE, 2000], [LI, 1999], o caminho entre um n origem e um n
destino escolhido dinamicamente em funo do estado corrente da rede. O estado da rede
determinado pelo conhecimento dos caminhos utilizados por todas as conexes atendidas em
um instante de tempo. Os algoritmos de roteamento adaptativo so definidos atribuindo-se
pesos aos enlaces da rede, os quais, para cada rota, sero somados e comparados a fim de se
escolher, mediante mtricas especficas, a melhor rota dentre todas as admissveis. Um
exemplo de roteamento adaptativo o caminho adaptativo de menor custo. Nessa tcnica,
todos os enlaces ocupados recebem custo (infinito) e os enlaces livres recebem custo 1.
Quando surge uma requisio de caminho ptico de um n A para um n B, calcula-se o custo
de todas as rotas do n A para o n B e a rota utilizada ser a de menor custo (soma dos
custos dos enlaces que compem a rota). Se existem mltiplos caminhos com o mesmo menor
custo, um deles pode ser escolhido aleatoriamente. Como exemplo de um algoritmo de
roteamento adaptativo, existe o Least loaded routing (LLR). Para esse algoritmo so
consideradas todas as possveis rotas entre os pares de ns e a ordenao destas rotas obedece
a condio de menor carga na rota. Essa medida pelas cargas de seu enlace mais
congestionado, que por sua vez dado pelo nmero de comprimentos de onda que esto
sendo utilizados por este enlace. Quando a aplicao do LLR apresenta um conjunto de rotas
que fornecem um mesmo valor para a mtrica mencionada, este empate pode ser resolvido,
por exemplo, empregando-se sobre estas rotas o ASPR.

As vantagens do roteamento adaptativo so: uma maior tolerncia s falhas e uma baixa
probabilidade de bloqueio quando comparado com o roteamento fixo e com o roteamento fixo
alternativo. Por outro lado, o roteamento adaptativo o mais complexo computacionalmente.

89
3.5.2 Subproblema de Atribuio de Comprimento de Onda

No subproblema de atribuio de comprimento de onda, deve-se alocar um comprimento de
onda para cada caminho ptico de tal forma que dois caminhos pticos no compartilhem um
mesmo comprimento de onda em uma mesma fibra. Dado um conjunto de pedidos de
caminhos pticos e suas rotas e, para otimizar os recursos da rede ptica, a atribuio de um
comprimento de onda deve ser feita de forma a maximizar o nmero de conexes possveis de
serem estabelecidas futuramente minimizando assim a probabilidade de bloqueio de novas
conexes.

Duas correntes se mostraram bastantes claras nos estudos heursticos para atribuio de
comprimento de onda: as que provocam uma distribuio igualitria de carga entre todos os
comprimentos de onda e as que, contrariamente, sobrecarregam determinados comprimentos
de onda em detrimento de outros. Em geral, este ltimo caso utiliza algoritmos que
estabelecem algum tipo de prioridade entre os comprimentos de onda, sendo por isso
chamados de ajuste prioritrio.

natural se pensar que o fato de se buscar um balanceamento da carga entre todos os
comprimentos de onda conduz os algoritmos a apresentarem uma maior capacidade de
atendimento. Entretanto, simulaes para diversas topologias tm mostrado que, para uma
probabilidade de bloqueio fixa, algoritmos que possuem como caracterstica o no
balanceamento de carga vm constantemente apresentando melhores desempenhos, em
termos do trfego escoado, que os de filosofia contrria [ZANG, 2001], [ZHU, 2000], [ASSI,
2001], [STRAND, 2001], [ZANG, 2000], [ROUSKAS, 2001].

90
Os principais algoritmos de atribuio de comprimento de onda propostos na literatura so:
First-Fit [CHLAMTAC, 1989], Random Wavelength Assignment [CHLAMTAC, 1989],
Most-Used [SUBRAMANIAM, 1987], Least-Used [SUBRAMANIAM, 1987], Max-Sum
[BARRY, 1987], Relative Capacity Loss [ZHANG, 1998] e Distributed Relative Capacity
Loss [ZANG, 2000]. Como exemplo, os algoritmos sero aplicados no cenrio de uma rede
ptica transparente em anel unidirecional composta por 6 ns sem conversores de
comprimento de onda, e 4 comprimentos de onda (
1
,
2
,
3
,
4
) por enlace, como ilustra a
Figura 3.5.
1 2
4
3
6 5
Comprimento de onda ocupado
Comprimento de onda livre
L1
L4
L2
L3

Figura 3.5 Anel ptico unidirecional com 6 ns e 4 comprimentos de onda.

A notao (x,y) usada para representar uma conexo ou pedido de conexo com origem no
n x e destino no n y. O anel ptico possui, no estado inicial, as seguintes conexes
estabelecidas: conexo (4,6) utilizando
1
, conexo (6,2) utilizando
2
, conexo (6,1)
utilizando
3
e a conexo (5,1) utilizando
4
.

91
Conhecendo os estados dos enlaces do anel possvel calcular a probabilidade de bloqueio
para uma prxima conexo que dada por:

Pb
prox
= NCb/NC (1)

Onde:
NCb o nmero de conexes bloqueadas dado o estado inicial
NC o nmero total de conexes.

A Pb
prox
, no exemplo da Figura 3.5, igual a 10/30 (as conexes com o mesmo n de origem
e destino so desconsideradas). NC igual a 30, pois representa o nmero total de conexes
possveis de serem estabelecidas, ou seja, a combinao de conexes (x,y) entre todos os ns
sendo que x pode variar de 1 a 6 bem como y e, as conexes devem ser consideradas de forma
que x e y sejam diferentes (Tabela 3.1).

Tabela 3.1 Possveis conexes em uma rede em anel unidirecional com 6 ns.
(1,2) (2,1) (3,1) (4,1) (5,1) (6,1)
(1,3) (2,3) (3,2) (4,2) (5,2) (6,2)
(1,4) (2,4) (3,4) (4,3) (5,3) (6,3)
(1,5) (2,5) (3,5) (4,5) (5,4) (6,4)
(1,6) (2,6) (3,6) (4,6) (5,6) (6,5)

NCb igual a 10 pois dentre todas as possveis conexes, 10 conexes so bloqueadas. Essas
conexes bloqueadas so: (2,1), (3,1), (3,2), (4,1), (4,2), (4,3), (5,2), (5,3), (5,4), (6,5). As
conexes (1,2), (1,3), (1,4), (1,5) e (1,6) so possveis de serem estabelecidas, independente
do comprimento de onda a ser utilizado e o mesmo acontece com as demais conexes no
bloqueadas. A conexo (2,1) bloqueada, pois: (i) o comprimento de onda
1
no pode ser
usado para estabelecer a conexo pois o mesmo est sendo usado nos enlaces (4,5) e (5,6); (ii)

92
os comprimentos de onda
2
,
3
ou
4
no podem ser usados para estabelecer a conexo pois
os mesmos esto sendo usados no enlace (6,1). Como todos os comprimentos de onda so
utilizados, a conexo (2,1) bloqueada. O mesmo acontece com as demais conexes
bloqueadas citadas anteriormente.

Suponha agora que o prximo pedido de conexo do n 2 para o n 4. O pedido (2,4) pode
ser estabelecido com qualquer um dos 4 comprimentos de onda (
1
,
2
,
3
,
4
). A escolha do
comprimento de onda feita pelo algoritmo de alocao de comprimento de onda com o
objetivo de minimizar a probabilidade de bloqueio. A Tabela 3.2 mostra a Pb
prox
aps o
estabelecimento da conexo (2,4) em funo do comprimento de onda alocado.

Tabela 3.2 Pb
prox
aps o estabelecimento da conexo (2,4)
Comprimento de onda Pb
prox

1
12/30
2
10/30
3
11/30
4
10/30

O algoritmo Random Wavelength Assignment (RD) [CHLAMTAC, 1989] cria uma lista com
todos os comprimentos de onda disponveis, ao longo da rota determinada, para atender o
pedido de caminho ptico. Em seguida o algoritmo RD escolhe um dos comprimentos de
onda de maneira aleatria, normalmente usando uma distribuio de probabilidade uniforme.
Para atender o pedido (2,4) (Figura 3.5), o RD pode alocar qualquer um dos 4 comprimentos
de onda disponveis, podendo resultar em diferentes probabilidades de bloqueio para a futura
conexo. O algoritmo RD computacionalmente simples, trabalha realizando balanceamento
de carga e no necessita de informao global sobre os estados dos enlaces da rede. O
balanceamento de carga alcanado pela descorrelao entre sucessivas escolhas.

93
O algoritmo First-Fit (FF) [CHLAMTAC, 1989] enumera todos os comprimentos de onda (1,
2, ..., n = 4). Quando surge um pedido de conexo, o FF aloca o comprimento de onda
disponvel (livre) com menor ndice e para isso precisa apenas conhecer o estado (livre ou
ocupado) dos comprimentos de onda dos enlaces que compem o caminho da conexo a ser
estabelecida e no necessita de informao global dos enlaces da rede. O algoritmo FF possui
baixo custo computacional, pois no precisa pesquisar o estado de todos os enlaces da rede e
pode ser utilizado em qualquer topologia de rede. O algoritmo FF provoca um
desbalanceamento de carga, sobrecarregando os comprimentos de onda de menor ndice. Este
algoritmo possui um bom desempenho em termos de probabilidade de bloqueio e justia
(fairness) e, na prtica, um dos mais utilizados devido ao seu pequeno overhead (nenhuma
informao global requerida) computacional e baixa complexidade. Na alocao de um
comprimento de onda para o estabelecimento do pedido (2,4) no exemplo da Figura 3.5, o FF
aloca o
1
, que o comprimento de onda disponvel de menor ndice.

O algoritmo Most-Used (MU) [SUBRAMANIAM, 1997] sempre aloca o comprimento de
onda disponvel mais utilizado, baseado nas informaes do estado atual da rede. feita uma
contagem de quantos enlaces esto sendo utilizados para cada comprimento de onda. Em
seguida, o algoritmo MU aloca o comprimento de onda disponvel com o maior nmero de
enlaces ocupados. Para estabelecer a conexo (2,4) (Figura 3.5), o MU pode alocar o
1
,
2
ou
4
, pois so os comprimentos de onda mais utilizados (2/6). O seu desempenho um pouco
melhor que o desempenho do algoritmo First-Fit e, significativamente melhor que o
desempenho do algoritmo Least-Used (descrito a seguir) embora o overhead de comunicao,
armazenamento e custo de computao sejam similares ao do algoritmo LU.

94
O algoritmo Least-Used (LU) [SUBRAMANIAM, 1997] o oposto do MU, pois sempre
aloca o comprimento de onda disponvel menos utilizado, baseado nas informaes do estado
atual da rede. Procura-se desta forma, balancear a carga entre todos os comprimentos de onda
existentes a cada novo pedido que surge. Para estabelecer a conexo (2,4) (Figura 3.5), por
exemplo, o LU alocar
3
pois este o comprimento de onda menos utilizado (1/6). O
desempenho do LU menor se comparado ao algoritmo RD devido ao overhead adicional de
comunicao requerido (LU utiliza informao global de rede). LU tambm requer
armazenamento adicional e custo computacional e conseqentemente no utilizado na
prtica.

O algoritmo Max-Sum (MS) [BARRY, 1997] tem como objetivo alocar um comprimento de
onda de forma a minimizar a perda de capacidade da rede ptica. Isso significa alocar um
comprimento de onda
z
que minimiza a probabilidade de bloqueio para futuras conexes,
Pb
prox
, com esse mesmo
z
. Ao receber um pedido de caminho ptico, o MS considera todos
os caminhos possveis com exceo do prprio pedido. Em seguida o MS marca para cada
comprimento de onda disponvel os caminhos que sero bloqueados se o comprimento de
onda em questo for alocado. A perda total de capacidade, na verdade, a soma de todos os
caminhos futuramente bloqueados pela alocao do
z
. A matriz de trfego (conjunto de
possveis pedidos de conexo) deve ser conhecida a priori e a rota para cada conexo pr-
selecionada. Estes requisitos podem ser conseguidos assumindo que a matriz de trfego seja
estvel por um perodo de tempo. Este um algoritmo difcil e caro de ser implementado em
ambientes distribudos alm de requerer roteamento fixo o que diminui drasticamente o
desempenho da rede (o mesmo ocorre com o algoritmo RCL, detalhado a seguir). O algoritmo
MS aloca o comprimento de onda com menor nmero de caminhos bloqueados, isto , o
comprimento de onda com menor perda da capacidade total. Para estabelecer a conexo (2,4)

95
(Figura 3.5), por exemplo, o MS pode alocar o
2
ou o
4
, pois ambos apresentam menor
perda de capacidade de acordo com a Tabela 3.2.

O algoritmo Relative Capacity Loss (RCL) [ZHANG, 1998] similar ao MS, mas analisa a
perda de capacidade relativa. O RCL analisa qual ser a perda relativa na alocao de cada um
dos comprimentos de onda disponveis. Na maioria dos casos (cenrios), RCL possui melhor
desempenho que o MS. No atendimento do pedido (2,4) (Figura 3.5), por exemplo, a perda
relativa para a conexo (1,3) ser:
1/3 para o
1
, pois o comprimento de onda
1
um dos 3 possveis comprimentos de
onda (
1
,

3
,

4
) que podem ser usados para estabelecer a conexo (1,3)
0 para o
2
2
j est sendo usado no enlace (1,2) e fica
impossibilitado de ser usado para a conexo (1,3)
1/3 para o
3
3
onda (
1
,

3
,

4
1/3 para o
4
4
onda (
1
,

3
,

4

Esse clculo feito para todas as possveis conexes com exceo do pedido. Em seguida
feito um somatrio das perdas relativas por comprimento de onda. Por fim, alocado o
comprimento de onda de menor perda relativa. Para o pedido (2,4), por exemplo, o RCL
alocar o
2
ou
4
, de acordo com a tabela a seguir.

96
Tabela 3.3 Perda relativa por comprimento de onda.

O algoritmo Distributed Relative Capacity Loss (DRCL) [ZANG, 2000] tem a mesma
heurstica do RCL, a diferena que o DRCL realiza os clculos de maneira distribuda
diminuindo o custo de processamento. Cada n mantm uma tabela RCL e essas informaes
so trocadas entre os ns. Assim, cada n pode saber a perda relativa para qualquer destino
em qualquer comprimento de onda. O custo computacional menor do que o do RCL, pois
realizado de forma distribuda e o mesmo pode ser utilizado em ambientes com roteamento
adaptativo, ao contrrio do MS e RCL.

3.5.3 Formulao Matemtica atribuio de comprimento de onda

A formulao que segue considera que j se resolveu o subproblema de roteamento e se
empregou a estratgia de roteamento fixo alternativo com uso do algoritmo de Yen [YEN,
1972]. O problema pode ser descrito numa formulao que mostrada a seguir [ZANG,
2000]:
Entrada do problema:
Topologia fsica de rede, descrita como grafo bi-direcional G=(V,E), onde V o
conjunto formado por estaes e cross-connects e E o conjunto de enlaces da rede

1

2

3

4

(3,5) 0 1/3 1/3 1/3
(3,6) 0 1/2 1/2 0
(4,1) 0 0 0 0
(4,2) 0 0 0 0
(4,3) 0 0 0 0
(4,5) 0 1/3 1/3 1/3
(4,6) 1 0 0 0
(5,1) 0 0 0 1
(5,2) 0 0 0 0
(5,3) 0 0 0 0
(5,4) 0 0 0 0
(5,6) 0 1/2 1/2 0

1

2

3

4

(6,1) 0 0 1 0
(6,2) 0 1 0 0
(6,3) 1 0 0 0
(6,4) 1 0 0 0
(6,5) 0 0 0 0

Total 51/
12
48/
12
78/
12
48/
12

1

2

3

4

(1,2) 1/3 0 1/3 1/3
(1,3) 1/3 0 1/3 1/3
(1,4) 1/3 0 1/3 1/3
(1,5) 0 0 1/2 1/2
(1,6) 0 0 1 0
(2,1) 0 0 0 0
(2,3) 1/4 1/4 1/4 1/4
(2,5) 0 1/3 1/3 1/3
(2,6) 0 1/2 1/2 0
(3,1) 0 0 0 0
(3,2) 0 0 0 0
(3,4) 1/4 1/4 1/4 1/4

97
Conjunto de estaes N da rede (N V)
Matriz da demanda
N N
T
, o qual especifica as requisies de conexo entre as

estaes.
d s
T
,
o nmero de requisies de conexo da estao de origem s estao
de destino d
Conjunto de comprimentos de onda W disponveis em um enlace
Conjunto de rotas
d s
P
,
para cada par origem-destino (s,d). o resultado obtido pelo
algoritmo de Yen
Matrizes de constantes de pertinncia rota-enlace
r d s
l
V
, ,
. Note que l um enlace e r
uma rota. Tais matrizes derivam das rotas obtidas pelo algoritmo de Yen

)
`

=
contrrio caso : 0
, : 1
, , , d s r d s
l
P r r l
V
Variveis
Varivel inteira
r
d s,
indicando o nmero de caminhos pticos para o par (s,d) roteado
na r-sima rota
Varivel binria
l c,
indicando o uso do comprimento de onda c no enlace l

)
`
=
contrrio caso : 0
enlace no onda de o compriment o usa conexo alguma se : 1
,
l c
l c

Varivel binria
d s
r c
,
,
indicando o uso de um comprimento de onda em uma dada rota.
Note que esta varivel independente do enlace l.

=
contrrio caso : 0
1 onde , ) , ( destino - origem par o entre
rota sima - r pela usado onda de o compriment o se : 1
,
,
,
d s
d s
r c
P r d s
c

98
Restries
As seguintes restries se aplicam ao problema do RWA.
O nmero de comprimentos de onda em um enlace no deve exceder sua capacidade:
E l W
W c
l c

,
,

O nmero de comprimentos de onda usados em um enlace igual ao nmero de
conexes estabelecidas que usam esse mesmo enlace:

=
W c
l c
N s N d P r
r
d s
r d s
l
E l V
d s
,
, ,
, ,
,

O nmero de conexes estabelecidas para cada par origem-destino (s,d) no pode
exceder a demanda:
N d s T
d s
P r
r
d s
d s

, ,
, ,
,

Os comprimentos de onda escolhidos devem corresponder ao trfego alocado a cada
par origem-destino
d s
W c
r
d s
d s
r c
P r N d s
, ,
,
,
, , , =

Cada comprimento de onda em um enlace usado por, no mximo, uma conexo:

=
N s N d P r
l c
d s
r c
r d s
l
d s
E l W c V
,
, ,
,
,
,
, ,

No h necessidade da restrio de continuidade de comprimento de onda, pois isto j
est implicitamente implementado pois se fez
d s
r c
,
,
independente de l.

Funo Objetivo o objetivo maximizar o nmero de conexes que podem ser estabelecidas
na rede:

=
N s N d P r
r
d s
d s
Z
,
,

99
3.6 CONCLUSO

O desenvolvimento de redes pticas transparentes ou parcialmente transparentes para compor
a futura infra-estrutura de transporte dos backbones dos provedores de servio de
telecomunicaes uma tendncia mundial. Os recursos bsicos dessas redes so caminhos
pticos compostos de comprimentos de onda multiplexados em WDM nas fibras pticas.
Esses recursos devem suportar a oferta de uma gama variada de servios de telecomunicaes
com um provisionamento dinmico sob demanda e otimizado para um volume de trfego
crescente.

Este captulo apresentou uma viso geral de diversas abordagens que podem ser usadas para
rotear e atribuir comprimentos de onda para conexes em redes GMPLS baseadas em WDM.
Pode-se perceber que mais prtico dividir o problema RWA em subproblema de roteamento
e em subproblema de atribuio de comprimento de onda por assim ser mais gerencivel alm
de mais compatvel com os esquemas de proteo.

O subproblema de roteamento possui as seguintes abordagens: roteamento fixo, roteamento
fixo alternativo e roteamento adaptativo. A tcnica de roteamento fixo a mais simples de ser
implementada, porm a tcnica que apresenta maior probabilidade de bloqueio de conexo.
Por outro lado, a tcnica de roteamento adaptativo apresenta a menor taxa de bloqueio, porm
a tcnica mais complexa de ser implementada.

O subproblema de atribuio de comprimento de onda possui as seguintes heursticas:
Random Wavelength Assignment, First-fit, Most-used, Least-used, Max-sum, Relative
Capacity Loss e Distributed Relative Capacity Loss. Heursticas mais complexas como Max-

100
sum e RCL fornecem uma menor probabilidade de bloqueio de conexo se comparadas com
as heursticas mais simples no entanto, so utilizadas apenas em cenrios com RWA esttico.
A heurstica com melhor desempenho, dentre as heursticas apresentadas, a DRCL que pode
tambm ser utilizada em ambientes com RWA dinmico.

Os algoritmos de alocao de comprimento de onda aqui estudados constituem-se em
instrumentos valiosos na otimizao dos recursos fsicos (comprimento de onda),
principalmente quando a tecnologia de conversores de comprimento de onda ainda no est
amadurecida e competitiva.

CAPTULO IV

ANLISE LGICA DE PROTOCOLOS DE COMUNICAO

4.1 INTRODUO

Muitos protocolos de comunicao podem ser modelados como uma rede de duas mquinas
de estado finitas de comunicao (MEFCs, no ingls, CFSMs Communicating Finite State
Machines) que consiste em um conjunto de mquinas de estado finitas que trocam mensagens
sobre canais FIFO (first-in first-out) e unidirecionais. A Figura 4.1 apresenta um modelo
simples de protocolo, a comunicao entre as mquinas de estado M e N e o contedo de cada
canal de comunicao.

til e necessrio validar os modelos de protocolos de comunicao mostrando assim que a
comunicao dos mesmos satisfaz certas propriedades desejadas, verificando, portanto, se a
rede est livre de erros de progresso [SCHOOT, 1998], [GOUDA, 1984], [MOURA, 1986].

102
1 2
-g1
+g2
+g3 1 2
+g1
-g2
Smbolos
- : mensagem enviada
+: mensagem recebida
M N FIFO M-N FIFO N-M
msg g1 enviada --- g1 ---
--- msg g1 recebida --- ---
--- msg g2 enviada --- g2
msg g2 recebida --- --- ---
M N

Figura 4.1 Representao de um Protocolo Simples atravs de uma Mquina de Estado.

Existem cinco tipos de erros de progresso que um protocolo pode apresentar [YUANG, 1988].
Eles so definidos como:
Deadlock
Um deadlock um estado global alcanvel a partir do estado global inicial onde todos
processos permanecem indefinidamente no mesmo estado, todos os canais esto vazios e
nenhuma transio possvel.
Recepo no-especificada
Uma recepo no-especificada uma recepo que pode ser executada, mas a mesma
no especificada no projeto do protocolo, portanto o comportamento subseqente da
interao do sistema no previsvel.
Interao no-executada
Uma interao no-executada uma transmisso ou recepo que especificada no
projeto do protocolo, mas nunca executada.
Livelock
Um livelock uma situao onde os processos mantm a troca de mensagens, mas sem
nenhum progresso efetivo sendo realizado. Este erro deve ser evitado, pois assim que o

103
mesmo ocorre, o sistema travado infinitamente em um pequeno conjunto de estados
globais.
Overflow
Um overflow um estado de canal tal que o nmero de mensagens no canal no limitado
pelo nmero inteiro positivo pr-definido. Qualquer canal de comunicao possui uma
capacidade de armazenamento que limita a quantidade de informao que o mesmo pode
transportar. Uma tentativa em exceder esta capacidade pode resultar em perda de dados
sendo transferidos entre os processos envolvidos na comunicao.

A tcnica mais direta para validar uma dada rede de duas mquinas de estado finitas de
comunicao chamada explorao de estados e, o mtodo mais comum de anlise utilizado
por esta tcnica chamado de anlise de alcanabilidade exaustiva.

Nesta tcnica, constri-se o grafo de alcanabilidade de uma dada rede; este um grafo cujos
vrtices correspondem aos estados alcanveis da rede e cujos arcos correspondem s
transies de estado. Um estado alcanvel, tambm denominado estado global, uma tupla
contendo o estado corrente de cada mquina e o contedo de todos os canais utilizados no
sistema. Todos os possveis estados globais so gerados a partir do estado global inicial via
transies de sada admissveis de cada estado em todas as mquinas envolvidas na
comunicao [LIN, 1998], [GOUDA, 1984], [NEGULESCU, 1995].

Se o grafo de alcanabilidade for finito, ento se determina que a comunicao na rede
limitada e, possvel determinar se a mesma est livre dos erros de progresso, analisando
cada estado global novo que gerado.

104
Este modelo tem a vantagem da simplicidade e um mtodo de anlise que pode ser
facilmente automatizado. No entanto, este mtodo possui uma grande desvantagem
denominada exploso de espao, apresentada pela maioria das tcnicas de verificao
existentes; isso devido ao fato do nmero total de estados globais que devem ser explorados
crescer exponencialmente em funo do tamanho da rede [MOURA, 1986].

A maioria dos grafos de alcanabilidade grande em termos de nmero de estados globais e a
construo dos mesmos requer muito tempo de execuo e muita memria podendo tornar
impraticvel a anlise mesmo se o canal for limitado e a anlise automatizada. O problema
existe, pois o grafo de alcanabilidade exibe o progresso de suas mquinas permitindo todas
as velocidades de progresso relativas alm de apresentar redundncia de explorao de
estados na anlise de alcanabilidade devido a seqncias equivalentes de transaes.

Estas observaes fizeram com que Rubin e West sugerissem uma tcnica de validao de
protocolos melhorada que utiliza um tipo especial de grafo de alcanabilidade chamado grafo
de alcanabilidade justa. Nesta tcnica, o grafo de alcanabilidade justa de uma rede
especfica construdo forando as duas mquinas a avanarem na mesma velocidade.
Realmente, o grafo de alcanabilidade justa resultante normalmente muito menor do que o
grafo de alcanabilidade exaustiva convencional correspondente. Rubin e West provaram que
se o grafo de alcanabilidade justa finito, ento ele pode ser usado para decidir se a
comunicao livre de deadlocks, recepes no-especificadas, interaes no-executadas,
liverlocks e overflows.

Para redes de MEFCs com comunicao limitada, que o caso de praticamente todos os
protocolos de comunicao, o mtodo de alcanabilidade justa pode reduzir mais que a

105
metade o nmero total de estados globais que devem ser buscados para verificar erros de
progresso. Esta uma melhora significativa e tem sido utilizada para reparar o problema de
exploso de estado. No entanto, o mtodo de alcanabilidade justa pode somente ser aplicado
em uma rede de MEFCs com duas mquinas. Esta restrio severamente limita sua
aplicabilidade [MOURA, 1986].

4.2 ESTRATGIAS DE REPARAO EXISTENTES

As estratgias de reparao apresentadas nesta seo podem ser classificadas em trs
categorias de acordo com o objetivo de aplicao de cada uma delas. As estratgias na
primeira categoria so aquelas de modelagem de protocolo, i.e., no estgio de especificao
formal dos protocolos. A segunda categoria de estratgias de reparao aplicada depois que
a modelagem do protocolo realizada, mas antes que a verificao seja feita. A terceira
categoria de estratgias aquela incorporada na verificao (e assim anlise de
alcanabilidade) de algoritmos. Uma nfase maior dada terceira categoria de estratgias.

Estratgia de Reparao Proposta por West em 1982 [WEST, 1982]
A estratgia de reparao proposta por West em 1982 pertence primeira categoria. As
principais tcnicas propostas por ele so:
Restringir o uso de parmetros multi-valorados tal como nmero de seqncia na
especificao
Limitar o nmero de mensagens nos canais de mensagens
Limitar as classes de erros de transmisso consideradas

106
Estratgias de Reparao Propostas por Vuong e Cowan [VUONG, 1982], Choi e Miller
[CHOI, 1983], e Chow, Gouda, e Lam [CHOW, 1985]
Embora diferentes termos tais como decomposio, particionamento e fases mltiplas sejam
utilizados entre os grupos de pesquisadores citados, as estratgias de reparao que todos
propem seguem a mesma direo. Eles observaram que certas classes de protocolos podem
ser decompostas/particionadas em componentes (ou mltiplas fases) que posteriormente
podem ser separadamente verificados para garantir a corretude do protocolo original. Esta
tcnica soluciona a complexidade do problema de verificao, pois os componentes de
protocolos so sempre menores em nmero de estados e transies do que o protocolo
original. Estas propostas so estratgias de reparao da segunda categoria como classificado
no incio da seo.

Estratgia de Reparao Proposta por Lam e Shankar [LAM, 1984]
A estratgia proposta aqui tambm pertence segunda categoria. Diferentemente das
estratgias de decomposio/particionamento, os pesquisadores propem uma abordagem de
projeo, que ao invs de particionar um protocolo em fases mltiplas, constri um protocolo
imagem do protocolo dado para cada uma das funes que se pretende verificar. Os estados,
mensagens e eventos das entidades no protocolo imagem so obtidos agregando grupos de
estados, mensagens e eventos das entidades correspondentes no protocolo original. O
protocolo resultante, no entanto, menor do que o protocolo original e, a complexidade do
problema reduzida.

As estratgias de reparao seguintes pertencem todas terceira categoria, que a mais
importante para este trabalho.

107
Estratgia de Reparao Proposta por Blumer e Sidhu [BLUMER, 1986]
O analisador de mquinas de estado finitas (MEFs), construdo como uma das ferramentas no
sistema de desenvolvimento de protocolo por Blumer e Sidhu, baseado no modelo de
mquina de estado finita estendida. Um mecanismo chamado de regra de escolha de transio
fornecido, e o mesmo associado com cada uma das transies. A regra de escolha uma
condio booleana cujo valor decide se a transio na MEFC ou no para ser executada
durante a anlise de alcanabilidade. Como exemplo, uma regra pode especificar que
nenhuma transio pode ser executada duas vezes no mesmo caminho, ou que nenhuma
transio pode ser executada se o resultado o seu prprio estado, ou loops infinitos que
possam ocorrer na anlise podem ser eliminados com regras de escolha apropriadas, etc.
Como resultado, o escopo da explorao de estados controlado pelas regras de escolha.

Estratgia de Reparao Proposta por Ansart [ANSART, 1985]
LISE tambm uma ferramenta baseada no modelo de mquina de estado finita estendida.
Ela pode ser operada em dois modos: modo de validao e modo de simulao. Quando o
sistema operado no modo de validao, ele pode executar todas as transies possveis em
qualquer estado global. Por outro lado, se o sistema estiver no modo simulao, somente uma
transio de sada de um estado global selecionada para ser executada. O modo simulao
adotado sempre que uma validao completa invivel devido exploso de estados. A
seleo de transio no modo de simulao realizada de duas formas. Na primeira, a seleo
simplesmente feita de forma aleatria; na segunda forma, uma prioridade atribuda para
cada uma das transies e a transio com a mais alta prioridade a escolhida.

108
Estratgias de Reparao Propostas por Rubin e West [RUBIN, 1982], Gouda e Han
[GOUDA, 1985], Zhao e Bochmann [ZHAO, 1987]
Este grupo de estratgias tem suas bases na explorao de estado com progresso justo.
Primeiramente proposta por Rubin e West, e posteriormente estendida por outros
pesquisadores, a idia explorar somente os estados globais que so alcanveis,
considerando o fato das duas entidades de protocolo avanarem em uma mesma velocidade.
Erros de projeto de protocolos tais como deadlock, recepes no-especificadas, interaes
no-executadas, livelocks e overflow podem ainda ser completamente detectados embora a
explorao no seja exaustiva. A limitao desta estratgia que a mesma somente aplicada
em protocolos de duas entidades.

Estratgia de Reparao Proposta por Gouda e Yu [GOUDA, 1984]
Esta estratgia chamada de explorao de estado com progresso mximo. A idia similar
explorao de estado com progresso justo e sua aplicabilidade tambm limitada a protocolos
com duas entidades. Basicamente, a proposta diz que os estados globais de um protocolo com
duas entidades podem ser gerados em duas exploraes distintas, sendo que durante a
execuo cada entidade diferente forada a progredir em sua velocidade mxima sempre que
possvel. Todavia, erros de projeto de protocolo tais como deadlocks, recepes no-
especificadas e sobrecarga de canais, ainda podem ser detectados. Alm disso, este mtodo
possui outra vantagem sobre os demais que o fato de que pode ser estruturado para rodar
como dois processos de forma a acelerar o processo de validao.

Estratgia de Reparao Proposta por Itoh e Ichikawa [ITOH, 1983]
A estratgia de reparao proposta por estes pesquisadores aplicada a protocolos cuja
entidade MEFCs no contm qualquer ciclo que no passe pelos estados iniciais. Em cada

109
estado global, os eventos admissveis de diferentes entidades so executados simultaneamente
para derivarem o prximo estado global. Alm disso, se existe algum evento admissvel no
estado corrente de uma entidade E, derivaes adicionais do estado global, atravs da inibio
da execuo de todos os eventos admissveis de E, devem tambm ser realizados. O objetivo
forar que a entidade E espere com a finalidade de que qualquer um dos potenciais eventos
admissveis possam tornar-se executveis posteriormente. Seguindo o algoritmo, somente
parte do grafo de estados globais explorada. As seqncias de interao assim exploradas
so chamadas de seqncias de explorao reduzidas e so usadas para verificar o protocolo
de acordo com a especificao requerida.

Estratgias de Reparao Propostas por Brand e Zfiropulo [BRAND, 1983], Kakuda,
Wakahara, e Norigoe [KAKUDA, 1986]
Este grupo de estratgias chamado de validao de protocolo de rvore (ou forma acclica).
Ao invs de explorar os estados globais de um protocolo, esta estratgia aumenta cada
entidade do protocolo em uma rvore ou forma acclica. Durante o processo de crescimento,
erros de projeto de protocolo tais como recepes no-especificadas, deadlocks e sobrecarga
de canal podem ser detectados. O algoritmo desta estratgia muito mais complicado do que
a anlise de alcanabilidade de estados globais tradicional. Todavia, a velocidade de validao
melhorada.

Estratgia de Reparao Proposta por Holzmann [HOLZMANN, 1985] [HOLZMANN,
1987] [HOLZMANN, 1988]
Holzmann projetou uma ferramenta chamada Trace, que tambm trabalha sob dois modos,
como ferramenta de depurao rpida ou como um provador de corretude lento. A nfase
principal que o usurio possa controlar o escopo de cada busca. Quando usado como uma

110
ferramenta de depurao, Trace usa uma estratgia de busca chamada busca de espalhamento
para explorar o grafo de estados globais, que basicamente uma busca depth first guiada por
alguns heursticos simples e restrita por um limite de profundidade. Exemplos de heursticos
propostos por Holzmann so:
Restringir a quantidade de no-determinismo: existem dois tipos de no-
determinismos em protocolos, aqueles devido concorrncia e outros devido ao
comportamento local. o no-determinismo de concorrncia que pode ser removido
Atribuir prioridades entre os eventos concorrentes: por exemplo, aes internas >
aes de recepo > aes de envio > timeout de canal, onde > significa ter
prioridade sobre
Limitar o tamanho de fila
Descartar todos os estados depois da explorao depth first exceto aqueles que so
estados de loop
Manter um tamanho limitado de cache para armazenamento de estados globais:
descartar estados atravs de uma seleo simples de round robin quando o cache
estiver completo
Minimizar os modelos MEFCs das entidades de protocolo antes da verificao

Estratgia de Reparao Proposta por West [WEST, 1987] em 1986
Esta estratgia chamada de explorao de estados com caminhada aleatria (random-walk).
Da sua experincia em validar o protocolo da camada de sesso do modelo OSI, West
observou que a maioria dos erros detectados encontrada na maior parte das vezes em estados
globais diferentes para um protocolo complexo. Isto sugere que a anlise de uma subrede de
estados globais alcanveis com caminhada aleatria seja suficiente para identificar uma

111
significante frao de erros. A estratgia de caminhada aleatria ento proposta como uma
forma de parcialmente explorar o grafo de estados globais. A estratgia diz que:
Se existe algum evento que pode causar coliso de mensagens quando executado tal
evento executado primeiro; caso contrrio, uma escolha arbitrria de qualquer evento
a ser escolhido executada
A explorao de estados expandida ao longo de um nico caminho sem back-
tracking. Como resultado, nenhum dos estados anteriores precisa ser lembrado e os
estados que j foram explorados podem ser novamente explorados

Estratgia de Reparao Proposta por Vuong, Hui, e Cowan [VUONG, 1982]
Os pesquisadores propem uma nova representao de estado global de forma que o
algoritmo de alcanabilidade desenvolvido gere grafos finitos para todos os protocolos no-
FIFO e para uma certa classe de protocolos FIFO mesmo que estes protocolos produzam um
nmero limitado de mensagens no meio de transmisso. Esta abordagem ento soluciona uma
classe de problemas, onde a anlise de alcanabilidade convencional falha ao lidar com os
mesmos devido a infinidade de estados globais alcanveis induzidos por acumulao no
limitada de mensagens no meio.

Nenhuma das estratgias de reparao pesquisadas anteriormente pode totalmente substituir
as outras ou at mesmo a anlise de alcanabilidade exaustiva. Por exemplo, embora a
validao de protocolo de rvore seja mais rpida do que a anlise de alcanabilidade
convencional, ela perde a habilidade de detectar propriedades como livelocks e ainda possui
um comportamento exponencial no pior caso. Por outro lado, exploraes de estado parciais
tais como caminhada aleatria, busca de espalhamento, regra de escolha de transio e
simulao podem ser capazes de identificar erros de projeto rapidamente, mas no podem

112
garantir que o protocolo seja livre de qualquer erro mesmo que nenhum seja encontrado
durante a explorao. Finalmente, embora as verificaes baseadas no progresso justo ou no
progresso mximo e, a especial representao do estado global reduzem a seqncia de
implementao e podem completamente validar um protocolo mais rapidamente, elas so
aplicveis somente a algumas classes restritas de protocolos.

A tcnica de alcanabilidade justa, ou tambm denominada de validao com progresso justo,
foi a tcnica selecionada para verificao dos protocolos GMPLS. A escolha foi realizada
com base nas suas principais caractersticas (mencionadas anteriormente) tais como: (i)
explorao somente dos estados globais alcanveis, portanto explorao no exaustiva; (ii)
validao completa do protocolo mais rapidamente; (iii) diminuio no nmero de estados no
grafo metade ou menos se comparado com o nmero de estados pesquisados na anlise
exaustiva. A desvantagem da tcnica de validao com progresso justo que limita o uso da
mesma somente em protocolos de duas entidades, no interfere na anlise, pois os protocolos
GMPLS pertencem a essa classe de protocolos.

4.3 REDES DE MQUINAS DE ESTADO FINITAS DE
COMUNICAO

Considere I = {1, 2, ..., n}, onde n 2, uma constante denotando o nmero de processos na
rede de MEFCs. Uma rede de mquinas de estado finitas de comunicao uma tupla P
1
, P
2
,
, P
n
, onde cada P
i
uma MEFC [GOUDA, 1986], [PARK, 1998], [OZDEMIR, 1994].

Uma mquina de estado finita de comunicao P
i
uma tupla ( ) , , , S
0i i
i
p
i

, onde
[GOUDA, 1984] [BRAND, 1983]:

113
S
i
o conjunto de estados locais da mquina P
i
.

i
p
0
S
i
o estado inicial da mquina P
i
.

=
n j
i j
n j
j i
i
1
,
1
,
, onde
j i,
, 1 j,i n, o alfabeto de mensagens que P
i
pode
enviar para P
j
, e
i j,
, 1 j,i n, o alfabeto de mensagens que P
i
pode receber de P
j
.

i
S
i
i i
I S 2 :

a funo de transao. ) , , ( j m p
i
o conjunto de estados que o
processo P
i
pode se mover a partir do estado p depois de enviar uma mensagem m para
o processo P
j
, ) , , ( j m p
i
+ o conjunto de estados que o processo P
i
pode se mover a
partir do estado p depois de receber uma mensagem m enviada pelo processo P
j
.

Usa-se c
i,j
(i j, pois se assume que uma mquina no pode enviar mensagens ou receber
mensagens dela mesma) para denotar o canal FIFO da mquina P
i
para P
j
.

Para cada m
j i,
, -(m,j) denota o evento do processo P
i
de enviar uma mensagem m para P
j

(i.e., anexando a mensagem m a c
i,j,
, logo c
i,j
.m onde . o operador de concatenao),
enquanto +(m,i) denota o evento do processo P
j
de receber uma mensagem m enviada pelo
processo P
i
(i.e., removendo a mensagem m de c
i,j
) [LUNDY, 1991].

Uma transmisso ) resp. , ' ( '
) , ( ) , (
p p p p
j m j m +
em P
i
chamada arco ativo representa a ao de
enviar uma mensagem (arco passivo representa a ao de receber uma mensagem,
respectivamente). Um estado p em P
i
denominado estado ativo (estado passivo,
respectivamente) se todos os seus arcos de sada so arcos ativos (passivos, respectivamente).
p chamado de estado misto se o mesmo possui arcos ativos e passivos como arcos de sada.

114
Um estado global uma tupla [ c v
r r
, ], onde
I i
i
p v
=
r
so os ns dos processos (MEFCs)
envolvidos na comunicao e
I j i
j i
c c
=
,
,
r
so os canais FIFO para troca de mensagens entre
os processos. O estado global inicial
(
I j i
j i
I i
i
c p
,
, 0
, , onde c
i,j
= (i j). Um estado global
(
I l k
l k
I k
k
c p
,
,
' , ' subseqente de um estado global
(
I l k
l k
I k
k
c p
,
,
, , se k,l I tal que:
ou
k
l m
k
p p '
) , (
est em P
k
, I k e I l k m c c
l k l k
= , . '
, ,

ou
k
l m
k
p p '
) , ( +
est em P
k
, I k e I l k c c m
k l k l
= , ' .
, ,

Embora a noo acima de alcanabilidade por um passo parea ser complicada, na verdade ela
define duas operaes simples. No primeiro caso, a mquina P
k
, no estado local p
k
, envia uma
mensagem m para a mquina P
l
e ento move para o estado p
k
. Logo somente o canal c
kl

alterado. No segundo caso, a mquina P
k
, no estado local p
k
, recebe a mensagem m do canal
c
lk
, e ento move para outro estado p
k
.

Um estado global ] ' , ' [ c v
r r
subseqente de outro estado global ] , [ c v
r r
, cuja notao
[ ] [ ] ' , ' ,
*
c v c v
r r r r
, se ] ' , ' [ c v
r r
alcanvel a partir de ] , [ c v
r r
em zero ou mais passos. Seja p e p dois
estados de uma rede [M, N], p alcanvel a partir de p se e somente se p = p ou se existem
estados p
1
, , p
r
tal que p = p
1
, p = p
r
e p
i
+1 subseqente de p
i
para I=1, , r-1.

Um estado de uma rede [M, N] alcanvel se e somente se alcanvel a partir do estado
inicial de [M, N].

A tarefa de verificar uma rede de MEFCs que modela um protocolo de comunicao consiste
em determinar se a rede de MEFCs possui algumas propriedades no desejveis que refletem

115
em alguns erros lgicos no protocolo original [NEGULESCU, 1995]. Entre as propriedades
mais interessantes e investigadas esto deadlocks, recepes no-especificadas, interaes
no-executadas, livelocks e overflows.

Informalmente, os erros de progresso podem ser detectados da seguinte forma:
Uma rede de MEFCs est em estado deadlock se cada uma das mquinas estiver em
um estado passivo e todos os canais estiverem vazios;
Uma recepo no-especificada ocorre quando existe um estado global
[ ] [ ]
21 12 2 1
, , , , c c p p c v =
r r
tal que:
(i)
k
m m m c ... .
2 1 21
= (K 1) e p
1
um no passivo e nenhuma de suas transaes de sada
esto rotuladas como +(m
1
,2);
(ii)
k
m m m c ... .
2 1 12
= (K 1) e p
2
um no passivo e nenhuma de suas transaes de sada
esto rotuladas como +(m
1
,1);
ou seja, quando uma ou mais mquinas na rede esto em um estado local passivo na
rede, mas nenhuma das mensagens na primeira posio nos canais FIFO de entrada
compatvel com o tipo de mensagem esperada pelos estados passivos locais correntes;
Interaes no-executadas so detectadas quando uma transio de estado est
presente na MEFC mas esta est ausente no grafo de alcanabilidade;
Uma rede de MEFCs apresenta overflow se um dos canais definidos excede o valor
limite de mensagens possveis de serem transmitidas por canal;
Quando loops infinitos sobre um pequeno conjunto de estados globais detectado,
determina-se ento que a rede apresenta livelock, pois transies so realizadas, mas
nenhum progresso na rede constatado.

116
Um estado global [ ] c v
r r
, estvel se
0
c c
r r
= , i.e., todos os canais esto vazios. Aparentemente,
um estado deadlock tambm um estado estvel, mas o contrrio no verdadeiro.

4.4 ANLISE DE ALCANABILIDADE JUSTA

A anlise de alcanabilidade justa [GOUDA, 1986] uma tcnica de alcanabilidade
melhorada se comparada com a alcanabilidade exaustiva convencional. Esta tcnica
utilizada em redes de comunicao com somente dois processos (MEFCs) e, parte do
princpio de que os dois processos avanam em igual velocidade. Em outras palavras, ao invs
de permitir que somente uma nica transio em um processo seja executada por vez, a
anlise de alcanabilidade justa combina duas transies que se associam entre si de ambos os
processos, gerando assim um novo estado global.

Os pesquisadores Rubin e West definiram uma seqncia como uma sria de passos de
execuo onde cada processo, ou envia, ou recebe uma mensagem. A tcnica baseada na
observao de que se cada processo possui uma transio habilitada, ento considerar somente
um interleaving destas transies suficiente. Baseado nesta observao, um par de
transies, um de cada processo, pode ser executado no mesmo estado global para obter o
estado sucessor alcanvel para um dos interleavings equivalentes. Como resultado, um par
de transies executado em um vrtice do grafo de alcanabilidade. Assim, este mtodo
explora todas as seqncias cannicas ao invs de todas as seqncias possveis.

Um estado [ ] [ ]
wt tw
c c w t c v , , , , =
r r
da rede [M, N] justo se e somente se |c
tw
| = |c
wt
|, onde |c
tw
| o
nmero de mensagens no canal de mensagens c
tw
, onde t e w so estados pertencentes as

117
MEFCs M e N, respectivamente Conseqentemente, o estado inicial de [M, N] justo.
Portanto, qualquer estado deadlock de [M, N] tambm justo.

Um estado global [ ] ' , ' c v
r r
, de forma justa, subseqente de [ ] c v
r r
, se [PENG, 1997]:
[ ] ' , ' c v
r r
resultado de [ ] c v
r r
, via duas aes de duas mquinas diferentes, P
i
e P
j
, tal que
a ao de P
i
seja uma ao ativa (envio) para P
j
, e a ao de P
j
seja uma ao passiva
(recebimento) de P
i
; ou
[ ] ' , ' c v
r r
r r
i
e P
j
, tal que
a ao de P
j
seja uma ao ativa (envio), e a ao de P
i
seja uma ao passiva
(recebimento); ou
[ ] ' , ' c v
r r
r r
i
e P
j
, tal que
as aes de P
i
e de P
j
sejam ativas; ou
[ ] ' , ' c v
r r
r r
i
e P
j
, tal que
as aes de P
i
e de P
j
sejam passivas.

Para que as aes passivas mencionadas aconteam sem a ocorrncia de um erro de progresso
(recepo no-especificada), os canais envolvidos na comunicao no devem estar vazios e
devem conter as mensagens esperadas pelos estados.

Teorema 1
12
. Seja N = P
1
, P
2
uma rede de MEFC. Se um estado global [ ]
0
, c v
r r
estvel,
ento ele alcanvel de forma justa.

Denomina-se um estado global estvel que alcanvel de forma justa como um estado
alcanvel de forma justa estvel. Sabe-se que cada estado alcanvel de forma justa um

12
No faz parte do escopo desta tese a apresentao da prova do teorema 1 mas a mesma pode ser encontrada em
[PENG, 1997].

118
estado global alcanvel vlido. Logo, dois corolrios imediatos do teorema mencionado so
citados, os quais so a base da aplicao do conceito de alcanabilidade justa na deteco dos
erros de progresso.

Corolrio 1. Uma rede de MEFCs N livre de deadlocks se e somente se todos os estados
alcanveis de forma justa estveis em N forem livres de deadlocks.

Corolrio 2. Uma rede de MEFCs N livre de recepes no-especificadas se e somente se
todos os estados alcanveis de forma justa estveis em N forem livres de recepes no-
especificadas.

De acordo com o teorema e corolrios, para verificar deadlock e recepo no-especificada,
precisa-se somente buscar por estados alcanveis de forma justa estveis.

Interaes no-especificadas detectada somente com a verificao das transies na rede de
MEFCs e os estados globais e canais no grafo de alcanabilidade justa. Por outro lado,
livelocks e overflows so detectados a partir da observao do comportamento do grafo de
alcanabilidade, verificando a existncia de loops infinitos e nmero de mensagens nos
canais, respectivamente.

Grafo de Alcanabilidade Justa
O resultado final da anlise de alcanabilidade justa a construo do grafo de
alcanabilidade justa. Para qualquer rede de MEFCs com comunicao limitada, o nmero
total de estados alcanveis de forma justa menor ou igual a metade do nmero total de
estados globais alcanveis, ou seja, o grafo de alcanabilidade justa muito menor do que o

119
grafo de alcanabilidade exaustiva correspondente. Alm disso, o grafo de alcanabilidade
justa finito pode ser usado para verificar se um protocolo apresenta ou no erros de progresso.

Os estados alcanveis de forma justa de uma rede [M, N], e a relao de ser subseqente de
forma justa podem ser representados por um grafo rotulado G, chamado de grafo de
alcanabilidade justa de [M, N], como segue:
O estado inicial do grafo de alcanabilidade justa [ ] [ ] , , , ,
0 0 0 0
w t c v =
r r
, onde t
0
e w
0
so
os estados iniciais das MEFCs M e N, respectivamente e, representa uma string
vazia indicando assim que ambos canais unidirecionais no transportam mensagens
Para cada estado [ ] c v
r r
, de [M, N] alcanvel de forma justa a partir do estado inicial ou
de outros estados j presentes em G, adiciona-se um vrtice rotulado com o estado
[ ] c v
r r
, , para G (um vrtice rotulado com um estado [ ] c v
r r
, em G referido como vrtice
[ ] c v
r r
, )
Se dois estados alcanveis de forma justa [ ] ' , ' c v
r r
e [ ] ' ' , ' ' c v
r r
de [M, N] so de tal forma
que [ ] ' ' , ' ' c v
r r
, de forma justa, subseqente de [ ] ' , ' c v
r r
sobre um arco e representando
duas aes de transio de duas mquinas diferentes M e N, ento adicione este arco,
rotulado e, do vrtice [ ] ' , ' c v
r r
para o vrtice [ ] ' ' , ' ' c v
r r
em G

Rubin e West observaram que se o grafo de alcanabilidade justa G (GAJ, no ingls Fair
Reachability Graph -FRG) de uma rede [M, N] finito (i.e. tem um nmero finito de vrtices
e arcos), ento ele pode ser usado para decidir se a comunicao de [M, N] livre de
deadlocks, recepes no-especificadas, interaes no-executadas, livelocks e overflows. Seu
algoritmo pode ser como segue:
A comunicao de [M, N] livre de deadlock se e somente se nenhum vrtice em G
for rotulado como um estado de deadlock

120
A comunicao de [M, N] livre de recepes no-especificadas se e somente se (i)
nenhum vrtice em G for rotulado como um estado de recepo no-especificada, e
(ii) nenhum vrtice em G for rotulado como um estado na forma [ ] , , , w t que
precedente de um estado de recepo no-especificado
A comunicao de [M, N] livre de interaes no-executadas se e somente se todas
as transies definidas nas MEFCs M e N estiverem presente em G
A comunicao de [M, N] livre de livelocks se e somente se G no possuir nenhum
loop infinito em um pequeno conjunto de estados globais
A comunicao de [M, N] livre de overflow se e somente se nenhum canal em G
exceder o tamanho pr-definido para os mesmos

A terminao deste algoritmo se baseia no fato de G ser finito.

Exemplo
Considere a rede [M, N] cujas MEFCs M e N so mostradas nas Figuras 4.2a e 4.2b
respectivamente e, assuma que cada canal entre as duas mquinas possui capacidade para
3 mensagens. A anlise exaustiva da rede [M, N] apresenta 48 estados globais como
mostra a Figura 4.2c
13
. Com o objetivo de diminuir o nmero de estados globais e ao
mesmo tempo verificar completamente os erros de progresso, a anlise com progresso
justo foi aplicada na mesma rede [M, N]. O nmero total de estados gerados 10 e o
nmero total de estados distintos 7. Claramente, esta explorao de estados mais
eficiente. Com base nas definies de erro de progresso, note que a rede livre de
deadlocks, recepes no-especificadas, overflow e interaes no-executadas. Mas a
mesma apresenta livelocks entre os estados (3,2,2,4) (2,3,E,E) e (2,2,E,E) (3,3,E,E).

13
A Figura 4.2c foi retirada de [M.G. Gouda, Y. T. Yu, Protocol Validation by Maximal Progress State
Exploration, IEEE Transactions on Communications, vol-com- 32, no 1, January 1984]. A figura original
apresenta alguns erros que foram corrigidos na Figura 4.2c.

121

1
3 2
-g1
+g3
-g2
+g4
+g3
(a)
1
3 2
+g1
-g3
+g2
-g4
(b)
+g1

3, 1, 12, E
3, 3, 12, 3 3, 2, 2, E
1, 3, E, 3
2, 1, 1, E
2, 3, 1, 3
2, 2, E, E
1, 1, E, E
3, 3, E, E 1, 2, E, 34 2, 3, 1, 3
3, 3, 12, 3
2, 2, 1, 34 3, 3, 12, E 2, 2, E, E 2, 2, E, 34
3, 2, 12, 4 3, 2, 2, E 3, 2, 2, 34 3, 2, 2, 34
3, 3, E, E 3, 2, 2, 4 3, 3, E, 34 3, 2, 2, 4
3, 2, E, 4 3, 3, E, 4 3, 2, E, 344 2, 2, 2, E
3, 2, E, 44
3, 3, E, 4
2, 3, E, E 3, 2, E, 44 3, 2, 22, E
2, 2, E, 4 3, 3, 2, E
3, 2, 12, 4
2, 2, 12, E
3, 2, 122, E
3, 2, 22, E
3, 3, 2, E
3, 2, 2, 4
2, 2, 2, E
2, 3, E, E
2, 2, E, 4
3, 2, 2, 4
3, 2, 12, 34
2, 2, 1, 34
3, 2, E, 4
(c)

122
1, 1, E, E
3, 2, 2, 4
2, 3, E, E
3, 2, 2, 4
2, 2, E, E 3, 3, E, E 3, 2, 12, 34
3, 3, E, E 2, 3, 1, 3 2, 2, E, E
-g1/-g3
-g1/+g1
+g3/-g3
-g2/-g4 -g2/+g2 +g4/-g4
+g3/+g1
+g4/+g2
-g2/-g4
(d)

Figura 4.2 (a) e (b) especificao de dois processos que formam um protocolo atravs de
mquinas de estado finitas; (c) anlise de alcanabilidade exaustiva do protocolo; (d) anlise
de alcanabilidade justa do protocolo especificado.

4.5 CONCLUSES

Uma rede de mquinas de estado finitas de comunicao um conjunto de MEF que se
comunicam atravs de um canal FIFO unidirecional enviando e recebendo mensagens.
MEFCs tem sido amplamente utilizadas para especificar e principalmente validar protocolos
de comunicao.

A tcnica mais simples para validar uma dada rede de MEFCs chamada anlise de
alcanabilidade exaustiva. Esta explora todas as possveis interaes das MEFCs gerando
exaustivamente todos os estados globais alcanveis a partir do estado inicial, formando
assim, o grafo de alcanabilidade da rede. Cada novo estado global ento analisado para
determinar se o mesmo representa algum erro de progresso. O processo repetido para cada
estado global gerado at que nenhum estado seja criado. A terminao deste processo
garantida se todos os canais forem limitados e o grafo de alcanabilidade finito.

A anlise exaustiva possui uma desvantagem: exploso de estados. Exploso de estados foi e
continuar sendo o principal problema das tcnicas de verificao de protocolos via anlise de

123
alcanabilidade. Estratgias de reparao para o problema citado, baseadas em diferentes
abordagens, foram pesquisadas e avaliadas.

A anlise com progresso justo, uma das tcnicas de reparao, foi a tcnica escolhida para
verificao dos protocolos GMPLS. Nesta tcnica, o grafo de alcanabilidade justa de uma
rede especfica construdo forando as duas mquinas a avanarem na mesma velocidade.
Mostrou-se que a anlise justa pode aliviar o problema de exploso, reduzindo metade ou
menos o nmero de estados globais alcanveis que devem ser atingidos.

Mesmo com uma explorao no exaustiva dos estados globais, erros de progresso tais como
deadlocks, recepes no-especificadas, interaes no-executadas, livelocks e overflows,
podem ainda ser completamente detectados. A desvantagem desta estratgia que a mesma
somente aplicada em protocolos de duas entidades, o que no um limite aos protocolos
GMPLS que se encaixam nesta classe de protocolos.
CAPTULO V
ANLISE LGICA, PROPOSTA DE CORREES E MELHORIAS DO
PROTOCOLO DE GERENCIAMENTO DE ENLACE

5.1 INTRODUO

Para permitir a comunicao entre ns vizinhos, garantindo assim o gerenciamento de enlace,
roteamento e sinalizao, deve existir um par de interfaces IP (Internet Protocol) que so
mutuamente alcanveis. Tal par de interfaces denominado canal de controle. Note que o
termo mutuamente alcanvel no implica que estas duas interfaces esto diretamente
conectadas por um enlace IP; pode existir uma rede IP entre elas. Alm disso, a interface
sobre a qual as mensagens de controle so enviadas/recebidas pode no ser a mesma interface
sobre a qual os dados so transportados.

No GMPLS, no se requer que os canais de controle entre dois ns adjacentes usem o mesmo
meio fsico que os enlaces de dados entre esses dois ns. Uma das conseqncias em se
permitir que o canal de controle entre dois ns seja lgica ou fisicamente diferente e separado

125
dos enlaces de dados associados que a sade do canal de controle no necessariamente
correlacione com a sade dos enlaces de dados, e vice-versa.

LMP (Link Management Protocol, no portugus, protocolo de gerenciamento de enlace) pode
comunicar as propriedades dos enlaces ao mdulo IGP (Interior Gateway Protocol) que pode
assim anunci-las para outros ns na rede. LMP pode tambm passar informao do
mapeamento entre enlaces TE e canais de controle ao mdulo de sinalizao. Portanto, LMP
realiza uma valiosa funo de ligao no plano de controle.

Um protocolo de grande importncia, como o LMP, no pode apresentar erros de progresso.
Uma anlise lgica do protocolo ento realizada atravs da abordagem de alcanabilidade
justa, detalhada no Captulo IV. Esta anlise prova que o LMP est livre de erros de progresso
como deadlock, recepo no-especificada, interao no-executada, livelock e overflow.

5.2 LMP VISO GERAL

Uma adjacncia LMP formada entre dois ns quando pelo menos um canal de controle
bidirecional est estabelecido entre eles. Mltiplos canais de controle podem estar ativos
simultaneamente para cada adjacncia; no entanto, parmetros de canais de controle devem
ser negociados individualmente para cada canal de controle.

Mensagens LMP so transmitidas de forma confivel usando Message_IDs (identificadores
de mensagens) e retransmisses. Somente um Message_ID deve ser includo em uma
mensagem LMP. Para mensagens especficas de canal de controle, o Message_ID est no
escopo do canal de controle sobre o qual a mensagem enviada. Para mensagens especficas

126
do enlace TE, o Message_ID est no escopo de uma adjacncia LMP. O valor do Message_ID
aumenta de forma invarivel e automaticamente zerado quando o valor mximo
alcanado.

Os dois principais procedimentos do LMP so gerenciamento de canal de controle e
correlao de propriedades de enlace.

Procedimentos LMP adicionais so definidos: verificao de conectividade de enlace e
gerenciamento de falhas. Estes procedimentos so particularmente teis quando os canais de
controle esto fisicamente separados dos canais de dados [ABOUL-MAGD, 2003],
[EVERDINGEN, 2002].

5.3 GERENCIAMENTO DE CANAL DE CONTROLE

Os canais de controle podem ser usados para troca de informao tais como, provisionamento
de enlace e informao de gerenciamento de falhas (implementado usando um protocolo de
troca de mensagens como o LMP), gerenciamento de caminho e informao de distribuio
de rtulo (implementado utilizando um protocolo de sinalizao) e, topologia de rede e
informao de distribuio de estado (implementado usando extenses da engenharia de
trfego de protocolos de roteamento) [LANG, 2003].

O gerenciamento de canal de controle (CC) feito utilizando a troca de mensagem Config e
um mecanismo Hello entre os ns. O mecanismo Hello requerido se os mecanismos de nvel
mais baixo no estiverem disponveis para deteco de falhas do canal de controle. Se o
mecanismo Hello usado, mensagens Hello devem ser trocadas sobre o canal de controle.

127
Cada n atribui um identificador de canal de controle (CC_ID) nico de 32 bits e diferente de
zero a cada direo do canal de controle.

Canais de controle existem independentemente dos enlaces de dados. Mltiplos canais de
controle podem estar ativos simultaneamente entre um par de ns e, cada um pode ser
implementado de forma diferente. Assim, parmetros devem ser negociados sobre cada canal
de controle individualmente. No caso onde mltiplos canais de controle usam a mesma
interface fsica, a troca de negociao de parmetros tambm realizada para cada canal de
controle. As vrias mensagens de negociao de parmetros LMP so associadas com seus
canais de controle correspondentes atravs de seus identificadores nicos (CC-IDs).

Existem quatro mensagens LMP que so usadas para individualmente gerenciar canais de
controle. Estas mensagens so: Config, ConfigAck, ConfigNack, e Hello. Elas devem ser
transmitidas atravs dos canais as quais elas se referem. Todas as demais mensagens LMP
podem ser transmitidas sobre qualquer canal de controle ativo entre um par de ns adjacentes.

5.3.1 Negociao de Parmetros

A ativao do canal de controle comea com a negociao de parmetros usando mensagens
Config, ConfigAck e ConfigNack. O contedo destas mensagens pode ser negocivel ou no-
negocivel (identificado por um bit N no cabealho do objeto). Parmetros negociveis podem
ser usados para que LMP peers concordem com certos valores. Parmetros no-negociveis
so usados para anunciar valores especficos que no precisam ou no permitem negociao.

128
Para ativar um canal de controle, uma mensagem Config deve ser transmitida a um n remoto,
e como resposta, uma mensagem ConfigAck deve ser recebida pelo n local.

possvel que ambos, o n remoto e o n local, iniciem o procedimento de configurao ao
mesmo tempo. Para evitar ambigidades, o n com o maior Node_ID (identificador de n)
vence a conteno; o n com o Node_ID menor deve parar a transmisso da mensagem
Config e responder a mensagem Config recebida. Se os Node_IDs so iguais, ento um dos
ns ou ambos no foram configurados corretamente e, o problema pode ser solucionado por
um operador.

A mensagem ConfigAck usada para reconhecer o recebimento da mensagem Config e
expressa a concordncia com todos parmetros configurados (parmetros negociveis e no-
negociveis).

A mensagem ConfigNack usada para reconhecer o recebimento da mensagem Config e,
indicar (caso houver) os parmetros no-negociveis que no foram aceitos e propor valores
alternativos para os parmetros negociveis. Se um n recebe uma mensagem ConfigNack
com valores alternativos no aceitveis, o n pode continuar a retransmitir mensagens Config
com a configurao considerada correta. O problema pode ser resolvido por um operador
mudando os parmetros em um n ou em ambos os ns [LANG, 2003].

5.3.2 Protocolo Hello

Uma vez que um canal de controle ativado entre ns adjacentes, o protocolo Hello pode ser
usado para manter a conectividade do canal de controle entre os ns e para detectar falhas no

129
canal de controle. O protocolo Hello como um mecanismo keep-alive mais leve que ir
reagir rapidamente s falhas do canal de controle de forma que as mensagens Hello no sejam
perdidas e as adjacncias de estado de enlace associadas no sejam removidas
desnecessariamente.

Negociao dos Parmetros Hello
Antes de enviar as mensagens Hello, os parmetros HelloInterval e HelloDeadInterval devem
ser determinados e concordados pelos ns local e remoto. Estes parmetros so trocados na
mensagem Config. O HelloInterval indica a freqncia com que as mensagens Hello devem
ser enviadas e medido em milisegundos (ms). O HelloDeadInterval indica quanto tempo um
dispositivo deve esperar para receber uma mensagem Hello antes de declarar o canal de
controle como desativado e tambm medido em milisegundos (ms).

O HelloDeadInterval deve ser maior que o HelloInterval e deve ser pelo menos trs vezes o
valor de HelloInterval. Se o mecanismo Hello do LMP no for usado, deve-se atribuir o valor
zero aos parmetros HelloInterval e HelloDeadInterval.

Os valores de HelloInterval e HelloDeadInterval devem ser selecionados cuidadosamente
para fornecer um rpido tempo de resposta s falhas do canal de controle sem causar
congestionamento. Assim, diferentes valores sero configurados para diferentes
implementaes de canal de controle. Os valores padres sugeridos para HelloInterval
150ms e para HelloDeadInterval 500ms.

Quando um n transmitir ou receber uma mensagem Config, ele pode comear a enviar
mensagens Hello. Uma vez que uma mensagem Hello foi enviada e uma mensagem Hello

130
vlida foi recebida (i.e., com o nmero de seqncia esperado), o canal de controle muda para
o estado up.

Cada mensagem Hello contm dois nmeros de seqncia: o primeiro nmero de seqncia
(TxSeqNum) o nmero de seqncia para a mensagem Hello sendo enviada e o segundo
nmero de seqncia (RcvSeqNum) o nmero de seqncia para a ltima mensagem Hello
recebida do n adjacente sobre este canal de controle. Os nmeros de seqncias nas
mensagens Hello permitem que cada n verifique se o seu peer est recebendo suas
mensagens Hello. Atravs da incluso do RcvSeqNum nos pacotes Hello, o n local sabe quais
pacotes Hello que o n remoto recebeu [LANG, 2003].

5.3.3 Canal de Controle Desativado

Quando enlaces de dados ainda esto em uso entre um par de ns, um canal de controle pode
ser desativado administrativamente se existem outros canais de controle ativos que podem ser
usados para gerenciar esses enlaces de dados. Para permitir que um canal de controle seja
desativado para finalidades administrativas, a flag ControlChannelDown no cabealho
comum dos pacotes LMP utilizada.

Durante este procedimento, um n deve marcar a flag ControlChannelDown em todas as
mensagens LMP enviadas sobre o canal de controle. O n que inicia o procedimento de
desativao do canal de controle pode parar o envio de mensagens Hello depois que
HelloDeadInterval milisegundos se passarem, ou se ele receber uma mensagem LMP sobre o
mesmo canal de controle com a flag ControlChannelDown marcada.

131
Quando um n recebe um pacote LMP com a flag ControlChannelDown marcada, ele deve
enviar uma mensagem Hello com a flag ControlChannelDown marcada e mover o canal de
controle para o estado down e o mesmo passa a no ser um canal de controle ativo [LANG,
2003].

5.3.4 Estado Degradado

Como conseqncia de se permitir que canais de controle sejam fisicamente separados dos
enlaces de dados associados, pode no existir qualquer canal de controle ativo disponvel
enquanto os enlaces de dados ainda esto em uso. Para muitas aplicaes inaceitvel
desativar um enlace que est transportando trfego simplesmente porque o canal de controle
no est disponvel, no entanto, ao trfego que est usando os enlaces de dados no ser
garantido o mesmo nvel de servio. Assim, o enlace TE est no estado degradado e
protocolos de roteamento e sinalizao devem ser notificados de forma que novas conexes
no sejam aceitas [LANG, 2003].

5.4 CORRELAO DE PROPRIEDADES DE ENLACE

A correlao de propriedade de enlace definida para agregar mltiplos enlaces de dados em
um enlace TE e sincronizar as propriedades envolvidas ao enlace TE. Para esta finalidade
utiliza-se as mensagens LinkSummary, LinkSummaryAck, e LinkSummaryNack. O contedo
dessas mensagens construdo usando parmetros que podem ser negociveis ou no-
negociveis. Este procedimento deve ser realizado antes do enlace TE ser estabelecido e
colocado em funcionamento bem como, a qualquer momento que o enlace TE esteja ativo,
mas no durante o processo de verificao.

132
Cada enlace TE tem um identificador (Link_ID) que atribudo para cada terminao de um
enlace. Similarmente, atribudo um identificador (Interface_ID) para cada enlace de dados
em cada terminao.

A mensagem LinkSummary usada para verificar a consistncia das informaes dos enlaces
de dados e enlace TE em ambos os lados como tambm, para agregar mltiplos enlaces de
dados em um enlace TE e, para sinalizar concordncia no mapeamento de Interface_IDs e
definies de propriedades de enlace. Logo, a mensagem LinkSummary inclui Link_IDs
remoto/local do enlace TE e indica suporte aos procedimentos de gerenciamento de falhas e
verificao de enlace para o enlace TE, bem como inclui Interface_IDs local/remoto de todos
os enlaces de dados que compem o enlace TE e, propriedades de enlace.

Por outro lado, uma mensagem LinkSummaryNack deve ser transmitida indicando qual
mapeamento de interface no est correto e/ou quais propriedades de enlace no so aceitas.
Se uma mensagem LinkSummaryNack recebida e inclui parmetros negociveis, ento o
iniciador da mensagem LinkSummary deve enviar uma nova mensagem LinkSummary que
deve incluir novos valores para os parmetros negociveis. Deve-se considerar os valores
aceitos que foram recebidos na mensagem LinkSummaryNack [LANG, 2003].

O Internet Draft [draft-ietf-ccamp-lmp-10.txt] menciona que a funo de correlao de
propriedade de enlace deve ser acionada antes do enlace TE ser estabelecido e colocado em
funcionamento e pode ser feita a qualquer momento que o enlace TE esteja ativo, mas no
durante processo de verificao. Considerando o primeiro caso, se o enlace TE ainda no foi
estabelecido ento o n local tem conhecimento do Link_ID local (identificador de enlace TE
local) mas no tem conhecimento do Link_ID remoto. Note que de acordo com a descrio da

133
mensagem LinkSummary, esta possui o valor do Link_ID remoto como um dos parmetros
que a compe, mas nenhuma citao no Internet Draft feita com relao ao valor que se
deve atribuir ao Link_ID remoto caso este no for conhecido. Portanto, deve-se permitir que o
Link_ID remoto no seja includo na mensagem LinkSummary ou que seja includo com o
valor zero e o mesmo seja ento aprendido dinamicamente quando o n local receber a
mensagem LinkSummaryAck/LinkSummaryNack como resposta do n remoto contendo o
Link_ID remoto.

Para que isso acontea com sucesso, j deve ser de conhecimento do n local todos os
Interface-IDs local/remoto dos enlaces de dados que compe o enlace TE para que no haja
erros quanto ao enlace TE sendo utilizado. O conhecimento dos Interface_IDs somente
possvel atravs de uma configurao manual ou, dinamicamente atravs da verificao de
conectividade de enlace que deve portanto, ser obrigatoriamente realizada antes da correlao
de propriedade de enlace e assim, deixa de ser um procedimento opcional.

Agregar mltiplos enlaces de dados em um enlace TE parte das responsabilidades do
procedimento de correlao de propriedades de enlace. Os enlaces de dados a serem
agregados devem ser indicados em uma lista presente na mensagem LinkSummary que inclui
dentre outros parmetros, os Interface_IDs local e remoto. Estes identificadores, portanto,
devem ser conhecidos pelo n local e isso s possvel atravs de uma configurao manual
ou atravs do procedimento de verificao de conectividade de enlace. Conseqentemente,
este ltimo procedimento citado, deve ser obrigatoriamente realizado (e no opcional como
mencionado por [LANG, 2003]) e antes mesmo do procedimento de correlao de
propriedade de enlace.

134
5.5 VERIFICAO DE CONECTIVIDADE DE ENLACE

A verificao de conectividade de enlace pode ser usada para examinar a conectividade fsica
de todos os enlace de dados, individualmente para cada enlace de dados, e dinamicamente
descobrir as associaes dos Interface_IDs local e remoto e de enlace TE.

O procedimento efetivado somente quando h pelo menos um canal de controle ativo entre
os dois ns envolvidos e, deve ser realizado primeiramente para os enlaces de dados que
compem o(s) enlace(s) TE (com pelo menos um enlace de dados ativo) j estabelecido(s), e
subseqentemente, de forma peridica para todos os enlaces de dados no alocados a um
enlace TE. Suporte a este procedimento indicado marcando a flag de suporte verificao
de enlace na mensagem LinkSummary.

Uma caracterstica nica de dispositivos transparentes que os dados no so modificados ou
examinados em operao normal. Esta caracterstica um desafio para validao da
conectividade dos enlaces de dados e estabelecimento de mapeamentos de rtulos. No
entanto, para garantir uma correta verificao de conectividade de enlace de dados, requer-se
que at que os enlaces de dados sejam alocados para trfego de usurio, eles sejam opacos.
Para suportar vrios nveis de opacidade e, conseqentemente diferentes mecanismos para
transportar as mensagens Test, um campo de verificao de mecanismo de transporte
includo nas mensagens BeginVerify e BeginVerifyAck. Como a troca de mensagem
BeginVerify coordena o procedimento de Test, ela tambm naturalmente coordena a transio
dos enlaces de dados pra dentro ou fora do modo transparente [LANG, 2003].

135
Quando o canal de controle entre dois ns estabelecido, o procedimento de verificao de
conectividade de enlace pode ser iniciado. Para comear o procedimento de verificao de
enlace, o n local deve enviar uma mensagem BeginVerify atravs do canal de controle. Se o
n remoto receber uma mensagem BeginVerify e estiver pronto para processar mensagens
Test, ele deve enviar uma mensagem BeginVerifyAck com resposta ao n local especificando
o mecanismo de transporte desejado para as mensagens Test. Quando o n local recebe uma
mensagem BeginVerifyAck do n remoto, ela pode comear a testar os enlaces de dados
transmitindo periodicamente mensagens Test.

Uma mensagem Test transmitida sobre os enlaces de dados sendo verificados e mensagens
TestStatus so recebidas como resposta sobre o canal de controle. Note que a mensagem Test
a nica mensagem LMP que dever ser transmitida utilizando o enlace de dados. Enlaces de
dados so testados na direo de transmisso, pois os mesmos so unidirecionais, e desta
forma, pode ser possvel para ambos os ns trocarem mensagens Test independente e
simultaneamente.

Quando a mensagem Test recebida, uma mensagem TestSatusSuccess deve ser enviada
como resposta. O recebimento de uma mensagem TestStatusSuccess indica que a mensagem
Test foi detectada no n remoto e a conectividade fsica do enlace de dados foi verificada.
Assim, o n local deve marcar o enlace de dados como up e enviar uma mensagem
TestStatusAck ao n remoto. Se, no entanto, a mensagem Test no for detectada no n remoto
durante um perodo de observao (especificado pelo VerifyDeadInterval), o n remoto deve
enviar uma mensagem TestStatusFailure sobre o canal de controle indicando que a
verificao da conectividade fsica do enlace de dados falhou. Quando o n local recebe uma

136
mensagem TestStatusFailure, ele deve marcar o enlace de dados como failed e enviar uma
mensagem TestStatusAck ao n remoto.

Assim que todos os enlaces de dados contidos na lista transportada na mensagem BeginVerify
forem testados, o n local envia uma mensagem EndVerify para indicar que o teste est
completo entre os dois ns. tambm permitido que o transmissor termine o procedimento
Test a qualquer momento aps o envio da mensagem BeginVerify. A mensagem EndVerify
utilizada para esta finalidade.

5.6 GERENCIAMENTO DE FALHAS

Nesta seo, um procedimento LMP opcional descrito. Este usado para gerenciar falhas
atravs da rpida notificao do status de um ou mais canais de dados em um enlace TE. O
escopo deste procedimento de um enlace TE, e como tal, o seu uso negociado como parte
da troca da mensagem LinkSummary.

O gerenciamento de falhas utiliza as seguintes mensagens: ChannelStatus, ChannelStatusAck,
ChannelStatusRequest,e ChannelStatusResponse. A mensagem ChannelStatus enviada sem
ser solicitada e usada para notificar um vizinho LMP sobre o status de um ou mais canais de
dados de um enlace TE. A mensagem ChannelStatusAck usada para reconhecer a chegada
da mensagem ChannelStatus. A mensagem ChannelStatusRequest usada para consultar um
vizinho LMP sobre o status de um ou mais canais de dados de um enlace TE. A mensagem
ChannelStatusResponse usada para reconhecer a chegada de uma mensagem
ChannelStatusRequest e indicar os estados dos enlaces de dados consultados.

137
Lembre-se que um enlace TE conectando dois ns pode ser composto por um nmero de
enlaces de dados. Se um ou mais enlaces de dados falham entre os dois ns, um mecanismo
deve ser usado para rapidamente notificar a falha para que mecanismos de
proteo/restaurao apropriados possam ser iniciados. Se a falha subseqentemente tratada,
ento um mecanismo usado para notificar que a falha j foi tratada e o status do canal OK.

Deteco de Falhas
Deteco de falhas deve ser manipulada pela camada mais prxima da falha; para redes
pticas, a camada seria a camada fsica (ptica). Uma medida de deteco de falha na camada
fsica detectar perda de luz (LoL Loss of Light). Outras tcnicas para monitoramento de
sinal ptico esto ainda sendo desenvolvidas. No entanto, deve estar claro que o mecanismo
usado para notificao de falhas no LMP independente do mecanismo usado para deteco
de falhas, e simplesmente se baseia no fato de que uma falha detectada [BRADFORD,
2003].

Procedimento de Localizao de Falhas
Em algumas situaes, uma falha no enlace de dados entre dois ns propagada downstream
assim, todos os ns downstream detectam a falha sem localizar esta. Para evitar mltiplos
alarmes a partir da mesma falha, LMP fornece a funo de notificao de falhas atravs da
mensagem ChannelStatus. Esta mensagem pode ser usada para indicar que um nico canal de
dados falhou, que mltiplos canais de dados falharam, ou que um enlace TE inteiro falhou.

A correlao de falhas feita localmente em cada n a partir do recebimento de uma
notificao de falha.

138
Para localizar uma falha em um enlace particular entre ns adjacentes, um n downstream
(downstream em termos do fluxo de dados) que detecta a falha no enlace de dados envia uma
mensagem ChannelStatus ao seu vizinho upstream indicando que a falha foi detectada
(associando a notificao de todos os enlaces de dados com falha). Um n upstream que
recebe a mensagem ChannelStatus deve enviar uma mensagem ChannelStatusAck ao n
downstream indicando o recebimento da mensagem ChannelStatus. O n upstream deve
ento, correlacionar a falha para verificar se a falha foi tambm detectada localmente para o(s)
LSP(s) correspondente(s). Se, por exemplo, a falha no existe na entrada do n upstream ou
internamente, ento o n upstream localizou a falha. Assim que a falha localizada, o n
upstream deve enviar uma mensagem ChannelStatus ao n downstream indicando se o canal
est com uma falha ou se est ok. Se a mensagem ChannelStatus no for recebida pelo n
downstream, ele deve enviar uma mensagem ChannelStatusRequest para o canal em questo.
Logo que a falha for localizada, os protocolos de sinalizao podem ser usados para iniciar
procedimentos de proteo e restaurao [PAPADIMITRIOU, 2002], [VASSEUR, 2001].

5.7 PROCEDIMENTOS DE BACK-OFF EXPONENCIAL

Esta seo baseada na RFC2961 e fornece um procedimento de back-off exponencial para
retransmisso de mensagens.

A seguinte operao um dos possveis mecanismos para retransmisso back-off exponencial
de mensagens LMP no reconhecidas. O n transmissor retransmite a mensagem at que uma
mensagem reconhecida seja recebida ou at que um limite de tentativas seja alcanado.
Quando o n transmissor recebe o reconhecimento, a retransmisso da mensagem cessada.
O intervalo entre as retransmisses de mensagens ditado pelo temporizador de

139
retransmisso. O temporizador de retransmisso inicia com um intervalo pequeno e aumenta
exponencialmente este intervalo at atingir um limite.

Os seguintes parmetros de tempo so teis para caracterizar os procedimentos:
Intervalo de retransmisso (R
i
)
R
i
o intervalo de retransmisso inicial para mensagens no reconhecidas. Depois de
enviar a mensagem pela primeira vez, o n transmissor programa uma retransmisso
depois de R
i
milisegundos.
Limite de tentativas (R
l
)
R
l
o nmero mximo de vezes que uma mensagem ser transmitida sem ser
reconhecida.
Valor de incremento Delta
Delta determina a velocidade com a qual o transmissor aumenta o intervalo de
retransmisso. A proporo de dois intervalos de retransmisso sucessivos (1 +
Delta).

Valor default sugerido para o intervalo de retransmisso inicial (Ri) de 500ms, de Delta = 1
(exponencial de dois, 1 + Delta) e um limite de tentativas de valor 3.

Algoritmo de Retransmisso
Depois que um n transmite uma mensagem requerendo reconhecimento, ele deve
imediatamente programar a retransmisso depois de R
i
milisegundos. Se a mensagem de
reconhecimento correspondente recebida antes dos R
i
milisegundos, ento a retransmisso
da mensagem deve ser cancelada. Caso contrrio, ele retransmite a mensagem depois de (1 +

140
Delta) * R
i
milisegundos. A retransmisso continua at que a mensagem de reconhecimento
apropriada seja recebida ou at que o limite de retransmisso, R
l
, seja atingido.

Um n transmissor pode usar o seguinte algoritmo quando for transmitir uma mensagem que
requer reconhecimento:

Antes da transmisso inicial, inicializar R
k
= R
i
e R
n
= 0
Enquanto (R
n
++ < R
l
) {
Transmitir a mensagem;
Acordar depois de R
k
milisegundos;
R
k
= R
k
* (1 + Delta);
}
/* mensagem de reconhecimento ou nenhuma resposta do receptor e R
l
foi atingido*/
Fazer qualquer limpeza necessria;
Sair;

De forma assncrona, quando um n transmissor recebe uma mensagem de reconhecimento
correspondente, ele muda o contador de tentativas, R
n
para R
l
.

5.8 MQUINAS DE ESTADO FINITAS

5.8.1 MEF de Canal de Controle

A MEF de canal de controle define os estados e lgicas de operao de um canal de controle
LMP [LANG, 2003].

141
Estados de Canal de Controle
Um canal de controle pode estar em um dos estados descritos abaixo. Cada estado
corresponde a uma certa condio do canal de controle e normalmente associado com um
tipo especfico de mensagem que periodicamente transmitida at a terminao.
Down
Este o estado inicial de um canal de controle. Neste estado, nenhuma tentativa est
sendo realizada para ativar o canal de controle e nenhuma mensagem LMP transmitida.
Aos parmetros do canal de controle deve-se atribuir os valores iniciais.
ConfSnd
O canal de controle est no estado de negociao de parmetros. Neste estado o n
periodicamente envia uma mensagem Config, e espera que o outro lado responda com
uma mensagem ConfigAck ou ConfigNack. A MEF no faz a transio ao estado Active
at que o lado remoto reconhea positivamente os parmetros.
ConfRcv
O canal de controle est no estado de negociao. Neste estado, o n est esperando por
parmetros de configurao aceitveis do lado remoto. Assim que tais parmetros so
recebidos e reconhecidos, a MEF pode realizar a transio ao estado Active.
Active
Neste estado, o n periodicamente envia uma mensagem Hello e espera receber uma
mensagem Hello vlida. Assim que uma mensagem Hello vlida recebida, o n pode
fazer a transio ao estado Up.
Up
O canal de controle est no estado operacional. O n recebe mensagens Hello vlidas e
envia mensagens Hello.
GoingDown

142
Um canal de controle pode atingir este estado devido a aes administrativas. Enquanto
um canal de controle est neste estado, o n marca o bit ControlChannelDown em todas
as mensagens que ele envia.

Eventos de Canal de Controle
Operaes de um canal de controle so descritas em termos de estados e eventos de uma
MEF. Eventos de canal de controle so gerados pelos protocolos e mdulos de software,
como tambm pelas rotinas de processamento de pacotes e MEFs de enlaces TE associados.
Cada evento tem seu nmero e um nome simblico. A descrio de possveis eventos de canal
de controle dada a seguir:
EvBringUp (1)
Este evento acionado externamente indicando que a negociao do canal de controle
deve ser iniciada. Este pode ser acionado por um comando de operador, ou pelo sucesso
no procedimento de bootstrap do canal de controle ou pela configurao. Dependendo da
configurao este evento acionar:
a. O envio de uma mensagem Config;
b. Um perodo de espera para receber uma mensagem Config do n remoto.
EvCCDn (2)
Este evento gerado quando existe indicao que o canal de controle no est mais
disponvel
EvConfDone (3)
Este evento indica que uma mensagem ConfigAck foi recebida reconhecendo os
parmetros de Config.

143
EvConfErr (4)
Este evento indica que uma mensagem ConfigNack foi recebida rejeitando os parmetros
de Config.
EvNewConfOK (5)
Uma nova mensagem Config foi recebida de um vizinho e positivamente reconhecida.
EvNewConfErr (6)
Uma nova mensagem Config foi recebida de um vizinho e rejeitada com uma mensagem
ConfigNack.
EvContenWin (7)
Uma nova mensagem Config foi recebida de um vizinho e ao mesmo tempo uma
mensagem Config foi enviada ao vizinho. O n local vence a conteno. Como resultado,
a mensagem Config recebida ignorada.
EvContenLost (8)
Uma nova mensagem Config foi recebida de um vizinho e ao mesmo tempo uma
mensagem Config foi enviada ao vizinho. O n local perde a conteno.
(a) A mensagem Config positivamente reconhecida;
(b) A mensagem Config negativamente reconhecida.
EvAdminDown (9)
O administrador requer que o canal de controle seja, administrativamente, colocado no
estado Down.
EvNbrGoesDn (10)
Um pacote com a flag ControlChannelDown recebida de um vizinho.
EvHelloRcvd (11)
Um pacote Hello com o SeqSum esperado recebido

144
EvHoldTimer (12)
O temporizador HelloDeadInterval expirou indicando que nenhum pacote Hello foi
recebido. Isso faz com que o canal de controle volte ao estado de negociao, e
dependendo da configurao local este procedimento iniciar:
(a) O envio de mensagens Config periodicamente;
(b) Um perodo de espera para receber mensagens Config do n remoto.
EvSeqNumErr (13)
Uma mensagem Hello com o SeqNum no esperado recebida e descartada.
EvReconfig (14)
Os parmetros do canal de controle foram reconfigurados e requerem uma nova
negociao.
EvConfRet (15)
O temporizador de retransmisso expirou e uma mensagem Config retransmitida.
EvHelloRet (16)
O temporizador HelloInterval expirou e um pacote Hello enviado.
EvDownTimer (17)
O temporizador expirou e nenhuma mensagem foi recebida com a flag
ControlChannelDown marcada.

Descrio da MEF de Canal de Controle
A Figura 5.1 ilustra as operaes da MEF de canal de controle na forma de um diagrama de
transio de estados.

O evento EvCCDn sempre fora a MEF ao estado Down. Os eventos EvHoldTimer e
EvReconfig sempre foram a MEF ao estado de negociao (ConfSnd ou ConfRcv).

145
Down
Up
Active
ConfRcv
ConfSnd
1a 2,9
8b
3,8a
4,7,
14,15
5 6,12b
11 5
11,13,16
Going
Down
9
10,17
9
5,13,
16
1b
2,10
2,10
9
6,12b
12a,14
12a,14
2,10
2,10
3,8a
2,9
2,9
12a,14
12a,14
6,14

Figura 5.1 MEF de Canal de Controle

Anlise Lgica
A mquina de estado finita de canal de controle apresentada na Figura 5.1 baseada em
eventos. A partir desta, duas mquinas de estado finitas de comunicao, M e N, podem ser
geradas e utilizadas para anlise lgica do LMP relacionado ao canal de controle.

A listagem dos eventos utilizados durante a comunicao na rede de MEFCs [M, N]
apresentada na parte inferior da Figura 5.2. As mensagens citadas j foram mencionadas e
definidas anteriormente e representam agora apenas uma ao ao invs de duas ou mais aes
como na Figura 5.1.

146
(A)
(H)
(D)
(C)
(B)
(F)
(J)
-1 13,14
- 4,
+3, 10,
-1, 9
+2
-5
+6,7
+5
14
-12,
13,
15
14
7,
- 5,+5
- 6,+6
14
14
-11,
- 4,
-1
-12, 13, 15
-12, 8
-12,
13
(A)
(H)
(D)
(C)
(B)
(F)
(J)
-1 10a
+12,
8
+1
13,
14
-2
+1,+4,
+11
+1,- 3,
+4,
+5 - 6,7
+12,
13,
15
14
14
- 5
+1,
+4,
+11
+12,
13,
15
14
7,
- 5,+5
- 6,+6
14
+1,
+4,
+11
+12,
13,
15
+12, 13
-12, 13, 15
-11, - 4, -1
-11, - 4, -1
-11, - 4, -1
M N
(1) Config (2) ConfigAck
(3) ConfigNack (4) NewConfig
(5) Hello (6) Hello (com nmero de sequncia errado)
(7) Temporizador Hello expirou (8) Temporizador expirou
(9) Temporizador de retransmisso expirou (10) N local vence conteno
(10a) N local perde conteno (11) Negociao
(12) Pacote com flag ControlChannelDown recebido (13) Canal de controle no est disponvel
(14) Canal de controle colocado em down administrativamente
(15) HelloDeadInterval expirou

Figura 5.2 Rede de MEFCs de canal de controle formada a partir da MEF de canal de
controle
14

Com base na rede de MEFCs apresentada na Figura 5.2, possvel aplicar a tcnica de anlise
lgica denominada anlise com progresso justo e verificar se a parte do protocolo LMP
relacionado com o canal de controle possui ou no erros de progresso.

14
O estado E propositalmente evitado pois E significa canal de comunicao vazio como mencionado no
captulo IV

147
O resultado desta anlise a construo do grafo de alcanabilidade justa, como mostra a
Figura 5.3. As mensagens e seus nmeros correspondentes utilizados no grafo so os mesmos
utilizados na rede de MEFCs, apresentada na Figura 5.2. De acordo com a grafo e com base
nas definies de erros de progresso apresentadas anteriormente, nota-se que o LMP
relacionado ao canal de controle no apresenta deadlocks, recepes no especificadas nem
mesmo, interaes no-executadas, livelocks e overflow.
A, A, E, E
B, C, E, E
D, D, E, E
B, B, E, E
13/13
14/14
-1/+1 -1/-1
10/10a
+3/-3
-4/+4
9 -1/+1
+2/-2
-11/+11
-4/+4
-1/+1
-12/+12
13/13
- 5/+5 +6/- 6
7/7
J, J, E, E
12/12
13/13
15/15
-11/+11
-4/+4
-1/+1
14/14
H, H, E, E
+5/- 5
12/12
13/13
15/15
7
- 6/+6
+6/- 6
- 5/+5
+5/- 5
F, F, E, E
14/14
- 12/+12
8/8
14/14

relacionado ao canal de controle.

5.8.2 MEF de Enlace TE

A MEF de enlace TE define os estados e lgicas de operao do enlace TE.

148
Estados de Enlace TE
Um enlace TE pode estar em um dos estados descritos a seguir. Cada estado corresponde a
uma certa condio do enlace TE e normalmente associado com um tipo especfico de
mensagem LMP que periodicamente transmitida terminao associada ao canal de
controle.
Down
No existem enlaces de dados alocados ao enlace TE.
Init
Enlaces de dados foram alocados ao enlace TE, mas a configurao ainda no foi
sincronizada com o vizinho LMP. A mensagem LinkSummary periodicamente
transmitida ao vizinho LMP.
Up
Este o estado de operao normal do enlace TE. Pelo menos um canal de controle LMP
deve estar operando entre os ns que compartilham o enlace TE. Como parte da operao
normal, a mensagem LinkSummary pode ser periodicamente transmitida ao vizinho LMP
ou gerada por um pedido externo.
Degraded
Neste estado, todos os canais de controle LMP esto Down, mas o enlace TE ainda inclui
alguns enlaces de dados que esto alocados para trfego de usurio.

Eventos de Enlace TE
Operaes de um enlace TE so descritas em termos de estados de MEF e eventos. Eventos de
enlace TE so gerados por rotinas de processamento de pacotes e por MEFs do(s) canal(is) de
controle e enlaces de dados associados. Cada evento tem seu nmero e um nome simblico. A
descrio de possveis eventos dada a seguir:

149
EvDCUp (1)
Um ou mais canais de dados foram liberados e atribudos a um enlace TE.
EvSumAck (2)
Mensagem LinkSummary foi recebida e positivamente reconhecida.
EvSumNack (3)
A mensagem LinkSummary recebida e negativamente reconhecida.
EvRcvAck (4)
A mensagem LinkSummaryAck recebida reconhecendo a configurao do enlace TE.
EvRcvNack (5)
A mensagem LinkSummaryNack foi recebida.
EvSumRet (6)
O temporizador de retransmisso expirou e a mensagem LinkSummary reenviada.
EvCCUp (7)
Primeiro canal de controle ativo fica up.
EvCCDown (8)
ltimo canal de controle ativo fica down.
EvDCDown (9)
ltimo canal de dados do enlace TE foi removido.

Descrio da MEF de Enlace TE
A Figura 5.4 ilustra as operaes de um MEF de enlace TE na forma de um diagrama de
transio de estados.

Na MEF recm mencionada, os sub-estados que poderiam ser implementados quando o
procedimento de verificao de enlace usado foram omitidos.

150
Anlise Lgica
A mquina de estado finita de enlace TE apresentada na Figura 5.4 baseada em eventos. A
partir desta, duas mquinas de estado finitas de comunicao, M e N, podem ser geradas e
utilizadas para anlise lgica do LMP relacionado a enlace TE. Na rede [M, N] os eventos
definidos representam apenas uma ao, ao contrrio dos eventos da Figura 5.4 que
representam duas ou mais aes.
Down
Deg
Up
Init
1 9
2,4
3,5,6,
7,8
8 7
9
9
9
9
2,3,4,
5,6
3,7,8

Figura 5.4 - MEF de enlace TE

A listagem dos eventos utilizados na comunicao na rede de MEFCs [M, N] so apresentados
na base da Figura 5.5. As mensagens citadas j foram mencionadas e definidas anteriormente.

Com base na rede de MEFCs apresentada na Figura 5.5, possvel aplicar a anlise com
progresso justo e verificar se o LMP relacionado com ao enlace TE possui ou no erros de
progresso.

151
(A)
(G)
(F)
(D)
(C)
(B)
(A)
(G)
(F)
(D)
(C)
(B)
7,8 7,8
1
1
9
9
7 8 7 8
2 2
8 8
- 3
6
+3
- 3 +3
+5 - 5
+4
- 3 - 4
+3
8 7 8 7
9
9
9
9
9 9
9 9
M N
(1) Enlace de dados atribudos ao enlace TE, mas no h canal de controle up
(2) Enlace de dados atribudos ao enlace TE e existe canal de controle up
(3) LinkSummary
(4) LinkSummaryAck
(5) LinkSummaryNack
(6) Temprizador expirou
(7) Primeiro canal de controle fica up
(8) ltimo canal de controle fica down
(9) ltimo enlace de dados removido

Figura 5.5 Rede de MEFCs de enlace TE formada a partir da MEF de enlace TE

Figura 5.6. As mensagens e suas correspondentes numeraes utilizadas no grafo de
alcanabilidades so as mesmas utilizadas na Figura 5.5. De acordo com a grafo e com base
nas definies de erros de progresso apresentadas anteriormente, nota-se que o LMP
relacionado ao enlace TE no apresenta nenhum dos cinco erros de progresso.

152
A, A, E, E
B, B, E, E
G, G, E, E
F, F, E, E
D, D, E, E
C, C, E, E
7,7
8,8
1,1
9,9
9,9
9,9
9,9
9,9
7,7
8,8
8,8
8,8
7,7
+4,- 4 - 3, +3
- 3,+3
+5,- 5
2,2
- 3,+3

relacionado ao enlace TE.

5.8.3 MEF de Enlace de Dados

A MEF de enlace de dados define estados e lgicas de operao de um enlace de dados no
enlace TE. Operaes de um enlace de dados so descritas em termos de estados e eventos de
MEF. Enlaces de dados podem estar no modo ativo, onde mensagens Test so transmitidas, ou
no modo passivo, onde mensagens Test so recebidas. Para facilitar a compreenso, MEFs
separadas so definidas para enlaces de dados ativos/passivos, no entanto, um nico conjunto
de estados e eventos de enlaces de dados so definidos.

Estados de Enlace de Dados
Qualquer enlace de dados pode estar em qualquer um dos estados descritos a seguir. Cada
estado corresponde a uma certa condio do enlace de dados.

153
Down
O enlace de dados no foi colocado no reservatrio de recursos (i.e., o enlace no est em
servio).
Test
O enlace de dados est sendo testado. Uma mensagem Test periodicamente enviada
atravs do enlace.
PasvTest
O enlace de dados est sendo verificado para mensagens Test de entrada.
Up/Free
O enlace foi testado com sucesso e agora colocado no reservatrio de reservas (em
servio). O enlace ainda no foi alocado para trfego de dados.
Up/Alloc
O enlace est up e foi alocado para trfego de dados.

Eventos de Enlace de Dados
Eventos de enlaces de dados so gerados por rotinas de processamento de pacotes e pelas
MEFs dos enlaces TE e canais de controle associados.

Cada evento tem seu nmero e um nome simblico. Descrio de possveis eventos de enlaces
de dados fornecida a seguir:
EvCCUp (1)
Primeiro canal de controle est up.
EvCCDown (2)
A conectividade com o vizinho LMP foi perdida. Isto indica que o ltimo canal de
controle entre os ns vizinhos falhou.

154
EvStartTst (3)
Este um evento externo que aciona o envio de mensagens Test sobre o enlace de dados.
EvStartPsv (4)
Este um evento externo que aciona a escuta por mensagens Test no enlace de dados.
EvTestOK (5)
Verificao de enlace obteve sucesso e o enlace pode ser usado para estabelecimento de
caminho.
(a) Este evento indica que o procedimento de verificao de enlace obteve sucesso
para este enlace de dados e uma mensagem TestStatusSuccess foi recebida sobre o
canal de controle.
(b) Este evento indica que o enlace est pronto para o estabelecimento de caminho,
mas o procedimento de verificao de enlace no foi usado. Para sinalizao in-
band do canal de controle, o estabelecimento do canal de controle pode ser
suficiente para verificar o enlace.
EvTestRcv (6)
A mensagem Test foi recebida na porta de dados e uma mensagem TestStatusSuccess foi
transmitida sobre o canal de controle.
EvTestFail (7)
Verificao de enlace retornou resultados negativos. Isto pode ser devido (a) ao
recebimento de uma mensagem TestStatusFailure, ou (b) a finalizao do processo de
verificao sem o recebimento de uma mensagem TestStatusSuccess ou TestStatusFailure
para o enlace de dados.

155
EvPsvTestFail (8)
A verificao de enlace retornou resultados negativos. Isto indica que uma mensagem Test
no foi detectada e, ou (a) o VerifyDeadInterval expirou, ou (b) o procedimento de
verificao finalizou e o VerifyDeadInterval ainda no expirou.
EvLnkAlloc (9)
O enlace de dados foi alocado.
EvLnkDeadloc (10)
O enlace de dados foi desalocado.
EvTestRet (11)
O temporizador de retransmisso expirou e a mensagem Test foi re-enviada.
EvSummaryFail (12)
No foi verificada igualdade entre a mensagem LinkSummary e a porta de dados.
EvLocalizeFail (13)
Uma falha foi localizada no enlace de dados.
EcDCDown (14)
O canal de dados no est disponvel.

Descrio da MEF de Enlace de Dados Ativo
A Figura 5.7 ilustra a operao de uma MEF de enlace de dados ativo na forma de um
diagrama de transio de estado.

Descrio da MEF de Enlace de Dados Passivo
A Figura 5.8 ilustra a operao de um MEF de enlace de dados passivo na forma de um
diagrama de transio de estados.

156
Com base nas definies dos eventos utilizados nas MEFs de enlace de dados (ativo e
passivo) e nas Figuras 5.7 e 5.8 fcil notar que os eventos (1) e (2) foram definidos mas no
usados. Conseqentemente, antes mesmo da anlise lgica ser aplicada, nota-se a presena do
erro de progresso denominado interao no-executada.
Down
Up/Alloc
Up/Free
Test
3 7
3
11
9 10
13
13 5b
5b
12,14
12,14
5a

Figura 5.7 - MEF de Enlace de Dados Ativo
Down
Up/Alloc
Up/Free
Pasv/
Test
4 8
4
9 10
13
13 5b
5b
12,14
12,14
6

Figura 5.8 - MEF de Enlace de Dados Passivo

157
O Internet Draft [ccamp-lmp-10] que apresenta estes MEFs falha por no apresentar, como
parte das MEFs, o incio do procedimento de verificao de enlace que inclui a troca de
mensagens BeginVerify, BeginVerifyAck e BeginVerifyNack. Esta parte do procedimento foi
corretamente includa nesta tese quando a rede de MEFCs foi construda para que a anlise
lgica deste procedimento pudesse ser desempenhada.

Anlise Lgica
As mquinas de estado finita de enlaces de dados, ativo e passivo, apresentadas nas Figura 5.7
e 5.8 respectivamente, so baseadas em eventos que representam, em sua maioria, duas ou
mais aes. A partir destas MEFs, duas mquinas de estado finitas de comunicao, M e N,
podem ser geradas e utilizadas para anlise lgica do LMP relacionado ao enlace de dados
passivo e enlace de dados ativo. A rede de MEFCs, que une os eventos dos enlaces de dados
ativos e passivos, construda para que os eventos possam representar apenas uma ao e
tornar possvel a aplicao da tcnica de anlise justa.

A Figura 5.9, na parte inferior da mesma, apresenta a listagem dos eventos utilizados na
comunicao na rede de MEFCs [M, N]. As mensagens citadas j foram mencionadas e
definidas anteriormente.

Com base na rede de MEFCs apresentada na Figura 5.9, possvel aplicar a tcnica de anlise
com progresso justo e verificar se o LMP relacionado com enlace de dados (ativo e passivo)
possui ou no um dos cinco erros de progresso.

158
18
(A)
(H)
(G)
(D)
(C)
(B)
(A)
(H)
(G)
(D)
(C)
(B)
(J) (J)
-1 +1 +3 -3
10
10
-1
10 10
+2 -2
11 11
11 11
10
+7
10
- 7
- 4 +4
- 8 +8
11 11
(F) (F)
- 8 +8
- 4
12
+4
+5
- 6
- 5
+6
- 8 +8
- 5
18 18
18
18 18
18 18
- 4 +4
13
17
13
17
- 8 +8
16 16
14
15
14
15
- 8 +8
+9
- 8
12
+8
- 9
12
+1
18 18
+5
M N
(1) BeginVerify (2) BeginVerifyAck
(3) BeginVerifyNack (4) Test
(5) TestStatusSuccess (6) TestStatusAck
(7) TestStatusFailure (8) EndVerify
(9) EndVerifyAck
(10) Final do procedimento sem envio de mensagem
(11) Enlace de dados est pronto para estabelecer caminho mas Verificao de Enlace no foi utilizada
(12) VerifyInterval expirou
(13) LinkSummary no coincidiu com porta de dados
(14) Enlace de dados foi alocado
(15) Enlace de dados foi desalocados
(16) Falha no enlace de dados
(17) Canal de dados no est disponvel
(18) Todos os canais de controle entre os dois ns falharam

Figura 5.9 Rede de MEFCs de enlace de dados (ativo e passivo) formada a partir das MEFs
de enlaces de dados ativo e passivo

O grafo de alcanabilidade justa, como mostra a Figura 5.10, o resultado da anlise justa. As
mensagens utilizadas no grafo de alcanabilidade so as mesmas mensagens apresentadas na
rede de MEFCs para o LMP relacionado ao enlace de dados. De acordo com a grafo e com

159
base nas definies de erros de progresso apresentadas anteriormente, nota-se que o LMP
relacionado ao enlace de dados (ativo e passivo) no apresenta nenhum dos cinco erros de
progresso.
A, A, E, E
B, B, E, E
J, J, E, E
H, H, E, E
G, G, E, E
F, F, E, E
D, D, E, E
C, C, E, E
G, G, E, E
+9/- 9
12
- 8/+8
- 8/+8
18/18
18/18
18/18
18/18
- 8/+8
- 8/+8
- 8/+8
- 8/+8
11/11
11/11
16/16
14/14 15/15
- 6/+6
13/13
17/17
13/13
17/17
+5/- 5
+4/- 4
12/12
- 4/+4
10/10
+7/- 7
+2/- 2
10/10
- 1/+1
+3/- 3
10/10
11/11
- 1/+1
18/18
+5/- 5
12/12
- 4/+4

relacionado ao enlace de dados passivo e ativo

5.8.4 MEF de Gerenciamento de Falhas

A MEF de falhas define estados e lgicas de operao do procedimento de gerenciamento de
falhas. Operaes de gerenciamento de falhas so descritas em termos de estados e eventos de
MEF.

160
Anlise Lgica
As mquinas de estado finita de gerenciamento de enlace apresentadas na Figura 5.11 formam
a rede de MEFCs que baseada em eventos que representam apenas uma ao, o que torna
possvel a aplicao da tcnica de anlise justa.

As mensagens e eventos utilizados na rede de MEFCs so mencionadas na prpria Figura
5.11 e os mesmos j foram mencionados e definidos anteriormente.
(A)
(D)
(C)
(B)
(A)
(D)
(C)
(B)
+1 - 1
- 2
+2
+1
5
- 1
(F) (F)
+1
+3
- 4
6
+3
- 3
5
- 3
+4
(G)
6
M N
(1) ChannelStatus (2) ChannelStatusAck
(3) ChannelStatusRequest (4) ChannelStatusResponse
(5) Temporizador expirou (6) Correlao de falhas
(7) Espera de resposta
- 1
(G)
7

Figura 5.11 Rede de MEFCs de gerenciamento de falhas

Com base na rede de MEFCs apresentada na Figura 5.11, possvel aplicar a tcnica de
anlise com progresso justo e verificar se o LMP relacionado com o gerenciamento de falhas
possui ou no erros de progresso.

161
Figura 5.12. As mensagens utilizadas no grafo de alcanabilidade so as mesmas mensagens
apresentadas na rede de MEFCs para o LMP relacionado ao gerenciamento de falhas. De
acordo com a grafo e com base nas definies de erros de progresso apresentadas
anteriormente, nota-se que o LMP relacionado ao gerenciamento de falhas no apresenta
nenhum dos cinco erros de progresso.

A, A, E, E
F, F, E, E D, D, E, E
C, C, E, E
B, B, E, E
+1/- 1
- 2/ +2
5
+1/- 1
G, G, E, E
6/7 +3/- 3
- 1/+1 - 4/+4

relacionado ao gerenciamento de falhas

5.9 CONCLUSO

O protocolo de gerenciamento de enlace (LMP Link Management Protocol) executado
entre um par de ns vizinhos e usado para gerenciar enlaces TE e verificar a alcanabilidade
do canal de controle. De forma mais detalhada, suas funes so: manter a conectividade do
canal de controle, verificar a conectividade fsica dos enlaces de dados, correlacionar as

162
informaes de propriedades de enlace, suprimir alarmes downstream desnecessrios e,
localizar falhas de enlace para finalidade de proteo/restaurao em mltiplos tipos de redes.

Com base nas definies e especificaes de cada procedimento LMP, prope-se uma ordem
de execuo destes procedimentos:
(i) Gerenciamento de canal de controle
Ativao do canal de controle
Manuteno do canal de controle
(ii) Verificao de conectividade de enlace
Pelo menos um canal de controle deve estar ativo
Descobrimento dinmico das associaes entre Interface_IDs local e remoto de
um mesmo enlace de dados
Verificao de conectividade de enlaces de dados
Descobrimento dinmico de associaes de enlace TE
(iii) Correlao de Propriedade de enlace
Mapeamento de Interface_IDs deve ser um conhecimento j adquirido pelo n
local
Agregao de mltiplos enlaces de dados a um enlace TE
Sincronizao de propriedades de enlace
(iv) Gerenciamento de Falhas
Notificao do status de enlaces
Localizao de falhas

Esta ordem deve ser seguida quando a rede for colocada em funcionamento pois nesse caso, a
maior parte das informaes sero geradas e descobertas dinamicamente. No decorrer do

163
funcionamento da rede, essa ordem de execuo dos procedimentos LMP no
necessariamente precisa ser seguida na maioria dos possveis cenrios.

O funcionamento do LMP especificado atravs de mquinas de estado finitas de
comunicao para cada um dos procedimentos do protocolo de gerenciamento de enlace. As
MEFC so utilizadas para verificar e analisar logicamente o protocolo com relao aos erros
de progresso (deadlock, recepo no-especificada, interao no-executada, livelock e
overflow). Para esta finalidade, a tcnica de anlise justa eficientemente utilizada.

Com base nos grafos de alcanabilidade justa gerados pela anlise com progresso justo, o
protocolo de gerenciamento de enlace utilizado em um ambiente GMPLS est livre dos erros
de progresso.

Note que para tornar o LMP livre de erros de progresso e fazer com que este tenha um melhor
sucesso na ordem de execuo e lgica de execuo, alguns pequenos detalhes de
especificao foram corrigidos e outros sugeridos. Essas possveis correes e sugestes
foram apresentadas no decorrer do captulo.

CAPTULO VI

ATRIBUIO DE RTULOS COM BASE NA INFORMAO SRLG
EM UM AMBIENTE GMPLS-WDM

6.1 INTRODUO

Com o uso de conversores de comprimento de onda, em um ambiente GMPLS baseado em
WDM, tem-se a vantagem de uma melhor utilizao dos comprimentos de onda e
conseqentemente h minimizao da probabilidade de bloqueio de conexes, pois se
aperfeioa a eficincia da rede ao resolver os conflitos de comprimentos de onda durante o
estabelecimento de conexes. Porm, a tecnologia de conversores de comprimento de onda
ainda no est amadurecida e competitiva e os mesmos possuem um custo muito alto, como
mencionado anteriormente. Por esta razo, o foco deste estudo redes GMPLS baseadas em
WDM sem capacidade de converso de comprimento de onda.

Como o encaminhamento de trfego deve ser feito sem converso de comprimento de onda, a
propriedade de restrio de continuidade de comprimento de onda deve ser considerada.
Logo, um caminho ptico tem que usar o mesmo comprimento de onda em todos os enlaces

165
pticos que o compem, da origem ao destino. Mltiplos caminhos podem usar o mesmo
comprimento de onda (o mesmo rtulo, pois o rtulo representa um comprimento de onda)
desde que eles no se sobreponham em uma mesma fibra, evitando assim colises. O
desempenho deste tipo de rede, com relao a probabilidade de bloqueio de conexo, menor
se comparado com o desempenho das redes que possuem capacidade de converso de
comprimento de onda, pois mesmo uma requisio sendo vlida, ela pode ser bloqueada caso
no encontre um comprimento de onda que esteja disponvel simultaneamente em todos os
enlaces requisitados, mesmo existindo, em todos eles, comprimentos de onda disponveis.

A escolha de um bom algoritmo de atribuio de rota e comprimento de onda pode reduzir a
freqncia dessas ocorrncias, ocasionando um melhor desempenho da rede que assim passa a
apresentar uma menor taxa de probabilidade de bloqueio de conexo.

Com o uso do SRLG fatvel selecionar uma rota considerando a separao de estrutura
lgica e de recursos. O SRLG pode ser usado para determinar quais caminhos, a serem
estabelecidos, so disjuntos com relao a uma entidade de risco especfica e ainda considera
o problema de traps (Captulo II, seo 2.7).

Na tentativa de melhorar o desempenho das redes GMPLS baseadas em WDM com restrio
de continuidade de comprimento de onda, pode-se expandir o conceito SRLG que passa a ser
utilizado para o estabelecimento de todos os caminhos, especificamente na atribuio de
comprimento de onda, juntamente com o conceito de conjunto de rtulos.

166
6.2 PROPOSTA

compartilham pelo menos um enlace na rede, deve-se atribuir diferentes comprimentos de
onda para cada conexo, pois a propriedade de restrio de continuidade de comprimento de
onda considerada. Esta a mesma idia proposta pelo conceito SRLG para o
estabelecimento de caminhos de proteo e que agora ser usado para alocao de
comprimento de onda, como proposta deste estudo. Com base na informao SRLG do
caminho a ser estabelecido e dos caminhos j existentes tem como saber se estes
compartilham ou no alguma entidade de risco (recurso) e assim decidir qual comprimento de
onda deve ser atribudo.

Conexes que possuem o mesmo conjunto SRLG, ou pelo menos um dos enlaces desses
caminhos pticos dessas conexes possuem o mesmo SRLG-ID, significa que essas conexes
compartilham entidades de risco. Caso a entidade de risco considerada seja apenas um
segmento de fibra ptica, durante o estabelecimento de um caminho ptico, se o mesmo
cruzar com caminhos j existentes, ou seja, a interseo do conjunto SRLG desses caminhos
diferente de vazio, conseqentemente um comprimento de onda diferente do comprimento de
onda dos caminhos cuja interseo do conjunto SRLG diferente de vazio, deve ser atribudo
ao novo caminho sendo estabelecido.

Assim, caminhos que compartilham enlaces (caminhos com pelo menos um SRLG-ID em
comum) recebem diferentes comprimentos de onda e atendem a propriedade de restrio de
continuidade de comprimento de onda.

167
O conceito conjunto de rtulos, quando aplicado sozinho, produz o mesmo resultado do
conceito SRLG, em alguns cenrios. No entanto, o conceito de conjunto de rtulos usado
isoladamente no consegue atender o problema de trap e por outro lado, SRLG mais conjunto
de rtulos juntos conseguem produzir resultados corretos de possveis comprimentos de ondas
a serem escolhidos para atribuio, mesmo quando o problema de trap existe. Desta forma,
consegue-se diminuir a probabilidade de bloqueio de conexo das redes GMPLS-WDM sem
capacidade de converso de comprimento de onda.

6.2.1 Algoritmo Proposto

Segue o algoritmo proposto que utiliza informaes SRLG juntamente com o conjunto de
rtulos para atribuio de comprimento de onda.

1. SRLG-ID determinado para cada enlace na rede
2. Conexo solicitada
3. Rota escolhida
4. Conjunto SRLG do caminho conhecido
5. Livre = Conjunto_rtulos_livres (do n de ingresso)
6. Conjunto_rtulos = vazio
7. for i = 1 to Comprimento(SRLG_caminho)
Linha = Busca(SRLG_caminho(i))
Interseo = Livre tabela SRLG_(linha,2)
if Interseo = vazio
then Conjunto_rtulos = Livre
else Conjunto_rtulos = Livre Interseo
Livre = Conjunto_rtulos
end for

.
.
.
.

168

8. N de egresso (destino) recebe o Conjunto_rtulos
if Conjunto_rtulos = vazio
then passo 3 (escolher nova rota)
if nova rota no existir
then falha para o pedido de conexo
rtulo no escolhido
else continuar algoritmo passo 4 ao passo 8
else rtulo escolhido
9. Tabelas SRLG_ so atualizadas
10. Conjunto de rtulos livres atualizado em cada n
If rtulo escolhido no for aceitvel por algum n
then falha para o pedido de conexo

Onde:
Conjunto_rtulos conjunto de comprimentos de onda selecionados ao longo do
caminho a ser estabelecido para possvel escolha durante a atribuio de comprimento
de onda
Conjunto_rtulos_livres conjunto de comprimentos de onda disponveis para uso em
um determinado n da rede
Livre varivel auxiliar
Linha contm o nmero de uma linha da tabela SRLG_
Interseo contm o resultado da interseo entre os comprimentos de onda contidos
na varivel Livre e os comprimentos de onda utilizados por uma entidade de risco
especfica representada por um SRLG-ID na tabela SRLG_
SRLG_caminho conjunto de SRLG-IDs de todos os enlaces que compem um
caminho
SRLG_ tabela que contm cada SRLG-ID e os comprimentos de onda utilizados
nas entidades de risco representadas pelo SRLG-ID. Esta tabela est presente em cada
n da rede e contm a informao relacionada com um n especfico, ou seja, contm
apenas o SRLG-ID e respectivos comprimentos de onda utilizados nas entidades de

169
risco que passam por aquele n e no de todos os ns da rede. Desta forma, a proposta
de atribuio de comprimento de onda se aproxima mais do funcionamento do
conjunto de rtulos, isoladamente. A Tabela 6.1 apresenta um esboo da tabela
SRLG_.
Tabela 6.1 Esboo da tabela SRLG_
Tabela SRLG_
SRLG-ID
1 __
2
1

2

3
1

Comprimento funo que determina o nmero de elementos de uma varivel que
representa um conjunto
Busca funo que retorna a linha na tabela SRLG_ onde se encontra um SRLG-ID
particular

Segue o detalhamento do algoritmo:
Passo 1 O SRLG-ID estabelecido para cada enlace (segmento ptico) na rede antes desta
ser colocada em funcionamento. Este valor pode ser alterado dinamicamente de acordo com
mudanas na rede, caso contrrio, permanece inalterado.
Passo 2 Um pedido de caminho solicitado, ou seja, uma requisio de conexo chega ao
n de ingresso da rede.
Passo 3 Caminho de roteamento determinado usando roteamento fixo alternativo ou
roteamento adaptativo. Este caminho apenas escolhido, ainda no estabelecido, pois pode
no haver rtulo disponvel em todo o caminho e por conseqncia a rota no ser
estabelecida.
Passo 4 SRLG-IDs dos enlaces do caminho a ser estabelecido so conhecidos e assim o
SRLG-caminho formado.
Passo 5 Atribui-se todos os rtulos disponveis do n de ingresso varivel Livre.

170
Passo 6 O Conjunto_rtulos inicializado como vazio.
Passo 7 De acordo com o algoritmo, em cada n do caminho a ser estabelecido, necessrio
fazer a interseo entre o Conjunto_rtulos_livres e possveis de serem utilizados e os
comprimentos de onda em uso naquele enlace particular, representado por um SRLG-ID. Esta
informao mantida na tabela SRLG_ e obtida atravs do SRLG-ID do enlace em
questo. Depois de feita a interseo, um novo conjunto de rtulos construdo retirando os
comprimentos de onda que no mais podem ser utilizados para o caminho sendo estabelecido.
Este procedimento realizado em cada n da rota (cada repetio do comando for) ao longo
do ambiente GMPLS-WDM.
Passo 8 Quando o procedimento finalizado (n de egresso recebe o Conjunto_rtulos), o
n de destino escolhe um dos rtulos (comprimentos de onda) j previamente selecionados no
Conjunto_rtulos. Utiliza-se uma das heursticas de atribuio de rtulos, First-fit,
apresentada anteriormente. Se o Conjunto_rtulos estiver vazio, tenta-se encontrar outra rota.
Se no existe outra rota, ento a falha ocorre.
Passo 9 e 10 Com base no rtulo escolhido, as tabelas SRLG_ de cada n pertencente ao
caminho so atualizadas atravs do envio da mensagem Resv que simultaneamente faz a
atribuio do comprimento onda para aquele caminho especfico. Ao mesmo tempo, o
conjunto de rtulos livres (disponveis) e o conjunto de rtulos em uso mantido por cada n
da rede so atualizados nos ns que compem o caminho estabelecido.

6.2.2 Anlise Lgica

necessrio verificar a corretude lgica do protocolo de sinalizao e LMP em um ambiente
GMPLS com o uso do conceito SRLG para auxlio na atribuio de comprimento de onda na
tentativa de diminuir a probabilidade de bloqueio de conexo na atribuio de rtulos.

171
O SRLG, depois de determinado para cada enlace na rede, precisa apenas de uma tabela com
informaes sobre o SRLG-ID e o comprimento de onda j usado na entidade de risco por
este SRLG identificado. Portanto, no h modificao nas trocas de mensagens, apenas um
incremento das mensagens j existentes pois quando as mensagens de manuteno e
atualizao forem enviadas pelo LMP, estas mesmas mensagens faro a manuteno e a
atualizao da tabela SRLG_ em cada n.

O conjunto de rtulos inserido na mensagem Path (mensagem de pedido de rtulo) e assim
no altera a sinalizao e o funcionamento do LMP, apenas estende as mensagens destes. A
mensagem Resv (mensagem de atribuio de rtulos) permanece sem alteraes. No entanto,
a mensagem Path e a mensagem Resv possuem suas prprias mquinas de estado finito de
comunicao.

Para melhor entender a mquina de estado finito de comunicao, segue a especificao mais
detalhada do protocolo de sinalizao durante a atribuio de comprimento de onda (Figura
6.1). A definio dos estados definidos na especificao como segue:
1. SRLG estabelecido para todos os enlaces da rede antes da rede ser colocada em
funcionamento
2. Conexo solicitada ao n de ingresso
3. Rota da conexo escolhida de acordo com n de origem e destino
4. O SRLG-caminho conhecido
5. Mensagem Path (pedido de rtulo) enviada pelo n upstream para o n downstream
6. N downstream verifica se a codificao LSP utilizada e tipo de comutao so
suportados
7. Cada n gera um conjunto de rtulos de sada com base na informao SRLG

172
8. Verifica-se se o conjunto de rtulos de sada gerado vazio ou no
9. Mensagem Path que transporta o conjunto de rtulos recebida pelo n de egresso
10. Verifica-se se o conjunto de rtulos final vazio ou no
11. Tenta-se selecionar um rtulo (comprimento de onda) a partir do conjunto de rtulos
12. Mensagem Resv (atribuio de rtulos) enviada do n downstream para o n
upstream, at o n de ingresso
13. Verifica-se se o valor do rtulo transportado pela mensagem Resv aceitvel ou no
14. Atribuio do comprimento de onda realizada com sucesso e as tabelas de SRLG em
cada n so atualizadas
15. Alguma falha ocorreu e a conexo no foi estabelecida

Definio das mensagens utilizadas na especificao:
A. Todos os possveis caminhos foram utilizados sem sucesso
B. A atribuio de rtulos para o caminho atual fracassou. Um novo caminho
estabelecido na tentativa de atender ao pedido de conexo
C. Mensagem PathErr enviada com a indicao problema de roteamento / codificao
no suportada ou problema de roteamento / tipo de comutao
D. Mensagem PathErr enviada com a indicao problema de roteamento / conjunto de
rtulos
E. Se todas as opes de caminho foram testadas sem sucesso e o conjunto de rtulos
continua vazio, uma mensagem PathErr enviada com a indicao problema de
roteamento / conjunto de rtulos
F. N incapaz de escolher um rtulo ou existe um problema em analisar o conjunto de
rtulos. Mensagem PathErr enviada com a indicao problema de roteamento
conjunto de rtulos

173
G. Se o valor do comprimento de onda no for aceitvel por algum n, uma mensagem
ResvErr enviada com a indicao problema de roteamento / falha na alocao de
rtulos.

SRLG estabelecido (1)
Conexo solicitada (2)
Determina-se SRLG-caminho
(4)
Mensagem Path enviada (5)
Rota/caminho determinado
(3)
Interface suportada
(6)
Conjunto de rtulos sada
gerado (7)
Conjunto-rtulos
vazio (8)
N egresso recebe Path (9)
Conjunto-rtulos
vazio (10)
Mesagem Resv enviada (12)
Valor de Resv
aceitvel (13)
Atribuio com sucesso (14)
Falha no estabelecimento de
conexo (15)
no
sim
no
sim
sim
no
Rtulo selecionado
(11)
sim
no
sim
A
B
A
B
C C
D
D E
E
F
F
G
G
no
F
G

Figura 6.1 Definio do protocolo de sinalizao para atribuio de comprimento de onda.

174
Com base na especificao apresentada na Figura 6.1, determina-se a mquina de estado finito
de comunicao do protocolo de sinalizao para atribuio de rtulos. A Figura 6.2 apresenta
a mquina de estado finita de comunicao (MEFC) entre um n upstream (a esquerda na
figura) e um n downstream (a direita na figura) situado no ncleo da rede. A Figura 6.4
apresenta a mquina de estado finita de comunicao (MEFC) entre um n upstream (a
esquerda na figura) e um n downstream (a direita na figura) considerado como n de
egresso. Essas duas situaes foram consideradas separadamente para uma melhor
compreenso da troca de mensagens em cada uma das situaes.

(A)
(F)
(S)
(D)
(C)
(B)
(A)
(F)
(S)
(C)
(B)
-1
1 : mensagem Path (conjunto de rtulos junto)
2 : mensagem PathErr (codificao no suportada ou tipo de comutao)
3 : mensagem PathErr (conjunto de rtulos)
4 : mensagem Resv (atribuio de rtulos)
5 : mensagem ResvErr
comunicao entre upstream e downstream
comunicao do downstream com seu downstream
+1
+2
+3
+5
+4
-5
-2
-3
-4
-1
+2 / +3
+4
+5

downstream em um ponto intermedirio da rede.

175
Com base na mquina de estado finita de comunicao apresentada na Figura 6.2, possvel
aplicar a tcnica de anlise lgica denominada anlise com progresso justo e verificar se a
parte do protocolo de sinalizao relacionada com atribuio de rtulos possui ou no erros de
progresso.

Figura 6.3. De acordo com a grafo e com base nas definies de erros de progresso
apresentadas anteriormente, nota-se que a sinalizao relacionada a atribuio de rtulos no
apresenta deadlocks, recepes no especificadas nem mesmo, interaes no-executadas,
livelocks e overflow.
F, F, -ResvErr, +ResvErr
A, A, E, E
B, B, -Path, +Path
C, D, +Resv, -Resv F, F, +ResvErr, -ResvErr F, F, +PathErr, -PathErr
S, S, E, E
Figura 6.3 Anlise justa da MEFC da sinalizao de atribuio de rtulos em um ponto
intermedirio da rede.

Com base na mquina de estado finita de comunicao apresentada na Figura 6.4, possvel
aplicar a tcnica de anlise lgica com progresso justo e verificar se a parte do protocolo de
sinalizao relacionada com atribuio de rtulos possui ou no erros de progresso.

Figura 6.5. De acordo com a grafo e com base nas definies de erros de progresso

176
apresentadas anteriormente, nota-se que a sinalizao relacionada a atribuio de rtulos no
apresenta erros de progresso.

(A)
(F)
(S)
(C)
(B)
(A)
(F)
(S)
(C)
(B)
-1
1 : mensagem Path (conjunto de rtulos junto)
2 : mensagem PathErr (codificao no suportada ou tipo de comutao)
3 : mensagem PathErr (conjunto de rtulos)
4 : mensagem Resv (atribuio de rtulos)
5 : mensagem ResvErr
comunicao entre upstream e downstream
+1
+4 -4
-2
-3
+ 5
+2
+3
-5

downstream considerado n de egresso da rede.

F, F, -ResvErr, +ResvErr
A, A, E, E
B, B, -Path, +Path
F, F, +PathErr, -PathErr C, C, +Resv, -Resv
D, D, E, E

Figura 6.5 Anlise justa da MEFC da sinalizao de atribuio de rtulos no ponto de
egresso da rede.

177
6.3 SIMULAO

A anlise lgica no suficiente para provar a eficincia do algoritmo de atribuio de
comprimentos de onda proposto. Para esta finalidade necessrio fazer uso de um simulador
para verificar se a proposta realmente consegue atender o problema RWA e diminuir a taxa de
probabilidade de bloqueio de conexo em um ambiente GMPLS-WDM.

Em uma simulao, as avaliaes de desempenho so realizadas com modelos do sistema e
no com o sistema. Dessa forma, no h a necessidade de construo de uma rede real
baseada nas tecnologias GMPLS e WDM para avaliar as heursticas de alocao de
comprimento de onda apresentadas anteriormente. Neste caso tambm possvel exercitar
diferentes cenrios e analisar a questo de escalabilidade o que impraticvel em sistemas
reais.

As simulaes so realizadas utilizando cenrios GMPLS-WDM que apresentam o problema
de trap e cenrios que no apresentam este problema. Estes cenrios de simulao tambm
devem ser diferenciados pela quantidade de comprimentos de onda, ou seja, quantidade de
rtulos disponibilizados e que podem ser utilizados em cada enlace ptico.

A eficincia do algoritmo de atribuio de rtulos proposto analisada atravs dessas
simulaes. Os resultados so comparados entre as redes GMPLS-WDM que utilizam as
heursticas de atribuio de comprimento de onda apresentadas pela literatura e as redes
GMPLS-WDM com SRLG para atribuio de rtulos, com o objetivo de comprovar a maior
eficincia do algoritmo proposto.

178
Todas as avaliaes foram feitas com base no simulador NS [NS] e Matlab. O ncleo do
simulador NS e os toolkits do Matlab foram mantidos sendo que adaptaes necessrias foram
desenvolvidas a fim de reproduzir o funcionamento de cada um dos algoritmos de atribuio
de comprimento de onda a serem avaliados.

6.3.1 Descrio dos Simuladores

Para implementar os cenrios GMPLS-WDM, foram utilizados dois programas simuladores.

O primeiro foi o simulador de eventos discretos da Universidade de Berkeley denominado
UCB/LBNL Network Simulator, verso NS-2.1b6 [NS]. Este programa simulador
intensamente utilizado para estudos de protocolos de rede e tambm para fins educativos. O
NS2 suporta uma linguagem de script bem definida para a implementao de topologias de
redes e outros parmetros de simulao. Alm disso, o NS2 gera sadas na forma de arquivos
trace, bem como sadas no terminal e oferece suporte a uma ferramenta de animao
denominada Network Animator NAM. O NAM utiliza os arquivos trace gerados pelo NS2
para apresentar a visualizao da simulao.

O NS2 de domnio pblico e seu cdigo fonte est disponvel livremente. O cdigo escrito
na linguagem de programao C++ e muitas extenses do programa simulador so feitas em
uma linguagem denominada OTcl.

Juntamente com o NS2 foi utilizada outra ferramenta de simulao denominada Optical WDM
Network Simulator - OWNS [OWNS]. Este programa simulador foi implementado como uma
extenso do NS e desenvolvido em sistema Red Hat Linux, com base no prprio NS2.1b6. O

179
principal propsito do Dawn Networking Research Lab, da University of Maryland, foi
desenvolver um programa simulador que permitisse a simulao de vrias caractersticas e
aplicaes pticas sem ter a necessidade de construir uma rede real baseada na tecnologia
WDM.

Alm do simulador NS, foi utilizado o Matlab, ferramenta matemtica juntamente com o
toolkit WDM desenvolvido por Przemyslaw Pawelczak.

Ambos os simuladores, NS e Matlab, apresentam resultados semelhantes durante as
simulaes e por essa razo, na apresentao dos resultados no mencionado o simulador
especfico.

A inteno ao se implementar um simulador para a rede GMPLS-WDM permitir uma
simplificao da anlise deste estudo de avaliao de desempenho. A simulao proporciona
anlises rpidas e reduz os detalhes de implementao a serem manipulados.

6.3.2 Topologias Simuladas, Avaliao de Desempenho, Apresentao e Anlise dos
Resultados

Com o objetivo de avaliar e comparar os principais algoritmos de atribuio de comprimento
de onda com relao a probabilidade de bloqueio de conexo, construiu-se diferentes modelos
de simulao baseados em backbones j implementados e/ou conhecidos (de forma que os
resultados pudessem ajudar na validao dos simuladores e dos resultados obtidos). Estes
backbones sofreram algumas modificaes de forma que pudessem ser simulados dentro dos
limites permitidos pelos programas simuladores utilizados, i.e., um dos simuladores no

180
oferece suporte a um nmero elevado de ns (simulador NS). Estas modificaes foram
realizadas de forma a manter as caractersticas da rede nos modelos simulados.

Nesta seo, tambm apresentada a probabilidade de bloqueio de conexo de cada cenrio
simulado quando as heursticas de atribuio de comprimento de onda so implementadas.

As redes GMPLS-WDM consideradas para a realizao deste estudo so apresentadas nas
Figuras 6.6, 6.13, 6.18 e 6.23. O ncleo dos backbones simulados so formados por
comutadores pticos interligados que utilizam a tecnologia WDM e GMPLS originando assim
uma rede GMPLS-WDM. Como o fluxo de dados bidirecional em todos os enlaces, todos os
ns podem se comportar como comutadores de origem e destino, dependendo da direo deste
fluxo.

Abaixo, apresenta-se uma descrio de alguns parmetros e consideraes em comum,
relacionados a todos os cenrios simulados:
Pedidos de conexo: distribuio de Poisson
Durao do servio: distribuio exponencial
Tempo de retransmisso: 1,5 ms
Protocolo de roteamento: roteamento adaptativo
Carga de trfego representada em Erlangs
15

RWA dinmico
Parmetro de medida de desempenho: probabilidade de bloqueio de conexo
Situao tima: situao ideal utilizada para comparaes e representa uma rede com
converso total de comprimento de onda em um ambiente RWA dinmico
16

15
Erlang uma unidade de medida de trfego em telecomunicao. Precisamente um Erlang representa o uso
contnuo de um caminho. Erlang = 3 representa 3 chamadas simultneas e cada uma com durao de uma hora,
ou 6 chamadas, cada uma com durao de 30 minutos, ou 180 chamadas cada uma com durao de 1 minuto.

181
O interesse est em avaliar o desempenho de cada algoritmo de atribuio de comprimento de
onda, mencionados no Captulo III, aplicados em um ambiente GMPLS-WDM, em termos da
probabilidade de bloqueio de conexes durante o encaminhamento de dados. Sendo que a
probabilidade de bloqueio de conexo definida como o nmero de pedidos de conexo
bloqueados durante todo o tempo de simulao dividido pelo nmero total de pedidos de
conexo.

O cenrio timo considerado das redes com converso total de comprimentos de onda, pois
utilizam de forma eficiente os comprimentos de onda resolvendo conflitos durante o
estabelecimento de conexes. Portanto, o mais prximo que se conseguir chegar dos
resultados apresentados pelo cenrio timo, melhor ser a eficincia do algoritmo de
atribuio de comprimento de onda para as redes com restrio de continuidade de
comprimento de onda.

6.3.2.1 Topologia com 6 Ns

Apresenta-se abaixo as descries especficas da topologia de 6-ns (Figura 6.6):
Nmero de ns: 6
Nmero de enlaces: 8
Nmero de comprimentos de onda por enlace (W): 4 16
Nmero de fibras (M): 1 - 4
Nmero de enlaces com trap: 4

16
Situao ideal considera RWA dinmico, pois o RWA esttico apresenta resultados melhores em termos de
desempenho, porm so resultados que no representam a realidade (que utiliza RWA dinmico).

182
S D
4
2
3
1
S D
4
2
3
1

Figura 6.6 Topologia com 6 ns.

Com base nos resultados apresentados pela simulao na Topologia de 6 ns, possvel
comparar as heursticas propostas pela literatura e a heurstica proposta neste estudo.
Variaes no nmero de fibras e nmero de comprimentos de onda disponveis so realizadas
para que seja possvel analisar a interferncia do nmero de fibras e nmero de comprimentos
de onda no desempenho de cada algoritmo de atribuio de comprimento de onda.

De acordo com a Figura 6.7(a) pode-se afirmar que as heursticas de atribuio de
comprimento de onda apresentam desempenho semelhante na rede com 6-ns sendo que cada
enlace possui 1 fibra (M) e 16 comprimentos de onda disponveis entre os ns (W). Verifica-
se que o algoritmo DRCL possui desempenho superior de aproximadamente 10% se
comparado ao MU, que apresenta o segundo melhor resultado, e 15% se comparado ao LU,
que apresenta a maior probabilidade de bloqueio. Este melhor desempenho do DRCL mais
significativo quando a carga de trfego maior.

Os algoritmos MU e FF possuem resultados praticamente iguais em termos de probabilidade
de bloqueio de conexo, como apresenta a Figura 6.7(a). O algoritmo RD possui
probabilidade de bloqueio de conexo aproximadamente 10% superior se comparado ao
algoritmo FF.

183
Observando a Figura 6.7(b), pode-se afirmar que para este cenrio, M = 1 e W = 16 sem
problema de trap, o algoritmo proposto possui desempenho equivalente ao algoritmo DRCL,
como era esperado.

(a)

(b)
Figura 6.7 - Topologia de 6 ns com M=1 e W=16 comprimentos de onda sem problema de
Traps.

Analisando a Figura 6.8(a), nota-se que as heursticas de alocao de comprimento de onda
possuem resultados prximos. A diferena, no significativa, entre cada desempenho
verificado de forma mais clara quando a carga de trfego maior (valor acima de 50 Erlangs).

184
A Figura 6.8(b) mostra a equivalncia entre os algoritmos DRCL e proposto, como verificado
no cenrio anterior.

(a)

(b)
Traps.

O cenrio que possui um nmero maior de fibras entre os ns (Figura 6.8) apresenta resultado
aproximadamente 45% melhor se comparado ao cenrio com M = 1 e W = 16 (Figura 6.7).
Assim, mesmo o nmero de combinaes entre fibras e comprimentos de onda sendo iguais
para ambos os cenrios, a rede com M = 2 apresenta melhor desempenho se comparado a rede
com M = 1. Pode-se concluir que o nmero de fibras em cada enlace, para este cenrio,

185
interfere no desempenho da rede, mas h tambm a dependncia pelo nmero de
comprimentos de onda disponveis.

De acordo com a Figura 6.9(a), a semelhana entre as heursticas mantida como observado
nos cenrios anteriores.

(a)

(b)
Traps.

Nota-se que com o aumento no nmero de fibras em cada enlace (M = 4) o desempenho
melhorou em aproximadamente 5% se comparado ao cenrio com 2 fibras em cada enlace
(Figura 6.8). Verifica-se que o desempenho no apresenta uma diferena significativa se

186
comparado ao desempenho do cenrio anterior (M = 2 W = 8). Logo, o nmero de fibras entre
os enlaces interfere na probabilidade de bloqueio, mas esse aumento no nmero de fibras pode
chegar a um limite onde a sua alterao no causa interferncia brusca na probabilidade de
bloqueio.

Comparando o cenrio M = 1 e W = 16 sem o problema de trap (Figura 6.7) e o cenrio M =
1 e W = 16 com problema de traps (Figura 6.10), nota-se que o desempenho das heursticas
de atribuio de comprimento de onda menor no cenrio com traps pois as heursticas
apresentadas na literatura no lidam com o problema de traps gerando assim um nmero
maior de bloqueio de conexo. O desempenho aproximadamente 48% menor se comparado
ao desempenho no cenrio que no apresenta problema de trap. De qualquer forma, as
heursticas, comparadas entre si, apresentam desempenho semelhante como nos cenrios j
analisados.

A Figura 6.10(b) mostra o desempenho superior do algoritmo proposto se comparado aos
demais principalmente quando a carga de trfego superior a 40 Erlangs. Isso se deve ao fato
do algoritmo proposto reconhecer e lidar com o problema de traps, o que gera um menor
bloqueio de conexes. O algoritmo proposto possui desempenho superior em
aproximadamente 35% se comparado ao algoritmo DRCL que o algoritmo apresentado pela
literatura com melhor desempenho.

Observando a Figura 6.11(a), percebe-se que as heursticas RD, FF, LU, MU e DRCL
apresentam uma visvel diferena quando a carga de trfego maior, ou seja, acima de 50
Erlangs. Comparando a Figura 6.8 e 6.11, nota-se que o desempenho dos algoritmos de

187
atribuio de comprimento de onda no cenrio que apresenta traps aproximadamente 50-
55% menor que do cenrio sem o problema de traps.

(a)

(b)
Figura 6.10 - Topologia de 6 ns com M=1 e W=16 comprimentos de onda com problema de
Traps.

A figura 6.11(b) mostra a diferena entre o algoritmo proposto e o algoritmo DRCL. O
algoritmo proposto apresenta uma menor probabilidade de bloqueio de conexo
principalmente quando a carga de trfego est acima de 40 Erlangs. O desempenho da
proposta maior, pois lida com o problema de traps atravs do uso do conceito SRLG.

188

(a)

(b)
Traps.

Analisando a Figura 6.12, percebe-se que o cenrio M = 4 e W = 4, mesmo com o problema
de traps, continua a manter o desempenho superior de aproximadamente 5% se comparado ao
cenrio M = 2 e W = 8 com problema de traps. O mesmo acontece com estes cenrios
quando no apresentam o problema de traps, pois a diferena no resultado de desempenho se
mantm em 5%.

De acordo com a Figura 6.12(b), o algoritmo proposto possui uma menor probabilidade de
bloqueio quando a carga de trfego est acima de 40 Erlangs. Isso se deve ao fato da

189
eficincia do algoritmo ser verificada quando o nmero de pedidos de recurso maior e
assim, com a melhor eficincia do algoritmo proposto, o desempenho melhor.

(a)

(b)
Traps.

6.3.2.2 Topologia NSFNET

Apresenta-se abaixo as descries especficas da topologia NSFNET (National Science
Foundation Network) (Figura 6.13):
Nmero de ns: 14
Nmero de enlaces: 21

190
Nmero de comprimentos de onda por enlace (W): 32 e 40
Nmero de fibras (M): 1

1
2
3
4
5
6
7
8 9
10
11
12
13
14

Figura 6.13 Topologia NSFNET.

Atravs da simulao realizada com o cenrio NSFNET possvel comparar as heursticas de
atribuio de comprimento de onda propostas pela literatura, bem como comparar o algoritmo
proposto com essas heursticas e tambm com a situao ideal.

Observando a Figura 6.14(a), pode-se afirmar que as heursticas de atribuio de
comprimento de onda apresentam desempenho semelhante na rede com 32 comprimentos de
onda. Verifica-se tambm, de forma mais detalhada, que o algoritmo DRCL na Figura 6.14(a)
possui desempenho superior em aproximadamente 20% quando comparado ao algoritmo MU
que apresenta o segundo melhor desempenho. Os algoritmos MU e FF apresentam resultados
praticamente idnticos em termos de probabilidade de bloqueio, verificado e avaliado na
Figura 6.14(a) em referncia. O algoritmo RD apresenta um desempenho inferior ao FF em
aproximadamente 10%. O algoritmo LU apresenta uma probabilidade de bloqueio maior,
principalmente quando a rede apresenta uma carga de trfego mais elevada.

191

(a)

(b)
Figura 6.14 - Topologia NSFNET com 32 comprimentos de onda sem problema de Traps.

Avaliando por comparao o algoritmo DRCL (algoritmo que apresentou o melhor
desempenho proposto na leitura), o algoritmo proposto e a situao tima (quando a rede
apresenta converso total de comprimento de onda), nota-se que tanto o DRCL quanto o
algoritmo proposto demonstraram desempenhos semelhantes neste cenrio e prximos
situao ideal, sendo que o algoritmo proposto, dependendo da carga de trfego da rede,
apresenta um desempenho aproximadamente 15% melhor que DRCL, conforme se observa na
Figura 6.14(b).

192
A Figura 6.15(a) confirma os resultados do cenrio anterior (Figura 6.14(a)), pois as
heursticas apresentadas na literatura possuem desempenhos muito prximos, porm
aproximadamente 25% superior que no cenrio com 32 comprimentos de onda devido ao
maior nmero de comprimentos de onda disponveis na rede, pois assim um nmero maior de
conexes pode ser atendido. O mesmo acontece com os resultados da Figura 6.15(b), onde
verifica-se que o algoritmo proposto e o DRCL tm resultados prximos, quando se trata de
probabilidade de bloqueio, porm com melhora significativa ao ser comparado com o cenrio
de 32 comprimentos de onda.

(a)

(b)
Figura 6.15 - Topologia NSFNET com 40 comprimentos de onda sem problema de Traps.

193
Nota-se tambm que com o aumento do nmero de comprimentos de onda disponveis em
cada enlace (aumento de 28%), o desempenho dos algoritmos DRCL e do proposto se
aproximam da situao tima, promovendo uma diferena mxima de aproximadamente 10%
no desempenho. Desta forma, conclui-se que mais vantajoso aumentar o nmero de
comprimentos de onda de uma rede, com um custo menor, com o objetivo de melhorar o
desempenho ao invs de usar conversores de comprimento de onda que acarretam um custo
mais elevado e ainda no apresentam uma tecnologia competitiva.

Nos cenrios que apresentam o problema de trap a diferena entre os resultados de
desempenho passa a ser maior se os algoritmos propostos pela literatura forem comparados
com o algoritmo proposto. A Figura 6.16(a) mostra que as heursticas continuam
apresentando resultados semelhantes, porm com um desempenho inferior em at 38% se
comparado ao mesmo cenrio sem o problema de trap.

O algoritmo proposto (Figura 6.16(b)) apresenta desempenho muito superior ao do DRCL, e
bem prximo da situao ideal, pois o algoritmo proposto utiliza o conceito SRLG que
reconhece o problema de traps fazendo com que o algoritmo no diminua o seu desempenho.
Os algoritmos propostos pela literatura no suportam o problema de traps promovendo assim
perdas no desempenho.

194

(a)

(b)
Figura 6.16 - Topologia NSFNET com 32 comprimentos de onda com problema de Traps.

A Figura 6.17(b) confirma a explanao anterior sobre o desempenho do algoritmo proposto e
a proximidade com a situao ideal, pois considera o problema de traps e o nmero de
comprimentos de onda disponvel em cada enlace 40. Assim, pode-se concluir tambm que
quanto maior o nmero de comprimentos de onda disponveis menor a probabilidade de
bloqueio.

195

(a)

(b)
Figura 6.17 - Topologia NSFNET com 40 comprimentos de onda com problema de Traps.

6.3.2.3 Topologia Mesh

Apresenta-se abaixo as descries especficas da topologia Mesh 5-5 (Figura 6.18):
Nmero de ns: 25
Nmero de enlaces com trap: 17 (aproximadamente 35% do nmero total de enlaces)

196
1
19
24 25
20
15 14
23
18
22
16
13 12
10 9 8 7
21
16
11
6
5 4 3 2

Figura 6.18 Topologia Mesh com 25 ns.

A topologia Mesh com 32 comprimentos de onda disponveis em cada enlace (Figura 6.19)
confirma as concluses anteriores a respeitos dos algoritmos RD, FF, LU, MU e DRCL.
Todos estes algoritmos propostos pela literatura apresentam diferentes resultados de
probabilidade de bloqueio de conexo, mas essa diferena no significativa (Figura 6.19(a)).

O desempenho apresentado pela topologia Mesh com 32 comprimentos de onda (Figura 6.19)
aproximadamente 5-10% superior ao desempenho apresentado pela topologia NSFNET com
32 comprimentos de onda em cada enlace. Isso se deve ao fato da probabilidade de bloqueio
de conexo ser menor para redes que apresentam uma distribuio uniforme para o
comprimento dos enlaces, o que acontece com a topologia Mesh e no acontece com a
topologia NSFNET, como mostra as Figuras 6.18 e 6.13, respectivamente.

197

(a)

(b)
Figura 6.19 - Topologia Mesh com 32 comprimentos de onda sem problema de Traps.

A figura 6.19(b) apresenta o desempenho do algoritmo proposto, DRCL e da situao ideal
(rede com converso total de comprimento de onda). Nota-se que a probabilidade de bloqueio
de conexo da proposta est prxima da situao ideal apresentando valores aproximadamente
45% maiores quando a carga de trfego est acima de 240 Erlangs. O resultado da
probabilidade de bloqueio de conexo do algoritmo proposto inferior ao resultado
apresentado pelo algoritmo DRCL em aproximadamente 5-10%.

198
Com o aumento no nmero de comprimentos de onda disponveis em cada enlace na
topologia Mesh, houve um aumento no desempenho da rede, como pode ser observado nas
Figuras 6.19 e 6.20. Com o aumento do nmero de comprimentos de onda em 28%, houve
uma melhora no desempenho de aproximadamente 30%, o que bastante considervel. Como
nas demais topologias, com o aumento no nmero de comprimentos de onda, tanto o
algoritmo DRCL como algoritmo proposto se aproximam bastante dos resultados
apresentados pela situao ideal, o que garante, mais uma vez, que o aumento no nmero de
comprimentos de onda mais vantajoso nas redes GMPLS-WDM do que a adoo de
conversores de comprimento de onda.

(a)

(b)
Figura 6.20 - Topologia Mesh com 40 comprimentos de onda sem problema de Traps.

199
De acordo com as Figuras 6.21 e 6.19, ou seja, comparando os cenrios de topologia Mesh
com 32 comprimentos de onda disponveis em cada enlace com e sem o problema de traps,
verifica-se que os algoritmos de atribuio de comprimento de onda possuem desempenho
menor, de aproximadamente 35%, quando so aplicados no cenrio com problema de traps.
Como mencionado anteriormente, isso se deve ao fato dos algoritmos propostos pela literatura
no considerarem o problema de traps no protocolo de sinalizao.

(a)

(b)
Figura 6.21 - Topologia Mesh com 32 comprimentos de onda com problema de Traps.

Por outro lado, na topologia Mesh com problema de traps, o algoritmo proposto possui um
desempenho prximo do ideal como mostra a Figura 6.21(b). A diferena entre os resultados

200
insignificante, podendo atingir no mximo 4%. Como o algoritmo DRCL no consegue lidar
com o problema de traps, os resultados de probabilidade de bloqueio de conexo apresentados
por este algoritmo atingem valores 60% superiores se comparados aos resultados do algoritmo
proposto, principalmente quando a carga de trfego maior (acima de 240 Erlangs).

De acordo com a Figura 6.22(a), Topologia Mesh com 40 comprimentos de onda, nota-se que
os algoritmos de atribuio de comprimento de onda apresentam um desempenho superior
quando os resultados so comparados com os valores de probabilidade de bloqueio no mesmo
cenrio com 32 comprimentos de onda disponveis. A melhoria no desempenho foi mantida,
pois com o aumento no nmero de comprimentos de onda em aproximadamente 28%, houve
um aumento no desempenho de todos os algoritmos propostos pela literatura em
aproximadamente 33%.

Confrontando os cenrios, topologia Mesh com 40 comprimentos de onda e problema de traps
e topologia NSFNET com 40 comprimentos de onda e problema de traps, verifica-se que na
topologia Mesh os resultados apresentam valores aproximadamente 5% menores se
comparados aos resultados de probabilidade de bloqueio de conexo apresentados na
topologia NSFNET. Como mencionado anteriormente, isso se deve ao fato da topologia Mesh
apresentar uma distribuio mais uniforme do comprimento de enlaces do que a topologia
NSFNET.

201

(a)

(b)
Figura 6.22 - Topologia Mesh com 40 comprimentos de onda com problema de Traps.

6.3.2.4 Topologia EON

Apresenta-se abaixo as descries especficas da topologia EON (European Optical Network)
(Figura 6.23):
Nmero de ns: 19

202

1
18
14
15
12 16
13
17
11
10
9
8
7
6
5
4
3
2
19

Figura 6.23 Topologia EON.

Aprovando os resultados obtidos nos cenrios anteriores, na topologia EON o algoritmo de
atribuio de comprimento de onda DRCL apresenta o melhor desempenho se comparado aos
demais algoritmos propostos pela literatura, atingindo resultados aproximadamente 15%
superiores se comparados aos resultados obtidos pelo algoritmo MU, que possui o segundo
melhor desempenho.

A figura 6.24(b) mostra a proximidade entre o desempenho obtido pelo algoritmo proposto e
o algoritmo DRCL. Ambos os algoritmos possuem resultados prximos da situao ideal que
quando a rede apresenta converso total de comprimentos de onda. Mas se distanciam da
situao ideal (diferena de aproximadamente 45%) quando a carga de trfego superior a
240 Erlangs.

203

(a)

(b)
Figura 6.24 - Topologia EON com 32 comprimentos de onda sem problema de Traps.

Analisando a Figura 6.25, percebe-se que com o aumento de comprimentos de onda
disponveis em cada enlace, o desempenho de todos os algoritmos simulados melhoram, mas
as diferenas em porcentagem entre os resultados permanecem praticamente inalterados
quando comparados ao cenrio anterior (Figura 6.24).

Com o problema de traps na topologia EON, o desempenho diminui em aproximadamente
35% tanto para a topologia com 32 comprimentos de onda (Figura 6.26) quanto para a
topologia com 40 comprimentos de onda (Figura 6.27).

204

(a)

(b)
Figura 6.25 - Topologia EON com 40 comprimentos de onda sem problema de Traps.

Verifica-se que quando o problema de traps considerado, o algoritmo proposto apresenta
um excelente desempenho, prximo do ideal, o que garante que um nmero razovel de
comprimentos de onda (dependendo do tamanho da rede), e um correto algoritmo de
atribuio de comprimento de onda, garantem o eficiente uso de recursos da rede durante a
sinalizao evitando assim o uso de conversores de comprimento de onda, o que tornaria o
custo de construo da rede muito maior (Figuras 6.26(b) e 6.27(b)).

205

(a)

(b)
Figura 6.26 - Topologia EON com 32 comprimentos de onda com problema de Traps.

Comparando as topologias EON e NSFNET quando ambas possuem o mesmo nmero de
comprimentos de onda nos enlaces (32 e 40) e apresentam o problema de traps (Figuras 6.22,
6.23, 6.18 e 6.19), nota-se que o desempenho dos algoritmos na topologia NSFNET maior
em aproximadamente 35%. Isso se deve ao fato, como mencionado em outras comparaes,
da topologia NSFNET apresentar uma distribuio mais uniforme do comprimento dos
enlaces quando comparado a topologia EON. A distribuio uniforme dos comprimentos de
onda contribui para uma menor probabilidade de bloqueio dos algoritmos de atribuio de
comprimento de onda.

206

(a)

(b)
Figura 6.27 - Topologia EON com 40 comprimentos de onda com problema de Traps.

6.3.3 Validao do Simulador

Para garantir a validade de um simulador que avalia o desempenho de um sistema,
necessrio fazer a correspondncia entre os resultados obtidos atravs da simulao dos
diversos modelos e os dados j existentes sobre sistemas comparveis ou semelhantes ao
sendo modelado. Neste trabalho, a validao dos resultados obtidos por meio dos simuladores
utilizados foi realizada atravs da convergncia dos resultados da simulao com os
parmetros e os resultados apresentados em [ZANG, 2000].

207
O parmetro utilizado na avaliao de desempenho foi a probabilidade de bloqueio de
conexo. Logo, este o parmetro utilizado na validao dos resultados.

Independente do nmero de ns nas redes comparadas, os valores da mtrica utilizada devem
convergir com os valores apresentados na literatura por serem valores em porcentagem.

6.4 ESCALABILIDADE

O termo escalabilidade possui diferentes significados, entre eles:
Propriedade de um sistema qualquer que lhe confere a capacidade de aumentar seu
desempenho quando recursos so acrescentados a esse sistema
Capacidade do hardware e/ou software das redes de alterar o tamanho de acordo com
o nmero de usurios que acomodam. Na maioria dos casos, refere-se capacidade de
expandir em vez de reduzir
Capacidade de ser alterado para atender um problema especfico

Com base nas definies apresentadas, segue uma anlise de escalabilidade do algoritmo de
rtulos proposto.

A largura de banda necessria para atender as mensagens de controle (sinalizao) no
algoritmo proposto apresenta um aumento de aproximadamente 10% se comparado ao
procedimento de conjunto de rtulos utilizado isoladamente. Esse aumento devido a
informao SRLG associada a cada comprimento de onda selecionado durante a atribuio de
comprimento de onda (como mencionado na seo 6.2.2). No entanto, a largura de banda
requerida pelo algoritmo proposto similar a quantidade requerida pelo algoritmo DRCL.

208
Logo, pode-se concluir que o algoritmo proposto no gera um overhead significativo, pois
mensagens adicionais no so geradas e o mesmo no interfere no tempo de encaminhamento
dos dados bem como na quantidade de dados encaminhados. Esse pequeno overhead gerado
pode ser justificado tambm pelo bom desempenho do algoritmo proposto, como observado
na avaliao dos resultados (seo 6.3).

A quantidade de informao sendo encaminhada ao longo da rede para atualizao e
manuteno dos comprimentos de onda e SRLG-IDs aumenta como tambm a quantidade de
informao armazenada em cada n intermedirio e de borda. Logo, os ns devem ter uma
capacidade de armazenamento maior que tolervel, visto que no interfere no tempo de
processamento das mensagens em cada n (concluso confirmada atravs dos resultados da
Figura 6.28 onde o algoritmo proposto apresenta desempenho semelhante ou melhor que o
desempenho do algoritmo DRCL em termos de tempo de atribuio de comprimento de
onda). Essa informao armazenada proporcional a quantidade de SRLG-IDs utilizados por
um n especfico, na ordem de #SRLG_ID*W (nmero de SRLG-IDs vezes o nmero de
comprimentos de onda disponvel para uso), pois ele armazena apenas as informaes
referentes as suas interfaces.

Em termos de nmero de comprimentos de onda, pode-se afirmar que o algoritmo apresenta
excelente escalabilidade. O desempenho do algoritmo proposto melhor com o aumento do
nmero de comprimentos de onda disponveis em cada enlace, pois o n de destino ter uma
flexibilidade maior para atribuir diferentes comprimentos de onda para trfegos que utilizam
enlaces em comum (o nmero de opes de possveis rtulos ser maior, o que diminui a
probabilidade de bloqueio de conexo).

209
O tempo de estabelecimento de uma conexo definido como o tempo requerido para que a
conexo seja estabelecida, o que inclui roteamento e atribuio de comprimento de onda para
o pedido de conexo especfico. Considerando apenas o tempo para atribuio de
comprimento de onda, os fatores que podem afetar este so: atraso de propagao da origem
ao destino e vice-versa, atraso no processamento de mensagem, tempo para transmitir ou
comutar uma mensagem (considerado como zero) e o tempo de configurao do comutador
ptico (caso necessrio). Com o aumento da carga de trfego na rede, ou seja, com o aumento
do nmero de pedidos de conexo em um curto perodo de tempo, h um aumento no tempo
de atribuio de comprimento para uma rota especfica que atende um pedido de conexo que
varia de 5-9% do tempo gasto quando a carga de trfego menor. Esse aumento devido ao
nmero maior de mensagens em cada n esperando por processamento e consulta tabela
SRLG-. No entanto, se a carga de trfego for muito alta, ultrapassando os limites que a rede
suporta, o tempo de atribuio de comprimento diminui, pois as conexes passam a ser
bloqueadas devido a no existncia de recursos disponveis.

Como mostra a Figura 6.28 e 6.29, o algoritmo proposto apresenta o tempo de atribuio de
comprimento de onda similar ao algoritmo DRCL. Note que com o aumento da carga de
trfego, o tempo de atribuio de comprimento de onda sobe de aproxidamente 1,23ms para
1,32ms (aumento de 6,5%) para a topologia com 6 ns e h um aumento de 1,34 para 1,39
(aumento de aproximadamente 8,5%) para a topologia NSFNET.

210

Figura 6.28 Tempo de Atribuio de Comprimento de Onda na Topologia de 6 ns.

Observe tambm que com o aumento no nmero de ns da rede h um pequeno aumento no
tempo de atribuio de comprimento de onda devido principalmente ao aumento no tempo de
propagao de mensagens entre a origem e destino e, vice-versa. Esta diferena no tempo de
atribuio de comprimento de onda para topologias com menor e maior nmero de ns pode
ser verificada nas Figuras 6.28 e 6.29, topologia de 6 ns e topologia de 14 ns,
respectivamente.

Figura 6.29 Tempo de Atribuio de Comprimento de Onda na Topologia NSFNET.

211
6.5 CONCLUSO

Com o objetivo de diminuir a probabilidade de bloqueio de conexo foi proposto um
algoritmo de atribuio de comprimento de onda que utiliza o conceito de conjunto de rtulos,
j implementado pelo GMPLS, e o conceito SRLG, antes usado apenas para o
estabelecimento de caminhos de proteo disjuntos.

O nmero SRLG ou SRLG-ID estabelecido para cada enlace na rede indicando a entidade
de risco a qual o enlace pertence. Um caminho ptico representado por um conjunto de
SRLG-IDs, denominado SRLG_caminho, que contm as entidades de risco de todos os
enlaces que compem o caminho. Caminhos pticos diferentes que possuem pelo menos um
SRLG-ID em comum, certamente, compartilham uma entidade de risco, ou seja, disputam o
mesmo recurso, o mesmo enlace e por essa razo deve-se atribuir diferentes comprimentos de
onda para esses caminhos pticos.

Isso se deve ao fato da rede considerada neste estudo ser uma rede GMPLS-WDM
parcialmente ptica e sem converso de comprimento de onda. Logo no h conversores nos
ns intermedirios da rede e a propriedade de restrio de continuidade de comprimento de
onda deve ser considerada e respeitada.

O algoritmo proposto, SRLG mais conjunto de rtulos, funciona basicamente da mesma
forma como o objeto conjunto de rtulos j usado em um ambiente GMPLS. No entanto, o
conceito de conjunto de rtulos quando usado isoladamente no consegue atender o problema
de traps na alocao de recursos. Por outro lado, SRLG mais conjunto de rtulos, juntos,

212
conseguem produzir resultados corretos de possveis comprimentos de ondas a serem
escolhidos para atribuio, mesmo quando o problema de trap existe.

Portanto, em ambientes na presena de traps, o algoritmo de atribuio de comprimento de
onda proposto consegue diminuir a probabilidade de bloqueio de conexo das redes GMPLS-
WDM com restrio de continuidade de comprimento de onda.

Foi realizada a anlise lgica da poro do protocolo de sinalizao responsvel pela
atribuio de comprimentos de onda com o uso de conjunto de rtulos e SRLG e verificou-se
que o mesmo livre de qualquer erro de progresso. Apenas apresenta um aumento na
quantidade de informao de controle sendo enviada na rede.

Para verificar a eficincia do algoritmo proposto, simulaes com diferentes cenrios foram
realizadas utilizando os simuladores NS e Matlab.

De acordo com os resultados apresentados, o algoritmo proposto apresenta resultados
prximos do algoritmo DRCL em cenrios sem problema de traps, sendo que o DRCL o
algoritmo proposto pela literatura com melhor desempenho.

Nos cenrios com problema de traps, o algoritmo proposto apresenta um excelente
desempenho, pois possui resultados de probabilidade de bloqueio de conexo inferiores ao do
algoritmo DRCL e bem prximos da situao ideal, garantindo assim, sua eficincia.
Portanto, pode-se assegurar que o uso de um bom algoritmo de atribuio de comprimento de
onda mais vantajoso do que utilizar conversores de comprimento de onda a um custo
elevado.

213
Atravs das simulaes, pode-se notar que o nmero de comprimentos de onda disponveis
nos enlaces interfere diretamente no desempenho dos algoritmos de atribuio de
comprimento de onda e essa interferncia diretamente proporcional.

O valor da probabilidade de bloqueio de conexo tambm pode ser alterada de acordo com a
distribuio uniforme ou no do comprimento dos enlaces. Quanto mais uniforme for essa
distribuio, menor ser a probabilidade de bloqueio de conexo.

Assim, atravs dos resultados obtidos pelas simulaes pode-se garantir a eficincia do
algoritmo proposto.
CAPTULO VII

CONCLUSES FINAIS

Para satisfazer, de forma mais eficiente e a um custo menor, o explosivo aumento na demanda
de trfego de voz e de dados, as redes pticas baseadas em WDM e GMPLS esto sendo
desenvolvidas. O desenvolvimento das redes pticas prov aumento da capacidade de
transporte e da escalabilidade da rede e, o desenvolvimento de uma grande quantidade de
novas e sofisticadas aplicaes.

As redes pticas podem ser classificadas em opacas ou transparentes. As redes consideradas
neste estudo so as redes parcialmente transparentes. Transparentes, pois as funes de
roteamento, tal como comutao de comprimentos de onda, so executadas no domnio ptico
eliminando os conversores OEO e suas limitaes. Parcialmente, pois a sinalizao utiliza
canais opacos para que informaes sejam armazenadas em ns intermedirios.

O encaminhamento de trfego nas redes pticas pode ser feito com converso de
comprimento de onda e sem converso de comprimento de onda. Neste estudo, foram
utilizados cenrios pticos que no realizam a converso de comprimento de onda, ou seja,
apresentam restrio de continuidade de comprimento de onda, pois os conversores de

215
comprimento de onda ainda possuem um alto custo e a tecnologia no est amadurecida e
competitiva.

Inicialmente as redes pticas utilizavam o TDM como tcnica de multiplexao sub-
utilizando assim, a enorme capacidade de transmisso das fibras pticas. Com o objetivo de
melhorar o aproveitamento da capacidade de transmisso das fibras pticas, as redes pticas
passaram a usar o WDM que uma tcnica promissora por satisfazer altas demandas de
largura de banda.

O GMPLS, com suporte do IETF e OIF, atualmente considerado como um plano de controle
para as redes pticas e suporta no somente comutao de pacotes (PSC), mas tambm
comutao no domnio do tempo (TSC), comprimento de onda (LSC) e fibra (FSC).

O conjunto de protocolos GMPLS composto por protocolos de sinalizao (RSVP-TE) e de
roteamento (OSPF-TE), como tambm do protocolo de gerenciamento de enlace (LMP). As
principais funcionalidades do LMP so: gerenciamento de canal de controle, correlao de
propriedade de enlace, gerenciamento de falhas e verificao de conectividade de enlace. Este
protocolo apresenta grande importncia em um ambiente GMPLS podendo tambm interferir
na atribuio de rtulos (comprimentos de onda) e assim, torna-se necessrio realizar a anlise
lgica do LMP para verificar se o mesmo est livre de erros de progresso. O protocolo de
gerenciamento de enlace foi ento modelado por uma rede formada por duas mquinas de
estado finitas de comunicao (MEFC) e, a anlise foi feita utilizando a tcnica de
alcanabilidade com progresso justo podendo assim verificar se o mesmo est ou no livre de
erros tais como deadlocks, recepes no-especificadas, interaes no-executadas, livelocks
e overflows.

216
De acordo com os grafos de alcanabilidade justa gerados pela anlise com progresso justo, o
protocolo de gerenciamento de enlace utilizado em um ambiente GMPLS est livre,
parcialmente, dos erros de progresso. No entanto, para tornar o LMP totalmente livre de erros
de progresso e fazer com que este tenha um melhor sucesso na ordem de execuo e lgica de
execuo, alguns pequenos detalhes de especificao foram corrigidos e outros sugeridos.
Assim, com base nas definies e especificaes de cada procedimento LMP, foi proposta
uma ordem de execuo destes procedimentos:
(v) Gerenciamento de canal de controle
Ativao do canal de controle
Manuteno do canal de controle
(vi) Verificao de conectividade de enlace
Pelo menos um canal de controle deve estar ativo
Descobrimento dinmico das associaes entre Interface_IDs local e remoto de
um mesmo enlace de dados
Verificao de conectividade de enlaces de dados
Descobrimento dinmico de associaes de enlace TE
(vii) Correlao de Propriedade de enlace
Mapeamento de Interface_IDs deve ser um conhecimento j adquirido pelo n
local
Agregao de mltiplos enlaces de dados a um enlace TE
Sincronizao de propriedades de enlace
(viii) Gerenciamento de Falhas
Notificao do status de enlaces
Localizao de falhas

217
Esta ordem deve ser seguida quando a rede for colocada em funcionamento, pois nesse caso, a
maior parte das informaes sero geradas e descobertas dinamicamente. No decorrer do
funcionamento da rede, essa ordem de execuo dos procedimentos LMP no
necessariamente precisa ser seguida na maioria dos possveis cenrios.

Verificada a corretude do LMP, o estudo foca o subproblema de atribuio de comprimento
de onda do RWA nas redes GMPLS-WDM por ser um dos principais problemas que causam
o baixo desempenho destas redes.

O problema RWA a configurao de caminhos pticos para um dado conjunto de pedidos de
conexes atravs de roteamento e atribuio de comprimentos de onda para cada uma dessas
conexes, dada uma restrio no nmero de comprimentos de onda disponveis. O objetivo,
portanto, selecionar a melhor combinao de rotas e comprimentos de onda para cada
conexo de forma a otimizar o atendimento das demandas dentro da rede, maximizando o
nmero de conexes estabelecidas.

O RWA pode ser classificado em esttico e dinmico. Neste estudo o RWA dinmico foi
considerado por se aproximar mais da realidade onde um caminho ptico estabelecido
medida que as requisies de conexes chegam no n de acesso, devendo cada qual ser
atendida no instante da solicitao, sem esperar que futuras requisies se tornem conhecidas.

O problema RWA pode ser dividido em subproblema de roteamento e subproblema de
atribuio de comprimento de onda (considerado neste estudo). No subproblema de atribuio
de comprimento de onda, deve-se alocar um comprimento de onda para cada caminho ptico
de tal forma que dois caminhos pticos no compartilhem um mesmo comprimento de onda

218
em uma mesma fibra e considerando o cenrio utilizado que apresenta restrio de
continuidade de comprimento de onda. A atribuio de comprimento de onda deve ser feita de
forma a maximizar o nmero de conexes possveis de serem estabelecidas minimizando
assim a probabilidade de bloqueio de novas conexes. Os principais algoritmos de atribuio
de comprimento de onda propostos pela literatura so: First-Fit (FF), Random Wavelength
Assignment (RD), Most-Used (MU), Least-Used (LU), Max-Sum (MS), Relative Capacity
Loss (RCL) e Distributed Relative Capacity Loss (DRCL).

Com o objetivo de melhorar o desempenho das redes GMPLS-WDM com restrio de
continuidade de comprimento de onda, diminuindo a probabilidade de bloqueio de conexo,
prope-se um algoritmo de atribuio de rtulos (comprimentos de onda) que utiliza os
conceitos conjunto de rtulos e SRLG j implementados pelo GMPLS.

compartilham pelo menos um enlace em comum na rede, deve-se atribuir diferentes
comprimentos de onda para cada conexo, pois a propriedade de restrio de continuidade de
comprimento de onda considerada, como mencionado anteriormente. Esta a mesma idia
proposta pelo conceito SRLG para o estabelecimento de caminhos de proteo e que agora
usado para alocao de comprimento de onda, como proposta deste estudo. Com base na
informao SRLG do caminho a ser estabelecido e dos caminhos j existentes possvel saber
se estes compartilham ou no alguma entidade de risco (recurso) e assim decidir qual
comprimento de onda deve ser atribudo.

O conceito de conjunto de rtulos quando usado isoladamente no consegue atender o
problema de armadilhas na alocao de recursos, denominado de problema de trap. Por outro

219
lado, SRLG mais conjunto de rtulos, juntos, conseguem produzir resultados corretos de
possveis comprimentos de ondas a serem escolhidos para atribuio, mesmo quando o
problema de trap existe.

A proposta de atribuio de comprimento de onda tambm foi analisada de acordo com sua
corretude, ou seja, se est livre ou no dos erros de progresso e, a tcnica de alcanabilidade
justa foi usada para esta finalidade. A anlise realizada utilizou a poro do protocolo de
sinalizao responsvel pela atribuio de comprimentos de onda com o uso de conjunto de
rtulos e SRLG e verificou-se que o mesmo livre de qualquer erro de progresso.

A anlise lgica no suficiente para comprovar a eficincia ou no eficincia da proposta de
atribuio de rtulos. Para esta finalidade, necessrio utilizar um simulador para verificar se
a proposta realmente consegue atender ao subproblema de atribuio de comprimento de onda
do RWA e comprovar a queda na taxa de probabilidade de bloqueio de conexo para
diferentes topologias de rede em um ambiente GMPLS-WDM.

Todas as simulaes foram realizadas utilizando o simulador NS com o mdulo OWNS e o
simulador Matlab com o mdulo WDM.

De acordo com os resultados apresentados em todos os cenrios simulados, o algoritmo
proposto apresenta resultados prximos do algoritmo DRCL em cenrios sem problema de
traps, sendo que o DRCL o algoritmo proposto pela literatura com melhor desempenho em
qualquer um dos cenrios simulados.

O desempenho das heursticas de atribuio de comprimento de onda apresentadas na
literatura menor nos cenrios com problema de trap, pois estas no lidam com problema de

220
trap gerando assim um nmero maior de bloqueio de conexo. O desempenho
aproximadamente 36% - 55% menor, dependendo do cenrio, se comparado ao desempenho
nos cenrios que no apresentam o problema de trap. Mas quando a comparao entre os
resultados das heursticas no mesmo cenrio em termos de diferena de desempenhos entre
elas, o desempenho semelhante nos cenrios com e sem problema de trap. Os algoritmos
MU e FF possuem resultados praticamente idnticos. O algoritmo RD apresenta desempenho
inferior se comparado ao algoritmo FF. LU o algoritmo com maior probabilidade de
bloqueio de conexo. No entanto, as diferenas nos resultados apresentados no so
significativas. Note que os algoritmos MS e RCL no fazem parte das simulaes, pois s
podem ser usados em ambientes com RWA esttico e as simulaes foram realizadas em
ambientes com RWA dinmico.

Nos cenrios com problema de traps, o algoritmo proposto apresenta um excelente
desempenho, principalmente quando a carga de trfego maior, pois o algoritmo proposto
reconhece e lida com o problema de trap e conseqentemente apresenta resultados de
probabilidade de bloqueio de conexo inferiores ao do algoritmo DRCL, aproximadamente
35% - 40% dependendo do cenrio e, bem prximos aos resultados apresentados pela situao
ideal (converso total de comprimento de onda), garantindo assim, sua eficincia.

Portanto, pode-se assegurar que o uso de um bom algoritmo de atribuio de comprimento de
onda mais vantajoso do que utilizar conversores de comprimento de onda a um custo
elevado.

Atravs das simulaes, pode-se notar que o nmero de comprimentos de onda disponveis
nos enlaces interfere diretamente no desempenho dos algoritmos de atribuio de

221
comprimento de onda e essa interferncia diretamente proporcional como pode ser
visualizado nos grficos com resultados das simulaes na topologia de 6 ns com variao
no nmero de fibras e no nmero de comprimentos de onda disponveis em cada enlace, bem
como nos demais cenrios onde o nmero de comprimentos de onda foi variado (32 e 40
comprimentos de onda).

O valor da probabilidade de bloqueio de conexo tambm pode ser alterada de acordo com a
distribuio uniforme ou no do comprimento dos enlaces. Quanto mais uniforme for essa
distribuio, menor ser a probabilidade de bloqueio de conexo. Concluso obtida de acordo
com os resultados apresentados pela simulao nas topologias Mesh, NSFNET e EON.

Logo, atravs dos resultados obtidos pelas simulaes pode-se garantir a eficincia do
algoritmo proposto nos cenrios simulados. O desempenho verificado atravs da mtrica de
probabilidade de bloqueio de conexo, desempenho este prximo do timo e demonstrado
atravs das simulaes.

Para continuidade deste trabalho sugere-se um estudo de avaliao dos protocolos de
roteamento, pois este interfere diretamente no bom desempenho das heursticas de atribuio
de comprimento de onda. Existe tambm a necessidade de avaliar os diferentes tipos de
trfego de dados uma vez que h possibilidade de cada heurstica de atribuio de
comprimento de onda apresentar um melhor desempenho de acordo com o tipo de trfego, ou
mesmo propor alteraes nestas heursticas com base nas caractersticas de trfego.

222
REFERNCIAS BIBLIOGRFICAS

ABOUL-MAGD, O., et. al., A Framework for Generalized Multiprotocol Label
Switching (GMPLS), Internet Draft, draft-many-ccamp-gmpls-framework-00.txt, Maro
2001, data de expirao Dezembro 2001.

______, A Transport Network View to LMP, Internet Draft, draft-aboulmagd-ccamp-
transport-lmp-00.txt, Agosto 2002, data de expirao Fevereiro 2003.

AGILENT Technologies, MPLS and GMPLS: The Key to Network Manageability,
Operational Efficiency, and Revenue Generation, 2002.

AKHTAR, S., SOOD, A. K., Performance Evaluation of CSMA/CD Networks Using
Markovian Approach, Proceedings International Global Communications Conference,
GLOBECOM 88, November 1988.

ANSART, J. P., Issues and Tools for Protocol Specification, The advanced Course on
Distributed Systems Methods and Tools for Specification, Springer-Verlag, pp 481-538,
1985.

ASSI, C., SHAMI, A., ALI, M. A., Optical Networking and Real-Time Provisioning: An
Integrated Vision for the Next-Generation Internet, IEEE Network, Agosto, 2001.

BABICH, F., DEOTTO, L., Formal Methods for Specification and Analysis of
Communication Protocols, IEEE Communications Surveys. Disponvel em:
www.comsoc.org/pubs/surveys.

BANERJEE, A., et. al., Generalized Multiprotocol Switching: an Overview of Routing
and Management Enhancements, IEEE Communications Magazine, Janeiro 2001.

______, et. al., Generalized Multiprotocol Label Switching: An Overview of Signaling
Enhancements and Recovery Techniques, IEEE Communications Magazine, Julho 2001.

223
BARRY, R. A., SUBRAMANIAN, S., The Max-sum Wavelength Assignment Algorithm
for WDM Ring Networks, OFC97, 1997.

______, HUMBLET, P. A., Models of Blocking Probability in all-Optical Networks with
and without Wavelength Changers, IEEE J. Select. Areas Commun, vol 14, pp 858-867,
Junho, 1996.

BERGER, L., Generalized Multiprotocol Label Switching (GMPLS) Signaling
Functional Description, RFC3471, Janeiro 2003.

______, Generalized Multiprotocol Label Switching (GMPLS) Signaling Resource
Reservation Protocol Traffic Engineering (RSVP-TE) Extensions, RFC3473, Janeiro
2003.

BLUMER, T. P., SIDHU, D. P., Mechanical Verification and Automatic Implementation
of Communication Protocols, IEEE Trans. On Software Engineering SE-12(8):827-843,
Agosto 1986.

BRADFORD, R., PAPADIMITRIOU, D., TAPPAN, D., Link Management Protocol
Extensions for Link Discovery Using Loss of Light, Internet Draft, draft-rbradfor-ccamp-
lmp-lol-01.txt, Outubro 2002, data de expirao Abril 2003.

BRAND, D., ZAFIROPULO, P., On Communicating Finite-State Machines, Journal of the
Association for Computing Machinery, vol. 30, no. 2, Abril 1983, pp. 323-342.

CHAUDHURI, S., HJALMTYSSON, G., YATES, J., Control of Lightpaths in an Optical
Network, Internet Draft, draft-chaudhuri-ip-olxc-control-00.txt, Fevereiro, 2000.

CHLAMTAC, I., GANZ, A., KARMI, G., Purely Optical Networks for Terabit
Communication, IEEE INFOCOM89, pginas 887-896, 1989.

CHOI, J., et. al., Framework for GMPLS Label Encoding, Internet Draft, draft-choi-gmpls-
label-framework-00.txt, Outubro 2002, data de expirao Abril 2003.

224
CHOI, T. Y., MILLER, R. E., A Decomposition Method for the Analysis and Design of
Finite State Protocols, Proceedings Data Communication Symposium, pp 167-176, ACM
SIGCOMM, 1983.

______, MILLER, R. E., Protocol Analysis and Synthesis by Structured Partitions,
Elsevier Science Publishers, 1986.

CHOW, C., GOUDA, M. G., LAM, S. S., A Discipline for Constructing Multiphase
Communication Protocols, ACM Transm. On Computer Systems 3(4):315-343, Novembro,
1985.

CHU, X., LI, B., CHLAMTAC, I., Wavelength Converter Placement Under Different
RWA Algorithms in Wavelength-Routed All-Optical Networks, IEEE Transactions on
Communications, vol 51, no4, Abril, 2003.

COMELLAS, J., et. al., Integrated IP/WDM Routing in GMPLS-Based Optical
Networks, IEEE Network , Maro / Abril 2003.

CONTE, G., et. al., A Traffic Engineering Solution for GMPLS Networks: A Hybrid
Aprroach Based on Off-line and On-line Routing Methods, Ericsson Lab Italy and Coritel,
2003.

CUNHA, D. V., Anlise Lgica do Protocolo LMP em um ambiente GMPLS, XXI
Simpsio Brasileiro de Telecomunicaes, Belm Par Brasil, Setembro, 2004.

CUNHA, D. V., Generalized MPLS An Overview, ConTel2003, 7th International
conference on Telecommunications, Crocia, Junho, 2003.

CUNHA, D. V., Proposta e Avaliao de desempenho de uma Poltica de Mapeamento de
Rtulos Orientado a Controle com Caractersticas Soft-State em uma Rede Label
Switching, dissertao de mestrado, Universidade Federal de Uberlndia, Maio, 2001.

DATA CONNECTION, Portable LMP. Disponvel em: www.dataconnection.com/lmp.

225
DEO, G., PRINZ, R., Generalized Multiprotocol Label Switching (GMPLS)
Multilayer, Seminar on Topics in Communications Engineering, Institute for
Communications Engineering, Institute for Communication Networks, Munich University of
Technology, Maio 2003.

EVERDINGEN, M. V., BERNSTEIN, G., Link Management Protocol Update, Internet
Draft, draft-everdingen-ccamp-lmp-update-00.txt, Junho 2002, data de expirao Dezembro
2002.

GALLAHER, R., Introduction to Multi-Protocol Lambda Switching (MP S) and
Generalized Multiprotocol Label Switching (GMPLS), Converge Network Digest, Maro
2002.

GIRARD, A., Routing and Dimensioning in Circuit Switched Networks, Addison-Wesley,
1990.

GOUDA, M. G., CHANG, C. K., A Technique for Proving Liveness of Communicating
Finite State Machines With Examples, ACM 0-89791-143-1/84/008/0038, 1984, pp/ 38
49.

______, HAN, J. Y., Protocol Validation by Fair Progress State Exploration, Elsevier
Science Publishers, 1985.

______, KUO, C. K., CHANG, C. K., Proving Liveness for networks of communicating
Finite State Machines, ACM Transactions on Programming Languages and Systems, Vol. 8,
No. 1, January 1986, pp. 154-182.

______, YU, Y. T., Protocol Validation by Maximal Progress State Exploration, IEEE
Transactions on Communications, Vol Com 32, No 1, January 1984.

______, YU, Y. T., Synthesis of Communicating Finite-Sate Machines with Guaranteed
Progress, IEEE Transactions on Communications, Vol Com 32, No 7, July 1984.

226
HARAI, H., MURATA, M., MIYAHARA, H., Performance of Alternate Routing Methods
in All Optical Switching Networks, IEEE INFOCOM97, vol 2, pginas 516-524, 1997.

HOLZMANN, G. J., An Improved Protocol Reachability Analysis Technique, Software,
Practice and Experience, Vol 18, No 2, pp. 137 161, 1988.

______, Automatic Protocol Validation in Argos: Assertion Proving and Scatter
Searching, IEEE Trans. On Software Engineering, SE-13(6):683-696, Junho 1987.

______, On Limits and Possibilities of Automated Protocol Analysis, Invited paper to 7th
IFIP WG6.1 International Conference on Protocols Specification, Testing, and Verification,
Zurich, Switzerland, 1987, pp. 137-161.

______, Tracing Protocol, AT&T Technical Journal, 64(10):2413-2433, Dezembro 1985.

HUANG, C. M., HUANG, D. T., A Backward Protocol Verification Method, IEEE
TENCON93, pp 515 518, 1993.

IEC, International Engineering Consortium, Generalized Multiprotocol Label Switching
(GMPLS). Disponvel em: www.iec.org.

IETF, Internet Engineering Task Force, www.ietf.org.

IOVANNA, P., SABELLA, R., STTEMBRE, M., A Traffic Engineering System for
Multilayer Networks Based on the GMPLS Paradigm, IEEE Network, Maro /Abril 2003.

ITOH, M., ICHIKAWA, H., Protocol Verification Algorithm Using Reduced Reachability
Analysis, The Trans on the IECE of Japan E66(2):88-93, Fevereiro, 1983.

JERRAN, N., FARREL, A., MPLS in Optical Networks, Data Connection Limited, Verso
2, 2001.

JUE, J. P., XIAO, G., An Adaptative Lightpath Establishment Scheme for Wavelength-
routed Optical Networks, IEEE ICCCN, 2000.

227
KAKUDA, Y., WAKAHARA, Y., NORIGOE, M., A New Algorithm for Fast Protocol
Validation, Proceedings COMPSAC, pp 228-236, IEEE, 1986.

KAO, L.C., TSAI, Z., Performance analysis of A Generic GMPLS Switching
Architecture with Flush Capability, IEEE ICC 2002, New York City, Abril 2002.

KARASAN, E., AYANOGLU, E., Effects of Wavelength Routing and Selection
Algorithms on Wavelength Conversion Gain in WDM Optical Networks, IEEE/ACM
Transactions on Networks, vol. 6, no. 2, Abril, 1998.

KIM, C. H., YANG, C. W., JEON, H., LEE, J. Y., Improved GMPLS Lightpath Setup in
Wavelength-Routed Optical Networks, Joint Conference on Communications and
Information, 2003.

KOMPELLA, K., REKHTER, Y., IS-IS Extensions in Support of Generalized MPLS,
Internet Draft, draft-ietf-isis-gmpls-extensions-14.txt, Agosto 2002, data de expirao
Fevereiro 2003.

______, REKHTER, Y., OSPF Extensions in Support of Generalized MPLS, Internet
Draft, draft-ietf-ccamp-ospf-gmpls-extensions-08.txt, Agosto 2002, data de expirao
Fevereiro 2003.

______, REKHTER, Y., Routing Extensions in Support of Generalized MPLS, Internet
Draft, draft-ietf-ccamp-gmpls-routing-05.txt, Agosto 2002, data de expirao Fevereiro 2003.

KRIEGER, U. R., CLOSTERMANN, B. M., SCZITTNICK, M., Modeling and Analysis of
Communication Systems Based on Computational Methods for Markov Chains, IEEE
Journal on Selected Areas in Communications, vol 8, no. 9, December 1990.

LAM, S. S., SHANKER, A. U., Protocol Verification via Projections, IEEE Trans. On
Software Engineering SE-10(4):325-342, Julho, 1984.

LANDOLSI, T., XUE, Y., GMPLS and its Potential Applications: A Reality Check,
WorldCom, Maro 2002.

228
LANG, J., Link Management Protocol (LMP), RFC4204, draft-ietf-ccamp-lmp-10.txt,
Outubtro 2005.

LI, G., YATES, J., WANG, D., KALMANEK, C., Control Plane Design for Reliable
Optical Networks, AT&T Labs Research, 2002.

LI, L., SOMANI, A. K., Dynamic Wavelength Routing using Congestion and
Neighborhood Information, IEEE/ACM Transactions on Networking, 1999.

LIN, F. J., CHU, P. M., LIU, M. T., Protocol Verification Using Reachability Analysis:
The State Space Explosion Problem and Relief Strategies, ACM 0-89791-245-
4/88/0001/0126, 1998.

LUNDY, G. M., AKYILDIZ, I. F., Specification and analysis of the FDDI MAC Protocol
Using Systems of Communicating Machines, 1992.

______, MILLER, R. E., Analyzing a CSMA/CD Protocol Through a Systems of
Communicating Machines Specification, IEEE Transactions on Communications, Vol 41,
No 3, March 1993.

______, MILLER, R. E., Specification and analysis of a Data Transfer Protocol Using
Systems of Communicating Machines, Distributed Computing, Vol 5, p 145-157, 1991.

MAIER, G., PATTAVINA, A., BARBATO, L., CECINI, F., MARTINELLI, M., Routing
Algorithms in WDM Networks under Mixed Static and Dynamic Lambda-Traffic,
Photonic Network Communications, vol. 8, no. 1, pp. 69-87, Julho, 2004.

MANDAL, S., SAHA, D., BERA, S., RAY, S., MAHANTI, A., An Efficient Technique for
Dynamic Lightpath Establishment in Survivable Local/Metro WDM Optical Networks,
Proc. 5
th
International Workshops on Distributed Computing, pp. 350-360, Calcutta,
Dezembro, 2003.

MANNIE, E., et. al., Generalized Multiprotocol Label Switching (GMPLS) Architecture,
Internet Draft, RFC3945, Outubro, 2004.

229
MIYAMURA, T., KURIMOTO, T., AOKI, M., MISAWA, A., An Inter-area SRLG-
disjoint Routing Algorithm for Multi-segment Protection in GMPLS Networks,
International Conference on Communication and Broadband Networking, Japo, Abril, 2004.

MOURA, J. A. B., et. al., Redes Locais de Computadores Protocolos de Alto Nvel e
Avaliao de Desempenho, So Paulo, McGraw-Hill, 1986, 454 pginas.

MPLS FORUM. Disponvel em: www.mplsforum.org.

MPLSRC, MPLS Resource Center. Disponvel em: www.mplsrc.com.

NAGANO, S., et. al., Timed Reachability Analysis Method for EFSM-based
Communication Protocols and its Experimental Evaluation, IEEE 1996.

NAM, Network Animator, http://www.isi.edu/nsnam/nam/

NEGULESCU, R., BRZOZOWSKI, J. A., Relative Liveness: From Intuition to
Automated Verification, 2nd Working Conference on Asynchronous Design Methodologies,
England, May 1995.

NS, Network Simulator, http://www.isi.edu/nsnam/ns/

OKI, E., MATSUURA, N., SHIOMOTO, K., YAMANAKA, N., Bidirectional Path Setup
Scheme Using on Upstream Label Set in Optical GMPLS Networks, IEICE Trans.
Communication, vol. E87-B, no. 6, Junho 2004.

OTCL Toolkit, http://www.isi.edu/nsnam/otcl/

OWNS, Optical WDM Network Simulator, http://dawn.cs.umbc.edu/software/owns.html

OZDEMIR, K., URAL, H., Deadlock Detection in CFSM Models via Simultaneously
Executable Sets, International Conference on Computing and Information, 1994.

230
PAPADIMITRIOU, D., et. al., Analysis for GMPLS-based Recovery Mechanisms, Internet
Draft, draft-design-team-gmpls-recovery-analysis-00.txt, Fevereiro 2002, data de expirao
Agosto 2002.

______, ROUSSEAU, B., Demystifying GMPLS A Technical Perspective, Technology
White Paper, Alcatel, 2003.

______, POPPE, F., JONES, J., VENKATACHALAM, S., Shared Risk Link Groups
Inference and Processing, Internet Draft, draft-papadimitriou-ccamp-srlg-processing-02.txt,
Junho 2003, data de expirao Dezembro, 2003.

PARK, J. C., MILLER, R. E., A Proof Technique for Liveness Properties of Multifunction
Composite Protocols, 6th IEEE International Conference on Network Protocols, Austin
Texas, October 1998.

PENG, W., Deadlock Detection in Communicating Finite State Machines by Even
Reachability Analysis, Mobile Networks and Applications 2, pp 251-257, 1997.

POLARIS NETWORKS, GMPLS Resorce Center. Disponvel em:
www.polarisnetworks.com/gmpls.

RAMAMURTHY, S., MUKHERJEE, B., Fixed Alternate Routing and Wavelength
Conversion in Wavelength-routed Optical Networks, IEEE GLOBECOM98, vol 4,
pginas 2295-2302, 1998.

RAMASWAMI, R., SIVARAJAN, K. S., Routing and Wavelength Assignment in All-
Optical Networks, IEEE/ACM Transactions on Networks, vol. 3, no. 5, Outubro, 1995.

ROUSKAS, G. N., Routing and Wavelength Assignment in Optical WDM Networks,
Wiley Encyclopedia of Telecommunications, John Wiley and Sons, 2001.

ROUSSEAU, B., PAPADIMITRIOU, D., Generalized Multiprotocol Label Switching,
Strategy White Paper, Alcatel, 2003.

231
RUBIN, J., WEST, C. H., An Improved Protocol Validation Technique, Computer
Networks, 6:65-73, 1982.

SABNANI, K., An Algorithmic Technique for Protocol Verification, IEEE Transactions
on Communications, Vol 36, No 8, August 1988.

SAHA, D., Coverging Optical and IP: Can GMPLS Take Control?, Communication
Systems Design, Fevereiro 2002.

SCHOOT, H., URAL, H., On Improving Reachability Analysis for Verifying Progress of
Networks of CFSMs, 18th International Conference on Distributed Computing Systems,
Amsterdam, May 1998.

SEBOS, P., YATES, J., RUENSTEIN, D., GRENNBERG, A., Effectiveness of Shared Risk
Link cGroup Auto-Discovery in Optical Networks, Optical Fiber Communication
Conference (OFC2002), Anaheim, CA, 2002.

SHAMI, A., ASSI, C., HABIB, I., ALI, M. A., Performance Evaluation of Two GMPLS-
Based Distributed Control and Management Protocols for Dynamic Provisioning in
Future IP Networks, Proc. Of IEEE, International Conference on Communications, Abril,
2002.

STRAND, J., CHIU, A. L., TKACH, R., Issues for Routing in the Optical Layer, IEEE
Communications Magazine, Fevereiro, 2001.

SUBRAMANIAM, S., BARRY, R. A., Wavelength Assignment in Fixed Routing WDM
Networks, IEEE ICC97, pginas 406-410, 1997.

TACHIBANA, T., KASAHARA, S., Performance Analysis of Dynamic Lightpath
Configuration for WDM Tandem Networks, 10
th
Internacional Conference on
Telecommunication Systems: Modelling and Analysis, pp. 679-688, Califrnia EUA,
Outubro, 2002.

232
UM, T. W., et. al., Signaling and Control Procedures Using Generalized MPLS Protocol
for IP over an Optical Network, ETRI Journal, Volume 24, Number 2, Abril 2002.

VASSEUR, J.P., Protection / Restoration in GMPLS Networks, Cisco Systems, Abril
2001.

VIGOUREUX, M., et. al., GMPLS Architectural Considerations for (Hybrid) Photonic
Networks, Internet Draft, draft-vigoureux-ccamp-gmpls-architecture-hpn-00.txt, Junho 2002,
data de expirao Dezembro 2002.

VUONG, S. T., COWAN, D. D., A Decomposition Method for the Validation of
Structured Protocols, Proceedings INFOCOM, pp 209-220, IEEE, 1982.

______, HUI, D. D., COWAN, D. D., Valira A Tool for Protocol Validation Via
Reachability Analysis, Protocol specification, Testing, and Verification, VI, North-Holland,
pp 35-41, 1987.

WEST, C. H., Applications and Limitations of Automated Protocol Validation, Protocol
Specification, Testing, and Verification, II, North-Holland, 1982, pp 361-371.

______, Protocol Validation by Random State Exploration, Protocol Specification,
Testing, and Verification, VI, North-Holland, pp 233-242, 1987.

WHITE ROCK NETWORKS, GMPLS: A New Way of Optical Networking. Disponvel
em: www.whiterocknetworks.com. ltimo acesso: Janeiro, 2002.

WIDJAJA, I., ELWALID, A.,. Study of GMPLS Lightpath Setup over Lambda-Router
Networks, IEEE International Conference on Communications, 2002.

YEH, W. J., YOUNG, M., Compositional Reachability Analysis Using Process Algebra,
Symposium on Testing, Analysis, 1991.

233
YEN, Y., Finding the lengths of all shortest paths in N-node nonnegative-distance
complete networks using (N^3)/2 additions and N^3 comparisons, Journal of the ACM,
19(3):423-424, Julho, 1972.

YUANG, M. C., Survey of Protocol Verification Techniques Based on Finite State
Machine Models, CH2547-8/88/0000/0164, IEEE, 1988.

ZANG, H., JUE, J. P., MUKHERJEE, B., A Review of Routing and Wavelength
Assignment Approaches for Wavelength-Routed Optical WDM Networks, Optical
Networks Magazine, vol. 1, no. 1, pp 47-60, Janeiro, 2000.

ZANG, H., JUE, J. P., SAHASRABUDDHE, L., RAMAMURTHY, R., MUKHERJEE, B.,
Dynamic Lightpath Establishment in Wavelength-Routed WDM Networks, IEEE
Communications Magazine, Setembro, 2001.

ZHANG, X., QIAO, C, Wavelength Assignment for dynamic Traffic in Multi-fiber WDM
Networks, IEEE ICCCN, pginas 479-485, 1998.

ZHAO, J. R., BOCHMANN, G. V., Reduced Reachability Analysis of Communication
Protocols: A New Approach, Protocol Specification, Testing, and verification, VI, North-
Holland, pp 243-254, 1987.

ZHU, Y., ROUSKAS, G. N., PERROS, H. G., A comparison of allocation policies in
Wavelength Routing Networks, Photonic Networks Communication Journal, vol. 2, no. 3,
pp 265-293, Agosto, 2000.

Super Tela

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Super Tela

Enviado por

Direitos autorais:

Formatos disponíveis

DANIELA VIEIRA CUNHA

ANLISE LGICA DE PROTOCOLOS, PROPOSTA E AVALIAO

, o qual especifica as requisies de conexo entre as

Você também pode gostar