Modelagem e Análise Do Protocolo IEEE 802.11

MODELAGEM E ANLISE DO PROTOCOLO IEEE 802.
11
UFRJ
Dissertao submetida para a obteno do ttulo de
Mestre em Cincias em Engenharia de Sistemas e Computao

ao Programa de Ps-Graduao de Engenharia de Sistemas e Computao da COPPE/UFRJ por
Isabela Barreto Duncan

Junho 2006
MODELAGEM E ANLISE DO PROTOCOLO IEEE 802.11 Isabela Barreto Duncan
DISSERTAO SUBMETIDA AO CORPO DOCENTE DA COORDENAO DOS PROGRAMAS DE PS-GRADUAO DE ENGENHARIA DA
UNIVERSIDADE FEDERAL DO RIO DE JANEIRO COMO PARTE DOS REQUISITOS NECESSRIOS PARA A OBTENO DO GRAU DE MESTRE EM CINCIAS EM ENGENHARIA DE SISTEMAS E COMPUTAO.
Aprovada por:
Prof.a Rosa Maria Meri Leo, Dr.
Prof. Edmundo Albuquerque de Souza e Silva, Ph.D.
Prof. Aloysio de Castro Pinto Pedroza, Dr.
Prof.a Morganna Carmem Diniz, D.Sc.
RIO DE JANEIRO, RJ - BRASIL JUNHO DE 2006
DUNCAN, ISABELA BARRETO Modelagem e Anlise do Protocolo IEEE 802.11 [Rio de Janeiro] 2006 XIV, 112 p. 2006) Dissertao - Universidade Federal do Rio de Janeiro, COPPE 1. IEEE 802.11 2. Wireless LANs 3. Wi-Fi 4. Camada MAC 5. BER 6. Tangram-II 7. Trfego Web I. COPPE/UFRJ II. Ttulo (Srie) 29,7 cm (COPPE/UFRJ, M.Sc., Engenharia de Sistemas e Computao,
ii
Agradecimentos
Fazem parte da minha vida, pessoas fundamentais, sem as quais eu nada seria. Agradeo a Deus pela minha felicidade, minha sade, meus amigos e, especialmente, pela minha famlia. Agradeo aos meus pais Roberto e Cely pelo carinho, pela dedicao e abdicao que sempre tiveram para que eu pudesse ter as melhores oportunidades e que crescesse feliz. Agradeo a minha irm Tatiana pela conana e apoio incondicional, sempre estando ao meu lado. Atravs de vocs eu provei e comprovei a magia da vida. Agradeo professora Rosa pela grande ajuda na realizao deste trabalho. E juntamente a ela, agradeo ao professor Edmundo pela dedicao e pacincia no ensino da cincia e, principalmente, pelo lado humano que esteve presente em todos os momentos, dentro e fora de sala de aula. Agradeo a Carol, minha amiga e conselheira. Obrigada por tudo. Voc me ensinou a crescer. Agradeo aos meu colegas do LAND: Fernando, Watanabe, Flvio, Guto, GD, Diana, Bernardo, Sadoc, Fabiane, Allyson, Ana, Ed, Carolzinha e Davi. No posso esquecer da minha sobrinha Lara, que ainda nem nasceu e j tornou minha vida muito mais colorida e divertida.
iii
Resumo da Dissertao apresentada COPPE/UFRJ como parte dos requisitos necessrios para a obteno do grau de Mestre em Cincias (M.Sc.) MODELAGEM E ANLISE DO PROTOCOLO IEEE 802.11 Isabela Barreto Duncan Junho/2006 Orientadora: Rosa Maria Meri Leo Programa: Engenharia de Sistemas e Computao
A utilizao de redes sem o vem crescendo exponencialmente nos ltimos anos. As WLANs IEEE 802.11, ou redes Wi-Fi, como so chamadas atualmente, podem ser encontradas tanto em empresas e universidades como em aeroportos e lanchonetes. Isto se deve, em especial, reduo nos custos destes equipamentos bem como grande facilidade operacional que oferecem. Para se conhecer e prever as necessidades futuras que este crescimento acarretar, importante entender todos os mecanismos deste protocolo de acesso e tambm o seu comportamento, de acordo com o trfego da rede. Este trabalho prope um modelo detalhado do protocolo IEEE 802.11, implementado atravs da ferramenta Tangram-II. Destaca-se, como principal caracterstica desta ferramenta, a modularidade, permitindo que alteraes sejam facilmente realizadas. O modelo construdo foi validado atravs da comparao de resultados da simulao com resultados obtidos atravs de uma rede real, e tem , como propsito, estudar o desempenho do mecanismo 802.11, na presena de trfego web. Medidas como throughput, goodput, tempo de resposta e perdas no buer do ponto de acesso foram avaliadas conjuntamente com o crescimento da populao web. Estudamos tambm o desempenho do 802.11 quando os terminais transmitem com taxas diferentes, objetivando avaliar uma anomalia detectada em trabalhos anteriores.
iv
Abstract of Dissertation presented to COPPE/UFRJ as a partial fulllment of the requirements for the degree of Master of Science (M.Sc.) MODELING AND ANALYSIS OF IEEE 802.11 PROTOCOL Isabela Barreto Duncan June/2006 Advisor: Rosa Maria Meri Leo Department: Systems Engineering and Computer Science
In the last years, there was an exponential growth in the number of wireless networks. The IEEE 802.11 wireless local area networks, or Wi-Fi networks, have become immensely popular in residences, enterprises, universities as well as airports and restaurants. This is specially due to the reduction of the prices of these equipments and operational facilities they oer. It is necessary to understand all the mechanisms of this protocol and its behavior under dierent types of network trac to know and to preview future needs. This work proposes a model for the IEEE 802.11 mechanism based on TangramII modelling tool. Its modularity provides an easy way to make changes and improvements in the model. It is suitable for analyzing the throughput, goodput, delay and losses at access point's buer. Comparisons with results obtained from a real network is provided, validating the model. We study the performance of the IEEE802.11 as the number of web users increases. Furthermore, we consider a scenario where wireless terminals can transmit with dierent rates the trac generated by web users to evaluate an anomaly detected in previous work.
Sumrio
Resumo Abstract 1 Introduo
1.1 1.2 1.3 802.11 Wireless LANs . . . . . . . . . . . . . . . . . . . . . . . . . .
iv v 1
4 5 7
Motivao e Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . Roteiro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Os mecanismos de acesso ao meio do Protocolo 802.11

2.1 2.2 2.3 2.4 2.5 2.6 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9
9
Arquitetura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Funo de Coordenao X Arquitetura . . . . . . . . . . . . . . . . . 13 O Mecanismo de Carrier-Sense . . . . . . . . . . . . . . . . . . . . . . 14 Espaos entre Frames . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Funo de Coordenao Distribuda do Protocolo 802.11 . . . . . . . 16 2.6.1 O Esquema de Backo Exponencial . . . . . . . . . . . . . . . 16
vi
2.6.2 2.6.3 2.6.4 2.6.5 2.7 2.8
O Mecanismo Bsico de Acesso ao Meio . . . . . . . . . . . . 18 O Mecanisco de Acesso ao Meio com RTS/CTS . . . . . . . . 20 Mecanismo Bsico X RTS/CTS . . . . . . . . . . . . . . . . . 21 Fragmentao de MPDUs e Descarte de Pacotes . . . . . . . . 21
Tipos e Formatos de Frames . . . . . . . . . . . . . . . . . . . . . . . 23 Trabalhos Relacionados . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3 A ferramenta de modelagem Tangram-II

3.1 3.2 3.3 3.4 3.5
31
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 A Modelagem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 A Simulao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 Modelos com Recompensas . . . . . . . . . . . . . . . . . . . . . . . . 35 O Gerador de Trfego 3.5.1 . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Medidas do Gerador de Trfego . . . . . . . . . . . . . . . . . 38
4 O modelo do protocolo 802.11

4.1
40
Descrio do modelo com Mecanismo Bsico de Acesso . . . . . . . . 41 4.1.1 4.1.2 4.1.3 4.1.4 4.1.5 4.1.6 Objeto Source . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 Objeto Wireless Terminal . . . . . . . . . . . . . . . . . . . . 43 Objeto Channel . . . . . . . . . . . . . . . . . . . . . . . . . . 50 Objeto Access Point . . . . . . . . . . . . . . . . . . . . . . . 51 Replicao de Objetos . . . . . . . . . . . . . . . . . . . . . . 51 Os Valores dos Parmetros do Modelo . . . . . . . . . . . . . 52 vii
4.2
A Modelagem de Erros no Canal 4.2.1 4.2.2 4.2.3 4.2.4
. . . . . . . . . . . . . . . . . . . . 53
O Modelo de Gilbert-Elliot . . . . . . . . . . . . . . . . . . . . 53 O Modelo de Ebert e Willig . . . . . . . . . . . . . . . . . . . 55 Implementao e Parametrizao do Modelo de Ebert e Willig 57
Descarte de Pacotes Errneos . . . . . . . . . . . . . . . . . . 58
4.3 4.4 4.5
Simulaes e Medidas de Interesse do Modelo do Protocolo IEEE 802.11 58 Testes em Ambiente Real . . . . . . . . . . . . . . . . . . . . . . . . . 63 Concluses sobre os Resultados da Simulao do Modelo e do Ambiente Real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.6
Anomalia na Performance do 802.11 . . . . . . . . . . . . . . . . . . . 70
5 Modelagem de Usurio WEB como Fonte de Dados do Modelo 802.11

5.1
75
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 5.1.1 A Modelagem do Usurio Web . . . . . . . . . . . . . . . . . . 77
5.2 5.3
Distribuies Cauda Longa e a Simulao . . . . . . . . . . . . . . . . 82 Medidas de Interesse Obtidas na Simulao . . . . . . . . . . . . . . . 83 5.3.1 5.3.2 5.3.3 Trfego CBR X Trfego Web . . . . . . . . . . . . . . . . . . 84
Nmero de Usurios X Taxa de Transmisso . . . . . . . . . . 88 Diferentes Taxas de Transmisso no mesmo BSS . . . . . . . . 91
6 Concluso
6.1
95
Trabalhos Futuros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
viii
A Parmetros Ajustveis do Modelo de Simulao
99
A.1 Objeto CBR_Source_1 . . . . . . . . . . . . . . . . . . . . . . . . . 99 A.2 Objeto W ireless_Station_1 . . . . . . . . . . . . . . . . . . . . . . 100 A.3 Objeto Channel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 A.4 Objeto AP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
Referncias Bibliogrcas
107
ix
Lista de Figuras
1.1 1.2 2.1 2.2 2.3 2.4 2.5 2.6 3.1 3.2 3.3 3.4 4.1 4.2 4.3 Problema do Terminal Escondido. . . . . . . . . . . . . . . . . . . . . Problema de Enfraquecimento do Sinal. . . . . . . . . . . . . . . . . . Modelo Bsico de Referncia do IEEE 802.11 . . . . . . . . . . . . . . 2 4 9
Esquema de uma rede ad-hoc. . . . . . . . . . . . . . . . . . . . . . . 13 Esquema de uma rede com pontos de acesso. . . . . . . . . . . . . . . 13 Exemplo do crescimento exponencial da CW. . . . . . . . . . . . . . . 17 Exemplo do Mecanismo Bsico de Acesso. . . . . . . . . . . . . . . . 19 Exemplo do Mecanismo de Acesso com RTS/CTS. . . . . . . . . . . . 20 A interface do Ambiente de Modelagem do Tangram-II. . . . . . . . . 32 O template de um objeto no Tangram-II. . . . . . . . . . . . . . . . . 34 O Gerador de Trfego . . . . . . . . . . . . . . . . . . . . . . . . . . 37
As medidas do Gerador de Trfego . . . . . . . . . . . . . . . . . . . 38 O modelo bsico de acesso criado com a ferramenta Tangram-II. . . . 42 O modelo de Gilbert-Elliot . . . . . . . . . . . . . . . . . . . . . . . . 54 Modelagem de erros implementada. . . . . . . . . . . . . . . . . . . . 56 x
4.4 4.5 4.6
Grco do Throughput e Goodput com BER no estado BAD de 10e-5 60 Grco da Janela de Conteno com BER no estado BAD de 10e-5 . 61 Grco do Throughput e do Goodput com BER no estado BAD de 2x10e-5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.7 4.8
Grco da Janela de Conteno com BER no estado BAD de 2x10e-5 63 Grco do Throughput e do Goodput com BER no estado BAD de 10e-4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.9
Grco da Janela de Conteno com BER no estado BAD de 10e-4 . 65
4.10 Grco do Throughput e do Goodput com BER no estado BAD de 10e-2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 4.11 Grco da Janela de Conteno com BER no estado BAD de 10e-2 . 68 4.12 Grco da Perda X Probabilidade de Erro no Estado BAD (em escala logartmica) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 4.13 A topologia da rede wireless utilizada nos testes. . . . . . . . . . . . . 70 4.14 A tela de congurao do Gerador de Trfego. . . . . . . . . . . . . . 71 4.15 Grco do Throughput e do Goodput para taxas de transmisso de 11Mbps. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 4.16 Grco do Throughput e do Goodput exemplicando a anomalia na performance. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.17 Grco do Throughput aps correo da janela de conteno mnima do WT1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 5.1 5.2 O modelo ON-OFF de gerao de trfego Web. . . . . . . . . . . . . 78 O modelo do protocolo 802.11 com fonte de trfego WEB. . . . . . . 80
xi
5.3 5.4 5.5
Throughput dos terminais WT1, WT2 e WT3. . . . . . . . . . . . . . 85 Throughput do Ponto de Acesso. . . . . . . . . . . . . . . . . . . . . 86 Tempo de permanncia na la de cada requisio, antes do incio do servio, para cada WT. . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.6 5.7
Tempo de espera pela resposta a uma requisio de um usurio WEB. 88 Maior tempo mdio de espera pelas respostas variando o nmero de usurios web. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
xii
Lista de Tabelas
1.1 2.1 Caractersticas dos padres 802.11 . . . . . . . . . . . . . . . . . . . . Valores de slot de tempo e da janela de conteno mnima e mxima, para trs camadas fsicas especicadas pelo padro 802.11. . . . . . . 18 2.2 2.3 2.4 2.5 2.6 2.7 4.1 4.2 4.3 4.4 Frame da sub-camada fsica PLCP - DSSS . . . . . . . . . . . . . . . 24 Frame da sub-camada fsica PLCP - FHSS . . . . . . . . . . . . . . . 24 Frame de dados da sub-camada MAC . . . . . . . . . . . . . . . . . . 24 Frame ACK da sub-camada MAC . . . . . . . . . . . . . . . . . . . . 24 Frame RTS da sub-camada MAC . . . . . . . . . . . . . . . . . . . . 24 Frame CTS da sub-camada MAC . . . . . . . . . . . . . . . . . . . . 24 Parmetros para o modelo do protocolo 802.11 . . . . . . . . . . . . . 52 Parmetros para o modelo de erro no canal . . . . . . . . . . . . . . . 57 Mdias obtidas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 Mdias obtidas ao nal da simulao com BER no estado BAD de 2X10e-5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 4.5 Mdias obtidas ao nal da simulao com BER no estado BAD de 10e-4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 xiii 5
4.6
Mdias obtidas ao nal da simulao com BER no estado BAD de 10e-2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.7 4.8 4.9
Caractersticas das mquinas utilizadas no ambiente real. . . . . . . . 64 Medidas relativas ao THROUGHPUT do ambiente real. . . . . . . . . 67 Medidas relativas ao GOODPUT do ambiente real. . . . . . . . . . . 67
4.10 Medidas relativas s PERDAS no canal do ambiente real. . . . . . . . 67 5.1 5.2 5.3 5.4 Valores dos parmetros para o modelo do usurio web. . . . . . . . . 78 Valores dos parmetros para gerao dos tamanhos dos objetos. . . . 79 Valores utilizados nos parmetros para atraso dos pacotes na Internet. 79 Valores do throughput, tempo mdio de permanncia na la e tempo mdio de resposta para cada objeto, e tempo de resposta a uma pgina. 87 5.5 5.6 5.7 5.8 5.9 Nmero de Usurios X Taxa de 1Mbps. . . . . . . . . . . . . . . . . . 89 Nmero de Usurios X Taxa de 11Mbps. . . . . . . . . . . . . . . . . 89 Medidas para cenrio com 5 usurios web, com taxas diferentes. . . . 93 Medidas para cenrio com 10 usurios web, com taxas diferentes. Medidas para cenrio com 15 usurios web, com taxas diferentes. . . 93 . . 93
xiv
Captulo 1 Introduo
Na vida cotidiana, a comunicao sem o se torna, a cada dia, mais til e essencial. Seu grande atrativo possibilitar conectividade aos usurios sem que os mesmos estejam sicamente ligados a uma rede.Wireless Local Area Networks (WLANs) so uma alternativa aos altos custos de instalao e manuteno, incluindo adio, remoo e remanejamento de pontos de acesso, das redes com o tradicionais, j que so desenvolvidas para fornecer grandes larguras de banda em uma rea geogrca limitada. Idealmente, usurios de redes sem o necessitaro dos mesmos servios e capacidades que so comumente utilizados em redes tradicionais. No entanto, para alcanar estes objetivos, ser necessrio enfrentar desaos e restries[Crow et al. 1997a, J. Kurose and K. Ross 2003], como:
Alocao de freqncia: O funcionamento de uma rede sem o requer que

todos os usurios operem em uma freqncia comum de banda.
Interferncias: Interferncias em comunicaes sem o podem ser causadas por

transmisses simultneas (colises) de duas ou mais fontes compartilhando a mesma banda de freqncia. Uma coliso tipicamente o resultado de mltiplas estaes aguardando a inatividade do canal para, ento, ao mesmo tempo, transmitirem seus pacotes de informao. Colises tambm so causadas por termimais escondidos (Hidden Terminals)[J. Kurose and K. Ross 2003] (Figura 1
1.1). Neste caso, uma estao, acreditando na inatividade do canal, comea a transmitir seu pacote sem detectar a presena de uma transmisso j em andamento. No exemplo da Figura 1.1, o terminal A se comporta como um terminal escondido para o terminal C e vice-versa. Outro problema que resulta em colises o enfraquecimento do sinal[J. Kurose and K. Ross 2003] que se propaga atravs do meio sem o, devido presena de matria (ex: um sinal passando por uma parede) no trajeto ou mesmo pela distncia entre o emissor e o receptor. Quando dois ou mais terminais esto localizados de modo que suas transmisses no possuem fora suciente para serem detectadas pelos outros terminais (Figura 1.2), uma coliso pode ocorrer. Alm da interferncia das outras estaes, um terminal pode sofrer a interferncia de equipamentos eletrnicos, como por exemplo um telefone sem o operando na freqncia de 2.4GHz prximo Wireless LAN 802.11b. Neste caso, espera-se que nem a rede nem o telefone funcionem corretamente. Equipamentos como motores e microondas podem causar ruidos eletromagnticos, resultando tambm em interferncias no canal.
Conabilidade: A conabilidade do canal normalmente medida atravs da

taxa mdia de erro nos bits (BER - Bit Error Rate). Repetio de requisio de dados (ARQ - Automatic Repeat Request), deteco (CRC - Cyclic
Redundancy Check) e correo de erros (FEC - Forward Error Correction) so

procedimentos utilizados para aumentar a conabilidade do processo.
Figura 1.1: Problema do Terminal Escondido. 2
Propagao Multipath: A propragao multipath ocorre quando pores de

onda eletromagntica reetem em objetos e no cho, tomando caminhos de diferentes comprimentos entre o emissor e o receptor. Isto resulta em imperfeies no sinal recebido. Objetos se movendo entre o emissor e o receptor durante uma transmisso podem causar uma propagao multipath variante no tempo.
Segurana: Em uma rede sem o mais difcil garantir a segurana, uma vez
que o meio de tranmisso aberto a qualquer um que esteja no permetro geogrco do transmissor. Esta segurana feita, normalmente, atravs de criptograa, o que acarretar no aumento de custos e degradao de performance.
Consumo de Energia: Os dispositivos wireless devem ser bastante ecientes em

relao ao consumo de energia, uma vez que nem sempre tero disponibilidade fcil de recarga.
Mobilidade: Devido possibilidade de deslocamento do terminal sem o, o

sistema deve garantir a conectividade conciliando o hando1 entre as fronteiras de transmisso e o roteamento do trfego.
Throughput: A capacidade de uma WLAN deve, idealmente, se aproximar

a de uma rede cabeada. No entanto, isto nem sempre possvel devido s limitaes fsicas e de banda disponveis. Muitos estudos esto em andamento para que seja garantida a qualidade de servios.
1 Hando
o processo que ocorre quando um terminal wireless se move para fora do limite de
sua estao base, entrando no limite de outra e, conseqentemente, mudando a estao base a qual est associado.
1.1 802.11 Wireless LANs
Figura 1.2: Problema de Enfraquecimento do Sinal.
1.1 802.11 Wireless LANs

O IEEE desenvolveu um padro WLAN internacional que identicado como IEEE 802.11. As redes wireless que utilizam este padro so tambm conhecidas como
W i-Fi.
O projeto deste padro foi iniciado em 1990 e seu escopo desenvolver especicaes detalhadas de controle de acesso ao meio (MAC-Medium Access Control) e da camada fsica para conexes wireless dentro de uma LAN. No protocolo 802.11, o mecanismo fundamental de acesso ao meio chamado de Funo de Coordenao Distribuda (DCF - Distributed Coordination Function). Este um esquema de acesso randmico, baseado no protocolo CSMA/CA (Carrier Sense Multiple Ac-
cess/Collision Avoidance). Analisaremos este mecanismo no Captulo 2.

Existem vrios padres 802.11 para redes sem o, incluindo 802.11a, 802.11b e 802.11g. A tabela 1.1 reune as principais caractersticas destes padres. Abaixo, detalhamos algumas caractersticas em comum:
Utilizam a mesma estrutura para a camada de enlace; Possuem a mesma habilidade de reduzir a taxa de transmisso, quando necessrio; Permitem trabalhar no modo ad-hoc e no modo com infra-estrutura, como
veremos no prximo captulo. Como possvel observar na Tabela 1.1, a maior diferena destes trs padres 4
1.2 Motivao e Objetivos

Padro 802.11b 802.11a 802.11g Limites de Freqncia 2.4GHz - 2.485GHZ 5.1GHz - 5.8GHZ 2.4GHz - 2.485GHZ Taxa de Transmisso de Dados at 11Mbps at 54Mbps at 54Mbps
Tabela 1.1: Caractersticas dos padres 802.11 encontra-se na camada fsica.

A crescente utilizao de redes locais sem o em universidades, empresas, reas residenciais e comerciais tem tornado as WLANs do IEEE 802.11, tambm conhecidas como redes Wi-Fi, um componente chave na integrao entre computadores e a Internet. Este sucesso comprovado pelo grande nmero de Hot Spots2 presentes em restaurantes, estaes de trem, aeroportos, cafs, livrarias e outros locais pblicos. Soma-se a isto, o fato de a maioria dos laptops j sairem de fbrica com interfaces
wireless embutidas.
Igualmente ao ocorrido com redes Ethernet[Metcalfe e Boggs 1976] em 1970, o advento das WLANs, no nal dos anos 90, estimulou estudos e pesquisas sobre o protocolo, objetivando identicar e entender seus mecanismos, incluindo anlises de performance do IEEE 802.11 CSMA/CA [Bianchi 2000, Foh e Zukerman 2002, Cali et al. 2000, Crow et al. 1997b, Duchamp e Reynolds 1992, Bing 1999], anlises de capacidade[Wu et al. 2002, Bianchi 2000, Cali et al. 2000] e diferenciao de servios [Aad e Castelluccia 2001, Xiao 2004, Kim et al. 2005]. Vrios trabalhos, utilizando tcnicas analticas e de simulao, vm sendo desenvolvidos nos ltimos anos, na tentativa de compreender mais profundamente
2 Hot
Spots so locais de acesso wireless pblico, onde possvel conectar computadores mveis
Internet utilizando a tecnologia Wi-Fi.

e avaliar o desempenho das redes 802.11. notrio que os mtodos analticos apresentam baixo custo computacional e grande preciso, porm, muitas vezes, requerem que sejam realizadas simplicaes no sistema que se deseja modelar. Os trabalhos [Heusse et al. 2003, Alizadeh e Subramaniam 2004, Dunn et al. 2004, G.Cantieni et al. 2005, Kumar et al. 2005, Medepalli e Tobagi 2005, Bianchi 2000, Miorandi et al. 2006, Medepalli e Tobagi 2006] propem modelos analticos para avaliar o desempenho do protocolo IEEE 802.11. Nestes trabalhos considerado que a rede est saturada ou que o trfego gerado pelos terminais Poisson. Por outro lado, as simulaes permitem que detalhes do sistema sejam estudados e avaliados, obtendo-se resultados muito precisos. Em contrapartida, este detalhamento pode incorrer, em alguns casos, em altos custos computacionais. Diversos trabalhos [Kim e Hou 2004, Choi et al. 2005, Aad e Castelluccia 2001] tm estudado o comportamento do IEEE 802.11 utilizando o modelo construdo para o simulador NS2 [ns2 ]. A motivao para o desenvolvimento de um modelo de simulao baseado em outra ferramenta se deve aos aspectos relacionados abaixo:
No simulador NS2 existe uma grande dependncia entre os mdulos. Com isto,
a adio de um mdulo novo no simples, pois o usurio deve conhecer bem o funcionamento dos demais mdulos. Por exemplo, para simular um trfego na camada de aplicao, necessrio conhecer, em detalhes, os mdulos TCP, MAC 802.11 e camada fsica wireless.
Outro aspecto se deve a alguns erros do modelo do 802.11 que tm sido reportados na literatura. Em [pro ], por exemplo, foram reportados diversos problemas com o modelo desenvolvido para o 802.11 no NS2, como o algoritmo de
backo implementado, que no est de acordo com o denido no padro e o

cabealho do quadro que tambm diferente do denido pela norma. Este trabalho tem como objetivo desenvolver um modelo de simulao, baseado na ferramenta Tangram-II, para analisar o desempenho do protocolo IEEE 802.11, 6
1.3 Roteiro
considerando que os usurios fazem acesso a web. Conforme exposto no pargrafo acima, diversos modelos analticos foram propostos para o mecanismo IEEE 802.11, no entanto, nestes modelos, foram feitas simplicaes a respeito do trfego gerado pelos terminais sem o. Optamos pela simulao para podermos avaliar o mecanismo utilizando um modelo detalhado do comportamento do usurio web. A ferramenta Tangram-II foi escolhida pois baseada no paradigma de orientao a objetos, o que facilita a construo, a depurao e as futuras alteraes do modelo. O modelo foi validado atravs da comparao das medidas de throughput e good-
put, obtidas na simulao, com as mesmas medidas obtidas em uma rede montada
em laboratrio. Inicialmente, consideramos uma rede saturada para ns de validao do modelo. Logo aps, estudamos o comportamento do mecanismo IEEE 802.11 na presena de usurios web. Analisamos o comportamento do throughput, do tempo de resposta e de perdas no ponto de acesso com o crescimento do nmero de usurios web atendidos pela WLAN e com a variao na taxa de transmisso dos terminais. Alm disso, estudamos o problema de no eqidade entre os terminais na presena de trfego web.
1.3 Roteiro
Este trabalho est organizado da seguinte forma:
No Captulo 2 apresentamos a Funo de Coordenao Distribuda (DCF),

que o mecanismo bsico de acesso ao meio do protocolo 802.11 e foco do nosso estudo.
O Captulo 3 dedicado ferramenta de modelagem TANGRAM-II, utilizada

no desenvolvimento dos modelos deste trabalho, e ao TraGen, utilizado para gerar trfego e calcular medidas de interesse em uma rede.
No Captulo 4 descreve-se a construo do modelo da camada MAC do protocolo IEEE 802.11, bem como os testes realizados para comparao de medidas 7
1.3 Roteiro
obtidas com o modelo e com uma rede sem o real montada em laboratrio. So descritos tambm os modelos de erro utilizados na modelagem do canal sem o.
No Captulo 5 detalha-se a construo do modelo que simula o comportamento

de um usurio web. Este modelo ser utilizado como fonte de dados para o modelo da camada MAC do IEEE 802.11. Testes sero realizados e vrias medidas sero coletadas, como throughput, perdas e delay.
No Captulo 6 apresentamos a concluso deste trabalho, bem como os trabalhos

futuros que podero ser desenvolvidos.
Captulo 2 Os mecanismos de acesso ao meio do Protocolo 802.11

Neste captulo discutiremos os mecanimos de acesso ao meio do protocolo 802.11, em especial a Funo de Coordenao Distribuda (DCF), que o servio bsico deste protocolo e objeto deste estudo.
2.1 Introduo
O padro IEEE 802.11 especica a sub-camada de controle de acesso ao meio MAC (Medium Access Protocol) e a camada fsica (PHY)[sta 2003, Bing 1999], que so apresentadas na Figura 2.1.
Sub-camada de Controle de Acesso ao Meio (MAC) Sub-camada de Procedimento de Convergncia da Camada Fsica (PLCP) Camada de Enlace
Camada Fsica
Sub-camada Dependente do Meio Fsico (PMD)
Figura 2.1: Modelo Bsico de Referncia do IEEE 802.11 A camada fsica divida em duas sub-camadas: 9
2.1 Introduo
Sub-camada dependente do meio fsico (PMD): Esta camada lida com as caractersticas do meio sem o e dene os mtodos de transmisso e recepo atravs deste meio;
Sub-camada do procedimento de convergncia do meio fsico (PLCP): Esta

camada especica o mtodo de mapeamento das unidades de dados do protocolo da sub-camada MAC (MPDUs) no formato compatvel com a sub-camada PMD. A sub-camada MAC dene o mecanismo de acesso ao meio. A Funo de Coordenao Distribuda (DCF-Distributed Coordination Function) o mecanismo fundamental de acesso e baseia-se no protocolo CSMA/CA(Carrier Sense Multiple Ac-
cess/Collision Avoidance)1 . A retransmisso de pacotes colididos feita seguindo

as regras de backo exponencial, que sero analisadas mais adiante. O padro IEEE 802.11 tambm dene uma funo opcional, chamada Funo de Coordenao Centralizada (PCF-Point Coordination Function), que, diferentemente da DCF, um esquema MAC centralizado onde um ponto de acesso (AP - Access Point) elege, de acordo com suas regras, um terminal wireless para que este possa transmitir seu pacote [sta 2003, Crow et al. 1997a]. As principais caractersticas[Bianchi 2000, Aad e Castelluccia 2001, Wu et al. 2002, Dong et al. 2003] destas duas funes so:
DCF: um componente obrigatrio em todos os produtos compatveis com o

padro IEEE 802.11 e fornece um servio do tipo best eort. indicado para transmisso de dados que no so sensveis ao retardo da rede, por exemplo, e-mail e ftp. Nesta funo, os terminais executam este algoritmo distribudo e devem competir entre si para obter acesso ao meio a cada transmisso de pacote (Contention Mode). Este processo tenta garantir um acesso justo ao canal para todas as estaes.
1O
protocolo CSMA/CD(Carrier Sense Multiple Access/Collision Detection), ou seja, com de-
teco de coliso, no utilizado porque um terminal sem o no capaz de monitorar o canal para detectar uma coliso ao mesmo tempo em que transmite.
10
2.2 Arquitetura
PCF: um servio opcional e indicado para transmisso de dados com
alta sensibilidade ao retardo da rede e trfego de alta demanda, por exemplo, udio e vdeo em tempo real. Neste caso, o AP, que executa este algoritmo centralizado, possui o controle do canal e repassa esse controle aos terminais sem o no momento devido (Contention-free Mode). Estas duas funes de coordenao podem tambm ser utilizadas em conjunto, no caso de transmisso de pacotes de dados de vrios tipos. A popularidade do IEEE 802.11 no mercado devida, principalmente, ao DCF, uma vez que o PCF, por sua complexidade e inecincia para transmisso de dados sem requisitos de tempo, raramente implementado nos produtos atuais. Alm disso, o PCF pode causar atrasos e duraes imprevisveis de transmisso. Similarmente ao sucesso da rede Ethernet, o protocolo IEEE 802.11 DCF freqentemente utilizado para redes sem o, muito embora sua forma atual no seja eciente para aplicaes multimdia [Xiao 2004]. Uma estao pode ter que esperar um tempo arbitrariamente longo para enviar um pacote, o que para aplicaes em tempo real, como transmisso de voz e vdeo, inaceitvel. Para minimizar este problema, a verso 802.11e do protocolo est sendo desenvolvida. No IEEE 802.11e, melhoramentos na camada MAC esto sendo realizados para melhorar a Qualidade de Servio (QoS), atravs de um CSMA com prioridades e avanadas tcnicas de
polling.
2.2 Arquitetura
O Conjunto Bsico de Servio (BSS-Basic Service Set) a base da arquitetura IEEE 802.11. Um BSS denido como um grupo de terminais sob o comando de uma funo de coordenao (DCF ou PCF). A rea geogrca coberta por este BSS chamada de rea Bsica de Servio (BSA-Basic Service Area). Conceitualmente, todas as estaes em um BSS podem comunicar-se diretamente entre si. No en11
2.2 Arquitetura
tanto, degradaes no meio de transmisso, devido ao enfraquecimento do sinal ou a interferncias de BSSs prximos, podem causar terminais escondidos. Um BSS[Crow et al. 1997a, Aad e Castelluccia 2001, Wu et al. 2002] pode ser:
Uma rede ad-hoc (Figura 2.2).

Uma rede ad-hoc formada por um grupo de terminais wireless, dentro de um BSS, com comunicao direta entre si, sem a existncia de um ponto centralizado de controle (AP). Qualquer terminal pode estabelecer uma sesso de comunicao com outro terminal.
Uma rede com infraestrutura (Figura 2.3).

Redes com infraestrutura tm como objetivo fornecer, aos usurios, servios especcos e tambm possveis extenses de rea de cobertura. Este tipo de rede, no padro IEEE 802.11, construdo utilizando-se um ponto de acesso (AP). Os APs conseguem aumentar a rea de cobertura sendo pontos de conectividade entre vrios BSSs, formando ento um Conjunto de Servio Estendido (ESS-Extended Service Set). O ESS consiste da integrao de mltiplos BSSs utilizando-se um Sistema de Distribuio (DS-Distribution System). O DS pode ser visualizado, ento, como um backbone responsvel pelo transporte de pacotes da sub-camada MAC, chamados de MPDUs(MAC Protocol Data
Units), entre diferentes BSSs. Um DS pode ser uma rede de qualquer tipo,
sem o ou no. Um ESS pode tambm fornecer acesso a uma rede com o, como a Internet, atravs de um servio chamado Portal. O Portal uma entidade lgica que especica o ponto de integrao entre a rede IEEE 802.11 e a rede que no IEEE 802.11, e pode ser considerado uma bridge, que, alm de estender a rea de cobertura, realiza a traduo dos diferentes formatos de
frame, quando necessrio.
12
2.3 Funo de Coordenao X Arquitetura
STA
STA
BSS INDEPENDENTE
STA
Figura 2.2: Esquema de uma rede ad-hoc.
STA
STA
BSS
AP
IEEE 802.X
PORTAL
DS: SISTEMA DE DISTRIBUIAO
BSS AP
STA STA
Figura 2.3: Esquema de uma rede com pontos de acesso.
2.3 Funo de Coordenao X Arquitetura

Todas as estaes em um BSS devem suportar a funo DCF. Em uma rede adhoc, somente a funo DCF aplicvel. J na rede com infraestrutura, possvel utilizar a funo DCF somente ou a funo DCF em conjunto com a funo PCF, dependendo do tipo de servio a ser oferecido. Em uma rede com infraestrutura utilizando o servio DCF, um terminal sem o acessa o meio atravs de sua associao com um AP, que tambm responsvel por sua autenticao. Uma estao sem o est associada a apenas um ponto de acesso mas pode ser autenticada por mais de um AP. Alm disso, o AP se comportar como um terminal sem o comum, ou seja, no possuir nenhum papel centralizador no 13
2.4 O Mecanismo de Carrier-Sense

DCF e dever disputar o acesso ao meio com os demais terminais.
2.4 O Mecanismo de Carrier-Sense

O protocolo IEEE 8021.11 dispe de dois tipos de monitorao de atividade do canal:
carrier-sense[sta 2003] virtual e fsico. A funo do carrier-sense determinar se o

meio de transmisso est ocioso ou no. No mecanismo de carrier-sense fsico, monitora-se sicamente a atividade no canal causada pelos demais terminais. Portanto, este servio deve ser fornecido pela camada fsica (PHY). O mecanismo carrier-sense virtual deve ser realizado pela sub-camada MAC, atualizando-se o valor do Vetor de Alocao de Rede (NAV - Network Allocation
Vector). O NAV mantm uma previso do trfego futuro no canal baseado nas
informaes de durao de transmisso que esto contidas nos frames de dados, RTS e CTS. Os frames RTS e CTS so pacotes de controle, enviados antes da troca efetiva dos dados. A funo destes frames de controle ser discutida nas sees seguintes. O NAV pode ser considerado como um contador, que decresce at zero com uma taxa uniforme. Quando atinge zero, a indicao do carrier-sense virtual que o meio est ocioso. Enquanto isto no acontece, a indicao que h transmisso em curso e que, assim, o meio est ocupado. O meio tambm deve ser considerado ocupado quando a prpria estao estiver transmitindo. Para denir o estado do canal, combina-se, ento, os resultados obtidos pelos mecanismos NAV e de carrier-sense fsico.
14
2.5 Espaos entre Frames
2.5 Espaos entre Frames

A prioridade no acesso ao meio sem o controlada atravs do uso de intervalos de tempo entre frames (IFS-Inter-Frame Space)[Aad e Castelluccia 2001, sta 2003, Wu et al. 2002]. Os intervalos IFS so perodos obrigatrios de tempo nos quais o canal permanece ocioso. Trs IFSs diferentes so denidos, pelo padro 802.11, para fornecer tais nveis de prioridade e seus valores dependem do tipo de camada fsica utilizada. Abaixo esto listados os intervalos IFS, do mais curto (maior prioridade) para o mais longo (menor prioridade):
SIFS - Short Inter-Frame Space: Espao curto entre frames.

Estaes que devem esperar um tempo SIFS possuem prioridade em relao quelas que devem esperar um tempo DIFS ou PIFS antes de transmitir. O SIFS deve ser utilizado antes da transmisso de frames ACK e CTS, por exemplo. O tempo SIFS calculado de tal maneira que a estao transmissora seja capaz de alterar seu modo atual de "transmisso" para "recebimento" e, assim, ser capaz de decodicar o pacote que ir receber em seguida.
PIFS - Point Inter-Frame Space: Espao PCF entre frames.

Deve ser utilizado somente pelas estaes que operam sob a funo PCF para ganhar prioridade de acesso ao meio.
DIFS - Distributed Inter-Frame Space: Espao DCF entre frames.

Deve ser utilizado pelas estaes que operam sob a funo DCF para a transmisso de frames de dados e de gerenciamento. Assim, se um ACK e um pacote de dados esto esperando, simultaneamente, pela ociosidade do canal, o ACK ser transmitido antes do pacote de dados, pois o primeiro espera por um tempo SIFS que menor do que o tempo DIFS esperado pelo segundo. 15
2.6 Funo de Coordenao Distribuda do Protocolo 802.11

Uma estao, antes de transmitir um novo pacote, deve monitorar a atividade do canal atravs do mecanismo de carrier-sense. Se o canal permanecer ocioso por um perodo de tempo igual a DIFS (Distributed Inter-Frame Space), a estao transmite o pacote. Caso contrrio, se o canal estiver ativo, seja no incio da monitorao ou durante a contagem de tempo DIFS, a estao continua monitorando o canal at que o mesmo que ocioso por um tempo igual DIFS. Neste momento, a estao gera um intervalo randmico de backo antes de iniciar a transmisso, tentando, assim, minimizar a probabilidade de coliso com outros pacotes enviados pelas demais estaes. Este intervalo gerado exatamente o recurso Collision Avoidance do protocolo. Alm disso, para evitar que uma estao se apodere do canal, a mesma deve esperar um tempo randmico de backo entre duas transmisses consecutivas de novos pacotes, mesmo que o canal permanea ocioso por um tempo DIFS.
2.6.1 O Esquema de Backo Exponencial

Por razes de ecincia, o DCF utiliza uma escala discreta de tempo de backo. O tempo imediatamente seguinte a um DIFS dividido em slots e uma estao s pode transmitir no incio de cada slot. O tamanho do slot, representado por , deve ser igual ao tempo necessrio para que toda e qualquer estao detecte a transmisso de um pacote por outra estao. Este tempo depender da camada fsica e inuir nos clculos do tempo de permuta entre os estados de recebimento e transmisso e do tempo para sinalizar camada MAC o estado do canal. Sendo assim, uma coliso s poder ocorrer no caso em que dois ou mais terminais escolham o mesmo slot de tempo para iniciar sua transmisso [Grilo e Nunes 2002]. Como mencionamos anteriormente, o DCF adota um esquema de backo exponencial. A cada transmisso de pacote, o tempo de backo escolhido uniformemente 16

no intervalo (0, cw 1), onde cw representa o tamanho da janela de conteno e seu valor depende do nmero i de transmisses falhas do pacote em questo. Na primeira tentativa de transmisso, atribudo a cw, o valor CWmin (Janela de Conteno Mnima). Aps cada tentativa de transmisso falha, cw dobrado (Figura 2.4), at o valor mximo CWmax (Janela de Conteno Mxima). Portanto, a equao do tempo de backo pode ser obtida atravs de:
T empo de Backof f = 2i+j rand()
(2.1)
onde o tamanho do slot e um parmetro da camada fsica (Tabela 2.1), rand() uma funo randmica com distribuio uniforme entre [0,1), i o nmero de tentativas de transmisso de um pacote (i 1) e j um outro parmetro, calculado de acordo com o tipo da camada fsica. Por exemplo, observando a Tabela 2.1, que contm os valores de CWmin se utilizarmos a implementao FHSS da camada fsica, ento j = 3. Se utilizarmos a implementao DSSS, ento j = 4. Os valores atribudos varivel j so contabilizados de modo que, quando i = 1, 2i+j = 21+j =
CWmin .
CWmax 1024
512
256
128 64 CWmin 16 32 Terceira Retransmissao Segunda Retransmissao Primeira Retransmissao Tentativa Inicial
Figura 2.4: Exemplo do crescimento exponencial da CW. Os valores CWmin e CWmax so especcos de cada camada fsica e na Tabela 2.1 17

temos alguns de seus valores. Camada Fsica FHSS DSSS IR Slot de tempo ( ) 50s 20s 8s
CWmin
16 32 64
CWmax
1024 1024 1024
Tabela 2.1: Valores de slot de tempo e da janela de conteno mnima e mxima, para trs camadas fsicas especicadas pelo padro 802.11. O contador do tempo de backo decrementado medida em que o canal permanece ocioso. Se uma transmisso for detectada, este contador paralizado e s retomado quando o canal se torna ocioso novamente por um tempo mnimo igual DIFS. Quando o contador atingir zero, a estao transmite o pacote. Se esta transmisso for bem sucedida, o valor cw reinicializado com o valor CWmin . Caso contrrio, acontecer uma nova tentativa de transmisso deste pacote, tendo cw o dobro do seu valor anterior. importante esclarecer que o mecanismo de backo exponencial minimiza, mas no elimina, a chance de dois ou mais terminais transmitirem ao mesmo tempo, gerando colises no canal. Neste protocolo, existem duas tcnicas de transmisso de pacotes [sta 2003, Bianchi 2000, Crow et al. 1997a, Crow et al. 1997b], as quais sero descritas nas sub-sees abaixo.
2.6.2 O Mecanismo Bsico de Acesso ao Meio

O Mecanismo Bsico de Acesso ao Meio baseia-se na tcnica two-way handshaking (Figura 2.5). Como o protocolo CSMA/CA no conta com a capacidade das estaes transmissoras detectarem uma coliso, pois no conseguem ouvir o canal ao mesmo tempo em que transmitem, quando um pacote transmitido, a estao receptora deve indicar estao transmissora o correto recebimento do pacote atravs do envio 18

de um pacote de conrmao (ACK). Quando o emissor recebe o pacote ACK, ele tem a certeza de que o pacote de dados chegou ao destino corretamente. O frame ACK deve ser transmitido imediatamente aps o recebimento do pacote de dados mais um perodo de tempo chamado SIFS (Short InterFrame Space). Como o SIFS (mais o retardo de propagao) menor que o DIFS, nenhuma outra estao consegue perceber a inatividade do canal durante um tempo total DIFS sem antes detectar a presena de um pacote ACK trafegando no canal. Se a estao transmissora no receber um ACK dentro de um tempo especicado ACK _T imeout (ocorrer um timeout de espera pelo ACK), ou se a estao detectar uma transmisso de um outro pacote no canal que no seja o ACK esperado, a mesma ir reescalonar a transmisso do pacote de acordo com as regras de backo.
DIFS DIFS
Terminal Origem
8765 432 1 Slot de Tempo BT = 8
Dados
4 32 1 BT = 4
Dados tempo (s)
SIFS
SIFS ACK ACK
Terminal Destino
tempo (s)
DIFS
DIFS
DIFS
Outro Terminal
87 BT = 8
Dados ...
Canal ocupado (NAV) 6 5 43 Canal ocupado (NAV) 21
tempo (s)
Incio da tentativa de transmisso de um pacote BT = Tempo de Backoff
Figura 2.5: Exemplo do Mecanismo Bsico de Acesso. importante lembrar que quando um frame de dados transmitido, o campo Durao contido no cabealho deste frame utilizado para informar, a todas as estaes do BSS, quanto tempo o meio car ocupado. Todas as estaes devero, portanto, ajustar as suas variveis NAV.
19
2.6.3 O Mecanisco de Acesso ao Meio com RTS/CTS

O Mecanismo de Acesso com RTS/CTS baseado na tcnica do four-way handshak-
ing (Figura 2.6) e pode ser utilizada, opcionalmente, em uma transmisso de pacote.
Uma estao que deseja transmitir um pacote, espera at que o canal esteja ocioso por um tempo DIFS, seguindo as regras de backo explicadas anteriormente e, ento, ao invs de transmitir o pacote de dados, primeiramente transmite um frame curto especial chamado RTS (Request To Send). Quando a estao receptora recebe um frame RTS, a mesma deve responder, aps um tempo SIFS, com um frame CTS (Clear To Send). A estao transmissora pode, ento, enviar seu pacote de dados, somente se o frame CTS for corretamente recebido.
SIFS SIFS SIFS DIFS
Fonte
RTS
Dados tempo (s)
Destino
CTS
ACK tempo (s)
Outros Terminais
NAV(RTS) NAV(CTS) NAV(Dados)

Acesso ao Meio Pausado
tempo (s)
Inicio do Backoff
Figura 2.6: Exemplo do Mecanismo de Acesso com RTS/CTS. Os frames de dados, RTS e CTS carregam informaes sobre o tamanho do pacote a ser transmitido. Esta informao pode ser lida por qualquer outra estao ouvinte, que est apta, assim, a atualizar seus vetores de alocao de rede (NAV - Network
Allocation Vectors), que contm informaes sobre o perodo de tempo no qual o

canal permanecer ocupado. Portanto, quando uma estao, que est escondida da estao transmissora ou da receptora, detectar um frame CTS ou um frame RTS, respectivamente, ela pode perfeitamente atrasar suas transmisses, evitando colises e utilizao intil do canal. Ou seja, os pacotes RTS/CTS solucionam o problema de colises nos pacotes de dados quando existem terminais escondidos e diminuem 20

a possibilidade de ocorrncia de colises.
2.6.4 Mecanismo Bsico X RTS/CTS

As estaes podem escolher nunca utilizar o RTS/CTS, utilizar o RTS/CTS somente quando o MSDU exceder o valor do RT S _T reshold, que um parmetro congurvel, ou sempre utilizar o RTS/CTS. O mecanismo RTS/CTS eciente, em termos de performance de sistema, quando o protocolo lida com pacotes grandes, pois reduz o tamanho dos frames envolvidos na coliso. Ou seja, utilizando o mecanismo RTS/CTS, as colises ocorrem somente nos frames RTS e no nos pacotes de dados, cujos tamanhos so, normalmente, maiores, e so precocemente detectadas pelas estaes de transmisso devido ao no recebimento do frame CTS. Em contrapartida, a utilizao de frames RTS/CTS nem sempre interessante. Nos casos em que o acesso ao meio no for to intenso ou se o tamanho dos dados a serem transmitidos forem relativamente pequenos em comparao ao tamanho dos
frames de controle, um delay adicional ser imposto devido ao overhead causado por
estes frames de controle. Alm disso, haver desperdcio na utilizao do canal, pois trafegaro informaes que no sero teis.
2.6.5 Fragmentao de MPDUs e Descarte de Pacotes

Grandes frames de dados (MSDUs2 ) a serem transmitidos devem ser fragmentados para aumentar a conabilidade do canal durante suas transmisses. Sabemos que, em um meio sem o, a probabilidade de um pacote ser corrompido proporcional ao seu tamanho e, neste caso, seja este corrompimento causado por coliso ou por problemas de interferncia no canal, quanto menor o pacote, menor overhead ele causar em sua retransmisso.
2 MSDU
a unidade de informao que entregue camada MAC pela camada superior.
21

Para determinar quando realizar a fragmentao [sta 2003, Foh e Zukerman 2002, Crow et al. 1997a], os MPDUs so comparados ao parmetro F ragmentation_
T hreshold. Se o tamanho do MPDU exceder o valor deste parmetro, ento o

MSDU ser dividido em mltiplos fragmentos. Os MPDUs fragmentados possuiro o tamanho do parmetro F ragmentation_T hreshold, com exceo do ltimo MPDU, que possuir tamanho varivel mas sempre menor que o valor deste parmetro. Quando um MSDU fragmentado, todos os fragmentos so transmitidos sequencialmente. A cada transmisso de fragmento, a estao receptora deve enviar um ACK ao emissor, aps esperar por um tempo SIFS, sinalizando o correto recebimento do MPDU. Ao receber este ACK, a estao transmissora espera tambm por um tempo SIFS antes de enviar o prximo fragmento. importante ressaltar que o canal s liberado quando o MSDU completamente e corretamente transmitido e recebido, ou quando a estao transmissora, por algum motivo, no receber o ACK correspondente ao fragmento enviado. Quando um ACK no recebido, a estao transmissora paraliza a transmisso do MSDU e tenta ganhar novamente o acesso de transmisso do canal, atravs da espera do tempo DIFS e de todo o processo de backo. Aps ganhar este acesso, a estao recomea a transmisso a partir do ltimo fragmento no conrmado. A varivel
Retry _Limit responsvel por limitar o nmero de tentativas de retransmisso.

Ao superar este nmero, todo o pacote descartado e o valor da janela de conteno
cw recongurado para CWmin . De fato, esta varivel pode assumir dois valores
distintos, nos seguintes casos:
Short_Retry _Limit: utilizado quando o tamanho do MSDU for menor que

o RT S _T hreshold;
Long _Retry _Limit: utilizado quando o tamanho do MSDU for maior ou

igual ao RT S _T hreshold.
22
2.7 Tipos e Formatos de Frames

O IEEE 802.11 suporta trs tipos diferentes [sta 2003, Crow et al. 1997a] de frames:
Frames de Gerenciamento: Estes tipos de frames so utilizados para associaes, desassociaes e autenticaes de terminais sem o com o AP. O padrao 802.11 requer que o AP envie, periodicamente, pacotes beacons contendo seu endereo MAC e seu SSID(Service Set Identier)3 . As estaes sem o, sabendo que os APs esto enviando tais beacons, examinam os 11 canais disponveis, a procura de quaisquer beacons enviados por APs prximos. Atravs das informaes recebidas e utilizando o protocolo de associao do 802.11, o terminal wireless escolhe um AP para se associar. Para completar este procedimento, o terminal dever tambm autenticar-se com o AP. Se tudo correr sem problemas, o terminal sem o far parte da sub-rede do AP, recebendo um endereo IP apropriado.
Frames de Controle: Estes tipos de frames so utilizados para controlar o

acesso ao meio, atravs de pacotes de conrmao de recebimento (ACK-
Acknowledgment), de pacotes de requisio (RTS-Request to Send) e liberao

(CTS-Clear to Send) de transferncia de dados.
Frames de Dados: Estes tipos de frames so utilizados para a transmisso de

dados no canal. Os frames da camada fsica PLCP[sta 2003, Bing 1999] do protocolo 802.11 dependem do tipo da camada fsica utilizada (isto , DSSS, FHSS, DFIR e etc). Exemplicando, na Tabela 2.2 encontra-se o formato do frame para a DSSS e na Tabela 2.3 encontra-se o formato do frame para a FHSS: J os frames das Tabelas 2.4, 2.5, 2.6 e 2.7 correspondem aos frames da subcamada MAC:
3 SSID
uma informao congurvel no AP e que identica o BSS.
23
Prembulo (18 octetos)
PLCP Header (6 octetos)
MAC Frame (4 a 8191 octetos)
Tabela 2.2: Frame da sub-camada fsica PLCP - DSSS
Prembulo (12 octetos)
PLCP Header (4 octetos)
MAC Frame (1 a 4095 octetos)
Tabela 2.3: Frame da sub-camada fsica PLCP - FHSS
MAC Header (30 octetos)
Frame de Dados (0 a 2312 octetos)
CRC (4 octetos)
Tabela 2.4: Frame de dados da sub-camada MAC
ACK MAC Header (10 octetos)
CRC (4 octetos)
Tabela 2.5: Frame ACK da sub-camada MAC
RTS MAC Header (16 octetos)
CRC (4 octetos)
Tabela 2.6: Frame RTS da sub-camada MAC
CTS MAC Header (10 octetos)
CRC (4 octetos)
Tabela 2.7: Frame CTS da sub-camada MAC
24

Os 32 bits do CRC-Cyclic Redundancy Check so utilizados para a deteco de erros nos pacotes. De acordo com este mtodo, com probabilidade 1 detectase rajadas de erros menores ou iguais a 33 bits. Os demais erros, sob condies apropriadas, so detectados com probabilidade 0,99999999977. O cabealho MAC formado pelos seguintes campos:
Controle do Frame (2 octetos): Este frame formado pelos seguintes campos:
Verso do Protocolo (2 bits): Este campo utilizado para o reconhecimento da verso do protocolo;
Tipo (2 bits): Este campo dene o tipo do frame, ou seja, se um frame

de controle, de gerenciamento ou de dados;
Subtipo (4 bits): Este campo dene o subtipo do frame. Por exemplo, se

o tipo do frame for controle, seu subtipo pode ser CTS, RTS, ACK e etc;
ToDS (1 bit): Este campo possui o valor 1 quando o frame destinado

ao AP, para que este encaminhe o pacote ao Sistema Distribudo(DS), ou seja, para fora do BSS;
FromDS (1bit): Este campo possui o valor 1 quando sua origem o DS; Mais Fragmentos (1bit): Este campo possui valor 1 quando existem mais
fragmentos subseqentes pertencentes a este frame;
Retransmisso (1 bit): Este campo possui valor 1 indicando que esta

uma retransmisso do fragmento anterior. Este campo ser utilizado pelo terminal receptor para detectar duplicidade de transmisses devido a perda de pacotes ACK;
Gerencimento de Energia (1 bit): Este campo indica o modo de gerencimento de energia da estao aps a transmisso do frame corrente;
Mais Dados (1 bit): Este campo utilizado pelo AP para informar que
existem mais pacotes armazenados que sero destinados para a estao receptora; 25
2.7 Tipos e Formatos de Frames WEP (1bit): Este campo indica se os dados do frame foram codicados
de acordo com o algoritmo WEP4 [McFarland e Wong 2003];
Ordem (1 bit): Este campo um campo especial e indica que o frame

est sendo enviado utilizando-se a classe de servio Strictly-Ordered5 .
Durao (2 octetos): Este campo contm o tempo, em micro-segundos, que o

canal deve ser alocado para a transmisso da unidade de dados do protocolo MAC (MPDU), ou seja, contm o campo necessrio para a atualizao do vetor NAV-Network Allocation Vector;
Endereo 1 (6 octetos): Este campo contm o endereo da estao wireless

destino dentro do BSS. Caso o campo ToDS possua o valor 1, ento este campo possuir o endereo do AP;
Endereo 2 (6 octetos): Este campo contm o endereo da estao que transmitiu o pacote. Caso o campo FromDS possua o valor 1, ento este campo possuir o endereo do AP;
Endereo 3 (6 octetos): Caso o campo ToDS possua o valor 1, ento este

campo possuir o endereo do terminal de destino original (fora do BSS). Caso o campo FromDS possua o valor 1, ento este campo possuir o endereo do terminal fonte original (fora do BSS);
Endereo 4 (6 octetos): Este campo usado no caso especial quando FromDS

possuir o valor 1 e o ToDS tambm possuir o valor 1, ou seja, no caso em que um frame est sendo transmitido de um AP para outro. Assim, os campos de origem e destino originais devero ser armazenados;
4O
sistema de segurana original denido no protocolo 802.11 foi chamado de WEP-Wired
Equivalent Privacy. Inmeras falhas foram descobertas neste sistema e, por isso, no mais
considerado seguro. Este sistema garante privacidade mas no integridade dos dados. 5 Esta classe de servio denida para usurios que no aceitam mudanas de ordem entre
frames Multicast e Unicast, ou seja, a ordem de frames Unicast para um determinado endereo
sempre mantida.
26

Controle de Seqncia (2 octetos): Este campo utilizado para representar a
ordem de diferentes fragmentos que pertencem ao mesmo frame e para reconhecimento de pacotes duplicados. Este campo consiste de dois sub-campos. O primeiro o Sequence Number, utilizado para denir o nmero do frame. O segundo o Fragment Number, utilizado para denir o nmero do fragmento do frame. O cabealho RTS formado pelos seguintes campos:
Controle do Frame (2 octetos): Idntico ao do MAC Header; Durao (2 octetos): o tempo, em micro-segundos, necessrio para a transmisso do prximo frame de dados, mais um frame CTS, mais um frame ACK e mais 3 intervalos SIFS;
RA (6 octetos): Este campo contm o endereo da estao que receber o

pacote RTS;
TA (6 octetos): Este campo contm o endereo da estao que est transmitindo o RTS. O cabealho CTS formado pelos seguintes campos:
Controle do Frame (2 octetos): Idntico ao do MAC Header; Durao (2 octetos): o tempo, em micro-segundos, necessrio para a transmisso do prximo frame de dados, mais um frame ACK e mais 2 intervalos SIFS;

pacote CTS. O cabealho ACK formado pelos seguintes campos: 27
2.8 Trabalhos Relacionados

Controle do Frame (2 octetos): Idntico ao do MAC Header; Durao (2 octetos): Este campo s utilizado quando o processo de transmisso envolve fragmentao. Caso contrrio, possuir valor 0.

pacote ACK.

O protocolo IEEE 802.11 tem sido amplamente estudado e avaliado na literatura. A seguir descreveremos diversos trabalhos que esto relacionados com o que foi desenvolvido nesta tese. Primeiramente, descreveremos modelos que foram propostos com o objetivo de avaliar o throughput e o retardo, entre outras medidas de interesse, do mecanismo DCF do IEEE 802.11. Apresentaremos tambm trabalhos que identicaram uma anomalia no comportamento do padro IEEE802.11 e possveis solues para resolv-la. Vrios trabalhos baseados em modelos analticos tm estudado o desempenho do mecanismo DCF do protocolo IEEE802.11. Uma das hipteses, considerada na maioria desses trabalhos, que a rede est saturada. O trabalho de [Bianchi 2000] props o primeiro modelo analtico para o IEEE 802.11, baseado em uma cadeia de Markov. As hipteses consideradas so: rede saturada, canais ideais (no introduzem erros nos pacotes) e possuindo a mesma taxa. Kumar et. al [Kumar et al. 2005] mostraram que a derivao da probabilidade de acesso em [Bianchi 2000] pode ser simplicada, considerando o algoritmo de backo exponencial como um processo de renovao. Tambm foram considerados canais sem erros, como em [Bianchi 2000], no entanto, considera-se a possibilidade de os canais possuirem taxas diferentes. O trabalho de [Alizadeh e Subramaniam 2004] estende a proposta de [Bianchi 2000] e modela o IEEE 802.11 como uma la M/G/1. No trabalho de [Medepalli e Tobagi 2005] so desenvolvidos modelos de las para o protocolo 802.11. Foi mostrado que um 28

modelo M/M/1 simplica a anlise e apresenta resultados semelhantes aos obtidos para a la M/G/1. Medepelli et. al, em [Medepalli e Tobagi 2006], estendem o trabalho anteriormente desenvolvido por eles em [Medepalli e Tobagi 2005], considerando terminais escondidos e uma rede no saturada. Em [Miorandi et al. 2006] foi proposto um modelo analtico para estudar o comportamento do trfego HTTP, sobre uma rede IEEE802.11. Neste trabalho foram consideradas as seguintes hipteses: o canal livre de erros, os buers so dimensionados de forma que no hajam perdas e o comportamento do usurio web representado por uma fonte ON-OFF (com tempo em OFF exponencial e tempo em ON com distribuio arbitrria). Quando a fonte est no estado ON, como se uma conexo TCP curta ocorresse e fosse transferido, durante esta conexo, um arquivo que representa uma pgina web . O estado OFF representa o tempo que o usurio est "pensando" antes de fazer uma nova requisio. As mtricas obtidas so a vazo de uma conexo TCP e o tempo mdio de uma sesso TCP curta (short-lived TCP ow), que representa o tempo de transferncia de uma pgina web. Uma outra classe de trabalhos, que est relacionada com esta tese, diz respeito queles que identicaram uma anomalia que ocorre no protocolo IEEE 802.11, quando utilizado o mecanismo de adaptao da taxa do usurio interferncias e rudos. O primeiro trabalho que identicou este tipo de problema foi o de [Heusse et al. 2003]. Foi usado um modelo analtico e a hiptese assumida de a rede estar saturada. Neste trabalho foi demonstrado que, se existem dois terminais com taxas diferentes, o throughput de saturao de qualquer um dos terminais da rede ser igual ao do terminal com menor taxa. Por exemplo, quando um terminal sem o transmite com uma taxa de 1Mbps e os outros terminais usam uma taxa de 11Mbps, o throughput dos terminais transmitindo a 11Mbps reduzido para valores inferiores a 1Mbps. Cantieni et. al [G.Cantieni et al. 2005] estendem o trabalho de [Heusse et al. 2003] pois consideram que a rede pode no estar saturada. Eles modelam o buer da camada MAC como uma la M/G/1 e consideram, como hiptese, que os canais so livres de erros e, portanto, pacotes so perdidos somente devido a colises. Duas solues so propostas para aumentar o throughput total da rede: 29

o uso de janelas de conteno mnimas diferentes e o uso de pacotes de tamanhos diferentes. O trabalho de [Dunn et al. 2004] prope uma soluo semelhante ao de [G.Cantieni et al. 2005], contudo no baseada em alteraes na camada MAC. Os autores exploram o envio de pacotes IP de tamanhos diferentes. A idia que terminais transmitindo com taxas menores enviem pacotes menores, dado que eles demoram mais tempo para enviar os seus dados. Nosso trabalho difere dos trabalhos acima nos seguintes aspectos:
Consideramos um modelo para representar os erros que podem ocorrer no

canal de comunicao;
Utilizamos um modelo bastante detalhado do comportamento do usurio web; Avaliamos o desempenho do protocolo IEEE 802.11 para cenrios onde existe
trfego web ou CBR disputando o meio de transmisso.
30
Captulo 3 A ferramenta de modelagem Tangram-II

Neste captulo ser apresentada uma breve descrio da ferramenta de modelagem Tangram-II, utilizada no desenvolvimento deste trabalho. Esta ferramenta permite a construo de modelos matemticos de um sistema e possibilita a sua soluo tanto atravs de mtodos analticos quanto atravs de simulaes.
3.1 Introduo
O Tangram-II[Silva e Leo 2000, Carmo et al. 1998] um ambiente para modelagem de sistemas computacionais e de comunicao que oferece uma interface baseada no paradigma de orientao objetos e uma variedade de solvers para a obteno das medidas de interesse. O ambiente tambm inclui mdulos para experimentos em redes de computadores e ferramentas multimdia que auxiliam no processo de modelagem. O projeto deste ambiente iniciou-se em 1994 e vem sendo continuamente desenvolvido. A cada ano novas funcionalidades e melhoramentos so includos. Em 2000, o TANGRAM-II passou a ser distribudo gratuitamente na Internet. 31
3.1 Introduo
A Figura 3.1 exibe a interface do Ambiente de Modelagem. Os cones esquerda, na gura, mostram as opes disponveis aos usurios:
Mdulo de especicao de modelos; Mdulo de gerao do modelo matemtico; Mdulo para soluo analtica de modelos; Mdulo para gerao de medidas de interesse; Mdulo sobre descritores de trfego; Mdulo de simulao.
Figura 3.1: A interface do Ambiente de Modelagem do Tangram-II. Um modelo, nesta ferramenta, representa uma coleo de objetos que interagem entre si, enviando e recebendo mensagens. O estado de cada objeto representado por um conjunto de variveis. Eventos e mensagens, e suas condies e aes associadas, denem o comportamento de um objeto. Eventos so gerados espontaneamente, desde que a condio especicada, quando o objeto foi denido, seja satisfeita. Estas condies so booleanas e so avaliadas utilizando-se o estado corrente do objeto. As mensagens 32
3.2 A Modelagem
so abstraes utilizadas para representar a interao entre os objetos e so entregues em tempo zero. Quando um evento executado ou uma mensagem recebida, um conjunto de aes especicadas pelo usurio so realizadas com uma dada probabilidade. Como resultado de uma ao, o estado do objeto pode mudar e mensagens podem ser entregues para outros objetos do modelo. Para auxiliar na denio do modelo e de novos objetos, utiliza-se a interface grca de domnio pblico TGIF (Tangram
Graphic
Interface
Facility)
[W. Chia-Whei Cheng ]. A verso corrente do Tangram-II possui vrios solvers para anlises de mtricas de performance e disponibilidade em estado estacionrio e transiente. Um simulador robusto tambm faz parte dos mtodos de soluo e suporta simulao de eventos raros e de uidos.
3.2 A Modelagem
Para criar um novo modelo, utilizando o TGIF, o usurio pode incluir diversos tipos de objetos pr-denidos, disponveis na Biblioteca de Objetos, ou pode construir um novo objeto. Todos os objetos so parametrizados e suas instncias so declaradas com parmetros especcos. Novos objetos so denidos e especicados em termos de representao grca e de comportamento, utilizando-se templates. O template (Figura 3.2) exibe as variveis de estado e todos os tipos de parmetros que podem ser denidos pelos usurios. Mostra tambm os campos que devem ser preenchidos, incluindo eventos, mensagens e suas aes e condies associadas. Um novo objeto tambm pode ser includo na Biblioteca de Objetos, para que seja reutilizado posteriormente. Os objetos tambm podem possuir um atributo chamado recompensa, utilizado
33
3.2 A Modelagem
para a obteno de medidas de interesse. Este item ser melhor detalhado posteriormente.
Declaration= name=UNIQUE_NAME
Watches= Initialization= Events=
Messages=
Rewards=
Figura 3.2: O template de um objeto no Tangram-II. Depois da criao dos objetos, necessrio conect-los, utilizando-se portas. Por meio destas portas ser possvel realizar a comunicao entre os objetos, atravs da entrega e recebimento de mensagens. As variveis declaradas no modelo podem ser variveis de estado, constantes ou parmetros. Variveis de estado podem ser do tipo inteiro ou oat, podendo tambm haver vetores de variveis. Constantes podem ser do tipo inteiro, oat, object ou
port. Todas as variveis de estado e constantes devem ser inicializadas antes do

modelo matemtico ser gerado. Parmetros s necessitam ser inicializados antes da soluo analtica (no so utilizados na simulao). Aps a criao do modelo, sua descrio matemtica pode ser gerada. Por exemplo, uma Cadeia de Markov e uma tcnica de soluo podem ser aplicadas para a obteno de medidas de interesse em estado estacionrio ou transiente. possvel tambm obter medidas de interesse atravs da simulao. 34
3.3 A Simulao
3.3 A Simulao
Quando mtodos analticos no podem ser utilizados para resolver o modelo, a simulao o mtodo escolhido. Neste caso, os eventos podem ter uma distribuio pr-denida ou suas ocorrncias podem ser programadas atravs da leitura de arquivos contendo tais tempos. A simulao pode ser realizada no modo batch ou no modo interativo. No modo
batch, o usurio deve especicar parmetros como nmero de rodadas, critrio de

parada (por exemplo: nmero de transies, nmero de eventos ocorridos ou tempo de simulao), opes de recompensa e etc. No modo interativo, o simulador se comunica com a interface grca para que o valor das variveis seja atualizado na tela, a cada passo da simulao. Assim, o usurio pode visualizar a evoluo das variveis de estado a cada execuo do nmero de passos especicado, o que facilita a depurao do modelo.
3.4 Modelos com Recompensas

Durante o desenvolvimento de um modelo, o usurio pode especicar diferentes medidas de interesse, a serem coletadas no decurso da simulao, utilizando-se recompensas. Existem dois tipos de recompensas que podem ser denidas:
Recompensas de Taxa: A recompensa de taxa est associada ao estados do

sistema. Se uma recompensa ri est associada ao estado i, ento o sistema ganha uma recompensa ri a cada unidade de tempo gasta no estado i. Por exemplo, podemos criar uma recompensa para obter a utilizao de uma la. Para isto, basta criar um recompensa que acumule o valor 1 a cada unidade de tempo em que a la estiver com pelo menos 1 pacote, ou seja, quando no estiver vazia. Ao nal da simulao, a utilizao da la ser calculada 35
3.5 O Gerador de Trfego

dividindo-se o valor acumulado da recompensa pelo tempo total de simulao.
Recompensas de Impulso: A recompensa de impulso est associada s transies entre os estados do sistema. Se uma recompensa rij est associada transio do estado i para o estado j , ento o sistema acumula uma recompensa rij cada vez que ocorre uma transio do estado i para o estado j . Por exemplo, pode-se medir o nmero de pacotes servidos em um sistema atravs de uma recompensa de impulso de valor 1 atribuda ao evento de servio de pacotes. Toda vez que este evento ocorrer, o valor da recompensa incrementado, contabilizando, ao nal da simulao, o nmero de pacotes servidos. Uma recompensa de taxa ou de impulso pode ser denida para um objeto particular utilizando o seu atributo Rewards. Deste modo, recompensas so especicadas a partir de variveis de estado ou eventos do objeto associado. Para utilizar variveis de diferentes objetos, deve-se utilizar a instruo de recompensa global. A sintaxe utilizada para denir uma recompensa global a mesma para denir recompensas locais nos objetos. Pode-se concluir, ento, que este recurso genrico o suciente para permitir uma vasta gama de medidas.

O Gerador de Trfego (Figura 3.3) do TANGRAM-II uma ferramenta til para se descobrir as caractersticas de uma rede. Com esta ferramenta possvel estimar medidas como perdas, jitter, one-way delay, tamanho do buer gargalo e etc. Antes de utilizar o Gerador de Trfego, o usurio deve decidir quais medidas de interesse deseja estimar. Na interface da ferramenta, deve-se especicar:
A direo na gerao dos probes1 . Os pacotes podem ser gerados de uma fonte
1 Probes
so objetos, no caso pacotes, utilizados com o propsito de descobrir as caractersticas
36
Figura 3.3: O Gerador de Trfego para um destino (One-Way), entre dois hosts enviando pacotes, ao mesmo tempo, entre si (Two One-Way) e entre dois hosts, onde o receptor "responde" ao emissor no momento de chegada do probe (Round-Trip).
O modelo de gerao de probes. Esta gerao pode ser (i) com taxa constante
de bits (CBR), (ii) modulada por uma cadeia de Markov (Markov-Modulated) contnua com um nmero nito de estados, (iii) baseada em um arquivo de
traces ou (iv) packet-pair, onde o trfego gerado em intervalos constantes,

como o CBR, sendo que dois pacotes, e no apenas um, so enviados.
O tamanho L dos pacotes a serem transmitidos, o tempo total T de gerao

destes pacotes e o nmero de bytes D por frame. Logo, o nmero N de pacotes por frame dado por N = D/L.
O tipo de trfego IP ou ATM.

da rede analisada.
37

O intervalo de gerao de pacotes a serem injetados na rede. Se for utilizado
o campo MIN, ento um pacote ser enviado atrs do outro na taxa do link. Se for utilizado o campo MAX, os pacotes sero transmitidos uniformemente no intervalo entre dois frames.
A utilizao do Receptor Remoto de Trfego. Neste caso, o receptor captura

os pacotes enviados pelo gerador de trfego e cria arquivos de traces, que sero utilizados para calcular estatsticas.
Outros parmetros podem ser especicados e se encontram explanados no

manual da ferramenta[Silva e Leo 2000].
3.5.1 Medidas do Gerador de Trfego

As medidas de Trfego IP so geradas baseadas nos arquivos de traces criados pelo Receptor de Trfego. A interface deste mdulo exibida na gura 3.4. Medidas como nmero de perdas, nmero de sucessos, throughput, jitter, capacidade do canal e etc podem ser estimadas, dependendo do modelo de gerao de trfego adotado.
Figura 3.4: As medidas do Gerador de Trfego As medidas de interesse podem ser exibidas em um editor de texto ou tambm no formato de grcos, utilizando-se o programa Gnuplot[Wiliams e Kelley ], acionado pelo usurio atravs da interface da ferramenta. 38

Neste trabalho, o mdulo Gerador de Trfego foi utilizado nos testes que esto descritos no prximo captulo.
39
Captulo 4 O modelo do protocolo 802.11

Neste captulo apresentaremos o modelo criado, atravs da ferramenta de modelagem TANGRAM-II, para simular o funcionamento do mecanismo de acesso bsico da camada MAC do protocolo 802.11. Assumiremos a inexistncia de terminais escondidos na rede. Os principais objetivos deste captulo so:
Validar o modelo construdo atravs da comparao dos resultados obtidos na

simulao com os resultados obtidos atravs de experimentos realizados em um ambiente real;
Estudar a sensibilidade dos parmetros do modelo utilizados para representar

as perdas no canal, com relao ao desempenho do protocolo;
Estudar uma anomalia que ocorre quando os terminais transmitem com taxas
diferentes em uma rede 802.11. No Apndice A, detalhamos os parmetros utilizados no modelo. Esta seo facilitar a compreenso do cdigo desenvolvido, bem como sua posterior modicao, no intuito de realizar diferentes tipos de teste.
40
4.1 Descrio do modelo com Mecanismo Bsico de Acesso

O modelo desenvolvido simula o funcionamento da camada MAC do protocolo IEEE 802.11 em uma rede infra-estruturada. Os terminais sem o se comunicam com um Ponto de Acesso, utilizando o modo bsico da Funo de Coordenao Distribuda, atravs do meio. Para a construo deste modelo foram criados quatro tipo de objetos:
Source: Objeto responsvel pela gerao de pacotes de dados; Wireless Terminal (WT): Objeto responsvel pelo procedimento da funo
DCF;
Channel: Objeto responsvel pela distribuio das mensagens enviadas pelos

objetos WT e pela gerao de erros no canal;
Access Point (AP): Objeto que simula o funcionamento de um ponto de acesso,

tambm utilizando a funo DCF. Como os objetos criados so todos parametrizados, eles podem ser replicados dentro do modelo, realizando-se as devidas mudanas e alterando-se seus parmetros de inicializao. Na Figura 4.1 pode-se observar que existem trs objetos do tipo
Wireless Terminal, trs objetos do tipo Source, um objeto do tipo Access Point e
um do tipo Channel. Apesar de as simulaes serem feitas para uma rede infra-estruturada, importante ressaltar que o modelo criado genrico o suciente para realizar testes de redes ad-hoc tambm, o que o torna bastante exvel. Para isto, basta apenas congurar, atravs do campo de identicao do destino, no cabealho do pacote, o nmero identicador nico do terminal para o qual se deseja enviar as mensagens.
41
Figura 4.1: O modelo bsico de acesso criado com a ferramenta Tangram-II. Nas sub-sees abaixo, descreveremos a construo de cada objeto do modelo. As constantes sero declaradas com letras maisculas, enquanto as variveis de estado sero declaradas com a primeira letra em maisculo e as demais em minsculo.
4.1.1 Objeto Source

O objeto Source responsvel pela gerao dos pacotes de dados a serem enviados pelo terminal wireless. Propositalmente, estes objetos foram criados separadamente, para que fosse extremamente simples a alterao do tipo de fonte, possibilitando uma grande variedade de testes. Podemos utilizar fontes de dados do tipo on-o, Poisson, CBR e etc. Primeiramente, ser utilizada uma fonte CBR. Este tipo de fonte ser til para os testes que sero demonstrados nas prximas sees. A construo deste objeto muito simples, possuindo apenas o evento nico
P acket_Generation(DET, CBR_RAT E), responsvel pela gerao de pacotes de

dados. A distribuio do evento denida pela palavra DET, que indica uma distribuio determinstica. A taxa com que o evento ocorre denido pelo parmetro 42

CBR_RAT E . A condio deste evento sempre verdadeira, o que resulta na gerao contnua de pacotes com o intervalo determinado. Toda vez que este evento ativado, uma mensagem contendo o tamanho do pacote de dados e o nmero do WT destino (neste caso especco, o AP) enviada para o objeto WT correspondente. O envio desta mensagem realizado atravs da porta SEN D_P KT _P ORT , que interconecta os pares de objetos Source e Wireless Terminal. Abaixo, exibe-se o cdigo deste evento:
event=Packet_Generation (DET,CBR_RATE) condition=(1) /* a condio do evento sempre verdadeira, para que pacotes sejam gerados continuamente */ action= { int lv_vec[2]; lv_vec[1] = MSDU_SIZE; /* tamanho do pacote */ lv_vec[0] = 4; msg(SEND_PKT_PORT,all,lv_vec); /* envio do vetor lv_vec atravs da porta SEND_PKT_PORT */ };
4.1.2 Objeto Wireless Terminal

O objeto Wireless Terminal o mais importante e complexo do modelo. Nele necessrio simular os tempos DIFS, de Backo, de espera pelo ACK, tratar as mensagens recebidas atravs do canal e fragmentar as mensagens que sero enviadas, quando necessrio. Antes de iniciar a explicao dos mecanismos construdos para este objeto, interessante explicar que duas verses foram construdas para simular o funcionamento do Wireless Terminal: 43

Na primeira verso, tentou-se construir um modelo mais prximo possvel da
realidade. Cada pacote era transmitido bit a bit, ou seja, um evento era escalonado para enviar cada bit de um pacote. Inicialmente, esta parecia ser a soluo ideal pois imitava a realidade e simplicava toda a construo dos demais mecanismos do protocolo, como o tempo de espera pelo DIFS e a espera pelo tempo de backo. No entanto, esta soluo, para ns de simulao, extremamente inecaz, devido ao grande nmero de eventos escalonados. Para exemplicar o problema desta implementao, tomemos o mecanismo de espera pelo DIFS. Antes de iniciar o envio de um pacote, o WT deve observar o canal por um tempo DIFS e constatar que o mesmo cou ocioso durante todo este tempo. No entanto, se durante a espera deste tempo for detectada uma transmisso no canal, deve-se aguardar o trmino da transmisso corrente para ento reescalonar um novo evento de espera pelo DIFS. Da maneira como esta primeira verso foi implementada, para cada bit transmitido pelo canal e recebido por cada WT, que esperava a nalizao desta transmisso, o evento atual de espera pelo DIFS era removido da lista de eventos e um novo evento era escalonado. Resumindo, para cada bit transmitido, alm dos eventos escalonados para a transmisso do pacote, ainda haviam eventos relacionados aos DIFS dos WTs que queriam obter a posse do canal. Estes eventos eram escalonados, removidos da lista de eventos e reescalonados tantas vezes quanto o nmero de bits do pacote em transmisso. Como era esperado, logo nos primeiros testes constatou-se que este modelo era invivel pois consumia um tempo de simulao extremamente grande, dado que cada pacote composto por milhares de bits.
Na segunda verso, ao invs dos dados serem transmitidos bit a bit, para cada
pacote, envia-se uma mensagem para o canal no incio e no m de sua transmisso. Este processo reduz drasticamente o nmero de eventos escalonados, minimizando, signicativamente, o tempo de simulao. Para cada pacote, ao invs de haver um evento associado a cada bit, em sua 44

transmisso, associa-se apenas dois eventos no total. Esta mudana gerou modicaes em todo o modelo, tornando-o mais complexo e menos intuitivo para o usurio interessado em observar o cdigo desenvolvido. No entanto, para ns deste trabalho, esta ser a soluo adotada, uma vez que se mostra computacionalmente eciente. Todos os mecanismos descritos nas sees abaixo sero relativos segunda verso. Os eventos declarados no objeto so:
Waiting_DIFS(DET,WAITING_DIFS_RATE)): Evento responsvel por simular a espera por um tempo DIFS no qual o canal permanece ocioso. A condio para que o evento ocorra T rying _T ransmission == 1 e Enable_Ev _W aiting _Dif s == 1. A taxa do evento constante W AIT IN G_DIF S _
RAT E e sua distribuio determinstica. Waiting_Backo(DET,Waiting_Backo_Rate): Evento responsvel por simular a espera pelo tempo de backo. A condio do evento T rying _ T ransmission ==
1 e Enable_Ev _W aiting _Backof f == 1. A taxa do evento W aiting _ Backof f _Rate com distribuio determinstica; Transmission(DET,Pkt_Transmission_Rate): Evento responsvel pela simulao da transmisso de um pacote de dados. A condio do evento T rying _
T ransmission == 1 e Ready _T o_T ransmit == 1. A taxa do evento P kt_T ransmission_Rate com distribuio determinstica; Waiting_Ack(DET,WAITING_ACK_RATE): Evento responsvel pela simulao de espera pelo ACK. Sua condio de execuo T rying _ T ransmission
== 1 e Enable_Ev _W aiting _Ack == 1. A taxa do evento W AIT IN G_ ACK _RAT E com distribuio determinstica. Waiting_SIFS(DET,SIFS_RATE): Evento responsvel pela simulao de espera pelo tempo SIFS. Sua condio de execuo Enable_Ev _W aiting _Sif s 45

== 1. A taxa do evento constante SIF S _RAT E , com distribuio determinstica.
Ack_Transmission(DET,ACK_TRANSMISSION_RATE): Evento responsvel

pela simulao da transmisso de um pacote ACK. Sua condio de execuo Enable_Ev _Ack _T ransmission == 1. A taxa do evento ACK _
T RAN SM ISSION _RAT E com distribuio determinstica.

O evento W aiting _DIF S responsvel por gerar o tempo DIFS que o WT deve esperar antes de iniciar seu tempo de backo. No entanto, se durante a espera deste tempo, o WT detectar alguma transmisso corrente no canal, necessrio paralizar este evento e reescalon-lo quando no houver mais nenhum terminal utilizando o meio. Para resolver esta questo, cada WT armazena, em sua varivel N _T X , o nmero de transmisses correntes no canal. Se houver pelo menos uma transmisso,
N _T X > 0. Apenas quando N _T X assumir novamente o valor zero, o evento

de espera pelo DIFS reescalonado. Conclui-se, ento, que, se N _T X > 1, ento ocorreu uma coliso. Este mtodo soluciona o problema encontrado na primeira verso construda para este modelo. Abaixo, encontra-se parte do cdigo responsvel pela retirada do evento de espera pelo DIFS da lista de eventos e de seu reescalonamento.
msg_rec = MSG_WT_CH_PORT action = { ... if (n_tx>0) enable_ev_waiting_difs = 0; else if (n_tx==0) enable_ev_waiting_difs=1; ... }
O modo de construo do evento de espera pelo tempo de backo difere-se um pouco do evento de espera pelo DIFS, uma vez que necessrio pensar no tempo 46

de backo como um contador que vai decrescendo a cada slot de tempo passado. Se durante a espera pelo tempo de backo o WT detectar a presena de transmisso no canal, o contador paralizado. Ao nal desta transmisso, e aps uma nova espera de tempo DIFS, o contador retomado do ponto de onde parou. O evento
W aiting _Backof f utilizado para implementar este mecanismo e sua taxa atualizada sempre que uma transmisso for detectada durante a contagem do tempo de backo. A varivel local lv _last_backof f _simul_time armazena o tempo de simulao na hora em que a mensagem de incio de transmisso for recebida. Neste momento, desabilita-se o evento corrente e escalona-se um novo evento, atualizandose a taxa W aiting _Backof f _Rate para computar o tempo de backo restante. Abaixo, exibe-se o cdigo que realiza este procedimento.
msg_rec = MSG_WT_CH_PORT action = { ... if (enable_ev_waiting_backoff == 1) { lv_last_backoff_simul_time = get_simul_time(); enable_ev_waiting_backoff = 0; backoff_time_resume = 1; lv_time = (lv_last_backoff_simul_time - initial_backoff_simul_time); waiting_backoff_rate = 1.0/((1.0/waiting_backoff_rate) - lv_time); } ... }
Algumas observaes:
A funo get_simul_time(), disponvel no Tangram-II, utilizada para obter

o tempo atual de simulao.
47

Toda varivel iniciada por "lv" utilizada apenas localmente no programa, ou
seja, no funciona como varivel de estado.
A varivel de estado Initial_Backof f _Simul_T ime armazena o tempo inicial, ou de retomada, da contagem de backo.
A varivel lv _time calcula a diferena entre o tempo inicial (ou de retomada)

e o tempo de simulao atual, a m de calcular quanto tempo de backo ainda deve ser contabilizado. Ao receber uma mensagem do objeto Source, o WT ir armazen-la na la
P kts_T o_Send_Queue. Esta uma la do tipo Double Ended Queue e no caso
especco do modelo do tipo inteiro. Este tipo de la foi o mecanismo escolhido para gerenciar os pacotes que devem ser enviados, pois os comandos disponveis
save_at_head, save_at_tail, restore_f rom_head e restore_f rom_tail so bem

prticos para manipular os dados. Quando um pacote chega da fonte, o comando
save_at_tail utilizado e quando o WT ganha o acesso do canal, e pode enviar o

pacote, utiliza-se o comando restore_f rom_head. O objeto Wireless Terminal tambm responsvel pela fragmentao dos pacotes. Uma vez que um pacote de dados recebido atravs da porta RCV _P KT _
P ORT , o WT verca se ser necessrio fragmentar ou no o pacote. Para isto, o WT

compara o tamanho do pacote de dados com o valor da constante M AX _DAT A_
SIZE . Se o tamanho do pacote de dados for maior, ento o pacote dever ser fragmentado antes de ser enviado. Abaixo, encontra-se o cdigo responsvel por este mecanismo:
msg_rec = RCV_PKT_PORT action = { ... lv_elem[0] = lv_msg[0]; /* WT Destino */ lv_elem[2] = pkt_num; /* Pkt ID */
48

lv_num_frag = lv_msg[1]/MAX_DATA_SIZE; lv_last_frag_size = lv_msg[1]%MAX_DATA_SIZE; if (lv_last_frag_size>0) lv_num_frag++; for(lv_i=lv_num_frag;lv_i>=1;lv_i--) { lv_elem[3] = lv_i; /* No. do Fragmento */ lv_elem[1] = MAX_DATA_SIZE + MAC_HEADER + PHY_HEADER; /* Tamanho do fragmento composto pelos dados mais o header das camadas MAC e fsica */ if ((lv_last_frag_size>0)&&(lv_i==1)) { lv_elem[1] = lv_last_frag_size + MAC_HEADER + PHY_HEADER; } save_at_tail(pkts_to_send_queue,lv_elem); } ... };
Algumas observaes:
A varivel P kts_T o_Send_Queue possui tamanho 4. Na posio 0, armazenado o W T _N U M do WT destino. Na posio 1, armazena-se o tamanho do pacote aps a fragmentao. Na posio 2, armazena-se o ID do pacote que est sendo enviado e na posio 4, armazena-se o nmero de seqncia do fragmento.
Ao receber um pacote de dados, o algoritmo do Wireless Terminal adiciona o

cabealho e o CRC da camada MAC (M AC _HEADER) e o prembulo e o cabealho da camada fsica (P HY _HEADER), resultando no pacote MPDU que deve ser enviado.
lv _elem um vetor temporrio, de tamanho 4, que armazena os valores que

49

sero inseridos na la P kts_T o_Send_Queue atravs do comando save_at_tail.
4.1.3 Objeto Channel

O objeto Channel simula um canal onde podem ocorrer erros devido a perdas ou enfraquecimento do sinal. Quando um terminal wireless envia uma mensagem, esta sempre encaminhada somente para o objeto Channel. Este objeto ca, ento, responsvel por reencaminhar a mensagem recebida para os demais terminais sem o. A seo 4.2 ser dedicada a estudar dois modelos de erros bastante utilizados, em especial o modelo de Ebert-Willig, adotado para o objeto Channel. Para esta modelagem de erros, foi necessrio criar apenas dois tipos de eventos:
Evento Good_Bad(EXP, RAT E _GOOD_BAD): Este evento responsvel

pela transio do estado do canal de GOOD para BAD, onde a distribuio do mesmo exponencial com taxa RAT E _GOOD_BAD.
Evento Bad_Good(EXP, RAT E _BAD_GOOD): Este evento responsvel

pela transio do estado do canal de BAD para GOOD, onde a distribuio do mesmo exponencial com taxa RAT E _BAD_GOOD. Dependendo do estado do canal, existe uma dada probabilidade de erro no bit (BER). Esta probabilidade de erro denida atravs do vetor ERROR_P ROB de duas posies. Na primeira posio dene-se o BER para o estado GOOD e no segundo dene-se o BER para o estado BAD. Neste modelo, estamos assumindo, inicialmente, BER no estado GOOD com valor 1010 e BER no estado BAD com valor 105 , de acordo com [Crow et al. 1997b, Crow et al. 1997a, Liu e Wu 2000, Veeraraghavan et al. 2001].
50
4.1.4 Objeto Access Point

O objeto Access Point se comporta basicamente como um terminal wireless comum: disputa o canal, recebe e envia pacotes e ACKs, aguarda por tempos DIFS e de backo. Sua construo idntica a dos objetos Wireless Terminal, para a primeira etapa de testes. No entanto, quando formos simular a utilizao do canal por usurios web, o AP ter muitas outras funes. Estas funes extras sero descritas posteriormente no Captulo 5.
4.1.5 Replicao de Objetos

No modelo apresentado, esto presentes trs terminais wireless. Caso seja necessrio incluir mais objetos deste tipo, basta replic-los dentro do TGIF. As nicas mudanas necessrias sero:
No objeto Wireless Terminal, alterar dois parmetros presentes na inicializao: - W T _N U M : responsvel por identicar unicamente o terminal wireless dentro do modelo. Isto signica que cada WT deve possuir um W T _N U M diferente. - RCV _P KT _P ORT : este parmetro congura a porta por onde sero recebidos os pacotes enviados pelo objeto Source ao WT, a m de que sejam armazenados na la P kts_T o_Send_Queue.
Na inicializao do objeto Access_P oint tambm necessrio congurar a

varivel W T _N U M , para que o AP possua uma identicao nica no modelo.
51
4.1.6 Os Valores dos Parmetros do Modelo

Os parmetros utilizados no modelo seguem os valores especicados para a camada fsica DSSS, encontrados em [Bing 1999, Crow et al. 1997b, Wu et al. 2002, Crow et al. 1997a, Medepalli et al. 2005, Dong et al. 2003]. Este tipo de camada fsica a utilizada pela verso b do protocolo 802.11 e cujos valores dos parmetros (vide Tabela 4.1) sero assumidos no modelo construdo. DSSS (Direct Sequence Spread Spectrum) CW_Min CW_Max MAC Header + CRC PHY Prembulo + Header ACK RTS CTS Taxa de Transmisso Slot de Tempo SIFS DIFS ACK Timeout CTS Timeout Short Retry Limit Long Retry Limit 32 1024 34 bytes 24 bytes 38 bytes 44 bytes 38 bytes 1Mbps 20 s 10 s 50 s 314 s 314 s 5 7
Tabela 4.1: Parmetros para o modelo do protocolo 802.11
52
4.2 A Modelagem de Erros no Canal

Conforme mencionado no Captulo 1, a prpria natureza do canal wireless impe diversas diculdades para a correta transmisso de dados. Durante o trajeto entre o terminal origem e terminal destino, o sinal emitido pode sofrer degradaes (perda de fora do sinal, propagao multi-path, interferncias de outras redes ou equipamentos), gerando erros nos dados. Para que o modelo do protocolo 802.11 seja o mais el possvel realidade, nesta seo ser demonstrado como foi realizada a modelagem de erros no canal. importante ressaltar que para a simulao de protocolos de comunicao, a modelagem do canal de extrema importncia. Em particular, canais de rdio-freqncia so bastante propcios a erros e, sendo assim, o comportamento do protocolo depende fortemente do comportamento do canal. Freqentemente, implementa-se a modelagem de erros [Ebert e Willig 1999] no canal de duas formas: a nvel de bit (modelo de Gilbert-Elliot) e a nvel de pacote (modelo de Ebert e Willig). A priori, a simulao destes erros a nvel de bit pode parecer mais razovel e precisa. No entanto, este tipo de modelo degrada rapidamente a performance do sistema, uma vez que o processamento para cada bit requer, ao menos, um evento durante a simulao. J a simulao a nvel de pacotes, requer poucos eventos de simulao por pacote. Em [Ebert e Willig 1999], os autores demonstram exatamente o ganho na utilizao da simulao a nvel de pacotes, atravs da drstica reduo do tempo de simulao, sem que haja perda de acurcia.
4.2.1 O Modelo de Gilbert-Elliot

O modelo de Gilbert-Elliot simples e amplamente utilizado para a modelagem de caractersticas de erro em um canal. Este modelo constitudo de uma cadeia de Markov discreta com dois estados: GOOD e BAD (Figura 4.2). O estado GOOD 53

representa o canal em boas condies de transmisso e o estado BAD representa o canal em condies propcias gerao de erros nos dados. Sendo assim, uma taxa de erro no bit (BER) deve ser associada a cada estado do modelo: eG para o estado GOOD e eB para o estado BAD (eG << eB ). Normalmente, a taxa de erro do bit depende da freqncia, do esquema de codicao utilizado e das condies ambientais (ex: obstculos entre receptor e emissor).
PGB
1-PGB
Good
Bad
1-PBG
PBG
Figura 4.2: O modelo de Gilbert-Elliot Na Figura 4.2, os parmetros PGB e PBG representam a probabilidade de transio do estado GOOD para o BAD e do BAD para o GOOD, respectivamente. Dado um estado inicial, uma maneira simples de implementar este modelo de erros : (i) realizar um experimento aleatrio para determinar se o bit errneo ou no, levando-se em considerao o estado atual do canal, e (ii) realizar um outro experimento aleatrio para determinar se haver mudana de estado do modelo (de GOOD para BAD ou vice-versa). Com o procedimento descrito acima, ca claro que a desvantagem desta implementao ter, para cada bit, a execuo de dois experimentos de Bernoulli: um para determinar se o bit errneo ou no e outro para vericar se haver transio entre os estados do canal. Isto representa um prejuzo enorme para o modelo de simulao de pacotes, uma vez que um pacote pode conter milhares de bits. O modelo de Gilbet-Elliot comumente utilizado para modelar ambientes indoor e constitui um caso particular do modelo FSMC (Finite-State Markov-Channel) 54

[Wang e Moayeri 1995, Bai e Atiquzzaman 2003], que , basicamente, uma cadeia de Markov de n estados e que pode ser utilizado tambm para modelar ambientes
outdoor.
4.2.2 O Modelo de Ebert e Willig

O modelo de Ebert e Willig tenta minimizar o overhead na simulao, reduzindo o nmero de experimentos de Bernoulli executados por pacote. Duas modicaes ao modelo de Gilbert-Elliot so propostas:
Ao invs de realizar um experimento de Bernoulli, a cada bit, para atualizao do estado do canal, pode-se denir o nmero de bits at que haja uma transio de estados. Seja, ento, X uma varivel aleatria que representa o nmero de bits transmitidos at que ocorra uma uma transio de estados com probabilidade p. Logo, conclui-se que X segue uma distribuio geomtrica, com:
P [X = i] = (1 p)i p, para i = 0, 1, 2... E[X] = (1 p)/p

O resultado desta modicao implica na reduo do nmero de eventos, uma vez que se calcula o prximo estado do canal a cada n bits, ao invs de realizar uma experincia de Bernoulli a cada bit.
Muitas vezes mais interessante saber se um pacote possui erros ou no, do

que dispor desta informao bit a bit. Sendo assim, ao invs de se calcular um experimento de Bernoulli a cada bit, pode-se calcular a probabilidade de haver zero erros em um pacote ou de pelo menos um erro. Isto se aplica a muitos protocolos de comunicao que utilizam somente reconhecimento de erros a nvel de pacote, como, por exemplo, o mtodo CRC. Portanto, dada a probabilidade y de erro em um bit no estado atual e seja n o nmero de bits de um pacote, ento: 55
4.2 A Modelagem de Erros no Canal Pok = (1 y)n Perr = 1 Pok = 1 (1 y)n , onde Pok a probabilidade de no haver
erros no pacote e Perr a probabilidade de haver pelo menos um erro no pacote. evidente que podem haver transies de estado enquanto o pacote est sendo transmitido. Para solucionar este problema, deve-se calcular a probabilidade de erro da frao do pacote no estado atual, e repetir este processo para as demais fraes do pacote. Os resultados parciais devem ser, ento, combinados para determinar a probabilidade de erro no pacote como um todo. A Figura 4.3 exemplica esta situao. Para cada perodo Ti (i = 1, 2, 3, 4), computa-se a probabilidade de haver erro nos ni bits que passaram em cada um deles, levando-se em conta a probabilidade de erro do bit no estado corrente (BAD ou GOOD). Ao nal do envio do pacote, se pelo menos um dos perodos acusar bit errneo, o pacote descartado.
Mensagem inicial de envio do pacote Bad->Good Good->Bad Good->Bad Mensagem final de envio do pacote
T1
T2
T3
T4
Figura 4.3: Modelagem de erros implementada.
Os dois procedimentos descritos acima reduzem a complexidade, o custo computacional e o tempo de simulao. Por isso, o modelo de Ebert e Willig foi o escolhido para ser implementado na modelagem de erros do canal.
56
4.2.3 Implementao e Parametrizao do Modelo de Ebert e Willig

Na implementao do modelo proposto do 802.11, ser utilizada uma cadeia de Markov contnua para modelar os erros do canal. Sendo assim, os perodos de permanncia nos estados possuiro distribuio exponencial. Dada a mdia de tempo de permanncia no estado GOOD (E[P ermGOOD ]) e no estado BAD (E[P ermBAD ]), obtem-se facilmente as taxas de transio do estado GOOD para BAD (Equao 4.1) e do BAD para o GOOD (Equao 4.2):
GB =
1 E[P ermGOOD ] 1 E[P ermBAD ]
(4.1)
BG =
(4.2)
A parametrizao desta cadeia de Markov se basear nos valores utilizados em [Crow et al. 1997b, Crow et al. 1997a, Liu e Wu 2000, Veeraraghavan et al. 2001, Ci et al. 2001, Ebert e Willig 1999] e que esto expostos na Tabela 4.2. importante ressaltar que estes valores foram escolhidos de forma a se equivalerem ao ambiente real de testes que ser utilizado para validar o modelo (vide seo Simulao em Ambiente Real). Sendo assim, sero considerados:
GB BG eG eB
30 10
1010 105
Tabela 4.2: Parmetros para o modelo de erro no canal
Ambiente indoor com os terminais a menos de 30 metros uns dos outros; As estaes no trabalham no modo PS (Power-Saving);
57
4.3 Simulaes e Medidas de Interesse do Modelo do Protocolo IEEE 802.11

A taxa bsica utilizada de 1Mbps; A camada fsica utilizada a DSSS;
4.2.4 Descarte de Pacotes Errneos

Como mencionado no Captulo 2, o protocolo 802.11 utiliza um CRC de 32 bits. No modelo proposto, ser considerado como pacote invlido aqueles que contenham ao menos 1 bit errneo.

Como mencionado no incio deste captulo, iremos obter alguns resultados do modelo de simulao com o objetivo de valid-lo e tambm de avaliar o desempenho do protocolo, quando os parmetros do modelo de perda variam. Realizamos simulaes de 20s a m de obter as medidas que esto denidas abaixo. Este tempo foi escolhido uma vez que as medidas de interesse convergem rapidamente, como poder ser conrmado atravs dos grcos gerados. As medidas de interesse geradas so:
Throughput: Dene-se throughput como o nmero total de bits enviados pelo

WT por tempo total de simulao.
Goodput: Dene-se goodput como o nmero total de bits enviados, e conrmados devidamente por um ACK, por tempo total de simulao. Logo, a medida do goodput deve ser sempre menor ou igual medida do throughput.
Janela de Conteno (CW): Com esta medida, possvel acompanhar o desenvolvimento da janela de conteno CW. 58

Perda no canal: Esta medida quantica as perdas no canal, tanto por colises
quanto por enfraquecimento e interrupes no sinal. De fato, esta medida calculada da seguinte forma:
P erda no Canal = 1
Goodput T hroughput
(4.3)
O ambiente de simulao composto por trs terminais wireless, com taxas de transmisso de 1Mbps, enviando trfego CBR para o AP, conforme Figura 4.1. Nesta simulao, assumimos que os WTs sempre possuem pacotes a serem enviados, ou seja, suas las P kts_to_Send_Queue nunca esto vazias. O canal simula o modelo de erro de Ebert-Willig. Para exemplicar, abaixo exibe-se os grcos de throughput e goodput (Figura 4.4) e da janela de conteno (Figura 4.5), do WT1, WT2 e WT3, assumindo-se as seguintes suposies:
Tempo de simulao de 20s; Taxa de transmisso de 1Mbps para todos os terminais wireless e o AP; eB = 105 , eG = 1010 , GB = 30 e BG = 10 como parmetros utilizados no
modelo de erros do objeto Channel;
Tamanho do pacote de dados de 1000 bytes. Durante a simulao, as constantes MAC_HEADER e PHY_HEADER sero acrescidas ao tamanho do pacote, conforme explicado anteriormente.
Todos os pacotes de dados so destinados ao AP, que ca, ento, responsvel

pelo envio dos ACKs. Na Tabela 4.3, exibe-se os valores mdios para o throughput, goodput e perdas no canal. interessante observar que os grcos do throughput e do goodput no diferem muito, pois so poucas as perdas geradas pelo canal. Isto justica tambm a pouca variao da janela de conteno, que raramente atinge o valor de 128. Ou seja, 59

600000 WT1.throughput WT2.throughput WT3.throughput WT1.goodput WT2.goodput WT3.goodput
500000
400000
Throughput 300000 e Goodput (bits/s) 200000
100000
0 0 5 10 15 20 Tempo (s)
Figura 4.4: Grco do Throughput e Goodput com BER no estado BAD de 10e-5 Throughput WT1 WT2 WT3 317.036 bits/s 310.828 bits/s 320.997 bits/s Goodput 297.984 bits/s 293.884 bits/s 300.327 bits/s Perdas 0,0601 0,0545 0,0643
Tabela 4.3: Mdias obtidas. quanto menor forem as perdas no canal, maior ser o goodput e menor ser o valor alcanado pela janela de conteno, dado que sero necessrias poucas retransmisses. Alm disso, importante observar tambm que a soma dos throughputs de cada WT igual a capacidade do canal, no caso de nossa simulao, 1Mbps. Os objetos
Source esto gerando dados de modo que as las P kts_T o_Send_Queue dos WTs
nunca quem vazias, obtendo-se, portanto, o throughput de saturao exibido nos grcos. Alguns outros testes foram realizados variando-se o valor dos BERs. Abaixo, exibe-se os grcos do throughput, do goodput e da janela de conteno para os valores de eB = 2 105 (Figuras 4.6 e 4.7, e Tabela 4.4) , de eB = 104 (Figuras 4.8 60

140 WT1.contention_window WT2.contention_window WT3.contention_window
120
100
Janela 80 de Contenao 60
40
20
0 0 5 10 15 Tempo (s) 20
Figura 4.5: Grco da Janela de Conteno com BER no estado BAD de 10e-5 e 4.9, e Tabela 4.5) e de eB = 102 (Figuras 4.10 e 4.11, e Tabela 4.6 ). Throughput WT1 WT2 WT3 308.972 bits/s 325.199 bits/s 315.320 bits/s Goodput 273.838 bits/s 285.392 bits/s 280.139 bits/s Perdas 0,1137 0,1224 0,1116
Tabela 4.4: Mdias obtidas ao nal da simulao com BER no estado BAD de 2X10e-5. Observando os grcos, constata-se que quanto maior o eB mais os grcos do
throughput e do goodput vo se afastando e os valores da janela de conteno vo

aumentando. Isto indica que o desempenho do protocolo vai se deteriorando devido ao alto nmero de colises, perdas e retransmisses e aos grandes tempos de backo que os terminais tero que aguardar. No grco 4.12, relaciona-se o valor da perda com a probabilidade de erro no bit. O grco apresentado em escala logartmica, uma vez que o valor da perda cresce bastante no intervalo [0, 0, 001] e se estabiliza para valores superiores a eB = 103 . Isto razovel dado que um pacote descartado se pelo menos 1 bit for errneo. 61

500000 450000 400000 350000 Throughput 300000 e Goodput (bits/s) 250000 200000 150000 100000 50000 0 0 5 10 15 Tempo(s) 20 WT1.throughput WT2.throughput WT3.throughput WT1.goodput WT2.goodput WT3.goodput
Figura 4.6: Grco do Throughput e do Goodput com BER no estado BAD de 2x10e-5 Throughput WT1 WT2 WT3 307.935 bits/s 308.651 bits/s 320.364 bits/s Goodput 174.390 bits/s 164.982 bits/s 176.166 bits/s Perdas 0,4337 0,4655 0,4501
Tabela 4.5: Mdias obtidas ao nal da simulao com BER no estado BAD de 10e-4. Podemos observar que a perda se mantm abaixo de 10% para valores de erro no bit inferiores a 105 . No entanto, se o erro aumenta para 104 , a perda cresce para valores em torno de 45%. Quando a probabilidade de erro no bit de 106 , a perda tem valor inferior a 1%. O tempo real de execuo para cada uma das simulaes realizadas foi menor que 4 minutos.
62
4.4 Testes em Ambiente Real

250
200 Janela de Contenao 150
100
50
0 0 5 10 15 Tempo(s) 20
Figura 4.7: Grco da Janela de Conteno com BER no estado BAD de 2x10e-5 Throughput WT1 WT2 WT3 315.301 bits/s 297.693 bits/s 274.988 bits/s Goodput 80.764 bits/s 64.344 bits/s 48.465 bits/s Perdas 0,7438 0,7838 0,8237
Tabela 4.6: Mdias obtidas ao nal da simulao com BER no estado BAD de 10e-2.

Para validar o modelo construdo, utilizaremos o Gerador de Trfego, mencionado no Captulo 3, para gerar trfego e coletar dados de uma rede real montada em laboratrio. O ambiente real composto por trs terminais wireless (WT1, WT2 e WT3), um Ponto de Acesso (AP) e um Terminal Destino (TD). Na Tabela 4.7 so descritos o sistema operacional e o tipo da placa wireless utilizados em cada mquina. O modelo do Ponto de Acesso o USR5450, atuando no modo 802.11b, do fabricante USRobotics. A topologia do ambiente simples e exibida na Figura 4.13. Nos testes realizados, os terminais estaro sempre a mesma distncia do AP. O Terminal
63

500000
400000
Throughput e 300000 Goodput (bits/s) 200000
100000
0 0 5 10 15 Tempo(s) 20
Figura 4.8: Grco do Throughput e do Goodput com BER no estado BAD de 10e-4 Destino conectado diretamente ao AP atravs de um cabo de rede. Mquina WT1 WT2 WT3 TD Sistema Operacional Linux - Kernel 2.6.11 Linux - Kernel 2.6.11 Linux - Kernel 2.6.15.6 Linux - Kernel 2.6.9 Placa Wireless Intel PRO/Wireless 2915 ABG Mini PCI Adapter Intel PRO/Wireless 2915 ABG Mini PCI Adapter Intel PRO/Wireless 2200 BG Intel Corporation 82801 BA Ethernet Controller
Tabela 4.7: Caractersticas das mquinas utilizadas no ambiente real. Os terminais wireless enviam trfego CBR sobre UDP para o Terminal Destino atravs do AP. O Gerador de Trfego executado nos APs e no TD. Os APs geraro o trfego CBR e o TD ir coletar estes dados e calcular as medidas solicitadas. Na Figura 4.14 exibimos a tela de congurao do Gerador de Trfego. Abaixo esto descritos os principais parmetros que foram inseridos no Gerador de Trfego. importante ressaltar que estes parmetros foram escolhidos de forma que o ambiente real e o simulado fossem similares, possibilitando comparaes dos resultados e, conseqentemente, a validao do modelo criado.
64

1000
800
600
Janela de 400 Contenao
200
0 0 5 10 15 Tempo(s) 20
Figura 4.9: Grco da Janela de Conteno com BER no estado BAD de 10e-4
Segment - Size(bytes): Este parmetro indica o tamanho do pacote a ser enviado. Nos testes realizados, foram utilizados pacotes de 1000 bytes totais, incluindo dados e cabealhos do UDP e da camada IP. Sendo assim, o valor deste campo ser de 972 bytes: dos 1000 bytes descontou-se os cabealhos do UDP (20 bytes) e do IP(8 bytes), que, posteriormente, sero acrescentados pelo aplicativo no momento do envio do pacote1 .
Segment - Time(secs): Tempo, em segundos, do intervalo entre envio de pacotes. No caso, deseja-se obter o throughput de saturao da rede. Como a taxa de transmisso das estaes sem o e do AP est congurada para 1Mbps, ento o valor deste campo de aproximadamente 0.0078s (972 bytes/1Mbps).
Host: IP da mquina destino, no caso, o TD que possui o IP 192.168.1.10. Port: Porta utilizada para transmisso dos dados.
1O
Gerador de Trfego adicionar o cabealho e o CRC da camada MAC e o cabealho e o
prembulo da camada fsica antes do envio do pacote de dados. O modelo do 802.11 foi desenvolvido para funcionar de forma semelhante, tambm adicionando estes valores antes do envio do pacote. Deste modo, os resultados dos dois sistemas podero ser, posteriormente, comparados.
65

500000
400000
Throughput e 300000 Goodput (bits/s) 200000
100000
0 0 5 10 15 Tempo(s) 20
Figura 4.10: Grco do Throughput e do Goodput com BER no estado BAD de 10e-2
Total Generation Time - Time(secs): Tempo total, em segundos, que o Gerador de Trfego enviar os pacotes para o destino. Em cada WT, o gerador de trfego foi congurado com os mesmos parmetros, a m de simular trs terminais sem o enviando dados simultaneamente para o AP e, conseqentemente, disputando o canal. Para obter os resultados neste ambiente, realizamos 10 simulaes de 200s de durao cada uma. As 10 simulaes foram realizadas em dois dias diferentes, sendo 5 simulaes por dia. Nas tabelas abaixo, mostramos a mdia amostral, o desvio padro amostral e o intervalo de conana, destas 10 simulaes, para as medidas de throughput(Tabela 4.8), goodput(Tabela 4.9) e perda no canal(Tabela 4.10) dos WTs. Para calcular estes valores, utilizamos as seguintes frmulas[Trivedi 2002]:
Mdia Amostral X =
1 n
n i=1
Xi , onde n = 10 e Xi a varivel que representa
os valores das amostras coletadas;
Desvio Padro Amostral S =
1 n1
n i=1 (Xi
X)2 ;
66
Mdia WT1 WT2 WT3 301.424 bits/s 277.880 bits/s 305.267 bits/s
Desvio Padro 22.365 bits/s 18.427 bits/s 43.274 bits/s
Intervalo de Conana (288.460, 314.390) bits/s (267.200, 288.660) bits/s (280.180, 330.350) bits/s
Tabela 4.8: Medidas relativas ao THROUGHPUT do ambiente real.
Mdia WT1 WT2 WT3 262.987 bits/s 238.619 bits/s 273.665 bits/s
Desvio Padro 43.553 bits/s 39.109 bits/s 54.453 bits/s
Intervalo de Conana (237.740, 288.230) bits/s (215.950, 261.290) bits/s (242.100, 305.230) bits/s
Tabela 4.9: Medidas relativas ao GOODPUT do ambiente real.
Mdia WT1 WT2 WT3 0,0429 0,0579 0,0152
Desvio Padro 0,0473 0,0533 0,0158
Intervalo de Conana (0,0155, 0,0703) (0,0270, 0,0888) (0,0060, 0,0244)
Tabela 4.10: Medidas relativas s PERDAS no canal do ambiente real.
67
4.5 Concluses sobre os Resultados da Simulao do Modelo e do Ambiente Real

1000
800
600 Janela de Contenao 400
200
0 0 5 10 15 Tempo(s) 20
Figura 4.11: Grco da Janela de Conteno com BER no estado BAD de 10e-2
S Intervalo de Conana = X tn1;/2 n , onde tn1;/2 corresponde constante
da distribuio Students' t com 9 graus de liberdade e com probabilidade de 0,95 de intervalo de conana. Atravs destas medidas, podemos garantir com 95% de certeza que os valores do throughput, goodput e perda no canal esto dentro dos intervalos de conana correspondentes, o que nos d uma melhor dimenso dos dados coletados. Tomando, por exemplo, o valor da perda para o WT1, garantimos que:
P rob(0, 0155 < P erdaW T 1 < 0, 0703) = 0, 95
(4.4)

Existem vrias vantagens na utilizao de uma ferramenta de simulao, especialmente do ponto de vista da escalabilidade e da facilidade para testar as caractersticas e novas funcionalidades de um protocolo. Ao mesmo tempo, os testes em uma rede real vericam a corretude dos resultados da simulao. 68

0.9
0.8
0.7 P E R D A
0.6
0.5
0.4
0.3
0.2
0.1
0 1e-06
1e-05
0.0001
0.001
0.01
0.1
Probabilidade de Erro no Bit no Estado BAD
Figura 4.12: Grco da Perda X Probabilidade de Erro no Estado BAD (em escala logartmica) As suposies para as simulaes foram as mesmas, tanto no ambiente real como no ambiente de simulao. Portanto, podemos concluir que:
Nos dois ambientes, o valor do throughput equilibrado para cada terminal.

Como utilizamos taxa de transmisso de 1Mbps e os dados foram gerados de forma que o throughput fosse saturado, ento espera-se que cada estao possua 1/3 da taxa de transmisso. Portanto, podemos concluir que, nestas condies, o mecanismo de acesso 802.11 prov eqidade entre os usurios. Uma pequena variao pode ocorrer quando um terminal participa de muitas colises ou, ento, quando o canal gera erros nos pacotes. Como se sabe, quando estes eventos ocorrem, o tamanho da janela de conteno maximizado e, conseqentemente, o tempo de backo, que o terminal deve esperar para transmitir seu pacote, aumenta.
Quanto maior os valores de EB e EG , menor o valor do goodput. Ou seja,

quanto maior a probabilidade de erro no bit, maior sero as chances de um pacote conter um erro e ser descartado, necessitando que sejam feitas retrans69
4.6 Anomalia na Performance do 802.11
192.168.1.11
WT1
192.168.1.12
WT2
Ponto de Acesso 192.168.1.1
Terminal Destino 192.168.1.10
192.168.1.13
WT3
Figura 4.13: A topologia da rede wireless utilizada nos testes. misses. E quanto mais retransmisses, mais o goodput prejudicado. Pelo grco da Figura 4.12 podemos observar que a perda ca abaixo de 10% para EB 105 . Quando a probabilidade de ocorrer um erro no bit maior do que 104 (EB 104 ), a perda atinge valores inaceitveis (maiores que 40%).
Os valores de EB = 105 e EG = 1010 escolhidos para a simulao do modelo

se mostram bem adequados para representar a rede experimental montada em nosso laboratrio. Como possvel vericar nas Tabelas 4.3 e 4.10, os valores da perda no canal nos dois ambientes so bem prximos.

Nos trabalhos [Heusse et al. 2003, Kim et al. 2005], os autores analisam a performance do protocolo 802.11b no caso em que um dos terminais, que compem a rede
wireless, possui taxa de transmisso menor que a dos demais. Nestes trabalhos foi
mostrado que o desempenho de todos os terminais ca prejudicado. Em uma rede local sem o local, um terminal pode estar posicionado, em relao 70
Figura 4.14: A tela de congurao do Gerador de Trfego. ao AP, de tal maneira que a qualidade de sua transmisso de rdio seja inferior a dos outros terminais. Neste caso, os produtos 802.11b atuam de forma a reduzir a taxa de transmisso do valor padro (11Mbps) para 5,5Mbps, 2Mbps ou 1Mbps, quando repetidas transmisses falhas de frames so detectadas. A anomalia na performance se apresenta exatamente neste cenrio. Se existe, na rede, ao menos um terminal com uma taxa de transmisso inferior, o throughput de todos os terminais transmitindo com uma taxa maior degradado at um nvel inferior ao do terminal de menor taxa. Tal comportamento penaliza os terminais rpidos e privilegia os mais lentos. A razo para esta anomalia provm do mtodo de acesso bsico do canal, o CSMA/CA, que garante, a longo prazo, uma probabilidade igual de acesso ao canal para todos os terminais. Quando um terminal captura o canal por muito tempo, devido a sua baixa taxa de transmisso, os demais terminais, com taxas superiores, so penalizados. Para ilustrar este fenmeno, na Figura 4.15 apresentamos o grco do throughput e do goodput para a situao em que todos os terminais esto transmitindo trfego CBR, para o AP, a uma taxa de 11Mbps. As probabilidades de erro so eB = 105 71

e eG = 1010 . Estamos assumindo tambm que todos os terminais sempre possuem pacotes para serem enviados, ou seja, a la P kts_T o_Send_Queue nunca est vazia. Nesta gura, percebemos que o canal compartilhado de maneira igualitria, onde cada terminal possui 1/3 das chances de transmisso.
6e+06 WT1.throughput WT2.throughput WT3.throughput WT1.goodput WT2.goodput WT3.goodput
5e+06
4e+06
Throughput e 3e+06 Goodput (bits/s) 2e+06
1e+06
0 0 1 2 3 4 Tempo (s) 5
Figura 4.15: Grco do Throughput e do Goodput para taxas de transmisso de 11Mbps. Na Figura 4.16, exemplicamos o problema da anomalia de performance. Nesta situao, os terminais WT1 e WT2 transmitem com taxa de 11Mbps, enquanto o WT3 transmite a uma taxa de 1Mbps. Os demais parmetros do modelo so idnticos aos utilizados anteriormente. Como foi dito, o terminal WT3, transmitindo a 1Mbps, ir degradar o throughput dos demais WTs, a um nvel inferior a 1Mbps. Em [Kim et al. 2005], os autores propem minimizar o efeito desta anomalia de performance atravs da diferenciao de servios. Neste trabalho, os autores demonstram analiticamente que o throughput devido pode ser precisamente alcanado, mesmo quando os terminais utilizam diferentes taxas de transmisso, atravs do controle da janela de conteno mnima, a CWM in . A idia inicializar a CWM in com um valor inversamente proporcional ao da taxa de transmisso do terminal2 .
2O
IEEE 802.11e, novo padro para extenso de Qualidade de Servio (QoS) do 802.11, permite
72

2e+06 WT1.throughput WT2.throughput WT3.throughput WT1.goodput WT2.goodput WT3.goodput
1.5e+06
1e+06 Throughput e Goodput (bits/s) 500000
0 0 2 4 6 8 Tempo(s) 10
Figura 4.16: Grco do Throughput e do Goodput exemplicando a anomalia na performance. No caso do protocolo 802.11b, a maior taxa (11Mbps) possuir o valor padro de
CWM in = 32. Para as demais taxas, o valor da janela de conteno mnima ser
calculado da seguinte forma:
CWM in = CWM in 11/X, onde X = 1, 2 ou 5, 5

No caso especco da taxa de 1Mbps, o valor do CWM in ser 352.
(X)
(11)
(4.5)
Na Figura 4.17 apresentamos o resultado da modicao proposta. Claramente, possvel ver que houve grande melhora nos throughputs dos WT1 e WT2. O aumento da janela de conteno do WT3 fez com que este terminal tenha que esperar mais tempo para conseguir acesso ao canal e, conseqentemente, ocupe o canal menos vezes e por menos tempo. Podemos ver atravs da Figura 4.17 que a soluo adotada no trabalho de [Kim et al. 2005] foi eciente em relao ao throughput. No entanto, no foi avaliado o tempo de resposta que o terminal, que possui a maior janela de conteno mnima,
a congurao dinmica da janela de conteno mnima.
73

7e+06 WT1.throughput WT2.throughput WT3.throughput
6e+06
5e+06
4e+06 Throughput e 3e+06 Goodput (bits/s) 2e+06
1e+06
0 0 2 4 6 8 Tempo(s) 10
Figura 4.17: Grco do Throughput aps correo da janela de conteno mnima do WT1. obteve. No prximo captulo iremos investigar o impacto que esta modicao do protocolo pode causar no tempo de resposta do usurio.
74
Captulo 5 Modelagem de Usurio WEB como Fonte de Dados do Modelo 802.11

Neste captulo ser apresentado um modelo que simula o comportamento de um usurio web e que servir como fonte de dados para o modelo do protocolo 802.11. Os principais objetivos deste captulo so:
Estudar o comportamento do mecanismo 802.11 com diversos usurios acessando a web. Iremos variar a taxa de transmisso dos terminais e a populao web.
Analisar o comportamento do protocolo quando um usurio web transmite

com uma taxa menor do que a dos demais.
5.1 Introduo
A crescente importncia do trfego WEB na Internet torna cada vez mais necessrio o desenvolvimento de modelos de trfego precisos, a m de caracterizar seu comportamento, possibilitando planejamento e previses das necessidades futuras. At75
5.1 Introduo
ualmente, estima-se que este tipo de trfego seja responsvel por mais de 70% do trfego total[Thompson et al. 1997] que circula na Internet. A modelagem do trfego WEB dicultada por duas razes. Primeiramente, pela diversidade de componentes que interagem entre si. Navegadores e servidores WEB, de inmeros fabricantes, possuem comportamentos distintos e valores de parmetros diferentes. O protocolo HTTP est em constante mudana e vrias verses coexistem. A segunda razo que a interao WEB se torna cada vez mais complexa devido aos diferentes tipos de acesso dos usurios ao ambiente. Os padres de navegao so diversos. Um usurio pode, propositalmente ou acidentalmente, abrir vrios naveragores e navegar por vrias pginas ao mesmo tempo. Um usurio pode tambm abandonar uma pgina web que est sendo exibida, movendo-se para outra pgina, clicando no boto de stop ou, ento, fechando o aplicativo. Algumas ferramentas permitem tambm que um navegador requisite vrias pginas ao mesmo tempo. Para lidar com toda esta diversidade, necessitaremos de uma entidade mais geral e unidade bsica, chamada Requisio WEB, que ser adotada no modelo. Uma Requisio WEB composta de uma pgina ou um conjunto de pginas resultantes da ao de um usurio. Uma pgina Web composta de objetos. Estes objetos so simplesmente arquivos, como uma pgina HTML, uma imagem JPEG ou GIF, um applet Java e etc. A maioria das pginas HTML composta por um objeto principal, normalmente um arquivo HTML, e diversos objetos relacionados. Por exemplo, se uma pgina WEB contiver texto HTML e 3 imagens JPEG, ento a pgina Web tem 4 objetos no total: o arquivo-base HTML e mais as 3 imagens. Este arquivo-base HTML relaciona os outros objetos da pgina com seus URLs. Ao acessar uma pgina HTML, digitando seu endereo em um Web Browser ou atravs do clique em um hiperlink, o cliente dispara o incio de uma sesso. O navegador se conectar, via TCP, com o servidor da pgina em questo e solicitar o
76
5.1 Introduo
objeto principal. Uma vez que o objeto principal for recebido pelo cliente, o mesmo analisar o arquivo-base e solicitar os demais objetos relacionados. Aps obter todos os objetos, o usurio permanecer por alguns minutos observando o contedo recebido e, posteriormente, poder decidir pela requisio de outra pgina. O protocolo HTTP dene como os clientes WEB solicitam pginas WEB aos servidores de pginas e como os servidores transferem estas pginas aos clientes [J. Kurose and K. Ross 2003].
5.1.1 A Modelagem do Usurio Web

Conforme explanao anterior, uma pgina WWW contm, usualmente, vrios objetos referenciados (ex: imagens, cones, botes e etc). Quando um usurio requisita uma pgina, o browser gera uma srie de requisies adicionais para realizar o
download destes objetos. Em [Paxson e Floyd 1995], Paxson e Floyd demonstram

que o Processo de Poisson no aplicvel para simular chegadas de documentos WWW, pois a transmisso destes tipos de documentos no totalmente iniciada pelo usurio. Ou seja, o usurio faz a requisio inicial e os demais objetos relacionados so requisitados automaticamente pelo navegador. Em [Deng 1996, Choi e Limb 1999], os autores conseguem modelar o trfego WEB empiricamente. Naqueles trabalhos, ao invs de simples chegadas de Poisson, um processo ON-OFF utilizado para modelar este trfego, contendo vrias requisies durante o perodo ativo (ON), seguido de um perodo inativo (OFF) de tempo, signicando a absoro, pelo usurio, do contedo recebido. O modelo construdo para gerao de trfego WEB se basear nestes dois trabalhos. A Figura 5.1 exibe o padro de trfego de um usurio. A primeira requisio no perodo ON gerada pelo usurio. As novas requisies podem ser geradas diretamente pelo programa cliente. Este modelo pode ser descrito pela distribuio de trs variveis aleatrias: (i) r indicando o tempo entre chegadas de requisies durante o perodo ON, (ii) s indicando a durao do perodo OFF e (iii) n indicando 77
5.1 Introduo
a durao do perodo ON.
Figura 5.1: O modelo ON-OFF de gerao de trfego Web. De acordo com [Deng 1996, Choi e Limb 1999], temos que:
O perodo ON pode ser modelado com uma distribuio Weibull; O perodo OFF pode ser modelado com uma distribuio Pareto; O intervalo entre chegadas, durante o perodo ON, tambm pode ser modelado
com uma distribuio Weibull. Na Tabela 5.1, demonstra-se os valores escolhidos, tambm obtidos em [Deng 1996, Choi e Limb 1999], e que sero utilizados nas distribuies descritas acima. Distribuio Perodo ON (s) Perodo OFF (s) Intervalo entre Chegadas (s) Weibull Pareto Weibull Scale Shape
90, 01 60, 00 4, 48
0, 88 0, 90 0, 50
Tabela 5.1: Valores dos parmetros para o modelo do usurio web. Os tamanhos dos objetos principais e referenciados sero gerados atravs da distribuio Lognormal[Choi e Limb 1999], de acordo com os parmetros da Tabela 5.2. Pode-se observar, que na mdia, o tamanho de um objeto principal maior do que o tamanho de um objeto referenciado. No entanto, a varincia do tamanho de um objeto referenciado bem maior. Na Figura 5.2, apresentamos o layout do modelo gerado no TANGRAM-II. Podese vericar que para cada objeto Wireless Terminal, existe um objeto Web User. Os 78
5.1 Introduo
Distribuio Tamanho do Objeto Principal (bytes) Tamanho do Objeto Referenciado (bytes) Lognormal Lognormal Mdia 10.709,8 7.757,7 Desvio Padro 25.032,1 126.168,0
Tabela 5.2: Valores dos parmetros para gerao dos tamanhos dos objetos. objetos Web User geram os pedidos, de aproximadamente 360 bytes, requisitando objetos principais e referenciados de pginas HTTP, e estes pedidos so enviados, por meio de mensagens, para os objetos Wireless Terminal. Como foi dito no captulo anterior, as fontes de dados e os objetos que simulam os terminais wireless continuam mantidos separadamente, para que seja extremamente fcil alterar o tipo de fonte utilizada. Pode-se observar tambm, que neste modelo existe um novo objeto, alm do
Web User: o objeto Internet. Este objeto ser responsvel por simular o atraso, o
RTT (Round Trip Time), que uma requisio sofre ao ser processada na Internet. Mais especicamente, quando um Wireless Terminal recebe uma requisio do Web
User, e aps os tempos DIFS e de backo consegue obter o canal para transmisso, o
pedido enviado para o AP, que retornar uma mensagem ACK como conrmao de recebimento. O AP processar o pedido do objeto, principal ou referenciado, na Internet e enviar, posteriormente, uma mensagem com o objeto solicitado para o terminal que realizou a requisio. Para simular o atraso das respostas causado pelo trfego na Internet, nos basearemos no trabalho desenvolvido em [Elteto e Molnar 1999]. Naquele trabalho, os autores utilizam uma distribuio Gaussiana, com parmetros de mdia e desvio padro exibidos na Tabela 5.3, para simular este atraso. Distribuio Atraso das respostas (s) Gaussiana Mdia 0,32935 Desvio Padro 0,08032
Tabela 5.3: Valores utilizados nos parmetros para atraso dos pacotes na Internet.
79
5.1 Introduo
Figura 5.2: O modelo do protocolo 802.11 com fonte de trfego WEB. O evento Internet_Delay(GAU SS, DELAY _M EAN, DELAY _V ARIAN CE) foi implementado, no objeto Internet, com o objetivo de simular este atraso gerado pela Internet. Abaixo, exibimos o cdigo deste evento.
event=Internet_Delay(GAUSS,DELAY_MEAN,DELAY_VARIANCE) condition=(Number_Of_Internet_Requests>0) action={ int number_of_internet_requests; FloatQueue objects_queue(6); float lv_vec[6]; get_st(number_of_internet_requests,"Number_Of_Internet_Requests"); get_st(objects_queue,"Objects_Queue"); number_of_internet_requests--; restore_from_head(objects_queue,lv_vec); msg(AP_INTERNET_PORT,AP_OBJ,lv_vec); set_st("Number_Of_Internet_Requests",number_of_internet_requests); set_st("Objects_Queue",objects_queue);
80
5.1 Introduo
};
O interessante desta implementao a utilizao da funo event_clone(), disponvel no Tangram-II. Esta funo capaz de replicar um evento tantas vezes quanto necessrio, desde que a condio deste seja satisfeita. Por exemplo, quando o objeto Internet recebe uma mensagem do objeto AP, o comando clone_ev(Internet _Delay) executado (conforme cdigo abaixo). Isto faz com que, para cada pedido recebido pelo objeto Internet, haja um evento de atraso correspondente. O controle do nmero de eventos Internet_Delay escalonados feito pela varivel N umber_Of _Internet_Queue_Requests. Toda vez que uma mensagem recebida pelo objeto Internet, esta varivel incrementada e quando o evento executado, a varivel decrementada. Note que a condio de execuo do evento (condition = (N umber_Of _Internet_Requests > 0)) controla o nmero total de eventos escalonados.
msg_rec = AP_INTERNET_PORT action = { int number_of_internet_requests; float lv_vec[6]; FloatQueue objects_queue(6); get_st(number_of_internet_requests,"Number_Of_Internet_Requests"); get_st(objects_queue,"Objects_Queue"); get_msg_data(lv_vec); save_at_tail(objects_queue,lv_vec); number_of_internet_requests++; clone_ev("Internet_Delay"); set_st("Objects_Queue",objects_queue); set_st("Number_Of_Internet_Requests",number_of_internet_requests);
81
5.2 Distribuies Cauda Longa e a Simulao

};
importante observar que o AP car responsvel por armazenar, em seu buer, todos os objetos requisitados pelos terminais wireless, dado que o AP se comporta como a nica via de sada e entrada para a Internet. Uma vez que o AP recebe o pedido de um objeto, o mesmo se encarrega de buscar este objeto na rede e armazenar esta resposta em seu buer at que consiga obter posse do canal, para, ento, enviar a resposta ao terminal correspondente. Portanto vemos que o dimensionamento do AP, neste caso, muito importante. Em [Choi et al. 2005] os autores citam que os APs possuem, normalmente, um buer de 256K bytes. Utilizaremos este valor no tamanho do buer do AP do modelo.
5.2 Distribuies Cauda Longa e a Simulao

O trfego WWW apresenta caractersticas interessantes como grande variabilidade e a chegada em rajadas. O trabalho desenvolvido por [Crovella e Bestavros 1996] mostrou que o trfego web altamente varivel atravs de uma vasta gama de escalas de tempo, o que o caracteriza como um trfego auto-similar1 . Uma das distribuies utilizadas por [Deng 1996, Choi e Limb 1999] para gerar o trfego WEB a Pareto. Esta distribuio reconhecidamente cauda-longa, isto , seja X uma varivel aleatria com distribuio Pareto, ento:
P [X > x] x , x , 0 < < 2.
(5.1)
Intuitivamente, as distribuies cauda-longa mostram grande variabilidade de valores, incluindo valores que diferiro muitas ordens de grandeza da mdia, mesmo que a maioria dos valores se apresente em torno da mdia. De fato, se < 2 ento a
1 Auto-similaridade
uma propriedade associada a um tipo de fractal - um objeto cuja aparncia
permanece imutvel independentemente da escala com que ele visto.
82
5.3 Medidas de Interesse Obtidas na Simulao

distribuio possui varincia innita e se 1 ento a distribuio tambm possui mdia innita. Em [Crovella e Lipsky 1997], os autores apontam os problemas de estabilidade ao se utilizar distribuies cauda longa em simulaes, especialmente quando < 1, 7, e demonstram que tais simulaes podem levar um longo tempo para atingir o estado estacionrio. Para contornar este problema, os autores propem a utilizao de um limite superior para os valores das amostras geradas para as distribuies com cauda longa. Este limite obtido atravs da observao do sistema real, durante um intervalo de tempo t, colhendo-se o valor da maior amostra gerada. O limite superior utilizado para truncar a distribuio, toda vez que for gerada uma amostra com valor superior. No nosso modelo de simulao, utilizaremos a distribuio TRUNCPAR, que uma distribuio Pareto na qual podemos denir um valor mximo que uma amostra pode atingir. Como limite superior para estas amostras, utilizaremos o valor obtido em [G. Jaime 2003]. Naquele trabalho, o autor realizou experimentos, como descrito no pargrafo anterior, com o objetivo de obter este limite.

Nesta seo, apresentaremos os resultados de diversos experimentos realizados com o modelo da camada MAC do protocolo 802.11, tendo como fonte, para cada terminal, o modelo que simula o comportamento de um usurio web. Ou seja, como explicado na Figura 5.2, para cada objeto Wireless Terminal teremos um objeto Web User associado, que ser responsvel por requisitar os objetos principais e referenciados das pginas HTTP pelas quais estiver navegando. Abaixo esto descritos os cenrios dos testes simulados:
Taxa de 1Mbps para todos os terminais e para o AP, com 3, 5, 10, 15, 20, 25,
40 e 50 usurios web utilizando a rede; 83

Taxa de 11Mbps para todos os terminais e para o AP, com 5, 10, 15, 20 e 25
usurios web utilizando a rede;
Taxa de 11Mbps para 4 terminais e para o AP, e apenas um terminal com

taxa de 1Mbps, totalizando 5 usurios web;

taxa de 1Mbps, totalizando 10 usurios web;

taxa de 1Mbps, totalizando 15 usurios web; Nos testes dos dois primeiros cenrios, compararemos o desempenho dos terminais variando as taxas dos terminais sem o e o nmero de usurios web. Nos trs ltimos, vericaremos o que ocorre quando terminais, em um mesmo BSS, transmitem com diferentes taxas. Antes de apresentarmos os resultados dos cenrios descritos acima, iremos comparar as medidas obtidas para o trfego CBR(Captulo 4) com as medidas calculadas para o trfego web, considerando o mesmo nmero de terminais. Em todos os testes utilizaremos tempo de simulao igual a 10.000s. Este tempo foi estimado de forma que o modelo estivesse em estado estacionrio.
5.3.1 Trfego CBR X Trfego Web

Na Figura 5.3 apresentamos o throughput para os terminais WT1, WT2 e WT3. Pode-se perceber duas grandes diferenas em relao a esta mesma medida exibida no captulo anterior: (i) O throughput est longe do limite de saturao, uma vez que agora estamos utilizando fontes de trfego web e no mais CBR com taxas altas, de forma que a rede estivesse saturada; (ii) O throughput exibe o comportamento em rajadas, tpico do trfego WEB, como era esperado. Nota-se que, em alguns momentos, existem vrios objetos sendo requisitados e em outros a fonte 84

800 WT1.throughput WT2.throughput WT3.throughput
700
600 T H R 500 O U G H 400 P U T 300 (bits/s) 200
100
0 0 2000 4000 6000 8000 Tempo (s) 10000
Figura 5.3: Throughput dos terminais WT1, WT2 e WT3. encontra-se em repouso. Observa-se tambm que o perodo transiente bem maior do que para o trfego CBR, o que era esperado pois a fonte de trfego web possui distribuio com cauda longa. Na Figura 5.4 apresentamos o throughput do AP. Os valores desta medida so bem superiores a dos terminais wireless, pois: (i) O AP responsvel por atender as requisies de todos os terminais dentro do BSS; (ii) O AP se encarrega de transmitir os maiores objetos, sejam eles principais ou referenciados, enquanto os WTs enviam mensagens relativamente pequenas (aproximadamente 360 bytes), requisitando tais objetos. Na Figura 5.5, apresentamos o tempo transcorrido desde que um pedido gerado, dentro do objeto Web User, at o momento em que servido pelo objeto Wireless
Terminal. Ou seja, estamos contando o tempo total de permanncia do pedido na

la do terminal wireless, at que este obtenha a posse do canal e inicie o envio do pedido. Este grco exibe o tempo de servio de cada objeto requisitado por cada WT. Observe que o eixo das ordenadas, que representa o tempo permanncia na la, est em escala logartmica. Nota-se que a grande maioria dos tempos de la esto abaixo de 1ms, indicando que este no um gargalo do sistema quando existem
85

60000 AP.throughput
50000
T H 40000 R O U G H 30000 P U T (bits/s) 20000
10000
0 0 2000 4000 6000 8000 Tempo(s) 10000
Figura 5.4: Throughput do Ponto de Acesso. poucos usurios conectados. Na Figura 5.6, apresentamos o tempo total transcorrido desde que uma requisio feita pelo objeto Web User e encaminhada ao objeto Wireless Terminal, passando pelos objetos Channel, AP e Internet, at que sua resposta comece a ser recebida pelo WT que a requisitou. Em resumo, este tempo o tempo total de espera pela resposta a uma requisio de um objeto feita pelo usurio WEB. Neste grco, o eixo das ordenadas tambm est em escala logartmica. A maioria dos tempos de resposta est entre 200ms e 800ms. Pode-se perceber que existe uma variabilidade grande nestes tempos. Uma das explicaes para este fato o tamanho do objeto web possuir distribuio Lognormal. Na Tabela 5.4 encontram-se os valores do throughput (TPUT), do tempo mdio de permanncia na la para cada objeto (MPF_O), do tempo mdio de resposta para cada objeto (MR_O) e do tempo mdio de resposta a uma pgina WEB (MR_P). Podemos notar que para este cenrio, MPF_O representa aproximadamente 2% do MR_O. Este resultado mostra que grande parcela do tempo de resposta devido transmisso dos objetos na rede sem o. As requisies, por serem pequenas, contribuem muito pouco no tempo de resposta. 86

1 WT1.service_time WT2.service_time WT3.service_time
0.1
0.01 Tempo de Permanencia da Requisicao do Objeto na Fila de 0.001 Servio (s)
0.0001
1e-05 0 2000 4000 6000 8000 Tempo(s) 10000
Figura 5.5: Tempo de permanncia na la de cada requisio, antes do incio do servio, para cada WT. Alm disso, importante notar que o tempo mdio de resposta de uma pgina WEB para o WT1 foi maior do que os tempos de WT2 e de WT3. Isto se deve ao fato de que, em mdia, nesta simulao, o WT1 enviou 15 objetos para cada pgina, enquanto o WT2 enviou 10 e o WT3 enviou 11 objetos. TPUT WT1 WT2 WT3 116,8 bits/s 104,6 bits/s 112,2 bits/s MPF_O 0,001s 0,001s 0,005s MR_O 0,432s 0,398s 0,396s MR_P 6,7s 4,0s 4,6s
Tabela 5.4: Valores do throughput, tempo mdio de permanncia na la e tempo mdio de resposta para cada objeto, e tempo de resposta a uma pgina. Em relao ao AP, apenas 0,7% dos objetos foram perdidos devido ao overow do buer. O valor do throughput foi de 4,5 Kbps e do goodput de 3,6 Kbps.
87

10 WT1.total_time WT2.total_time WT3.total_time
Tempo de 1 Resposta (s)
0.1 0 2000 4000 6000 8000 Tempo(s) 10000
Figura 5.6: Tempo de espera pela resposta a uma requisio de um usurio WEB.
5.3.2 Nmero de Usurios X Taxa de Transmisso

Nesta sub-seo, iremos comparar as medidas mdias de throughput (TPUT) e good-
put (GPUT) para os WTs e para o AP, tempo mdio de resposta (MR_P) para
cada pgina HTTP e percentagem de pacotes perdidos por overow no buer do AP (PERDA_AP), variando as taxas de transmisso e o nmero de usurios web presentes no BSS. Na Tabela 5.5, apresentamos estas medidas quando todos os terminais da rede possuem taxa de 1Mbps e na Tabela 5.6, quando todos os terminais possuem taxa de 11Mbps, para os diferentes nmeros de usurios (NUM). Muitas consideraes podem ser feitas a partir dos dados contidos nas Tabelas 5.5 e 5.6:
A taxa de transmisso inui bastante no tempo mdio de resposta a uma

pgina WEB. Em mdia, este tempo, para at 25 usurios web com taxa de 11Mbps, corresponde a 4s, enquanto, para a taxa de 1Mbps, com at 25 usurios web, corresponde a 6,6s. Isto bvio, pois quanto maior a taxa de transmisso, menor o tempo para transmitir e receber a mensagem;
O AP perde um nmero nmo de pacotes devido ao overow do buer. Isto

88
NUM 5 10 15 20 25 40 50
TPUT 122,2bps 147,4bps 122,5bps 150,7bps 191,1bps 162,3bps 222,5bps
GPUT 121,3bps 142,5bps 118,8bps 139,5bps 130,6bps 144,1bps 184,1bps
PERDA_AP 0,1% 0,6% 0,5% 0,4% 0,4% 0,4% 0,6%
TPUT_AP 13,2Kbps 25,9Kbps 33,7Kbps 54,8Kbps 54,9Kbps 111,7Kbps 166,1Kbps
GPUT_AP 8,3Kbps 16,6Kbps 22,9Kbps 32,0Kbps 33,4Kbps 63,4Kbps 89,7Kbps
MR_P 6,2s 6,9s 6,2s 7,0s 6,7s 8,6s 11,4s
Tabela 5.5: Nmero de Usurios X Taxa de 1Mbps.
NUM 5 10 15 20 25
TPUT 118,1bps 138,5bps 128,6bps 117,7bps 141,7bps
GPUT 117,7bps 137,9bps 127,5bps 116,4bps 140,1bps
PERDA_AP 0,4% 0,6% 0,4% 0,4% 0,4%
TPUT_AP 8,6Kbps 25,0Kbps 37,6Kbps 46,8Kbps 60,4Kbps
GPUT_AP 7,1Kbps 16,5Kbps 23,5Kbps 28Kbps 38,1Kbps
MR_P 3,7s 4,2s 4,2s 3,8s 4,1s
Tabela 5.6: Nmero de Usurios X Taxa de 11Mbps.
89

indica que, para este tipo de trfego e com nmero mximo de 25 usurios, o AP no representa um gargalo entre o BSS e a Internet;
O throughput dos WTs tem valor muito inferior ao alcanado pelo trfego
CBR, no Captulo 4. Ou seja, os usurios web, para estes cenrios, criam um trfego leve, gerando poucas colises e retransmisses. Isto comprovado pela proximidade entre seus valores de throughput e de goodput;
O throughput do AP bem mais alto em relao ao dos WTs. Isto se deve, como
foi mencionado na seo anterior, ao AP ser responsvel por responder cada requisio por objetos, principais e referenciados, dos WTs. Assim, podemos dizer que o trfego gerado pelo AP equivalente ao somatrio do trfego gerado por todos os WTs. Alm disso, as mensagens de resposta enviadas pelo AP so muito maiores do que as enviadas pelos WTs (mdia de 360 bytes), pois contm os objetos requisitados, como guras de grande resoluo, por exemplo. Devido ao maior tamanho das mensagens enviadas pelo AP, a probabilidade de erro no pacote, durante a transmisso, maior. Portanto, temos valores de
goodput menores. Observa-se tambm que quanto maior o nmero de terminais

participando das transmisses, mais reduzido o goodput, pois o aumento no nmero de WTs infere em maior disputa pelo canal, gerando mais colises.
Observa-se que o valor mdio do throughput e do goodput dos WTs so bem

parecidos, tanto variando o nmero de usurios quanto variando a taxa de transmisso. Isto esperado pois os pedidos de objetos so gerados por uma distribuio Weibull, para cada WT, sem haver nenhuma relao com aquelas duas variveis.
O valor do throughput do AP varia bastante em relao ao nmero de usurios,

uma vez que este objeto agrega o trfego de todos os terminais do BSS. No entanto, xando o nmero de usurios, os valores do throughput para 1Mbps e para 11Mbps so bem prximos. Alguma variao pode ocorrer, como, por 90

exemplo, com 5 usurios web. Neste caso, esta diferena pode ser respondida atravs do nmero total de objetos enviados pelo AP. Nestas simulaes, para a taxa de 1Mbps foram transmitidos 1.627 objetos e para a taxa de 11Mbps, 1.468 objetos. Portanto, o throughput do AP ser maior para a primeira taxa.
Conclui-se tambm que a rede demonstra-se estvel para at 25 usurios simultneos, isto , a mdia do tempo de resposta do usurio, para cada pgina web, aceitvel. No entanto, apesar da mdia ser razovel, percebemos que, em alguns casos, houve um grande tempo de espera. Por exemplo, na simulao com 25 usurios taxa de 1Mbps, tivemos valor mdio de resposta para um determinado WT de 14,1s, enquanto a mdia geral dos WTs foi de 6,7s. Ou seja, embora a mdia global deste tempo seja boa, em alguns casos pontuais, este tempo causaria incmodo ao usurio durante a navegao. Para melhor visualizarmos o aumento no tempo de resposta quando o nmero de usurios web cresce, observemos o Grco 5.7. No eixo das abcissas apresentamos o nmero de usurios web presentes na rede, transmitindo taxa de 1Mbps. No eixo das ordenadas apresentamos o maior tempo mdio de resposta obtido por um WT dentro da rede. Atravs deste grco vericamos que o tempo de resposta para 40 usurios ou mais cresce consideravelmente. Nestes casos, o atraso no retorno das informaes para o usurio web ir tornar o uso da rede insatisfatrio. Por exemplo, para 50 usurios web, o maior tempo mdio de resposta das pginas web foi de quase 32s, o que inaceitvel para os padres atuais. Este desempenho torna a utilizao das redes 802.11 impraticvel em locais onde muitos usurios utilizam o mesmo AP para acessar a Internet, por exemplo, e demonstra os novos desaos que devem ser superados.
5.3.3 Diferentes Taxas de Transmisso no mesmo BSS

Nesta sub-seo queremos estudar o comportamento da anomalia detectada em [Heusse et al. 2003, G.Cantieni et al. 2005], utilizando fontes de trfego web. O 91

35
30
25 Tempo medio maximo obtido por um WT da rede 20
15
10
5 5 10 15 20 25 30 35 40 45 50 Numero de usuarios web na rede
Figura 5.7: Maior tempo mdio de espera pelas respostas variando o nmero de usurios web. problema ocorre quando usurios com diferentes taxas de transmisso, neste caso 1Mbps e 11Mbps, compartilham o mesmo BSS. Nesta anomalia, os throughputs dos terminais de maior taxa so limitados pelo terminal com a menor taxa de transmisso. Ou seja, devido ao fato do terminal de menor taxa utilizar o canal por um tempo maior para transmitir um pacote de certo tamanho, em relao aos de maior taxa, isto induziria a uma reduo no throughput destes, pois: (i) teriam que esperar um longo tempo para obter a posse do canal, aguardando a nalizao da transmisso do terminal de menor taxa e (ii) enquanto de posse do canal, transmitiriam seus pacotes rapidamente. As mesmas medidas de interesse da sub-seo anterior sero apresentadas na Tabela 5.7, para o cenrio com 4 terminais e AP com taxa de 11Mbps e 1 terminal com 1Mbps, na Tabela 5.8, para o cenrio com 9 terminais e AP com taxa de 11Mbps e 1 terminal com 1Mbps, e na Tabela 5.9, para o cenrio com 14 terminais e AP com taxa de 11Mbps e 1 terminal com 1Mbps. Como neste tipo de trfego gerado pelos usurios web, temos apenas um trfego mais intenso no AP, observaremos o comportamento do throughput deste objeto.
92

NUM 5 TPUT 114,2bps GPUT 113,7bps PERDA_AP 0,1% TPUT_AP 9,9Kbps GPUT_AP 6,7Kbps MR_P 3,6s
Tabela 5.7: Medidas para cenrio com 5 usurios web, com taxas diferentes. NUM 10 TPUT 155,4bps GPUT 154,5bps PERDA_AP 0,4% TPUT_AP 12,8Kbps GPUT_AP 8,2Kbps MR_P 4,8s
Tabela 5.8: Medidas para cenrio com 10 usurios web, com taxas diferentes. Pelos dados da Tabela 5.7, no se constatou a presena desta anomalia. O throughput do AP est compatvel com o throughput obtido pelos 5 usurios web na rede com taxa de 11Mbps do teste da sub-seo anterior. Provavelmente, isto se deve ao baixo trfego gerado pelos terminais e pelo AP, no gerando uma mudana signicativa nas medidas. No entanto, com os resultados da Tabela 5.8, constata-se a presena da anomalia, observando-se que o throughput do AP reduzido metade. Neste ltimo teste, o throughput do AP de 12,8Kbps enquanto no teste com 10 usurios, e todos com taxa de transmisso de 11Mbps, de 25Kbps. Logo, para um trfego um pouco mais intenso, gerado pelos 10 usurios, a presena de um terminal com taxa inferior, inui no throughput de todos os demais WTs. Observa-se tambm uma pequena alterao no tempo mdio de resposta. Na Tabela 5.8, este tempo igual a 4,8s, que um pouco maior do que o tempo de 4,2s, para 10 usurios na Tabela 5.6. Isto razovel pois, como a taxa de transmisso dos terminais de 11Mbps limitada pelo de 1Mbps, ento os tempos de resposta dos usurios iro, conseqentemente, aumentar. Indo mais a fundo nesta anlise, observou-se que, para o terminal de taxa de 1Mbps, o tempo de resposta melhorou NUM 15 TPUT 126,6bps GPUT 125,8bps PERDA_AP 0,5% TPUT_AP 30,5Kbps GPUT_AP 21,9Kbps MR_P 3,9s
Tabela 5.9: Medidas para cenrio com 15 usurios web, com taxas diferentes.
93

em relao ao tempo de 6,9s da Tabela 5.5. Esta melhora coerente tambm, pois este terminal o nico com a taxa mais lenta, e portanto, o terminal que espera o menor tempo devido s transmisses dos demais terminais. Na Tabela 5.9 vemos que o throughput do AP (30,5Kbps) tambm reduzido em relao ao caso em que todos os usurios esto a 11Mbps (37,6Kps). Isto era esperado devido anomalia. No entanto, a diferena nos throughputs se mostra inferior diferena encontrada no cenrio anterior, com 10 WTs com taxas diferentes. Provavelmente, o maior nmero de usurios web a 11Mbps resultou em uma diminuio no impacto causado pelo terminal a 1Mbps, pois mais terminais com taxas mais elevadas esto disputando e acessando o canal. Observando os resultados obtidos, podemos concluir que, para o trfego web, o problema ocasionado por terminais transmitindo com taxas diferentes no afeta muito o tempo de resposta, considerando-se uma populao pequena. Apesar de
throughput diminuir, como este no o principal parmetro de desempenho para

este tipo aplicao, perfeitamente aceitvel o uso de taxas diferentes em uma rede 802.11, sendo utilizada por um nmero pequeno de usurios web.
94
Captulo 6 Concluso
H alguns anos, falar sobre redes sem o poderia causar estranheza em grande parte da populao. Poucos equipamentos adaptados para suportar a nova tecnologia de WLANs IEEE 802.11 estavam disponveis no mercado. Atualmente, esta tecnologia pode ser facilmente encontrada em corporaes, universidades e ambientes domsticos, devido, sobretudo, ao barateamento e s facilidades que os equipamentos wireless oferecem. Cafeterias como a StarBucks, e lanchonetes como McDonalds, Bob's e Joe&Leo's oferecem acesso Wi-Fi gratuitamente. Hot Spots em aeroportos, restaurantes e bibliotecas so cada vez mais comuns. Tendo em vista este espantoso crescimento, imprescindvel compreender profundamente todos os mecanismos do protocolo 802.11. Em especial, conhecer seu comportamento face os diferentes tipos de trfego, na tentativa de prever e garantir as necessidades que podero surgir posteriormente. Neste trabalho desenvolvemos um modelo do mecanismo IEEE 802.11, utilizando a ferramenta Tangram-II. O modelo permite avaliar diferentes medidas de desempenho como throughput, perdas e tempo de resposta. Como principais caractersticas do modelo destacamos:
O modelo foi desenvolvido de forma que diferentes tipos de trfego pudessem

95
ser testados, sem que o usurio necessite conhecer os detalhes dos objetos usados para modelar o mecanismo 802.11;
Inclumos tambm um modelo, bastante utilizado na literatura, para representar os erros no canal;
O modelo inclui todos os detalhes do funcionamento da camada MAC do IEEE

802.11, como a fragmentao de pacotes e o algoritmo de backo. O modelo foi validado atravs da comparao de medidas obtidas em uma rede real com medidas calculadas atravs de simulao. Utilizamos um modelo da literatura para representar o comportamento detalhado do usurio web, com o objetivo de estudar algumas medidas de desempenho do mecanismo na presena deste tipo de usurio. Como principais concluses a respeito do mecanismo IEEE 802.11 na presena de usurios web, ressaltamos:
O tempo de resposta e a perda no ponto de acesso apresentam valores aceitveis

para uma populao de at 25 usurios;
Um buer de 256Kbytes, no ponto de acesso, suporta o trfego de retorno web,

de 25 usurios, com uma perda abaixo de 1%. Isto indica que este buer no representa um gargalo neste cenrio e, portanto, a diminuio da razo entre
goodput e throughput, assim como o aumento do tempo de resposta, a medida

que o nmero de usurios crescem, se devem, principalmente, ao crescimento do nmero de colises;
O problema da ineqidade, quando diversos usurios transmitem com taxas

diferentes (constatado em trabalhos anteriores considerando uma rede saturada), tambm ocorre para o trfego web, quando o nmero de terminais ultrapassa um certo limite. Constatamos que o throughput do ponto de acesso diminui com a incluso de um usurio transmitindo com uma taxa mais baixa que os demais. No entanto, para uma populao de at 10 usurios web, o tempo de resposta no possui grandes alteraes, quando comparado com o 96
6.1 Trabalhos Futuros

tempo obtido com terminais transmitindo todos com a mesma taxa. Como esta a principal medida de qualidade para aplicaes web, podemos concluir que a funcionalidade de adaptao dinmica da taxa de transmisso pode ser utilizada em uma rede 802.11, com um nmero reduzido de terminais acessando a web.

Muito ainda pode ser desenvolvido e vrios testes podem ser feitos com o intuito de prever e entender o comportamento do protocolo IEEE 802.11. Muitas idias surgiram durante este trabalho, sem, no entanto, haver tempo hbil para a concluso de todas elas. Abaixo, listaremos algumas destas idias que podero ser futuramente implementadas:
Utilizao de outros tipos de fonte de dados para vericao do comportamento

do protocolo, como, por exemplo, trfego de voz.
Implementao de aspectos da camada fsica do protocolo IEEE 802.11, que

por ventura possam inuir nas medidas de interesse, como, por exemplo, interferncias causadas pelo meio.
Implementao dos vrios tipos de diferenciao de servios, com o objeto de

garantir QoS aos terminais wireless.
Testes simulando redes a d-hoc, ao invs de redes infra-estruturadas. Utilizar simulao de uidos na tentativa de minimizar o tempo de execuo da
simulao, uma vez que o tempo de CPU requerido diretamente proporcional ao nmero de eventos que devem ser executados. Portanto, a simulao a nvel de pacotes pode se tornar invivel caso haja grande quantidade de trfego e uma rede com muitos terminais.
97

Simplicar e otimizar a simulao com usurios web utilizando um agregado
de fontes On-O, ao invs de uma fonte deste tipo para cada objeto Web_User presente no modelo.
98
Apndice A Parmetros Ajustveis do Modelo de Simulao

O objetivo desta seo detalhar os parmetros utilizados no modelo, facilitando sua posterior alterao. Para cada tipo de objeto existente, declarar-se-, para apenas um deles: (i) o nome de cada parmetro, (ii) o valor que foi utilizado no modelo, exibindo-o entre parnteses, e (iii) sua descrio.
A.1 Objeto CBR_Source_1

Parmetros ajustveis:
CBR_RATE (125): Taxa com a qual o evento P acket_Generation, de gerao de pacotes, ser executado.
MSDU_SIZE (8000): Tamanho, em bits, do pacote de dados a ser enviado

pelo Wireless_Terminal_1. Parmetros utilizados na construo do modelo e que, por isso, no devem ser alterados: 99
A.2 Objeto W ireless_Station_1

SEND_PKT_PORT (Source1_to_WT1): Parmetro que dene a porta que
ser responsvel pela comunicao entre os objetos CBR_Source_1 e Wireless_Terminal_1.

WT_NUM (1): Parmetro que identica unicamente um objeto do tipo Terminal Wireless. Portanto, cada objeto deste tipo deve ter um WT_NUM nico.
CW_MIN (32): Valor mnimo da janela de conteno. CW_MAX (1024): Valor mximo da janela de conteno. ACK_SIZE (304): Tamanho total, em bits, da mensagem de Ack. Calcula-se
112 bits da mensagem ACK (incluindo CRC)+ 192 bits do prembulo e do cabealho da camada fsica.
MAX_DATA_SIZE (10000): Tamanho mximo, em bits, do pacote de dados

para que no ocorra a fragmentao do pacote.
MAC_HEADER (272): Tamanho, em bits, do cabealho do MAC(30 bytes)

e CRC(4 bytes).
PHY_HEADER (192): Tamanho, em bits, do prembulo(18 bytes) e cabealho(6

bytes) da camada fsica.
DIFS_TIME (0.00005): Tempo, em segundos, do DIFS. PHYSICAL_SLOT_TIME (0.00002): Tempo, em segundos, do slot de tempo
da camada fsica.
100

ACK_TIME (0.000304): Tempo, em segundos, para a transmisso de um
ACK (Tamanho do Ack (304bits)/Taxa de transmisso (1Mbps)).
SIFS_TIME (0.000010): Tempo, em segundos, do SIFS. ACK_TRANSMISSION_RATE (3289.47): Taxa de transmisso do Ack (inverso da varivel ACK_TIME).
BIT_TRANSMISSION_RATE (1000000): Taxa de transmisso do canal, em

bits por segundo (1Mbps).
WAITING_ACK_RATE (2857.1): Taxa utilizada para o evento W aiting _Ack ,

que simula o tempo de espera de um Ack de um pacote enviado.
WAITING_DIFS_RATE (20000):Taxa utilizada para simular o evento de espera por um tempo DIFS.
SIFS_RATE (100000): Taxa utilizada para simular o evento de espera por

um tempo SIFS.
RETRANSMISSION_LIMIT_NUM (5): Varivel que limita o nmero mximo de retransmisses.
PRINT (0): Varivel de controle do programa que permite (PRINT==1) ou

no (PRINT==0) a impresso de mensagens sobre o estado do objeto.
CW (32): Varivel que controla o tamanho da janela de conteno durante a

simulao. Deve ser sempre inicializada com o valor de CW_MIN. Parmetros utilizados na construo do modelo e que, por isso, no devem ser alterados:
MSG_WT_CH_PORT (WT_CH): Parmetro que dene a porta que ser

responsvel pela comunicao entre os objetos Wireless_Terminal_1 e Channel.
101

Channel_80211 (CHANNEL): Parmetro utilizado para denir um objeto que
ser o destino nico de uma mensagem. Esta denio til quando uma porta conecta mais de dois objetos e deseja-se limitar os objetos destino da mensagem.
RCV_PKT_PORT (Source1_to_WT1): Parmetro que dene a porta que

ser responsvel pela comunicao entre os objetos CBR_Source_1 e Wireless_Terminal_1.
MSG_PKT (2): Parmetro utilizado para identicar a mensagem do tipo

pacote de dados.
MSG_ACK (3): Parmetro utilizado para identicar a mensagem do tipo Ack. Backo_Time_Resume (0): Parmetro que indica se o tempo de backo foi
paralisado devido a alguma transmisso. Esta varivel deve ser sempre inicializada com 0.
Enable_Ev_Waiting_Difs (0): Varivel que controla a execuo do evento W aiting _DIF S . Enable_Ev_Waiting_Backo (0): Varivel que controla a execuo do evento W aiting _Backof f . Enable_Ev_Waiting_Ack (0): Varivel que controla a execuo do evento W aiting _Ack . Enable_Ev_Ack_Transmission (0): Varivel que controla a execuo do evento Ack _T ransmission. Enable_Ev_Waiting_Sifs (0): Varivel que controla a execuo do evento W aiting _SIF S . Frag_Num (0): Varivel que armazena em quantos fragmentos o pacote, que
est sendo transmitido, foi dividido.
102

Initial_Backo_Simul_Time (0): Varivel utilizada para o clculo do tempo
de backo.
Msg_Init (0): Varivel que controla o recebimento da primeira mensagem

relativa a um pacote que est sendo encaminhada para o terminal wireless em questo.
N_TX (0): Varivel que controla o nmero de transmisses correntes no canal. Num_Pkts_To_Send (0): Varivel que armazena o nmero de pacotes que
devem ser enviados pelo terminal wireless.
Num_Success_Pkts (0): Varivel que armazena o nmero de pacotes enviados

com sucesso pelo terminal wireless.
Num_Goodput_Bits (0): Varivel que armazena o nmero de bits totais enviados com sucesso e que receberam o Ack devidamente.
Num_Throughput_Bits (0): Varivel quer armazena o nmero de bits totais

enviados, sem que necessariamente tenham recebido um Ack correspondente enviado pelo terminal destino.
Num_Discarded_Pkts (0): Varivel que armazena o nmero total de pacotes

descartados devido ao nmero mximo de tentativas de transmisso ter sido atingido.
Pkt_ID (0): Varivel utilizada para identicar unicamente um pacote que vai
ser transmistido.
Pkt_Size (0): Varivel utilizada para armazenar o tamanho do fragmento de

um pacote.
Pkt_Num (0): Varivel utilizada para gerar o ID nico do pacote que ser
transmitido.
Pkt_Transmission_Rate (0): Taxa de transmisso de um pacote (Tamanho

do pacote/Taxa de Transmisso do canal). 103
A.3 Objeto Channel

Ready_To_Transmit (0): Varivel utilizada para controlar o evento T ransmission,
indicando que existe um pacote que est pronto a ser transmistido aps ter ganho o acesso ao canal.
Sending_Frags (0): Varivel que indica que fragmentos de um pacote esto

sendo transmitidos.
Trying_Transmission (0): Varivel que indica que existe um pacote na la

para ser transmitido.
Retransmission_Num (0): Varivel que indica o nmero de tentativas de retransmisso que um pacote (ou fragmento) j sofreu.
Waiting_Backo_Rate (0): Taxa do evento de espera pelo tempo de backo

(W aiting _Backof f ).
WT_Num_Dest (0): Varivel que indica o nmero de identicao do terminal wireless destino.
Pkts_To_Send_Queue(4): Varivel do tipo la de inteiros utilizada para armazenar os dados (tamanho e WT destino) dos pacotes que devero ser enviados.
A.3 Objeto Channel

BIT_TRANSMISSION_RATE (1000000): Taxa de transmisso do canal (1Mbps). ERROR_PROB ([ 0.0000000001, 0.00001 ]): Varivel que armazena a probabilidade de erro no canal no estado GOOD e no estado BAD, respectivamente ([1e-10,1e-5]).
RATE_GOOD_BAD (30): Taxa de transio do estado GOOD para o estado

BAD. 104
A.3 Objeto Channel

RATE_BAD_GOOD (10): Taxa de transio do estado BAD para o estado
GOOD.
PRINT (0): Varivel de controle do programa que permite (PRINT==1) ou

no (PRINT==0) a impresso de mensagens sobre o estado do objeto. Parmetros utilizados na construo do modelo e que, por isso, no devem ser alterados:
STATUS_GOOD (0): Parmetro utilizado para identicar o estado GOOD

do canal.
STATUS_BAD (1): Parmetro utilizado para identicar o estado BAD do

canal.
MSG_PORT (WT_CH): Parmetro que dene a porta que ser responsvel

pela comunicao entre os objetos Wireless_Terminal_1 e Channel.
Channel_Status (0): Varivel que indica o estado corrente do canal (GOOD

or BAD).
Collision (0): Varivel que indica se houve (Collision == 1) ou no (Collision

== 0) uma coliso no canal.
N_TX (0): Varivel que indica o nmero de transmisses correntes no canal. TX_Error (0): Varivel que indica se o canal causou erros na transmisso do
pacote/fragmento corrente.
T0_TX (0.0): Varivel utilizada para armazenar os tempos de transmisso de

um pacote, utilizados para o clculo de erros no pacote.
105
A.4 Objeto AP
A.4 Objeto AP
O AP possui um comportamento semelhante ao de um terminal wireless. Sendo assim, todas os parmetros declarados para o Wireless_Terminal_1 so tambm utilizadas por este objeto.
106
Referncias Bibliogrcas
[pro ] Analysis of 802.11 MAC code in NS-2. URL
http://www.winlab.rutgers.edu/ zhibinwu/html/ns2_mac.html. [ns2 ] The Network Simulator - NS2. URL http://www.isi.edu/nsnam/ns/. [sta 2003] (2003). Local and metropolitan area networks - Specic requirements- Part
11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specications. ANSI/IEEE Std 802.11, 1999 Edition.
[Aad e Castelluccia 2001] Aad, I. e Castelluccia, C. (2001). Dierentiation mechanisms for IEEE 802.11. In IEEE INFOCOM, pp. 209218. [Alizadeh e Subramaniam 2004] Alizadeh, F. e Subramaniam, S. (2004). Analytical Models for Single-Hop and Multi-Hop Ad Hoc Networks. In ACM Conference on
Broadband Networks (BROADNETS'04), pp. 449458.

[Bai e Atiquzzaman 2003] Bai, H. e Atiquzzaman, M. (2003). Error Modeling
Schemes for Fading Channels in Wireless Communications: A Survey. IEEE
Communications Surveys and Tutorials, 5(2):29.

[Bianchi 2000] Bianchi, G. (2000). Performance Analysis of the IEEE 802.11 Distributed Coordination Function. IEEE Journal, Selected Areas in Comm., 18:535 547.
107
REFERNCIAS BIBLIOGRFICAS
[Bing 1999] Bing, B. (1999). Measured performance of the IEEE 802.11 Wireless LAN. In LCN '99: Proceedings of the 24th Annual IEEE Conference on Local
Computer Networks, pp. 3442, Washington, DC, USA. IEEE Computer Society.
[Cali et al. 2000] Cali, F., Conti, M., e Gregori, E. (2000). Dynamic tuning of the IEEE 802.11 protocol to achieve a theoretical throughput limit. IEEE/ACM
Trans. Netw., 8(6):785799.

[Carmo et al. 1998] Carmo, R., de Carvalho, L., e Silva, E. S., e Muntz, R. (1998). Performance/Availability Modeling with TANGRAM-II Modeling Environment.
Performance Evaluation, 33:4565.

[Choi e Limb 1999] Choi, H. e Limb, J. (1999). A Behavioral Model of Web Trac. In ICNP '99: Proceedings of the Seventh Annual International Conference on
Network Protocols, pp. 327, Washington, DC, USA. IEEE Computer Society.
[Choi et al. 2005] Choi, S., Park, K., e Kim, C. (2005). On the performance characteristics of WLANs: revisited. In SIGMETRICS '05: Proceedings of the 2005
ACM SIGMETRICS international conference on Measurement and modeling of computer systems, pp. 97108, New York, NY, USA. ACM Press.
[Ci et al. 2001] Ci, S., Sharif, H., e Noubir, G. (2001). Improving performance of MAC layer by using congestion control/avoidance methods in wireless network. In SAC '01: Proceedings of the 2001 ACM Symposium on Applied computing, pp. 420424, New York, NY, USA. ACM Press. [Crovella e Bestavros 1996] Crovella, M. e Bestavros, A. (1996). Self-Similarity in World Wide Web Trac: Evidence and Possible Causes. In Proceedings of SIG-
METRICS'96: The ACM International Conference on Measurement and Modeling of Computer Systems., Philadelphia, Pennsylvania. Also, in Performance
evaluation review, May 1996, 24(1):160-169.
108
[Crovella e Lipsky 1997] Crovella, M. e Lipsky, L. (1997). Long-Lasting Transient Conditions in Simulations with Heavy-Tailed Workloads. In Winter Simulation
Conference, pp. 10051012.

[Crow et al. 1997a] Crow, B., Widjaja, I., Kim, J., e Sakai, P. (1997a). IEEE 802.11 Wireless Local Area Networks. IEEE Communications Magazine, 35:116 126. [Crow et al. 1997b] Crow, B., Widjaja, I., Kim, J., e Sakai, P. (1997b). Investigation of the IEEE 802.11 Medium Access Control (MAC) Sublayer Functions. In INFO-
COM '97: Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution, pp. 126133, Washington, DC, USA. IEEE Computer Society.
[Deng 1996] Deng, S. (1996). Empirical model of WWW document arrivals at access link. In In Proceedings of the 1996 IEEE International Conference on Communi-
cation.
[Dong et al. 2003] Dong, J., Ergen, M., Varaiya, P., e Puri, A. (2003). Improving the Aggregate Throughput of Access Points in IEEE 802.11 Wireless LANs. In
LCN, pp. 682. IEEE Computer Society.

[Duchamp e Reynolds 1992] Duchamp, D. e Reynolds, N. (1992). Measured performance of a wireless LAN. In Proceedings of the 17th Conference on Local
Computer Networks, pp. 494499.

[Dunn et al. 2004] Dunn, J., Neufeld, M., Sheth, A., Grunwald, D., e Bennett, J. (2004). A Practical Cross-Layer Mechanism For Fairness in 802.11 Networks. In
BROADNETS '04: Proceedings of the First International Conference on Broadband Networks (BROADNETS'04), pp. 355364, Washington, DC, USA. IEEE
Computer Society. [Ebert e Willig 1999] Ebert, J. e Willig, A. (1999). A Gilbert-Elliot Bit Error Model and the Ecient Use in Packet Level Simulation. TKN Technical Reports Series
of Technical, University Berlin, March 1999, pp. 137.

109
[Elteto e Molnar 1999] Elteto, T. e Molnar, S. (1999). On the Distribution of
Round-Trip Delays in TCP/IP Networks. In In Proceedings of the 24th Con-
ference on Local Computer Networks LCN'99, pp. 172181.

[Foh e Zukerman 2002] Foh, C. e Zukerman, M. (2002). Performance Analysis of the IEEE 802.11 MAC Protocol. In Proceedings of European Wireless 2002 Con-
ference.
[G. Jaime 2003] G. Jaime (2003). Modelagem e Anlise de Mecanismos para Acesso de Banda Larga Internet. In Master's Thesis, COPPE/UFRJ. [G.Cantieni et al. 2005] G.Cantieni, Ni, Q., Barakat, C., e Turletti, T. (2005). Performance analysis under nite load and improvements for multirate 802.11. Com-
puter Communications, 28(10):10951109.

[Grilo e Nunes 2002] Grilo, A. e Nunes, M. (2002). Performance evaluation of IEEE 802.11e. The 13th IEEE International Symposium of Personal, Indoor and Mobile
Radio Communications, 1:511517.

[Heusse et al. 2003] Heusse, M., Rousseau, F., Berger-Sabbatel, G., e Duda, A. (2003). Performance anomaly of 802.11b. In Proceedings of IEEE INFOCOM
2003, pp. 836843, San Francisco, USA.

[J. Kurose and K. Ross 2003] J. Kurose and K. Ross (2003). Computer Networking
- A Top-Down Approach Featuring the Internet. Addison-Wesley.

[Kim e Hou 2004] Kim, H. e Hou, J. (2004). A fast simulation framework for IEEE 802.11-operated wireless LANs. In SIGMETRICS 2004/PERFORMANCE 2004:
Proceedings of the joint international conference on Measurement and modeling of computer systems, pp. 143154, New York, NY, USA. ACM Press.
[Kim et al. 2005] Kim, H., Yun, S., Kang, I., e Bahk, S. (2005). Resolving 802.11 performance anomalies through QoS dierentiation. IEEE COMMUNICATIONS
LETTERS, 9:655657.
110
[Kumar et al. 2005] Kumar, A., Altman, E., Miorandi, D., e Goyal, M. (2005). New insights from a xed point analysis of single cell IEEE 802.11 WLANs. In Pro-
ceedings of IEEE INFOCOM.

[Liu e Wu 2000] Liu, H. e Wu, J. (2000). Packet Telephony Support for the IEEE 802.11 Wireless LAN. IEEE Communications Letters, 4:286288. [McFarland e Wong 2003] McFarland, B. e Wong, M. (2003). The Family Dynamics of 802.11. ACM Queue - ACM Press, 1(3):2838. [Medepalli et al. 2005] Medepalli, K., Gopalakrishnan, P., Famolari, D., e Kodama, T. (2005). Voice capacity of IEEE 802.11b, 802.11a and 802.11g WLAN systems. In Proceedings of IEEE GLOBECOM 2005, Dallas, TX. [Medepalli e Tobagi 2005] Medepalli, K. e Tobagi, F. (2005). System Centric and User Centric Queueing Models for IEEE 802.11 based Wireless LANs. In Pro-
ceedings of IEEE Broadnets.

[Medepalli e Tobagi 2006] Medepalli, K. e Tobagi, F. (2006). Towards Performance Modeling of IEEE 802.11 based Wireless Networks: A Unied Framework and its Applications. In Proceedings of IEEE INFOCOM. [Metcalfe e Boggs 1976] Metcalfe, R. e Boggs, D. (1976). Ethernet: Distributed packet switching for local computer networks. Commun. ACM, 19(7):395404. [Miorandi et al. 2006] Miorandi, D., Kherani, A., e Altman, E. (2006). A queueing model for HTTP trac over IEEE 802.11 WLANs. ACM Comput. Networks, 50(1):6379. [Paxson e Floyd 1995] Paxson, V. e Floyd, S. (1995). Wide area trac: the failure of Poisson modeling. IEEE/ACM Transactions on Networking, 3(3):226244. [Silva e Leo 2000] Silva, E. S. e Leo, R. M. M. (2000). The TANGRAM-II Environment. In TOOLS '00: Proceedings of the 11th International Conference on
Computer Performance Evaluation: Modelling Techniques and Tools, pp. 366369,

London, UK. Springer-Verlag. 111
[Thompson et al. 1997] Thompson, K., Miller, G., e Wilder, R. (1997). Wide-Area Internet Trac Patterns and Characteristics. IEEE Network Magazine, pp. 1023. [Trivedi 2002] Trivedi, K. (2002). Probability and statistics with reliability, queuing
and computer science applications. John Wiley and Sons Ltd., Chichester, UK.
[Veeraraghavan et al. 2001] Veeraraghavan, M., Cocker, N., e Moors, T. (2001). Support of Voice Services in IEEE 802.11 Wireless LANs. In IEEE INFOCOM, pp. 488497. [W. Chia-Whei Cheng ] W. Chia-Whei Cheng. TANGRAM graphical interface facility (TGIF). URL http://bourbon.cs.ucla.edu:8801/tgif/. [Wang e Moayeri 1995] Wang, H. e Moayeri, N. (1995). Finite-State Markov Channel - A Useful Model for Radio Communication Channels. IEEE Transactions On
Vehicular Technology, 44:163171.

[Wiliams e Kelley ] Wiliams, T. e Kelley, C. Gnuplot. http://www.gnuplot.com. [Wu et al. 2002] Wu, H., Peng, Y., Long, K., Cheng, S., e Ma, J. (2002). Performance of Reliable Transport Protocol over IEEE 802.11 Wireless LAN: Analysis and Enhancement. In Proceedings of the IEEE INFOCOM 2002. [Xiao 2004] Xiao, Y. (2004). An Analysis for Dierentiated Services in IEEE 802.11 and IEEE 802.11e Wireless LANs. IEEE International Conference on Distributed
Computing Systems, 24:3239.
112

Modelagem e Análise Do Protocolo IEEE 802.11

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Modelagem e Análise Do Protocolo IEEE 802.11

Загружено:

Авторское право:

Доступные форматы

MODELAGEM E ANLISE DO PROTOCOLO IEEE 802.

Dissertao submetida para a obteno do ttulo de

Mestre em Cincias em Engenharia de Sistemas e Computao

Isabela Barreto Duncan

MODELAGEM E ANLISE DO PROTOCOLO IEEE 802.11 Isabela Barreto Duncan

DISSERTAO SUBMETIDA AO CORPO DOCENTE DA COORDENAO DOS PROGRAMAS DE PS-GRADUAO DE ENGENHARIA DA

Prof.a Rosa Maria Meri Leo, Dr.

Prof. Edmundo Albuquerque de Souza e Silva, Ph.D.

Prof. Aloysio de Castro Pinto Pedroza, Dr.

Prof.a Morganna Carmem Diniz, D.Sc.

RIO DE JANEIRO, RJ - BRASIL JUNHO DE 2006

Motivao e Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . Roteiro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 Os mecanismos de acesso ao meio do Protocolo 802.11

2.6.2 2.6.3 2.6.4 2.6.5 2.7 2.8

Tipos e Formatos de Frames . . . . . . . . . . . . . . . . . . . . . . . 23 Trabalhos Relacionados . . . . . . . . . . . . . . . . . . . . . . . . . . 28

3 A ferramenta de modelagem Tangram-II

Medidas do Gerador de Trfego . . . . . . . . . . . . . . . . . 38

4 O modelo do protocolo 802.11

A Modelagem de Erros no Canal 4.2.1 4.2.2 4.2.3 4.2.4

Descarte de Pacotes Errneos . . . . . . . . . . . . . . . . . . 58

4.3 4.4 4.5

Anomalia na Performance do 802.11 . . . . . . . . . . . . . . . . . . . 70

5 Modelagem de Usurio WEB como Fonte de Dados do Modelo 802.11

Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 5.1.1 A Modelagem do Usurio Web . . . . . . . . . . . . . . . . . . 77

Nmero de Usurios X Taxa de Transmisso . . . . . . . . . . 88 Diferentes Taxas de Transmisso no mesmo BSS . . . . . . . . 91

A Parmetros Ajustveis do Modelo de Simulao

4.4 4.5 4.6

Grco da Janela de Conteno com BER no estado BAD de 10e-4 . 65

5.3 5.4 5.5

Mdias obtidas ao nal da simulao com BER no estado BAD de 10e-2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

4.7 4.8 4.9

Alocao de freqncia: O funcionamento de uma rede sem o requer que

Interferncias: Interferncias em comunicaes sem o podem ser causadas por

Conabilidade: A conabilidade do canal normalmente medida atravs da

Redundancy Check) e correo de erros (FEC - Forward Error Correction) so

Figura 1.1: Problema do Terminal Escondido. 2

Propagao Multipath: A propragao multipath ocorre quando pores de

Consumo de Energia: Os dispositivos wireless devem ser bastante ecientes em

Mobilidade: Devido possibilidade de deslocamento do terminal sem o, o

Throughput: A capacidade de uma WLAN deve, idealmente, se aproximar

1.1 802.11 Wireless LANs

Figura 1.2: Problema de Enfraquecimento do Sinal.

1.1 802.11 Wireless LANs

cess/Collision Avoidance). Analisaremos este mecanismo no Captulo 2.

1.2 Motivao e Objetivos

Tabela 1.1: Caractersticas dos padres 802.11 encontra-se na camada fsica.

1.2 Motivao e Objetivos

Internet utilizando a tecnologia Wi-Fi.

1.2 Motivao e Objetivos

backo implementado, que no est de acordo com o denido no padro e o

No Captulo 2 apresentamos a Funo de Coordenao Distribuda (DCF),

O Captulo 3 dedicado ferramenta de modelagem TANGRAM-II, utilizada

No Captulo 5 detalha-se a construo do modelo que simula o comportamento

No Captulo 6 apresentamos a concluso deste trabalho, bem como os trabalhos

Captulo 2 Os mecanismos de acesso ao meio do Protocolo 802.11

Sub-camada Dependente do Meio Fsico (PMD)

Sub-camada do procedimento de convergncia do meio fsico (PLCP): Esta

cess/Collision Avoidance)1 . A retransmisso de pacotes colididos feita seguindo

DCF: um componente obrigatrio em todos os produtos compatveis com o

protocolo CSMA/CD(Carrier Sense Multiple Access/Collision Detection), ou seja, com de-

Uma rede ad-hoc (Figura 2.2).

Uma rede com infraestrutura (Figura 2.3).

frame, quando necessrio.

Grco da Janela de Conteno com BER no estado BAD de 10e-4 . 65

Mdias obtidas ao nal da simulao com BER no estado BAD de 10e-2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

Alocao de freqncia: O funcionamento de uma rede sem o requer que

Interferncias: Interferncias em comunicaes sem o podem ser causadas por

Conabilidade: A conabilidade do canal normalmente medida atravs da

Consumo de Energia: Os dispositivos wireless devem ser bastante ecientes em

Mobilidade: Devido possibilidade de deslocamento do terminal sem o, o

backo implementado, que no est de acordo com o denido no padro e o

2.6.1 O Esquema de Backo Exponencial

uma informao congurvel no AP e que identica o BSS.

Tipo (2 bits): Este campo dene o tipo do frame, ou seja, se um frame

Subtipo (4 bits): Este campo dene o subtipo do frame. Por exemplo, se

ToDS (1 bit): Este campo possui o valor 1 quando o frame destinado

Retransmisso (1 bit): Este campo possui valor 1 indicando que esta