Академический Документы
Профессиональный Документы
Культура Документы
2007-ISAL-0103
Anne 2007
Thse
prsente devant
L'Institut National des S
ien
es Appliques de Lyon
pour l'obtention
du Grade de Do
teur
par
Mr RAZAFINDRALAMBO Tahiry
IIT-CNR Pise
Universit Lille 1
Soutenue devant :
Monsieur A. DUDA
Monsieur S. FDIDA
Universit de Lyon
Monsieur L. REYNAUD
Fran e Tl om R&D
Monsieur D. SIMPLOT-RYL
Universit Lille 1
Monsieur S. UBDA
INSA Lyon
Les travaux prsents dans
e mmoire ont t raliss au laboratoire CITI sous la dire
tion du Pr. Isabelle GURIN LASSOUS
et nan
s par Fran
e Tl
om R&D
Remerciements
Dina
1 Introdu
tion
1.1 Contexte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Organisation du do
ument . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
2
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
. 6
. 7
. 8
. 9
. 9
. 10
. 11
. 11
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
14
16
16
19
21
23
24
32
33
35
42
42
43
44
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
48
51
51
52
53
54
56
58
58
61
61
61
62
64
66
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
76
76
76
77
77
78
81
85
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
88
89
89
90
91
91
92
92
93
94
95
95
96
97
98
98
100
100
103
104
104
107
107
108
109
109
111
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
119
3.1
3.2
3.3
3.4
3.5
3.6
3.7
3.8
3.9
3.10
3.11
3.12
3.13
3.14
3.15
3.16
3.17
18
19
20
24
25
26
27
29
29
31
35
37
38
39
40
41
43
4.1
4.2
4.3
4.4
4.5
4.6
4.7
4.8
4.9
4.10
4.11
4.12
4.13
4.14
4.15
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
49
56
58
63
64
65
65
67
68
68
69
70
71
72
72
5.1
5.2
5.3
5.4
5.5
HELLO : Rsultats d'analyse d'un proto
ole HELLO ave
une le M/D/1/K . . . .
HELLO : Analyse du proto
ole HELLO ave
une le M/D/1/K (dirente intensit)
HELLO : MadMa
vs. 802.11 - Rsultats de simulation pour K = 10 . . . . . . . . . .
HELLO : MadMa
vs. 802.11 - Rsultats de simulation pour K = 20 et K = 30 . . . .
HELLO : MadMa
vs. 802.11 - Rsultats de simulation les stations
a
hes . . . . . .
.
.
.
.
.
79
80
81
82
82
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 6
. 7
. 8
. 9
. 10
. 11
HELLO : MadMa
vs. 802.11 - Rsultats de simulation les stations
a
hes ave
des ux UDP
HELLO : MadMa
vs. 802.11 - Rsultats de simulation sur une
ellule dense 1 ux UDP . . .
HELLO : MadMa
vs. 802.11 - Rsultats de simulation sur une
ellule dense ave
4 ux UDP
HELLO : MadMa
vs. 802.11 - Rsultats de simulation sur une
ellule dense ave
8 ux UDP
6.1
6.2
6.3
6.4
6.5
6.6
6.7
6.8
6.9
6.10
6.11
6.12
6.13
6.14
6.15
6.16
6.17
6.18
6.19
6.20
10
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
83
84
85
85
90
97
99
99
101
102
102
103
103
104
105
105
106
106
107
108
108
109
109
110
: rsultats analytiques . . . .
: Rafales . . . . . . . . . . . .
vs. Temps d'agrgation xe .
: dans un
ontexte htrogne
: rsultats sur les trois paires
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6.1
6.2
6.3
6.4
6.5
11
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
98
102
107
110
111
Introduction
Bill Watterson,
1.1 Contexte
1.1 Contexte
Depuis plusieurs annes, la standardisation des rseaux sans l
onnat une a
tivit et un essor
fulgurant. Depuis Hiperlan [22 en passant par Bluetooth [43, Zigbee [43, Wimax [42 et 802.11 [40
(pour n'en
iter que quelques uns), pratiquement tous les standards des rseaux sans l suivent une
volution te
hnologique. Cha
un de
es standards tente de rpondre un besoin sp
ique qui peut
tre le dbit, l'
onomie d'nergie, et
. Parmi tous
es standards, 802.11 a su s'imposer
omme le
standard de fait des rseaux lo
aux sans l.
La norme 802.11 propose deux modes de fon
tionnement. Dans le premier
as, les
ommuni
ations
entre stations doivent imprativement passer par un point d'a
s
entral. Ce dernier gre les a
s
au
anal de
ommuni
ation de
ha
une des stations. Ce mode de fon
tionnement de 802.11 est
onnu
sous le nom de PCF (Point
La proposition du mode DCF dans la norme 802.11 a a
ru l'tude par la
ommunaut s
ientique d'un rseau plus ou moins nouveau. Ce rseau s'appuyant sur les proprits distribues et
d
entralises du mode DCF de 802.11 a
omme parti
ularit son absen
e totale d'infrastru
ture
xe. D'un point de vue historique,
'est l'intert de l'agen
e de dfense amri
aine DARPA (Defense
Advan
ed Resear
h Proje
ts Agen
y ) pour les rseaux sans l et l'apparition du proto
ole ALOHA
1970 qui ont eu pour
onsquen
e le dveloppement des rseaux radio multisauts
tels que les PRNETs (Pa
ket Radio Network). L'un des intrts prin
ipaux de
e type de rseau tait
sa fa
ilit de dploiement : aprs son installation, le systme devait pouvoir s'auto-
ongurer. Le
rseau
ompos de stations, nuds ou terminaux mobiles devait aussi pouvoir, si n
essaire, relayer
les informations entre stations qui ne sont pas porte dire
te de
ommuni
ation radio. Ce type de
ommunaut s
ientique.
Dans les annes
1990,
ad ho .
Plusieurs proto
oles de routage ont t proposs et
ertains d'entre eux ont t standardiss. La
grande majorit des
es proto
oles de routage a t propose en supposant que la te
hnologie sans
l sous-ja
ente, le mode DCF de 802.11 tant souvent sous-entendu, fournissait des performan
es
pro
hes de l'optimale. Des travaux datant de la n des annes
90
2000
ont
ependant montr que les performan
es de 802.11 taient loin d'tre optimales.
La littrature s'a
orde dire que les problmes rendant 802.11 sous-optimal proviennent de la
sous-
ou
he MAC implmente. Ces problmes sont indpendants de la
ou
he physique utilise. La
ou
he MAC,
omme suggre dans le modle OSI [75, a un rle prin
ipal : fournir une transmission
able entre deux stations du rseau. La
ou
he MAC doit fournir une
orre
tion ou une dte
tion
d'erreurs pouvant apparatre au niveau de la
ou
he physique. De plus, la
ou
he MAC est aussi
responsable de la rsolution de
onit pouvant survenir quand direntes stations tentent d'a
der
au mdium de
ommuni
ation en mme temps. C'est don
le rle de la
ou
he MAC de rsoudre
les problmes lis la mobilit, l'asymtrie des liens, et
.,
es problmes provoquant souvent, la
perte de paquets [2. Les deux obje
tifs prin
ipaux de la
ou
he MAC sont de fournir un a
s au
mdium de
ommuni
ation la station lui permettant de transmettre sa trame et de rendre
ette
90
2005,
t proposes pour rsoudre les problmes lis l'a s able que doit fournir la ou he MAC des
ad ho .
rseaux sans l et
grandes
atgories. La premire
atgorie
ontient les solutions rsolvant le problme de abilit
en emp
hant
ertaines stations d'mettre. Cette premire
atgorie de solution revient fournir
un sous-ensemble de stations un a
s able quasi permanent au mdium radio. Ce sous-ensemble
de stations est
hoisi de telle sorte que les transmissions de
es stations ne provoquent au
une
ollision entre elles. La se
onde
atgorie propose d'orir un a
s toutes les stations en mettant
en pla
e des m
anismes plus ou moins
omplexes permettant une transmission sans
ollision de
toutes les stations. Pour
e faire, les transmissions de
haque station sont ordonnan
es pour viter
les
ollisions.
Les deux
atgories de solutions proposes dans la littrature ont deux obje
tifs bien distin
ts et
souvent opposs. Dans la premire
atgorie, les solutions
her
hent favoriser les stations tant dans
les meilleures
onditions pour transmettre
orre
tement leurs trames. En favorisant
es stations,
le proto
ole MAC permet ainsi d'augmenter l'e
a
it du rseau. Dans la se
onde
atgorie, les
solutions
her
hent fournir un a
s toutes les stations. En
her
hant fournir
et a
s toutes
les stations,
es solutions sont plus quitables mais souvent moins e
a
es que les solutions de la
premire
atgorie.
Selon nous, les propositions de
ou
he MAC faites dans la littrature se pla
ent soit dans une
atgorie, soit dans l'autre. Ces solutions ont pour obje
tif d'tre soit e
a
es ou quitables. Au
une
solution, du moins au dbut de
ette thse et notre
onnaissan
e, ne rpondait au
ompromis
quit-e
a
it mis en avant par la littrature. L'obje
tif prin
ipal de
ette thse a don
t de
on
evoir un proto
ole MAC s'insrant dans une nouvelle
atgorie de proto
ole quitable et e
a
e
pour les rseaux
ad ho .
ad ho
802.11.
Avant de nous intresser aux proto
oles MAC, nous avons tudi 802.11 d'un point de vue thorique. Bien que des tudes similaires existent dans la littrature,
es tudes ne nous ont pas apport
les intuitions n
essaires la
on
eption d'une
ou
he MAC e
a
e et quitable. Dans le troisime
hapitre, nous prsentons une tude thorique des performan
es de 802.11. Cette tude thorique
s'appuie sur les algbres de pro
essus sto
hastique. Ce
hapitre a un double obje
tif. L'obje
tif
prin
ipal est d'tudier le
omportement de 802.11 dans des
as pathologiques bien
onnus mettant
dfaut la mthode d'a
s DCF de 802.11. Ces
as pathologiques sont prsents par des s
narii
ad ho .
performan
es de 802.11 tant d'un point de vue quantitatif que qualitatif sur
es s
narii. Le se
ond
obje
tif t de proposer un modle gnrique pour l'valuation des performan
es de rseaux
ho .
ad
Pour e faire, nous avons exploit l'appro he ompositionnelle propose par les algbres de
pro
essus pour
on
evoir un modle aussi bien extensible que rutilisable pour fa
iliter l'tude des
rseaux
ad ho .
Dans le quatrime
hapitre, nous proposons MadMa
, un proto
ole MAC e
a
e et quitable
s'appuyant sur 802.11. MadMa
d
oule des rsultats thoriques obtenus dans le pr
dent
hapitre. L'ide prin
ipale de MadMa
est de fournir de l'quit entre les stations d'un rseau
ho .
ad
Cependant, pour on evoir e proto ole, nous nous sommes imposs quelques restri tions. La
premire et
elle qui nous paraissait la plus importante,
'est la rdu
tion de la sur
harge proto
olaire. Nous avons voulu, pour MadMa
, au
un
hange de messages
omportant les informations
n
essaires pour l'obtention d'une quit donne. Ainsi, nous avons prfr que MadMa
soit moins
performant d'un point de vue de l'quit plutt que de lui apporter des informations. Ce
hoix devait
aussi permettre MadMa
d'tre plus performant
on
ernant la transmission des donnes utiles.
La deuxime
ontrainte, moins forte, que nous nous sommes imposs est la simpli
it. Nous avons
voulu que les m
anismes de MadMa
soient les plus simples possible et rutilisent au maximum les
m
anismes dj utiliss dans 802.11.
Le
inquime
hapitre aurait pu tre in
lus dans le quatrime, mais nous avons voulu les sparer
dans un sou
i d'quilibre. Dans
e
hapitre, nous tudions l'impa
t des proprits d'un proto
ole
MAC sur un proto
ole de la
ou
he
de voisinage en fon
tion de la
ou
he MAC sous-ja
ente. Ce
hapitre nous montre l'utilit ou non
d'avoir des performan
es parti
ulires au niveau de la
ou
he MAC. MadMa
et 802.11 sont valus
omme
ou
he MAC sous-ja
ente un proto
ole de d
ouverte de voisinage. Ce
hapitre prsente
les derniers rsultats que nous avons obtenus durant
ette thse. Bien que
es rsultats ne soient pas
ompltement aboutis, ils nous ont paru susamment intressants pour faire l'objet d'un
hapitre
entier.
Le sixime
hapitre est
onsa
r un problme d'quit parti
ulier dans un rseau lo
al sans l.
Dans
e
hapitre, nous proposons une solution l'anomalie de performan
e de 802.11b que nous
regardons tel qu'il est prsent dans la littrature
'est--dire dans une
ellule de
ommuni
ation
802.11b. PAS (Performan
e
Anomaly Solution )
soudre l'anomalie de performan
e. Cette solution, en plus de rsoudre
e problme bien
onnu de
802.11 peut tre utilise au-dessus de n'importe quel proto
ole MAC utilisant une
oute a
tive du
mdium. Dans
e
hapitre, nous avons fait le
hoix d'valuer les performan
es du
ouple 802.11/PAS.
Le septime
hapitre
on
lut
ette thse et prsente brivement les suites donner
es travaux.
empirer
Bill Watterson,
Sommaire
2.1
2.2
2.3
2.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6
7
8
9
2.5 Remarques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Logi al Link Layer (LLC) de la pile proto olaire OSI. La gure 2.1 prsente l'ar hite ture
Les quatres
ou
hes physiques, en mme temps qu'elles dnissent les
ara
tristiques du
anal radio utilis, dnissent aussi les dirents
odages permettant de abiliser les transmissions.
FHSS (Frequen
y
et DSSS (Dire t
sont des
te
hniques talement de spe
tre. Le premier est un talement de spe
tre par saut de frquen
e
et le se
ond, un talement de spe
tre squen
e dire
te. OFDM (Orthogonal
Frequen y Division
Multiplexing ), quant elle, est une te
hnique de division du signal sur des porteuses
IR (Infra Red) est une te
hnique utilisant les
ommuni
ations infra-rouges.
orthogonales.
Dans sa premire version propose en 1997 [40, la bande de frquen e utilise tait dans les
900
MHz. Les direntes extensions telles que 802.11a, 802.11b et 802.11g utilisent des bandes de
2.4Ghz
et dans les
5GHz.
Les direntes bandes de frquen
e et les dirents
odages disponibles pour
haque version de
la norme font que les dbits de 802.11a, b, et g peuvent varier de
54
restri
tions lies au
odage utilis. De plus, en fon
tion des te
hnologies utilises, les portes de
ommuni
ations varient de quelques dizaines quelques
entaines de mtre.
bien que la mthode DCF puisse tre utilise dans tous les types d'ar
hite
tures. Nous reviendrons
sur les modes de fon
tionnement de la
ou
he MAC dans les se
tions suivantes.
La
ou
he LLC reprsente la gestion de la le d'attente
ontenant les paquets devant tre traits
par la
ou
he MAC. Nous ne d
rirons pas i
i les sp
i
its de
ette
ou
he. Cette
ou
he est
similaire
elle d'ethernet.
le mode infrastru
ture. C'est le mode pour lequel 802.11 a t
onu. Dans
e mode, des stations
de base ou points d'a
s sont relies entre elles par une infrastru
ture laire. Les stations mobiles
sont relies un point d'a
s leur permettant ainsi d'a
der au servi
e rseau. Pour
ommuniquer
entre elles, les stations doivent imprativement passer par la station de base. Le se
ond mode est le
ad ho
qui
onsiste simplement autoriser les stations
ommuniquer entre elles tant qu'elles
porte de
ommuni
ation l'une de l'autre. Notons qu'un rseau ad ho
n'est pas for
ment
mode
sont
un rseau multi-saut.
Station 1
Station de Base
Station 0
Station 2
Station 2
Station 1
ad ho
ture
Comme nous l'avons non
pr
demment, 802.11 dispose de deux mthodes d'a
s : PCF et
DCF. Ave
la mthode d'a
s PCF,
e sont les stations de base qui ont la
harge de l'a
s au
mdium radio. Cet a
s se fait de manire
entralise :
'est la station de base qui d
ide quand
une station peut a
der au mdium. Notons que trs peu de
artes rseau sans l implmente le
mode PCF. Ave
la mthode DCF, l'a
s est totalement distribu et il n'y a au
une distin
tion
entre les stations et les stations de base.
Les parti
ularits des deux mthodes d'a
s font que DCF est adapt aussi bien pour le mode
ad ho
que pour le mode infrastru ture, alors que le mode PCF ne peut tre utilis qu'en mode
infrastru
ture. Dans la suite de
e manus
rit, quand nous ferons rfren
e la mthode d'a
s de
802.11, nous supposerons que
'est la mthode d'a
s DCF. Cette mthode d'a
s est d
rite plus
en dtail dans la se
tion suivante.
Sense
sur lequel il est di
ile,
ontrairement au rseau laire, de transmettre un paquet et de dte
ter en
mme temps une
ollision sur
elui-
i.
CSMA/CA utilise les prin
ipes de base de CSMA. Ces proto
oles sont bass sur une
oute
a
tive du
anal radio an de dterminer si le
anal est libre ou non. Si un signal est reu ave
une
puissan
e suprieure un seuil appel
orrespondant la puissan
e minimale ave
laquelle un signal doit tre reu pour pouvoir tre
d
od. Si deux stations sont porte de
ommuni
ation, on suppose que
ha
une peut d
oder les
paquets de l'autre.
Si un terminal veut envoyer un paquet, il doit attendre que le mdium soit libre pendant un
temps d'attente xe appel DIFS (DCF
s
ruter le mdium. Si le mdium a t libre pendant tout
e temps, il peut alors envoyer son paquet.
Si le mdium est o
up au dbut de l'
oute du
anal ou est devenu o
up pendant
e temps
d'attente xe, alors la station tire un nombre alatoire appel
[0; CWmin ]
appel
fentre de ontention
ba ko
un nombre entier de slots, le slot tant une unit de temps de 802.11. Lorsque le mdium devient
libre, la station attend de nouveau un temps DIFS avant de d
rmenter son ba
ko slot par slot.
Pendant toute
ette opration, le mdium doit rester libre. S'il devient o
up, le pro
essus est
arrt et reprendra lorsque le mdium deviendra libre nouveau,
i.e.
nouveau un temps d'attente xe DIFS et son nouveau ba
ko
orrespondra au nombre de slots de
ba
ko restant lors de l'arrt du pro
essus. Une fois que le ba
ko atteint la valeur nulle, le paquet
peut tre mis par la station. Ce pro
essus est d
rit sur la gure 2.3.
DIFS
BACKOFF
DIFS
BACKOFF
TRAME
SIFS
ACK
STATION 1
DIFS
TRAME
STATION 2
MEDIUM
MEDIUM LIBRE
MEDIUM OCCUPE
stations attendent DIFS et leur ba
ko respe
tif. Le ba
ko de la station 1 est plus
ourt.
Celle-
i transmet son paquet o
upant ainsi le mdium. A la n de sa transmission,
'est
dire la r
eption de l'a
quittement, la station 2 attend un DIFS et le reste de son
ba
ko, puis transmet son tour sa trame.
Pour savoir si le paquet mis a t
orre
tement reu par le destinataire, 802.11 utilise un m
anisme d'a
quittement. En eet, il n'est pas possible pour un terminal de dte
ter la
ollision
potentielle de son paquet tout en l'mettant. Par
onsquent, le destinataire envoie, aprs un temps
d'attente xe SIFS, un paquet d'a
quittement l'metteur s'il a
orre
tement reu son paquet. Si
ponential Ba ko )
Ex-
: lorsqu'un metteur onsidre que son paquet a subi une ollision, il va doubler
la taille de sa fentre de
ontention et
hoisir un ba
ko dans
ette nouvelle fentre de
ontention
lors de la rmission de son paquet. L'augmentation de
ette fentre de
ontention revient doubler
la valeur de la borne suprieure de l'intervalle pr
dent. Si
e paquet subit une
ollision en
ore une
fois, la taille de la fentre de
ontention est double nouveau. Ce pro
essus s'arrte si le paquet est
transmis
orre
tement ou si la fentre de
ontention a atteint une taille maximum (CWmax ) dnie
par le standard. Dans 802.11, le nombre de retransmissions pour un paquet est limit. Ainsi, quand
le nombre de retransmissions est atteint ou quand le paquet est transmis
orre
tement, la fentre
de
ontention est rinitialise
CWmin
Dans
ette se
tion, nous d
rivons les problmes prin
ipaux lis la mthode d'a
s DCF utilise
dans la norme IEEE 802.11. Le proto
ole MAC est utile pour le partage du mdium radio entre les
stations sans l
on
urrentes. Le rle du proto
ole MAC est de fournir un a
s toutes les stations
du rseau, et de faire en sorte que
et a
s soit
orre
t (sans
ollision).
Certains travaux de la littrature [14 ont
ependant montr que 802.11 n'arrive pas fournir
systmatiquement
et a
s
orre
t toutes les stations. Ces problmes d'a
s sont ds des
ongurations (ou topologies ou s
narii) parti
ulires des stations mettant en dfaut la mthode
d'a
s CSMA/CA utilis dans 802.11. Nous d
rivons rapidement
es topologies dans les sousse
tions suivantes.
Station 2
Station 0
omme tant libre et ne sont ainsi jamais interrompues. Les transmissions simultanes
des stations
et
d'a
quittement.
Un problme
lbre est le problme des "stations
a
hes" prsent sur la gure 2.4 : deux
stations indpendantes,
i.e.
porteuse, her hent envoyer des paquets un mme destinataire. Dans ette onguration, elles ne
probabilit d'une transmission
orre
te augmente quand les paquets transmis par les stations sont
de petite taille. Notons que l'apparition des
ollisions et l'augmentation de la fentre de
ontention
rduisent les performan
es du proto
ole MAC. Pour emp
her l'apparition d'une telle situation, le
mode DCF fournit un mode optionnel d'
hange de paquets de
ontrle de petite taille appels RTS
et CTS. Avant de transmettre ses donnes, un metteur envoie un paquet de
ontrle RTS (Request
to Send )
son destinataire. Tous les mobiles porte de ommuni ation de l'metteur qui ont
reu
e RTS savent qu'une
ommuni
ation va avoir lieu. Comme la dure de la
ommuni
ation est
pr
ise dans le paquet RTS,
es mobiles peuvent alors se bloquer et s'emp
her d'mettre pendant
toute
ette priode. Cette opration est ralise gr
e au NAV (Network
qui
sto
ke la valeur de
ette dure et qui joue le rle d'horloge. Le r
epteur qui reoit le RTS renvoie
un paquet de
ontrle CTS (Clear
to Send )
le mme eet que le RTS pour les mobiles porte de
ommuni
ation du r
epteur. la r
eption
du CTS, l'metteur sait que le mdium a t rserv et qu'il peut don
mettre ses donnes.
Station 1
Station 2
Station 3
0 et la station 2 sont
1 et 3 respe
tivement.
spares par
Dans
e
as,
0
2 se trouve dans une situation
ollisions. Dans
e s
nario, les deux metteurs ont
ha
un deux r
epteurs distin
ts. I
i, la station
se retrouve dans une situation de stations
a
hes alors que la station
o
es transmissions sont
orre
tes et elle ne peroit jamais le mdium
omme tant o
up. Les
ollisions gnres au niveau de la station
la station
ba ko
10
et don pour
2.5 Remarques
0, elle ne
ba
ko de la station 2. Le temps de d
rmentation
ompris entre [0; CWmin ],
e qui n'tait pas le
as dans le
l'ensemble du rseau. Notons que pour qu'une transmission soit
orre
te pour la station
doit pas ex
der le temps de d
rementation du
du
ba ko
de la station
est toujours
s
nario des stations
a
hes. Il est aussi important de noter que bien que l'utilisation des RTS et
CTS dans
e s
nario permet de rquilibrer l'a
s au mdium des deux stations,
elui-
i ne rsoud
pas
ompltement le problme. En eet, la station
1 est
0.
Paire 0
Paire 1
et
Paire 2
1).
Ce dsquilibre
au niveau de la
on
urren
e pour l'a
s au mdium entre les paires extrieures et la paire
entrale provoque un dfaut d'a
s pour
elle-
i. Dans
e s
nario, la paire
entrale doit
attendre un re
ouvrement des priodes de d
rmentation des paires extrieures pour pouvoir d
rmenter son
ba ko.
par exemple)
a
de au mdium, elle bloque la paire
entrale permettant ainsi l'autre paire extrieure (paire
de d
rmenter son
ba ko
la transmission de la paire
blo
age permet la paire
2)
0 se termine,
entrale ne peroit quasiment jamais le mdium omme tant libre et ne d rmente jamais son
ba ko.
2.5 Remarques
Dans
e
hapitre, nous avons prsent brivement le fon
tionnement de la
ou
he MAC de 802.11.
Nous avons dlibrment omis de pr
iser les dures des temporisateurs IFS et aussi les valeurs de
CWmin , CWmax et du nombre de retransmission maximum autoris pour un paquet. Dans la plupart
des
as,
es valeurs sont lies la
ou
he physique utilise et pour des raisons de
lart, nous ne les
avons pas
ites i
i.
11
2.5 Remarques
Les s
narii prsents dans
e
hapitre sont les s
narii de base identis dans la littrature
omme posant des problmes la mthode d'a
s. Il est possible d'aggraver les problmes d
rits
i-dessus en rajoutant par exemple plusieurs stations
a
hes ou en augmentant le dsquilibre dans
le s
nario des trois paires. Cependant, les deux problmes basiques de 802.11 que l'on retrouve
12
tantane ?
Bill Watterson,
13
Sommaire
Les topologies . . . . . . . .
Les algorithmes de ba
ko .
Les mtriques . . . . . . . .
Rsultats . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
24
32
33
35
ad
est don utile pour nous apporter quelques lair issements non ralises
apportes ont t tudis analytiquement dans la littrature. Nous ne faisons pas dans
ette se
tion
une revue de toutes les modi
ations de 802.11 proposes. Nous nous pen
hons sur les prin
ipales
mthodologies analytiques employes pour valuer 802.11 et ses modi
ations.
La mthodologie la plus utilise pour valuer les performan
es de 802.11 s'appuie sur les
hanes
de Markov. La plus
onnue est
elle propose par Bian
hi [6 en 2000. Cette tude value les performan
es,
omme le taux d'o
upation du
anal et le taux d'erreur de 802.11 dans un
ontexte de
rseau ave
station de base. Elle propose une valuation asymptotique du
omportement de l'algorithme du ba
ko dans
e
ontexte. Plusieurs travaux tudiant d'autres algorithmes de ba
ko
pour 802.11 sont drivs de
e modle. Les prin
ipaux avantages du modle propos par Bian
hi
sont sa pr
ision sur le
omportement asymptotique et sa fa
ilit d'extension entre autre l'tude
d'autres algorithmes de ba
ko. Des modi
ations ont aussi t apportes sur le modle de Bian
hi
pour prendre en
ompte une arrive poissonnienne de paquets
modle propos par Bian hi se situe dans l'impossibilit d'tendre le modle pour l'tude de s narii
ad ho .
prend pas en ompte les direntes intera tions possibles entre les nuds. Ce travail suppose aussi
14
ad ho
n'est pas
for
ment vrai. L'autre in
onvnient li au modle de Bian
hi est l'impossibilit d'tudier d'autres
ritres de performan
e.
Deux autres appro
hes utilisant les
hanes de Markov et proposant une tude de 802.11 sont
proposes dans [55 et [15. Ces deux appro
hes tudient deux s
narii
ad ho
parti uliers. La
premire propose une valuation de 802.11 dans le
ontexte des stations
a
hes [5 et la se
onde
dans le
ontexte des 3 paires [14. Ces deux appro
hes
her
hent mettre en avant les problmes
d'quit inhrents
es deux s
narii. Les deux appro
hes proposent des rsultats pr
is sur le
omportement gnral de 802.11 mettant en avant les
auses du dsquilibre, provoquant ainsi un
problme d'quit. Tout
omme le modle propos par Bian
hi, la faiblesse de
es deux appro
hes est
l'extension d'autres s
narii. La
ombinaison des rsultats de Bian
hi [6, Chaudet et al. [15 et Li
et al. [55 permettent d'avoir un panel important de rsultats
on
ernant 802.11. Cependant, il existe
d'autres s
narii qu'au
une modi
ation des trois modles ne permet de modliser simplement.
La mthodologie propose dans [29 et [28 s'appuie sur un pro
essus semi-markovien de renou-
ad ho
ad ho
du
les auteurs
pro
dent en deux tapes. Durant la premire tape, les auteurs
her
hent obtenir les probabilits
de transition entre les dirents tats du mdium, les probabilits de
ollision et de transmission de
haque station. L'obtention de es probabilits se fait partir du modle de Bian hi et/ou de [52
et d'analyse
omplmentaire des intera
tions entre les stations. Une fois
es probabilits obtenues,
elles sont inje
tes dans la
hane de Markov permettant ainsi d'avoir les mtriques de performan
es.
La di
ult dans l'appro
he propose est la dtermination de
es probabilits qui est souvent faite
partir d'approximation du
omportement de l'algorithme de
ba ko
des intera
tions de
haque station. Selon nous les approximations faites apporte un biais au rsultats. De
e fait, les rsultats obtenus sur les stations
a
hes et sur les trois paires (par exemple) sont
beau
oup moins pr
is que les rsultats obtenus ave
les mthodologies d
rites dans [55 et [15.
L'tude de 802.11 propose dans [10 approxime le
omportement du proto
ole par un proto
ole
p-persitant. Cette appro
he permet,
omme pour la mthode de Bian
hi, d'extraire les performan
es
du proto
ole 802.11. Les rsultats montrent que le modle utilis prsente des rsultats trs pro
hes
des rsultats de simulations de 802.11. Mais tout
omme le modle de Bian
hi,
e modle est destin
tudier le
omportement de 802.11 dans le mode infrastru
ture. L'extension de
e modle pour
l'tude de rseaux
ad ho
voulu
iter
e travail
ar il fait partie des modles se dmarquant du modle de Bian
hi. Notons
qu'il existe une multitude de modles et de mthodes
omme
eux proposs par
[10 et [6 pour
valuer analytiquement les performan
es de 802.11 dans une
ellule de
ommuni
ation. Cependant, il
nous parat utile de
iter aussi les rsultats prsents dans [4 qui se dmarquent des autres rsultats
ar les auteurs n'valuent pas l'e
a
it mais l'quit de 802.11 dans une
ellule de
ommuni
ation.
En rgle gnrale, la littrature montre que les modles les plus adapts l'tude de 802.11 sont
les modles probabilistes, markoviens (sto
hastiques). Sans droger
ette rgle, nous avons voulu
proposer un modle permettant d'valuer les performan
es de 802.11 ayant les avantages suivants :
1) Le modle doit permettre d'extraire en mme temps que des mesures de performan
es
lassiques,
des mesures en termes d'quit si n
essaire ; 2) Le modle doit permettre d'tudier fa
ilement
dirents algorithmes de ba
ko ; 3) Le modle doit permettre d'tudier direntes topologies ; 4)
Le modle doit tre fa
ilement extensible pour le faire voluer en fon
tion des besoins ; 5) Bien sr,
le modle doit rester de taille raisonnable pour qu'il soit exploitable ; 6) La pr
ision doit pouvoir
tre modie selon la qualit des rsultats re
her
he. Selon nous, il n'existe pas dans la littrature
1
15
ad ho
onnus
pour les problmes d'quit qu'ils engendrent ave
l'utilisation de 802.11. De notre point de vue, la
faiblesse de
ette appro
he est qu'elle est di
ilement extensible l'tude d'autres algorithmes de
ba
ko,
ar les auteurs de
[50 n'ont pas onu le modle dans e sens et n'ont don pas isol le
omportement de ba
ko du
omportement gnral du nud. Le travail que nous exposons par la
suite est une gnralisation du travail de
[50.
Nous avons
hoisi
omme formalisme de modlisation les algbres de pro
essus sto
hastiques, plus
parti
ulirement PEPA (Performan
e
Ce formalisme a t dvelopp
en 1994 par J. Hilston [36 et tend l'algbre des pro
essus
lassiques en assignant une variable
alatoire, reprsentant une dure,
haque a
tion. Ces variables sont distribues exponentiellement
e qui
onduit une relation vidente entre un modle d
rit sous forme d'algbre de pro
essus et
un pro
essus de Markov en temps
ontinu. C'est partir de
e pro
essus markovien que les mesures
de performan
es peuvent tre extraites.
Le prin
ipale avantage de
e formalisme, selon nous, est l'appro
he
ompositionnelle qu'elle propose. Ainsi, un modle est
onstruit partir de
omposante reprsentant une partie du systme
modliser. Cette appro
he
ompositionnelle permet de diviser le modle pour une meilleure
omprhension de
elui-
i mais aussi pour une rutilisation ultrieure des
omposantes dj d
rites.
De plus, PEPA in
lut une te
hnique de simpli
ation des modles qui exploitent l'quivalen
e des
omportements pour rduire l'espa
e d'tat. Cette te
hnique est prsente dans [36 et est
onnue
sous le nom d'agrgation. Ajouter
ela, pour rpondre au problme d'explosion de l'espa
e d'tat,
PEPA propose une te
hnique permettant d'avoir une version
ompa
te de la
hane de Markov
sous-ja
ente au modle PEPA [37.
Bien que l'aspe
t
ompositionnel et/ou les te
hniques d'agrgation se retrouvent dans plusieurs
autres formalismes
omme les rseaux d'automates sto
hastiques [65, les rseaux de Petri sto
hastiques [20 et
., PEPA l'avantage d'tre simple d'utilisation gr
e un ensemble rduit d'oprateurs. PEPA est aussi utilis
omme formalisme pour un nombre important d'outils
omme PEPA
workben
h [30, Mobius [19 et PRISM [18, permettant ainsi d'exploiter au mieux les modles
PEPA.
Le formalisme de PEPA
omposantes. Chaque
ompoa
tions : une a
tion a Act est d
rite par
r R+ est le paramtre de la loi exponentielle
Les modles PEPA sont d
rits
omme des intera
tions de plusieurs
sante peut suivre le
omportement d'une ou de plusieurs
le
ouple
(, r)
Act
est le
type
de l'a tion et
lie
ette a
tion. Un ensemble d'oprateurs est propos dans PEPA pour
onstruire des modles
omplexes partir de
omposantes exprimes simplement. Ce sont les oprateurs
lassiques des algbres de pro
essus :
Prex, Choi e, Parallel omposition, Abstra tion. Dans la suite, nous d rivons
les oprateurs que nous utilisons. Pour plus de renseignements sur le formalisme PEPA, nous vous
invitons
onsulter [36.
16
- Prex :
Une omposante peut avoir un omportement squentiel dans lequel elle suit une su -
ession d'a tions avant de suivre le omportement d'une autre omposante. Dans e as, l'oprateur
prex,
e.g. (, r).P
1/r , puis aura
se
omportera d'abord
le
omportement de la
P . Dans ertains as, le taux de l'a tivit n'est pas sp i, ar non onnu lors de l' ri-
ture du modle. Ce taux sera alors a
quis par syn
hronisation ave
une autre
omposante possdant
le taux. Dans
e
as, le taux d'a
tivit est sp
i ave
un symbole parti
ulier
passive.
- Choi e : Cet
La
nature
ontinue des distributions de probabilits nous garantit que
es deux a
tions ne peuvent pas
se produire simultanment. Le
omportement nal sera
elui de la premire a
tivit se terminer.
- Parallel omposition :
travers
ertaines a
tions. Il permet don
la syn
hronisation entre deux
omposantes. Par exemple,
le systme
Q
P
L
et
droulent dans
et
plus petit taux d'a
tivit des deux
omposantes. Cela implique que le taux d'une a
tion passive sera
le taux de l'a
tion ave
laquelle elle se syn
hronise.
P ,
on dit que
est drive de
P.
ds(P )).
partir de et ensemble de
M/M/1/N
dja tudie dans [49. Dans
et exemple, le systme est
ompos d'un serveur et d'une le d'attente
de
apa
it
M/M/1/N .
17
et
Serveur
et
F ile.
La
def
=
Serveur
La omposante reprsentant la
F ile_0
F ile_1
...
F ile_i
...
F ile_N 1
F ile_N
F ile
def
=
def
=
def
=
def
=
def
=
def
=
def
=
(service, ).Serveur;
Sur
ette
omposante, la dure de l'a
tion servi
e n'est pas dnie. L'a
tion
sa dure partir de l'a
tion
service
Serveur .
de la omposante
(service, )
prend
System
def
=
Serveur
service
F ile
Nous voyons sur
ette
omposante que l'a
tion servi
e fait partie des lments de syn
hronisation
des deux lments
Serveur
et
F ile.
Serveur
peut
fa ilement tre supprime. Pour obtenir les mmes rsultats, il sut pour ela d'enlever la omposante et de modier l'a tion
(service, )
de la omposante
F ile
(service, ).
Tout
l'intrt de PEPA est de pouvoir modliser le systme en plusieurs
omposantes permettant ainsi
une rutilisation des modles.
Comme dit pr
demment, PEPA n'est pas un formalisme paramtr. Tous les paramtres du
modle doivent tre
onnus ds le dpart. Ainsi dans notre exemple, la valeur de
Si on suppose que
N = 2,
hane de markov sous-ja ente au modle est prsente sur la gure 3.2
Serveur
File_0
arrive,
Service,
Serveur
File_1
arrive,
Service,
Serveur
File_2
est gal
2.
La rsolution de la
hane de Markov drive du modle PEPA peut se faire ave
plusieurs
te
hniques. La plus simple est d'utiliser des outils
omme PEPA workben
h ou Prism. Ces outils
permettent de rsoudre le systme d'quation :
18
M/M/1/N .
M/M/1/N
ave
N =2
Q = 0
O
= (0 , 1 , 2 )
est le
0
( + )
0
ad ho ,
voisinage de
haque nud. Il est don
important de modliser
es intera
tions qui reprsenteront la
topologie du rseau.
Pour une meilleure gnri
it du modle, il est important de disso
ier le nud des intera
tions
qui inuent sur
elui-
i. Ainsi, un nud peut tre dni (sans
onsidrer les intera
tions) par
l'appli
ation qu'il ex
ute. Cette appli
ation, dans notre
as, est reprsente par une sour
e de
tra
. Chaque paquet ainsi
r par l'appli
ation doit tre envoy sur le rseau. Le rseau, plus
pr
isment le mdium radio, est une ressour
e partage par les nuds suivant les intera
tions
dnies pr
demment.
Tous les nuds du rseau vont a
der la ressour
e partage. Pour
e faire,
haque nud dispose
d'un moyen d'a
s au mdium radio. Ce moyen d'a
s, dans un terminal sans l, est reprsent
par la
ou
he MAC (Medium
mthode d'a
s est
ette
ad ho ,
faon. Nous entendons par l que le r
epteur n'a qu'un rle,
'est lui d'envoyer ou non des
a
quittements suivant la validit de la donne qu'il reoit. Ainsi,
'est la r
eption ou non de
et
a
quittement qui fait voluer le
omportement du nud metteur. En revan
he, la r
eption,
orre
te
19
Mthodologie
omplte
NOEUD 1
NOEUD 2
Application
Application
{SET 1}
File dattente
File dattente
{SET 2}
Algorithme de
backoff
{SET 3}
Topologie
Interactions
Mthode daccs
{SET 4}
Mthode daccs
Algorithme de
backoff
{SET 5}
Etat du Canal
Radio
Fig. 3.3: PEPA : Mthodologie de d oupage d'un rseau en omposantes. Ce d oupage permet
{SET }
ad ho
en omposante. Chaque
ad ho .
Nous
modlisons, notre appli
ation par un gnrateur de tra
qui peut simplement tre une arrive
poissonnienne.
Contrairement la des
ription faite plus haut, plusieurs
omposantes forment notre modle de
rseau
ad ho .
buer
haque paquet r
par l'appli
ation. La relation entre le gnrateur de tra
et la le d'attente
orrespond une a
tion
simple qui
onsiste mettre un paquet dans la le d'attente.
La le d'attente sert de
omposante liant le gnrateur de tra
(l'appli
ation) la mthode
d'a
s. Cette dernire reprsente la manire dont le nud va a
der la ressour
e partage. La
relation entre la le d'attente et la mthode d'a
s est une a
tion dpilant la le d'attente.
La mthode d'a
s est lie deux
omposantes. La premire est la
omposante reprsentant
la topologie du rseau ou les intera
tions entre les nuds. Les a
tions qui relient la topologies et
la mthode d'a
s sont les a
tions permettant de tester si la ressour
e partage est libre ; une
a
tion permettant de librer la ressour
e partage ; une a
tion permettant de prendre possession
de la ressour
e partage ; et enn dans notre
as, une a
tion permettant de d
ider si la prise de
possession de la ressour
e partage est
orre
te ou si plusieurs nuds y ont a
s en mme temps.
Dans le dernier
as,
e
i provoque une
ollision au niveau de la transmission. La se
onde
omposante
ave
laquelle est lie la mthode d'a
s est l'algorithme de ba
ko. Cette
omposante permet de
faire voluer la fentre de
ontention. Ces deux
omposantes sont lies par trois a
tions. Deux
orre te.
La
omposante reprsentant la topologie du rseau est relie une
omposante reprsentant l'tat
du
anal radio. Ces deux
omposantes sont relies par une a
tion reprsentant une probabilit. Cette
20
ad ho .
tous les m
anismes et tous les
omportements mis en jeu dans un rseau pour permettre une
meilleur
omprhension de
ertains m
anismes ou
omportements qui peuvent tre di
iles
omprendre et/ou interprter. Pour
ontourner
e problme, si le d
oupage est bien fait, il est
possible de rempla
er simplement la
omposante mise en
ause par une autre
omposante dont
nous
onnaissons les proprits. Ce d
oupage apporte aussi un moyen de
omparaison simple de
plusieurs m
anismes. C'est selon nous,
e d
oupage qui manque aux travaux prsents dans [50.
Par exemple dans
es travaux, l'algorithme de
ba ko
3.2.3 Le modle
La mthode d'a
s
Comme nous tudions le
omportement de 802.11 et ses drives, la mthode d'a
s que nous
modlisons est CSMA/CA plus sp
iquement le mode DCF. Le modle PEPA
orrespondant la
mthode CSMA/CA d
rite dans le standard 802.11 est le suivant :
E _i_000
E _i_001
E _i_002
E _i_003
E _i_004
E _i_005
E _i_006
E _i_007
E _i_008
E _i_009
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
Dix a tions sont utilises pour modliser le m anisme d'a s au mdium CSMA. L'a tion
(f ree, _trans)
sert tester si le anal radio est libre ou non. Si le anal est libre, ette a tion
sert syn
hroniser la station ave
le
anal radio. Si le mdium est o
up, le nud retourne son
tat initial gr
e l'a
tion (occ, _dada). L'a
tion
l'
oulement des temps DIFS et du
ba ko.
L'a tion (send, _trans) reprsente la apture du mdium. I i ette apture est repr-
sente par un temps trs
ourt. Le temps de transmission s'
oule au niveau de la
omposante
reprsentant le mdium. Les a
tions (ack, ) et (collision, ) sont des syn
hronisations venant du
mdium sp
iant si la transmission s'est bien droule ou non. Les a
tions
(coll_i, _trans)
(succ_i, _trans)
et
(out_i, _trans)
d'attente.
Nous pouvons remarquer i
i que toutes les dures sont approximes par une distribution exponentielle. Ainsi, mme les temps d'attente dterministes de 802.11
omme le DIFS (50
s)
sont
approxims par une distribution exponentielle dont la moyenne est 50. Les a
tions ayant pour dure
_trans reprsentent des a
tions ne
onsommant pas de temps,
omme par exemple le fait de tester
si le mdium est libre ou non,
ar dans PEPA, toutes les a
tions doivent avoir une dure. Ainsi,
21
s.
L'algorithme de ba
ko
Le prin
ipe gnral de l'algorithme du
d'un nud entre en
ollision, asso
ie la non r
eption d'un a
quittement, la taille de la fentre de
ontention est double. Dans le
as d'une transmission
orre
te, la taille de la fentre de
ontention
est rduite sa taille minimale. L'algorithme du
BOi_0
...
BOi_j
...
BOi_7
La omposante
def
=
def
=
def
=
def
=
def
=
BOi_x
dbi ,
i i
f _j
est la dure
f _0 est
20s (25 1)/2, qui est la dure moyenne du ba
ko tir alatoirement dans une fentre
de [0; 32] slots. Plus gnralement, i {0..5}, f _ i est la dure moyenne du ba
ko tir dans la
5+i ]. Ce tirage du ba
ko fait que notre modle approxime le
omportement du ba
ko
fentre [0..2
de 802.11. L'a
tion de syn
hronisation colli (respe
tivement succi ) sert faire voluer le ba
ko
gal
aprs une ollision (respe tivement aprs une transmission orre te).
def
=
def
=
def
=
def
=
def
=
def
=
Presque toutes les a
tivits de
ette
omposante sont partages soit ave
la
omposante reprsentant la mthode d'a
s.
mthodologie. L'a
tion
f ree
M ed00_00
M ed00_01
M ed00_00
et
M ed00_01
M ed00_00
M ed00_01 quand une station se syn
hronise sur l'a
tion transmit. Le mdium reste dans
M ed00_01 pendant une dure de 20s, reprsentant la dure d'un slot durant laquelle le m-
possible. C'est ainsi que notre modle gre les
ollisions. La
omposante volue de l'tat
l'tat
l'tat
2
22
stations, et durant lesquelles une autre station peut aussi se syn hroniser sur une a tion
provoquant ainsi une
ollision. On peut noter que due la nature
ontinue de la distribution de
probabilits, les a
tions ne peuvent pas se produire simultanment. Ainsi, le fait de rester dans l'tat
M ed00_01 pendant la dur d'un slot autorise la modlisation des a
s simultans. Si durant
es
20s, au
une a
tion transmit n'est reue par la
omposante mthode d'a
s,
elle-
i evolue vers
l'tat M ed00_02
orrespondant l'envoi d'un a
quittement (a
tion ack ). L'tat M ed00_03 reprsente
l'
oulement rel du temps de transmission de la donne. I
i, la dure de la donne in
lut la dure
de l'
hange DATA-ACK. L'a
tion
Avoir deux a
tions
sync
sync
et deux a tions
ack
et d'avoir des tailles de paquets direntes sur
haque nud. Dans le
as o une transmission simultane se produit, le mdium se retrouve dans l'tat
syn
hronisation
collision,
M ed00_04
d'une dure ngligeable est envoye l'un des nuds. Ensuite, une autre
syn
hronisation d'une dure de la
ollision est envoye l'autre nud. Dans
e
as, l'ordre dans
lequel les nuds reoivent les a
tions de syn
hronisation n'est pas important
ar dans tous les
as,
le mdium n'est de nouveau libre qu'aprs l'
oulement de la dure d'une
ollision.
Notons i
i que la
omposante prsente montre une topologie ave
deux stations. Dans le
as o
plusieurs stations devaient tre modlises, le mme modle peut tre utilis en faisant l'approximation que les
ollisions ne se font que deux deux. Si on veut rel
her
ette hypothse il faudrait
dupliquer l'tat
M ed00_05
Validation du modle
Dans
ette sous-se
tion, nous prsentons les premiers rsultats permettant de valider notre modle.
Le simulateur que nous avons utilis est NS-2 [60 dans sa version 2.27. Nous avons modi les
paramtres de NS-2 pour reter la
ou
he physique DSSS d
rite dans le standard 802.11b. Les
rsultats de simulations sont obtenus en simulant 2 nuds porte de
ommuni
ation transmettant
des paquets une mme destination. Les deux nuds travaillent saturation.
La gure 3.4 montre la pr
ision de notre modle par rapport au dbit obtenu par simulation.
Dans
ette gure, les dbits sont
al
uls partir des probabilits l'tat stationnaire de la
hane
de Markov drive du modle PEPA. La probabilit qui nous intresse est la probabilit pour le
modle d'tre dans l'tat
M ed00_03 . partir de ette probabilit que nous notons Pocc , nous pouvons
T h = Pocc
O
Tdonnee
Tdonnee
D
Tdonnee + Tentete
D = 11
Tentete
au temps
Mbps.
23
6000
5000
4000
3000
2000
Model
NS-2 simulation
1000
200
400
600
Taille de paquet
800
1000
1200
Fig. 3.4: PEPA : Validation par simulation du modle PEPA (deux stations porte de ommuni-
ation). Les simulations sont ralises ave
le simulateur NS-2. On
ompare i
i les dbits
obtenus par simulation et partir de notre modle.
802.11 dans le
adre
lassique de deux stations porte de
ommuni
ation ayant un r
epteur
ommun (s
nario 1). Puis nous tudions le
omportement de 802.11 dans le
as
lassique des
stations
a
hes (s
nario 2). Nous nous intressons ensuite un
as parti
ulier des stations
a
hes
dans lequel une asymtrie renfor
e les problmes lis au stations
a
hes (s
nario 3). Enn, nous
valuons les performan
es de 802.11 dans le
adre des 3 paires (s
nario 4).
Le s
nario 1 est un s
nario
lassique dans lequel trs peu de
ollisions sont prsentes gr
e au
m
anisme d'
oute a
tive du
anal. Mme si des
ollisions peuvent survenir,
elles-
i peuvent et
devraient tre vites/rduites par l'algorithme de ba
ko employ. Tous les s
narii
ad ho (s narii
24
111
000
000
111
000
111
000
111
000
111
000
111
000
111
000
111
0
1
000
111
00011111
111
00000
11111
00000
00000111
11111
000
00000
11111
00000000
111
00000
11111
00000 11111
11111
00000
11111
2
M ed00_00
M ed00_01
...
M ed00_j
...
M ed00_10
M ed00_11
M ed00_12
M ed00_13
M ed00_14
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
Nous pouvons remarquer dans e modle l'absen e de l'a tion de syn hronisation
f ree
qui n'est
pas indispensable dans
e s
nario. Pour des raisons de simpli
ation du modle et de rdu
tion de
l'espa
e d'tats
ette a
tion t enleve. Nous remarquons aussi que la transmission d'un paquet
de donnes, reprsente par l'a
tion
f rag,
PEPA, les a
tions sont atomiques et une a
tion d
len
he ne peut plus tre interrompue. Cette
a
tion a une dure de
1/10
aprs plusieurs tests et a montr le meilleur
ompromis entre le la pr
ision des rsultats et la taille
de l'espa
e d'tat.
Dans l'tat
trasmit
M ed00_00 ,
le mdium est libre, et peut re evoir une syn hronisation sur l'a tion
de l'un des deux metteurs. L'metteur ayant envoy une a tion de syn hronisation om-
25
transmit
tion ave
e deuxime a
s
on
urrent provoque une
ollision modlise par les tats
et
M ed00_14 .
M ed00_13
Dans l'tat
la dure de la
ollision soit
oule, la premire station peut mettre un paquet de donnes, d'o la
prsen
e de l'a
tion
transmit
collision.
La dure
mu_collision
est la
mme que la dure d'une transmission
ar elle
onduit la mme o
upation du
anal radio. Notons i
i que nous faisons une premire hypothse en supposant que la transmission de l'a
quittement
n'interrompt pas la d
rmentation du ba
ko de l'autre nud. La deuxime hypothse que nous
faisons i
i est que le temps qui s'
oule dans l'tat
_data10.
M ed00_14 ,
bilit de
ollision. Enn, la troisime hypothse que nous faisons est la non distin
tion des deux
metteurs aprs une
ollision. Cette hypothse est vraie en moyenne
ar le
hoix des deux metteurs
La gure 3.6 montre la
omparaison du dbit d'une station, obtenu par simulation et
eux obtenu par notre modle. Comme attendu, notre modle surestime le dbit d aux hypothses faites
pr
demment.
2500
2000
Debit (kbps)
se fait suivant un tirage uniforme, et la dure d'une
ollision est en moyenne la mme pour les deux
metteurs.
1500
1000
Model
NS-2 simulation
500
0
200
400
600
Taille paquet
800
1000
Fig. 3.6: PEPA : Validation par simulation du modle PEPA (stations a hes). Les simulations
sont ralises ave
le simulateur NS-2. On
ompare i
i les dbits obtenus par simulations
et partir de notre modle.
Comme indiqu plus haut, nous avons retir l'a
tion de syn
hronisation
pour
e modle. Il y a deux manires simples de modier le modle pour prendre
e
hangement en
ompte. La premire est de retirer l'a
tion
f ree
gnral. La deuxime est de modier la omposante mthode d'a s en retirant l'a tion
f ree. Bien
que la premire soit plus
ommode, la deuxime mthode l'avantage de rduire en
ore plus l'espa
e
d'tat du modle. Toutes les autres
omposantes ne subissent au
une modi
ation.
Ce premier modle est
elui reprsentant la mthode d'a
s basique de 802.11. Le modle suivant
26
M ed00_00
lequel
elle-
i attend la r
eption d'un RTS. Cha
une des deux stations peut prendre possession du
mdium dans
et tat et les deux stations ne sont pas diren
ies. C'est dans l'tat
M ed00_01
que
la transmission du RTS est vraiment ee
tive
elle-
i tant en
on
urren
e ave
la transmission de la
se
onde station. En
as de transmission simultane, la
omposante progresse dans l'tat
puis
M ed00_06
M ed00_07
dans lesquels une noti ation de ollision est envoye haque station. Notons i i
_rts. Si
_data,
(CTS/DATA/ACK).
M ed00_00
M ed00_01
M ed00_02
M ed00_03
M ed00_04
M ed00_05
M ed00_06
M ed00_07
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
0000000
1111111
000000 2
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000 0
111111
000000
111111
111111
000000
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
1111111
0000000
Cette topologie est similaire elle des nuds a hs hormis le fait que les deux stations mettri es, i i
{0, 1}
n'ont pas le mme r epteur (gure 3.7). Dans ette situation, les deux stations
peroivent toujours le mdium
omme libre. dans
e
as
omme dans le
as du nud
a
h nous
pouvons retirer l'a
tion
f ree
se-
ontrairement au modle des nuds
a
hes, il faudra diren
ier la transmission des deux stations.
Le modle PEPA de
e s
nario est prsent
i-aprs :
27
M ed00_00
M ed00_(i)
M ed00_04
M ed00_(i)
M ed00_08
M ed00_09
M ed00_10
M ed00_11
M ed00_12
M ed00_13
M ed00_14
M ed00_15
M ed00_16
M ed00_(i)
M ed00_20
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
(respe tivement
1).
Dans l'tat
paquets. Il faut noter que
omme pour les stations
a
hes, une fragmentation de la transmission
est faite. Dans
e
as, le meilleur
ompromis de fragmentation est
I
i,
ontrairement au modle des nuds
a
hs, nous n'avons au
une hypothse forte lie au
modle. La gure 3.8 montre les rsultats obtenus ave
notre modle et
eux obtenus par simulations.
Les autres
omposantes ne sont modies que pour les noms des nouvelles a
tions et pour la
suppression de l'a
tion
f ree.
28
6000
Emetteur 0 - NS-2
Emetteur 1 - NS-2
Emetteur 0 - Modele
Emetteur 1 - Modele
5000
Debit
4000
3000
2000
1000
0
0
200
400
600
Taille Paquet
800
1000
1200
Fig. 3.8: PEPA : Validation par simulation du modle PEPA (stations a hes asymtriques). Les
simulations sont ralises ave
le simulateur NS-2. On
ompare i
i les dbits obtenus par
simulation et partir de notre modle. Les rsultats montrent le dbit obtenu par les
stations
et
1.
29
paires.
M ed00_00
M ed00_01
M ed00_02
M ed00_03
M ed00_04
M ed00_05
M ed00_06
M ed00_07
M ed00_08
M ed00_09
M ed00_10
M ed00_11
M ed00_12
M ed00_13
M ed00_14
M ed00_15
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
f ree
est restaure. Aprs avoir test si le mdium est libre, l'un des
nuds peut transmettre son paquet. Si
'est la paire
entrale, elle transmet son paquet entirement
en bloquant l'a
s (f ree) aux deux autres stations. Si en revan
he, l'une des paires extrieures
a
de au mdium,
elle-
i bloque la paire
entrale mais ne bloque pas l'autre paire extrieure,
d'o la prsen
e des a
tions
on
urrentes
M ed00_12 ,
f ree
M ed00_02
M ed00_04
et
M ed00_09
pour le modle des nuds
a
hs asymtriques, si deux transmissions des paires extrieures se
hevau
hent, la premire est d'abord termine (tats
) en s'appuyant sur le temps restant en fon
tion des fragments dj transmis, ensuite la deuxime
transmet le reste de ses fragments. Durant
ette transmission, l'autre nud peut de nouveau a
der
au mdium. Si au
un autre a
s simultan des paires extrieures n'a lieu, le mdium revient dans
l'tat
M ed00_00
la n des transmissions.
Pour
e modle, nous avons modi la
omposante reprsentant la mthode d'a
s pour reter
le d
len
hement ou non du m
anisme de l'EIFS d
rit dans le standard 802.11. Ce m
anisme
est d
len
h pour rempla
er le DIFS quand une transmission ne pouvant tre d
ode a lieu sur le
mdium radio. Notons que la dure d'un EIFS
orrespond la dure de transmission d'un a
quittement in
luant le SIFS. C'est le
as observ quand les paires sont assez loignes pour ne pas pouvoir
d
oder les paquets les uns des autres mais assez pro
hes pour se gner et per
evoir le mdium
omme o
up. Le modle de la mthode d'a
s est reprsent
i-aprs.
30
Ei_000
Ei_001
Ei_002
Ei_003
Ei_004
Ei_005
Ei_006
Ei_007
Ei_008
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
Ce modle
orrespond exa
tement au modle du nud donn dans la se
tion pr
dente. La
seule diren
e est que si le mdium est peru
omme o
up dans les tats
Ei_002
et
Ei_004
moins quitable dans
e
as,
ar un nud ayant a
d au mdium attendra moins longtemps qu'un
nud n'ayant pas a
d au mdium quand le mdium sera de nouveau libre.
I
i, au
une hypothse de modlisation n'a t faite. La gure 3.10
ompare les rsultats des
dbits obtenus ave
notre modle et
eux obtenus par simulation. Notons que sur la gure, nous
n'avons tra
les
ourbes que de l'une des paires extrieures
ar les deux paires prsentent le mme
omportement. Dans les rsultats montrs i
i, les nuds utilisent le m
anisme d'EIFS. Sur
ette
gure, nous voyons en
ore une fois la pr
ision de notre modle.
6000
5000
4000
Debit
3000
2000
1000
0
0
200
400
600
Taille Paquet
800
1000
1200
Fig. 3.10: PEPA : Validation par simulation du modle PEPA (3 paires). Les simulations sont
ralises ave
le simulateur NS-2. On
ompare i
i les dbits obtenus par simulation et
partir de notre modle. Les rsultats montrent le dbit obtenu par la paire
entrale et
une des paires extrieures.
31
[12
ou DIDD. Cet algorithme est
onu pour tre moins agressif que l'algorithme BEB implment dans
le standard de 802.11. Dans DIDD, aprs une
ollision, la fentre de
ontention est double,
omme
ave
BEB, et aprs une
ollision,
elle-
i est divise par deux. Dans
et algorithme, la fentre de
ontention n'est pas rinitialise aprs un
ertain nombre de transmissions in
orre
tes. Le modle
BOi_0
...
BOi_j
...
BOi_5
def
=
def
=
def
=
def
=
def
=
De la mme manire, nous pouvons modliser d'autres algorithmes de ba ko tels que
Multipli-
agressive que elle de DIDD, la mthode d'in rmentation restant la mme. Le modle de et algorithme de ba ko est le suivant :
BOi_0
...
BOi_j
...
BOi_31
def
=
def
=
def
=
def
=
def
=
32, 'est-CWnew =
dire qu'aprs une transmission orre te, la valeur de la nouvelle fentre de ba ko est :
CW 32.
Ce i permet de limiter
32
Le dernier ba
ko que nous avons modlis est un simple exemple pour montrer les possibilits de
modlisation oertes par notre modle. Nous l'avons appel BEB invers. Cet algorithme diminue
sa fentre de
ontention par deux aprs une
ollision et se pla
e dans l'tat le plus grand aprs une
transmission ave
su
s. Le modle PEPA de
et algorithme est le suivant :
BOi_0
...
BOi_j
...
BOi_5
def
=
def
=
def
=
def
=
def
=
32
f _j
M ed00_05
M ed00_04
pour une topologie o les deux nuds sont porte de ommuni ation.
quit
Une nouvelle mtrique :
utilise dans la littrature qui s'appuie sur la diren
e des dbits de
haque metteur. La mtrique
d'quit que nous proposons s'aran
hit du
al
ul du dbit, bien qu'il soit possible de le
al
uler
ave
notre modle. De plus,
ette mtrique,
ontrairement aux mtriques lies au dbit, fournit une
indi
ation sur le partage
ourt terme de l'a
s au mdium. Nous proposons
omme mtrique
d'quit la probabilit qu'une station monopolise le mdium radio. Ce que nous entendons i
i par
monopoliser,
'est qu'une des stations transmet su
essivement et
orre
tement plusieurs de
es
paquets. Pour
e faire, nous donnons la probabilit pour qu'un metteur ayant transmis
orre
tement
et su
essivement
paquets transmette le
i + 1eme
i + 1eme
paquet.
Pour al uler ette mtrique, il nous a fallu modier le modle des topologies omme suit.
M ed(i1)_j
...
M edi_00
M edi_01
M edi_02
M edi_03
M edi_04
M edi_05
M edi_06
...
M ed(i+1)_j
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
def
=
j = 0...6
...
(f ree, ).M edi_00 + (transmit, ).M edi_01 ;
(f ree, ).M edi_01 + (gonext , slot ).M edi_02 + (transmit, ).M edi_05 ;
(ackn , trans ).M edi_03 + (ackm , trans ).M edi_04 ;
(sync_n, data ).M ed0_00 ;
(sync_m, data ).M ed(i+1)_00 ;
(collision, trans ).M edi_06 ;
(collision, data ).M ed0_00 ;
...
j = 0...6
Ce modle reprsente la topologie pour deux nuds porte de ommuni ation. I i, le mdium
33
est roissante, ela veut dire qu'un nud qui transmet orre tement
et su
essivement sur le mdium aura tendan
e monopoliser le mdium et ainsi emp
her les
autres stations mettri
es d'a
der au mdium. Une fon
tion d
roissante ou
onstante de
est
a posteriori
i .
Il est aussi important de noter que les rsultats drivs de
ette mtrique sont trs dpendants des
hypothses de modlisation faites pr
demment, notamment, de l'approximation des temps xes,
ba ko.
Validation :
Pour valider ette mtrique d'quit, nous avons modi le simulateur NS-2 [60 pour
permettre le al ul des
i .
s narii :
stations porte de
3.11(b) et 3.11(
) montrent la
omparaison entre les rsultats obtenus par simulation et les rsultats
obtenus partir de notre modle. Ces rsultats sont obtenus ave
802.11 utilisant l'algorithme du
k .
donne une
Nous pouvons aussi remarquer que pour les deux premiers s
narii, l'approximation du ba
ko par
sa moyenne n'inuen
e pas fortement la mtrique d'quit. La validation pour les stations
a
hes
asymtriques n'a pas t prsente,
ar pour une taille de paquet de
et ave
802.11, la probabilit de
ollision pour la paire subissant les
ollisions est de
la paire n'en subissant pas.
34
analytique
simulation
0.8
probabilite
0.8
probabilite
analytique
simulation
0.6
0.6
0.4
0.4
0.2
0.2
0
1
10
paquets consecutifs
10
paquets consecutifs
analytique
simulation
probabilite
0.8
0.6
0.4
0.2
0
1
4
5
6
7
paquets consecutifs
10
i .
3.3.4 Rsultats
Dans
ette se
tion, nous prsentons une sle
tion de rsultats numriques extraits de notre modle.
Les rsultats prsents ont les hypothses
ommunes suivantes :
Les nuds gnrent du tra
saturation.
La
ou
he radio est idale ; les seules pertes sont dues aux
ollisions au niveau MAC.
Les rsultats d'quit sont obtenus en utilisant des paquets
1000
o tets.
Le s
nario normal
Dans
ette se
tion, nous prsentons les rsultats lis a notre modle pour le s
nario o deux
nuds porte de
ommuni
ation transmettent vers un r
epteur
ommun. Les rsultats prsents
dans la gure 3.12(a) montrent le taux d'o
upation
orre
te du
anal radio en fon
tion du temps.
Dans
e s
nario, l'augmentation de la taille du paquet augmente le taux d'o
upation
orre
te
35
(ba
ko ).
Cette gure montre que les trois algorithmes de ba
ko MILD, DIDD, et BEB ont le mme
omportement d'un point de vue de l'e
a
it. Ce
i est
onrm par la gure 3.12(
) qui montre
le taux de
ollision et la gure 3.12(b) qui montre le taux durant lequel le
anal radio est libre.
Ce
omportement similaire est d l'tat initial des
ollision. Le
as de BEB INV montre
lairement l'inuen
e du
hoix de l'tat initial de l'algorithme
du ba
ko dans
e s
nario.
La gure 3.12(d) montre l'volution de
que les
ourbes des
ne sont pas des rsultats pr is, ause des hypothses faites dans notre
modle, plus parti
ulirement,
on
ernant les approximations des temps xes et le tirage alatoire
du ba
ko. Cependant, les
ourbes tra
es sur la gure 3.12(d) sont de bonnes indi
ations sur le
omportement, des algorithmes de ba
ko d'un point de vue de l'quit. Cette gure montre un
omportement quitable de BEB INV ave
une fon
tion
et BEB sont, quant elles
roissantes,
e qui peut s'interprter
omme un
omportement inquitable
de
es algorithmes.
Il est
ependant noter que les
i 2.
i > 2, les i roissent. Cet a roissement est d aux ollisions pouvant survenir dans e s nario
et provoquant une asymtrie dans les tailles des fentres de ontention utilises pour le tirage du
ba ko.
station qui nit de transmettre rduit sa fentre de
ontention et augmente ainsi sa probabilit
d'a
der au mdium, tandis que l'autre station maintient une grande fentre de
ontention.
Bien que les
est prendre ave
pr
aution. Dans la gure 3.12(d), on montre que la probabilit pour MILD
de transmettre le
10ime
80%.
Ce i exprime bien un
10
paquets
i ).
Ce premier s
nario ne prsente pas de problme de performan
e et d'quit parti
ulier. Bien sr
les performan
es pourraient tre optimises s'il tait possible de rduire le ratio entre les enttes
proto
olaires (temps pass d
rmenter le ba
ko ) et la transmission des donnes elle-mme. Pour
e faire une solution serait d'introduire un a
s TDMA. Cet a
s TDMA aurait aussi une bonne
inuen
e sur l'quit
ar elle rduirait
si l'idal pour
e s
nario est d'avoir un a
s TDMA, les rsultats obtenus i
i sont a
eptables. Il
est mme possible d'augmenter les performan
es simplement en rduisant la taille de la fentre de
l'algorithme de ba
ko . Cette rdu
tion augmenterait le taux de
ollision mais
elui-
i tant trs
faible, nous pensons que les performan
es seraient amliores.
Les nuds
a
hs
Dans
ette se
tion, nous prsentons les rsultats obtenus partir de notre modle sur le s
nario
des nuds
a
hs. Les rsultats des gures 3.13(a), 3.13(b), 3.13(
) montrent respe
tivement les
taux d'o
upation
orre
te du mdium, le taux durant lequel le mdium est libre et le taux de
ollision.
Nous voyons sur la gure 3.13(a) pour BEB et DIDD que l'augmentation de la taille des paquets
36
BEB
DIDD
MILD
BEB INV
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0
200
400
BEB
DIDD
MILD
BEB INV
taux
taux
600
800
1000
1200
0
200
1400
400
600
1000
1200
1400
0.04
BEB
DIDD
MILD
BEB INV
0.035
0.03
0.8
probabilite
0.025
taux
800
0.02
0.015
0.6
0.4
0.01
BEB
DIDD
MILD
BEB INV
0.005
0
200
0.2
0
400
600
800
1000
tailles des paquets
1200
1400
( ) Collision
4
5
6
7
paquets consecutifs
10
(d) i
Fig. 3.12: PEPA : Rsultats de performan e (deux stations porte de ommuni ation). Les per-
forman
es
a
l
ules sont : le taux d'o
upation
orre
te du mdium, le taux de mdium
libre, le taux de
ollision et les
ourbes des
frentes taille de paquet et pour les
une taile de paquet de
1000
i .
o tets
n'augmente pas
onsidrablement le taux d'utilisation
orre
te du
anal radio. Ce
i est d au fait
que, dans le s
nario des stations
a
hes, une transmission n'est
orre
te que si
elle-
i a lieu dans
l'intervalle de ba
ko de l'autre station. De
e fait, l'augmentation de la taille des paquets peut
rduire le taux d'o
upation du mdium. Ce
omportement est
onrm par la gure 3.13(
) qui
montre
lairement l'volution du taux de
ollision en fon
tion de la taille des paquets pour BEB et
DIDD. Si le taux de
ollision de BEB et plus lev que
elui de DIDD,
e
i est d au fait que DIDD
est moins agressif dans la rdu
tion de sa fentre de
ontention et permet ainsi plus de transmissions
orre
tes.
37
BEB
DIDD
MILD
BEB INV
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0
200
400
BEB
DIDD
MILD
BEB INV
taux
taux
600
800
1000
1200
0
200
1400
400
600
1000
1200
1400
0.22
0.2
0.18
BEB
DIDD
MILD
BEB INV
0.16
0.8
probabilite
0.14
taux
800
0.12
0.1
0.08
0.6
0.4
0.06
0.04
BEB
DIDD
MILD
BEB INV
0.2
0.02
0
200
0
400
600
800
1000
tailles des paquets
1200
1400
4
5
6
7
paquets consecutifs
( ) Collision
10
(d) i
Fig. 3.13: PEPA : Rsultats de performan e (stations a hes). Les performan es a l ules sont le
taux d'o upation orre te du mdium, le taux de mdium libre, le taux de ollision et
Pour l'algorithme MILD, le taux d'o upation orre te du mdium diminue puis augmente dou ement. La ourbe montre que pour MILD, il existe une taille des paquets (<
800)
pour laquelle la
rdu
tion du nombre de transmissions
orre
tes permet en
ore de rduire la fentre de
ontention
et ainsi de gagner en e
a
it. Lorsque la taille des paquets dpasse
800
omme BEB INV,
'est--dire que les stations utilisent la plus grande fentre de
ontention pour
la transmission de leurs paquets. Ce
omportement est
onrm par la gure 3.13(b) dans laquelle
nous voyons bien l'volution de la proportion de temps libre pour l'algorithme MILD.
La gure 3.13(d) montre l'volution de
un omportement quitable, d sa fentre de ontention initiale qui permet l'envoi presque sans
38
et
7)
sommant es trois dernires probabilits, on peut fa ilement voir que BEB exhibe le mme omportement que DIDD. Cependant, l'utilisation du
retry limit
que DIDD. Notons que le mme phnomne d'asymtrie apparat dans MILD.
BEB
DIDD
probabilite
0.8
0.6
0.4
0.2
0
0
3
4
stage de backoff
Fig. 3.14: PEPA : Distribution sur les tats du ba ko (stations a hes). Ce rsultat donne la
Les gures 3.15(a) et 3.15(b) montrent que mme si les taux d'o
upation
orre
te du mdium
sont dirents pour BEB et (DIDD,MILD), la probabilit de su
s est la mme pour
es trois algorithmes. Cette diren
e s'explique par l'agressivit de l'algorithme de BEB aprs une transmission
ave
su
s, mais aussi par la politique du
retry limit
plus de paquets que les deux autres algorithmes. Le mme phnomne explique les
ourbes des
gures 3.15(
) et 3.15(d).
39
1
BEB
DIDD
MILD
BEB INV
0.1
0.9
0.8
0.7
probabilite
taux
0.08
0.06
0.04
0.6
0.5
BEB
DIDD
MILD
BEB INV
0.4
0.3
0.2
0.02
0.1
0
0
0
200
400
600
200
400
600
0.16
1
BEB
DIDD
MILD
BEB INV
0.14
0.9
0.8
0.12
0.7
probabilite
0.1
taux
800
0.08
0.06
0.6
0.5
BEB
DIDD
MILD
BEB INV
0.4
0.3
0.04
0.2
0.02
0.1
0
0
200
400
( ) Taux de ollision
200
400
Fig. 3.15: PEPA : Rsultats de performan e (stations a hes asymtriques). Les performan es
(1 2).
Ces performan es
algorithmes de ba ko.
d'a
der au mdium pour tous les algorithmes. Cependant,
ette probabilit est trs faible pour
BEB, DIDD et MILD ;
e qui montre un problme d'quit long terme. Pour BEB INV,
ette
probabilit est pro
he de
0.5,
0. Le
fait d'approximer les dures par une loi exponentielle fait que
Ce qu'il est intressant de noter dans
e s
nario,
'est l'impossibilit de l'algorithme de ba
ko
rsoudre les
ollisions, sous-entendu au niveau de la station
40
1.
BEB
DIDD
MILD
BEB INV
0.25
0.2
0.15
0.1
0.05
0
1
station
10
pour la
que l'algorithme soit plus e a e il faudrait que la station transmette sans a rotre sa fentre
0 soit avertie de
station 0 de la prsen
e
1.
l'a
tivit de la
de la station
1.
Cependant, l'utilisation des RTS/CTS ne rsout pas entirement le problme des
ollisions. Notons
que l'utilisation des RTS/CTS, revient tudier le
omportement des algorithmes sur l'envoi des
petits paquets.
Le s
nario des stations
a
hes asymtriques est selon nous un problme intressant d'quit
dans les rseaux
ad ho .
partage le mdium ave
une station qu'elle ne peroit pas. Cette situation implique que malgr le
bon fon
tionnement apparent sur la station ne subissant pas de
ollision,
elle-
i doit "deviner"
qu'elle gne une autre
ommuni
ation. Dans
e
as, seul un a
s TDMA pourrait permettre au
proto
ole d'tre e
a
e et quitable. La proprit de TDMA qui nous intresse dans
e s
nario est
la syn
hronisation. Selon nous il est di
ile d'avoir un a
s distribu qui permettrait de rsoudre
le problme d'quit de
e s
nario sans rduire l'e
a
it.
Les 3 paires
Dans
ette se
tion, nous montrons les rsultats obtenus partir de notre modle sur le s
nario
des trois paires. Les gures 3.17(a) et 3.17(b) montrent l'o
upation du
anal quand les paires sont
loignes, de telle sorte que la transmission de la paire
entrale provoque l'utilisation d'un DIFS
(respe
tivement EIFS) sur les paires extrieures et vi
e-versa.
Ces gures montrent bien un problme d'quit long terme au niveau des dbits de la paire
entrale et des paires extrieures. On voit aussi partir de
es gures que l'utilisation de l'EIFS
provoque une baisse des dbits.
Les gures 3.17(
) et 3.17(d) montrent l'volution des
xes EIFS et DIFS. Il n'est pas surprenant de
onstater que l'utilisation de l'EIFS a
rot l'quit.
Dans
e s
nario, le problme d'quit provient du fait que l'metteur
entral n'arrive pas a
der
au mdium. Le d
len
hement de l'EIFS permet la paire
entrale de repousser l'a
s des paires
extrieures en forant
elles-
i attendre un EIFS. On pourrait penser en regardant les
ourbes
de la gure 3.17(d) que le s
nario est quitable. Cependant, la gure 3.17(b) nous montre le
41
ieme
i1
(environ
7%)3 .
50%.
dures xes sont approximes par une loi exponentielle. De
e fait, il existe une probabilit non
nulle pour laquelle une inversion de priorit peut se produire dans notre modle.
Ce qu'il est important de retenir partir de
es rsultats,
'est que la modi
ation de l'algorithme
de ba
ko ne
hange rien
ar il n'y a au
une
ollision dans
e s
nario. De plus, le d
len
hement
de l'EIFS rduit les performan
es et aggrave le phnomne d'iniquit au vu des diren
es de
dbits de la paire
entrale et des paires extrieures sur les gures 3.17(a) et 3.17(b). Dans
e
s
nario. Nanmoins les
ourbes nous apportent une bonne piste pour rsoudre le problme de la
paire
entrale. Nous voyons sur la gure 3.17(d) que l'utilisation du DIFS sur la paire
entrale et
l'utilisation de l'EIFS sur les paires extrieures permet d'avoir une
ourbe de
presque quitable.
partir de
ette
ourbe nous pouvons don
en dduire le
omportement de la paire
entrale. Une
fois que la paire
entrale a
de au mdium,
elui-
i a une probabilit de
1/2
de transmettre un
se
ond paquet
ons
utif. Au
as o
elui-
i ne russit pas transmettre
e paquet et perd l'a
s
au mdium, la paire
entrale n'a plus qu'une probabilit de moins de
nouvelle fois. Pour rsoudre e problme, il faut augmenter ette probabilit de premier a s de
1/10
1/2
1/2
la paire
entrale. Notons que d'un point de vue distribu, mettre en pla
e un tel systme peut tre
oteux
ar il faut que
haque paire de
ommuni
ation identie le s
nario et utilise le m
anisme
orrespondant.
et .,
n essite de dvelopper es omposantes mais ne requiert que peu ou pas de modi ations sur
les autres
omposantes. De plus, dans un sou
i d'optimisation, des
omposantes peuvent ne pas tre
3
L' riture 0 est un abus de langage. I i, nous donnons simplement la probabilit du premier a s.
42
0.8
0.7
0.7
0.6
0.6
BEB, DIDD, MILD (pair 0)
BEB INV (pair 0)
BEB, DIDD, MILD (pair 1)
BEB INV (pair 1)
0.4
0.5
taux
taux
0.5
0.4
0.3
0.3
0.2
0.2
0.1
0.1
0
0
200
400
600
800
200
400
800
600
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0
0
( ) i ave DIFS
Fig. 3.17: PEPA : Rsultats de performan e (3paires). Les performan es al ules sont : le taux
d'o
upation
orre
te du mdium pour la paire
entrale et l'une des paires extrieures ave
l'utilisation du DIFS ou de l'EIFS, Les
paire
entrale ave
respe
tivement l'utilisation du DIFS ou de l'EIFS. Ces performan
es
sont donnes pour direntes tailles de paquet et pour les
algorithmes de ba ko.
intgres au modle. C'est
ette possibilit de d
liner l'inni les rseaux pouvant tre tudis qui,
selon nous, justie l'appellation de modle gnrique.
43
retry limit
a une inuen e bnque sur l'quit, mme si elle- i ontribuera rduire l'e a it.
Dans
e
ontexte, il est
lair que le
ompromis quit-e
a
it prend tout son sens.
Dans le troisime s
nario prsent, les stations
a
hes asymtriques, nous sommes dans un
s
nario ave
un taux de
ollision lev pour la station
1.
mise en pla
e d'une
ou
he MAC adquate sur les deux stations, par exemple TDMA. Cependant,
d'un point de vue d'un algorithme de ba
ko
omme
eux tudis dans
e
hapitre, il semble trs
di
ile de rsoudre les
ollisions de
e s
nario. Dans
e
as pr
is, l'agressivit de l'algorithme BEB
oupl au
36
algorithmes de ba ko
dirents dans direntes situations de
ollision. Cette tude devra, par exemple, permettre de
omprendre l'inuen
e des politiques du
retry limit
ba
ko mais aussi de donner un guide sur la
on
eption de l'algorithme de ba
ko. Comme dans
les rsultats exposs dans
e
hapitre, les rsultats prliminaires montrent qu'au
un algorithme de
ba
ko n'est parfait. Et que bien souvent, le
ompromis quit-e
a
it reste d'a
tualit.
Les rsultats obtenus dans
e
hapitre nous ont permis dans un premier temps de mettre en
lumire les problmes d'quit et d'e
a
it de la
ou
he MAC de 802.11. Hormis les rsultats de
performan
e dj montrs dans la littrature nous avons montr et
omplt les rsultats d'quit
ourt et long terme des 802.11. Les rsultats obtenus i
i et
eux prsents dans la littrature nous
ont permis d'avoir quelques intuitions qui pourraient permettre une amlioration de 802.11 sur les
s
narii prsents. Ces intuitions sont par exemple la modi
ation des IFS pour le s
nario des trois
44
nous vrions nos intuitions en proposant un proto ole MAC qui serait une alternative 802.11.
45
Bill Watterson,
Le
hapitre pr
dent nous a montr que
on
evoir un proto
ole MAC ef
a
e et quitable en modiant seulement l'algorithme de ba
ko est di
ile.
Cependant,
e
hapitre nous a montr qu'en modiant l'algorithme de ba
ko
et les paramtres tels que les IFS (Inter-Frame Spa
e) de 802.11, il est possible
d'atteindre un "bon" niveau d'quit et d'e
a
it.
Dans
e
hapitre, nous proposons un proto
ole quitable et e
a
e. Ce proto
ole s'appuie sur 802.11 en essayant de garder les qualits de
elui-
i. Si nous
modions 802.11,
'est que nous pensons que 802.11 peut tre amlior, tout
en restant
ompatible ave
la version originale. MadMa
est ainsi une alternative 802.11, tout en s'appuyant sur
elui-
i. La philosophie du proto
ole est
"le
ompromis". MadMa
se veut quitable, tout en restant e
a
e. Dans ses
premiers balbutiements, le proto
ole tait trs simple, les m
anismes se sont
omplexis ave
l'ge. Mais, MadMa
, dans sa version a
tuelle, a su rester
relativement simple
ar tous les m
anismes utiliss sont dj disponibles dans
les
artes
ommer
iales a
tuelles.
Les rsultats montrent que MadMa
est plus quitable que 802.11 et dans
ertains
as plus performant.
47
Sommaire
4.3 MadMa
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.3.1
4.3.2
4.3.3
4.3.4
4.3.5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
54
56
58
58
61
4.4.1
4.4.2
4.4.3
4.4.4
4.4.5
4.4.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
62
64
66
67
69
4.4 Performan es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
ad ho
dans [53.
Ds le dbut des rseaux sans l, les propositions de proto
ole MAC n'ont
ess de se multiplier.
Depuis la premire version du proto
ole ALOHA[1 jusqu' aujourd'hui, l'exploitation de la ressour
e
partage qu'est le mdium sans l reste un problme ouvert. Le nombre de propositions de proto
ole
MAC pour les rseaux sans l a explos ave
la popularisation des rseaux
ad ho .
L'volution de
la te
hnologie a aussi permis d'explorer d'autres moyens d'a
der au mdium sans l. Plusieurs
mthodes d'a
s et de partage ont vu le jour. On peut
iter la famille des proto
oles CSMA et
plus parti
ulirement les proto
oles CSMA/CA, les proto
oles TDMA, les proto
oles FDMA ou
CDMA. Le point
ommun de toutes
es appro
hes vient du fait qu'elles
her
hent diviser le
mdium radio en plusieurs sous-
anaux logiques ou physiques et de rpartir
es sous-
anaux entre
les stations. Cette division en sous-
anaux devrait permettre la rdu
tion des
ollisions. Le problme
fondamental de toutes
es solutions reste leur mise en uvre et leur e
a
it.
Dans [53 les auteurs proposent une
lassi
ation des proto
oles MAC que nous allons reprendre
i
i. Les deux grandes
atgories des proto
oles MAC sont les proto
oles sans
ontention (TDMA,
FDMA, CDMA) et les proto
oles ave
ontention. Cette
lassi
ation est prsente sur la gure 4.1.
L'avantage des proto
oles sans
ontention est qu'ils proposent des solutions souvent e
a
es pour
les problmes lis au mdium radio. Les problmes de
ollisions sont
ompltement rsolus ave
la
mise en pla
e d'un proto
ole sans
ontention. L'in
onvnient prin
ipal de
es proto
oles est leur
mise en uvre qui le plus souvent, n
essite un
ontrle
entral ou la mise en pla
e de systmes
48
Sans Contention
Avec Contention
Reservation et Resolution
de collision
Acces Aleatoire
Paquet de Controle
Fig. 4.1: Classi ation des proto oles MAC pour les rseaux
ad ho .
Paquet de Controle
et Ecoute du Medium
de [53
omplexes tels que l'allo ation de odes omme dans [58, de frquen es omme dans [51 ou de
slots
de temps omme dans [74. De plus, es proto oles supportent trs mal la dynamique des rseaux
ad ho
.
L'appro
he ave
ontention se divise en deux sous-groupes :
et
2)
Dans le premier sous-groupe, nous avons en
ore deux types de proto
oles. Les proto
oles du type
ALOHA [1 ou
slotted
slotted
sion n'autorisant les stations transmettre au dbit de
haque slot. Dans le sous-groupe des "A
s
Alatoire", il y a aussi les proto
oles utilisant l'
oute a
tive du mdium avant de transmettre. L'utilisation de l'
oute a
tive du mdium permet de rduire en
ore plus les
ollisions. L'a
s distribu
d
rit dans le standard 802.15.4 [43 (ZigBee) peut tre
lass dans
ette
atgorie. ZigBee propose
un a
s alatoire slott. Avant de transmettre, une station
hoisit un temps alatoire d'attente.
la n de
e temps, la station ee
tue une
oute a
tive du mdium. Si
elui-
i n'est pas o
up,
la station transmet son paquet ; si
elui-
i est o
up, l'attente est prolonge de manire alatoire.
L'avantage prin
ipal des proto
oles de la
atgorie "A
s Alatoire" est leur simpli
it. Cependant
le plus grand in
onvnient de
es proto
oles vient des faibles performan
es qu'ils fournissent.
Dans le se
ond groupe de proto
oles utilisant une rservation et une rsolution de
ollisions,
nous avons en
ore deux sous-groupes. Les proto
oles n'utilisant que des paquets de
ontrle et
les proto
oles utilisant l'
oute a
tive du mdium en mme temps que des paquets de
ontrle.
Parmi les proto
oles n'utilisant que des paquets de
ontrle, nous pouvons
iter MACAW [5 et
MACA [47. Ces proto
oles
onsa
rent une grande partie des m
anismes implments la rsolution
du problme des stations
a
hes. Ces proto
oles utilisent un systme dynamique de rservation
du mdium radio (RTS/CTS) permettant bien souvent de rduire l'impa
t des
ollisions. L'autre
atgorie de proto
oles utilisant un systme de rservation
oupl l'
oute a
tive du mdium
permet de rduire en
ore
es
ollisions. Dans
ette
atgorie, nous pouvons pla
er les proto
oles tels
que 802.11[40 et bien d'autres en
ore [25, 73.
Nous avons i
i
lass 802.11 dans la
atgorie de proto
ole utilisant l'
oute a
tive du mdium
et utilisant des messages de
ontrle. Il est
lair que sans l'utilisation des paquets RTS/CTS qui
sont optionnels dans le standard, 802.11 se
lasserait dans le groupe des proto
oles a
s alatoire
utilisant l'
oute a
tive du mdium tel que ZigBee. La
lassi
ation propose par [53 peut tre
49
ad ho . L'allo ation
que TDMA, FDMA et CDMA n
essite souvent une premire phase de plani
ation qui est souvent
in
ompatible ave
l'aspe
t dynamique et distribu des rseaux
ad ho .
ad ho
systme TDMA. Mettre en pla e de la syn hronisation peut s'avrer trs omplexe dans les rseaux
ad ho .
Bien que omplexes mettre en uvre, les solutions telles que FDMA, CDMA et TDMA
ad ho ,
ad ho . On trouve essentiellement
deux
grandes appro
hes dans la littrature. Dans la premire des informations sont
hanges expli
itement entre les stations. Dans la deuxime au
une autre information hormis
elles dj fournies par
la mthode d'a
s CSMA n'est n
essaire. Dans les deux
as, l'obje
tif est de fournir un ordonnan
ement en ex
lusion mutuelle la ressour
e partage. La qualit de l'ordonnan
ement fourni est le
prin
ipal
ritre de qualit d'un proto
ole MAC pour les rseaux
ad ho .
souvent valu en prenant en
ompte le dbit des ux
ir
ulant entre
haque station du rseau. Ainsi,
non seulement le dbit global du rseau (la somme de tous les dbits de toutes les stations) mais
aussi la prsen
e ou non de famine (quit) sur les dbits sont devenus des
ritres de performan
e
d'un proto
ole MAC.
Pour fournir
et ordonnan
ement indiquant
haque nud le moment o il peut a
der au
mdium, deux solutions mergent de la littrature. La premire appro
he tente d'obtenir le meilleur
ordonnan
ement possible entre les stations. Pour
e faire, des informations sont
hanges entre les
stations leur permettant ainsi de
onnatre plus ou moins les instants o elles peuvent a
der au
mdium et mme plus souvent les instants o elles ne doivent pas a
der au mdium. L'obje
tif
tant d'obtenir un a
s pro
he de
elui propos par un proto
ole TDMA vitant ainsi les
ollisions et la famine. Ces informations fournissent au proto
ole la syn
hronisation qui manque un
a
s TDMA. Le prin
ipal dfaut de
es proto
oles n
essitant un
hange d'information
omme
[56, 57, 66, 38, 59, 62, 33, 71, 61 provient du fait que
eux-
i utilisent le mdium de
ommuni
ation pour les
hanger. Non seulement, la bande passante n
essaire l'envoi des donnes est
rduite mais en plus, les informations transmises peuvent entrer en
ollision. Plusieurs proto
oles
minimisent l'importan
e des
ollisions pour les informations
hanges ainsi que pour les donnes.
Ces
ollisions sont pourtant importantes
ar elles peuvent aussi provoquer de la famine sur des
stations. Beau
oup des proto
oles proposs dans la littrature supposent que l'utilisation de l'ala,
dans le proto
ole CSMA/CA, permet d'viter les
ollisions. Cet ala sert aussi
ertains proto
oles
de garantir, d'un point de vue statistique, l'quit. Le proto
ole EHATDMA propos dans [33, lui
on
entre son appro
he sur l'vitement de
ollision. Les rsultats de simulations de
e proto
ole
montrent que la mise en pla
e d'un systme performant d'vitement de
ollisions permet d'aug-
50
quitable d'un point de vue statistique et l'vitement de
ollisions. En rgle gnrale, les rsultats
obtenus par
es proto
oles sont soit une e
a
it a
rue au dtriment de l'quit
omme 802.11,
soit une quit a
rue au dtriment de l'e
a
it
omme dans [3, 23. Les proto
oles tels que [9, 13
semblent ne pas vraiment s'attaquer aux problmes d'vitements des
ollisions. Ils
onsa
rent leurs
prin
ipaux m
anismes fournir une meilleure quit d'a
s. Cependant, les rsultats semblent
dirents, le proto
ole prsent dans [13 nous semble plus quitable qu'il n'est e
a
e et
elui
prsent dans [9 est l'inverse. Les proto
oles proposs dans [8, 35 sont parti
uliers,
ar ils sont
sp
ialement et ex
lusivement
onus pour des rseaux o toutes les stations sont porte de
ommuni
ation. Il existe une foule de proto
oles similaires
eux prsents dans [8, 35, mais nous
ne
iterons que
es deux proto
oles
ar ils sont selon nous les plus e
a
es et les plus quitables
dans
e type de s
nario. Con
evoir un proto
ole MAC ave
un bon
ompromis quit-e
a
it
reste don
en
ore un travail d'a
tualit. MadMa
, le proto
le que nous proposons dans la suite de
e
hapitre essaie de rpondre
e
ompromis.
1.
Dans [7 les auteurs dnissent l'quit
omme tant un partage du mdium
ongestionn pour
lequel au
un ux n'est pnalis. Cette dnition peut s'appliquer aux rseaux
rseau
ad ho mme si dans un
ad ho la ongestion n'est pas la seule sour e de problme. Dans un rseau de ommuni ation,
favoriser un ux revient souvent a en pnaliser plusieurs autres. Dans
e
as, quelles sont les pnalits
appliquer aux ux ? Autoriser une pnalit sur
ertains ux revient fournir un s
hma d'quit.
Un s
hma d'quit est par exemple l'allo
ation du mme dbit pour toutes les stations. D'autres
s
hmas d'quit existent
omme l'quit MaxMin, l'quit proportionnelle ou alors la maximisation
du dbit global, la minimisation des
art-types et bien d'autres en
ore. Dans les rseaux, un s
hma
d'quit populaire est l'quit MaxMin. Cette quit
her
he maximiser le ou les dbits mimimun
1
51
ad ho .
reposent sur un
hange expli
ite d'informations pour obtenir une telle allo
ation. Bien qu'au
une
preuve n'ait t donne, il nous semble trs di
ile de fournir un algorithme suivant un s
hma
d'quit donn sans
hange d'informations. Cependant, il existe dans la littrature des moyens
d'valuer le rappro
hement entre deux s
hmas d'quit.
Jain
et al.
P
( ni xi )2
P
n ni (xi )2
O
xi =
O
d(i)
d(i)
d (i)
et
i [1...n]
d (i)
donn.
L'index de Jain a l'avantage de fournir un index entre
et
dbits obtenus et les dbits re
her
hs par le s
hma d'quit. Cependant, le problme de dterminer
le meilleur s
hma d'quit et ainsi le
d (i)
hoisi une quit MaxMin
omme rfren
e
ar
'est
elle qui est la plus utilise dans la littrature.
Notons que le
al
ul de l'index de Jain, ainsi que toutes les mtriques d'quit s'appuyant sur le
partage de la bande passante, peuvent tre biaiss. Ces mtriques dpendent de direntes proprits
du tra
prsent sur
haque station du rseau. C'est une des raisons pour laquelle nous utilisons i
i
un tra
UDP saturation sur toutes les stations pour l'valuation.
ad ho ,
pouvant tre obtenu sur
e rseau. I
i, nous entendons par dbit maximum la somme des dbits
des ux du rseau sous la
ontrainte que
es dbits soient faisables. Ainsi, la maximisation du
dbit global peut tre vue
omme un s
hma d'quit parti
ulier. Il est ainsi important de noter
que
omparer simplement les dbits agrgs entre deux allo
ations n'a pas de vrai sens si
es deux
allo
ations n'ont pas le mme obje
tif. Par exemple, le dbit agrg obtenu par une allo
ation
her
hant atteindre la
apa
it du rseau sera suprieure ou gale au dbit agrg d'une allo
ation
her
hant atteindre une allo
ation MaxMin. Ainsi, nous dnissons la
apa
it quitable
omme
tant le dbit maximum pouvant tre obtenu suivant un s
hma d'quit donn.
La notion de
apa
it quitable est en fait une double mesure. Nous la mesurons ave
deux
mtriques. La premire est l'index de Jain qui dnit le rappro
hement entre notre allo
ation et
l'allo
ation re
her
he. La se
onde est le dbit agrg, qui dnit les performan
es en terme d'e
a
it de notre allo
ation. Le fait de
ombiner
es deux mesures est indispensable
ar l'index de Jain
bien qu'il rete le rappro
hement ave
un s
hma d'quit donn, peut fournir des valeurs pro
hes
de
mme si les dbits obtenus ne sont pas si pro hes. L'exemple suivant onrme ette hypothse.
Dans
et exemple, nous supposons deux ux qui ont obtenu le mme dbit
par le s
hma d'quit est
vrai
et le dbit re her h
52
4.3 MadMac
index =
=
( xx + xx )2
2 ( xx )2 + ( xx )2
4x2
x2
4x2
x2
=1
Il est
lair que le dbit global obtenu est dirent suivant les valeurs de
Jain reste
dans et exemple. Il est don aussi important de onsidrer le dbit global mais pas
1.
bits
k bits pour l'entte, et que le temps moyen de transmission d'un paquet est de T se
ondes alors
le dbit est donn par = ((P k)/P ) T . L'autre intrt du
al
ul du dbit et de maximiser
elui
i est qu'il revient aussi minimiser le dlai T . En plus, si l'intervalle de
onan
e de la moyenne
dont
du dbit (dans le temps) est petit,
ela signie que les dlais sont quasiment
onstants pour
ette
station.
Il faut noter que la
omparaison de proto
ole n'est pas fa
ile dans
e
ontexte,
ar il faut dnir
le s
hma d'quit qui servira de base la
omparaison. Dj sur
e point, le
hoix arbitraire d'une
quit MaxMin peut tre sujet dis
ussion. Par exemple dans la littrature, les solutions proposes
sont souvent
ompares 802.11. Ces solutions sont souvent moins e
a
es mais plus quitables
par rapport au s
hma d'quit donn ; mais en fon
tion d'un autre s
hma, les rsultats peuvent
tre dirents. Dans
e manus
rit, nous
hoisissons une quit MaxMin pour tous les proto
oles que
nous
omparons notre solution pour les raisons non
es
i-dessus. De plus, lors de la
omparaison
des solutions, il est di
ile de dterminer si une solution est meilleure qu'une autre. Si l'index de
l'une des solutions est pro
he de
mais que son dbit agrg est faible, il est di ile de dire si ette
solution est meilleure qu'une solution ave un dbit lev et un index infrieur
1.
4.3 MadMa
Les solutions proposes dans la littrature modient de manire probabiliste la mthode d'a
s au
mdium. Cette modi
ation de la mthode d'a
s permet de diminuer ou d'augmenter de manire
statistique les dbits des stations de
haque station. Peu de solutions hormis
elle propose dans
[56,
her
hent fournir un ordonnan
ement expli
ite entre les stations. Or
et ordonnan
ement
expli
ite est, selon nous, la
l pour l'obtention d'un bon
ompromis quit-e
a
it.
L'obje
tif de MadMa
est de fournir un ordonnan
ement entre les stations sans l
her
hant
a
der au mdium radio. Ave
MadMa
, nous
her
hons obtenir un ordonnan
ement le moins
probabiliste possible qui ne dpend pas de la topologie et qui ne n
essite pas d'
hange d'informations
ontrairement [33 par exemple. Nous voulons un proto
ole qui ne s'appuie, pour prendre
les d
isions d'ordonnan
ement, que sur des informations lo
ales ou les informations fournies par
l'
oute a
tive du
anal,
omme
elles donnes par 802.11 par exemple. Notre proto
ole peut tre
vu
omme une modi
ation de 802.11. Il est
lair qu'obtenir un ordonnan
ement parfait ave
es
ontraintes est di
ile mais les simulations prsentes dans les se
tions suivantes montrent un bon
omportement de MadMa
, du moins sur les topologies tudies.
53
4.3 MadMac
R M1 : Si une station peroit une autre a
tivit sur le
anal radio,
ela signie que
ette station
n'est pas la seule sur le rseau. I
i, nous entendons par une autre a
tivit sur le
anal, une
a
tivit qui n'est pas lie l'a
tivit de la station ; par exemple les a
quittements provoqus
par l'envoi d'un message en uni
ast. Si RM1 est vrai,
ela signie qu'il y a au moins deux
stations en a
tivit sur le rseau et
es deux stations sont dpendantes d'un point de vue de
l'a
s au mdium.
R M2
: Si une station subit une ou plusieurs ollisions sur es paquets, alors nous pouvons
supposer que la station n'est pas la seule sur le rseau. De
e fait,
ette station doit partager
le mdium radio ave
une autre station. I
i, nous supposons que le
anal radio est idal,
'est-dire que les pertes ne sont jamais dues un mauvais tat du
anal radio mais une
ollision
au niveau de l'a
s au mdium. Mme si
ette hypothse reste forte pour le moment, nous
omptons sur la te
hnologie de la
ou
he physique pour fournir notre proto
ole une telle
robustesse.
La remarque
R M2
du mdium peut se faire entre des stations qui ne s'entendent pas,
'est--dire qui ne sont pas en
zone de dte
tion de porteuse. Cependant, du point de vue d'une station qui subit une
ollision,
elle-
i partage le mdium radio
ar
ette station ne peut transmettre
orre
tement ses paquets
d des transmissions
on
urrentes. Il faut noter que les remarques
R M1
et
R M2
ne donnent
au
une indi
ation sur le nombre de nuds en
omptition. Pour obtenir une valeur exa
te ou une
meilleure approximation de
ette valeur, d'autres m
anismes sont n
essaires. Ces m
anismes
sont par exemple le d
odage de tous les paquets de donnes et les a
quittements pour obtenir
es informations en fon
tion des adresses sour
e et destination de
es paquets. Mme en utilisant le
d
odage de tous les paquets, il est di
ile de
onnatre exa
tement le nombre de nuds
ar
ertains
paquets ne peuvent pas tre d
ods, et d'autres ne peuvent mme pas tre
apturs. Comme notre
obje
tif nous pousse viter tout
hange d'informations, nous supposons que d'aprs les deux
remarques
R M1
et
R M2,
R M1 est vraie, une variable boolenne appele ACT est mise 1. Si R M2 est
COL est mise 1. Comme le partage du mdium n'est pas permanent,
es deux
remises priodiquement 0, tous les Delta_Slot. La priode Delta_Slot est une
Si la remarque
fentre glissante dont la taille est stri
tement suprieure au temps de transmission d'un paquet.
Quand
ACT = 1
ou
COL = 1
au moins une autre station et rduit ainsi son dbit MAC par deux. Pour ela, elle introduit un
TSIF S , TDIF S
et
TACK
sont respe tivement la dure d'un SIFS, d'un DIFS et d'un a quittement. Il
faut noter que dans le
as o le paquet ne n
essite pas la r
eption d'un a
quittement,
omme
'est
2
L'mission se fait en utilisant 802.11. Nous y reviendrons plus tard dans e manus rit.
54
4.3 MadMac
le
as des paquets de
L'introdu tion de
doit permettre
une d rmentation omplte du ba ko de la station en omptition, quelle que soit la valeur de
ACT = 1
ou
COL =
Contrairement au temps de
ba ko,
temps d'attente, notre proto
ole utilise 802.11
omme mthode d'a
s,
'est--dire l'attente d'un
DIFS, d'un
ba ko
alatoire et de l'algorithme du
de la fentre de
ontention. Il faut noter qu'il n'est pas possible de se passer d'un a
s alatoire
pour plusieurs raisons. Tout d'abord par
e que
haque station ne
onnat pas le nombre de stations
ave
lesquelles elle est en
omptition. Mais aussi par
e que le
al
ul de
ba ko
TW AIT
s'appuie sur un
moyen et sur une taille de paquet hypothtique. L'introdu tion de et ala ne donnera pas
un ordonnan
ement parfait et il est don
probable que plusieurs stations
her
hent a
der au
mdium radio au mme instant. C'est dans
ette optique que nous gardons 802.11
omme mthode
d'a
s. En revan
he, l'introdu
tion de
e temps d'attente permet d'avoir une
ertaine alternan
e
entre les transmissions et don
de rduire les
ollisions. Nous utilisons don
une fentre de
ontention
R M1
et
R M2
omme 802.11. Dans
e
as, la station
onsidre qu'elle est la seule a
der au mdium, il n'y a don
au
une
onsidration d'ordonnan
ement. Notons quand mme que l'utilisation de 802.11 permet
une station nouvellement arrive d'a
der quand mme au mdium radio durant la d
rmentation
du ba
ko de la station dj prsente pour aprs entrer dans un pro
essus d'alternan
e.
La gure 4.2 donne une illustration du fon
tionnement de MadMa
. Dans
ette gure, les 3
stations sont porte de
ommuni
ation. Les stations
et
est le r
epteur des deux ux. Les stations mettri
es ont toujours des paquets transmettre et
la valeur de
Delta_Slot
par
haque station. Au dbut du diagramme, les deux stations ont des paquets transmettre. Les
deux stations se
royant seules sur le mdium utilisent 802.11 pour leur transmission respe
tive.
La station
essaie de transmettre son se
ond paquet. N'ayant toujours pas dte
t d'a
tivit
elle-
i entre dans
le pro
essus de transmission de 802.11. Sur notre gure, nous supposons que la station
nouvelle fois au mdium avant la station
0.
La station
2 a de une
paquet et n'ayant toujours pas dte
t d'a
tivit, elle entre dans le pro
essus
lassique de 802.11.
Entre temps, la station
ACT
1.
sont
ha
une
ons
iente de la prsen
e de l'autre. Avant d'essayer de transmettre son deuxime
paquet en utilisant 802.11, la station
introduit un temps
TW AIT .
stations permet ainsi une alternan e parfaite entre les transmissions des stations
et
2.
Notons que sur la gure 4.2, pour que les stations peroivent l'a
tivit l'une de l'autre, nous nous
appuyons sur le fait que 802.11 fournit un a
s quitable d'un point de vue statistique au mdium
radio.
55
4.3 MadMac
1 ACT=1
4
Station 0
Station 1
Station 2
3 ACT=1
ACK
Paquet de donnes
T_WAIT
1 Numero du paquet venant des couches superieures
0 et la station
COL.
omme dans
elui des stations
a
hes,
es m
anismes ne sont pas susants. En plus de
es deux
m
anismes,
haque station maintient le nombre de
ollisions su
essives subies pour sa pr
dente
transmission. Cette valeur est sto
ke dans la variable
N B _COL.
pour
haque nouveau paquet. Pour viter les situations telles que les stations
a
hes, une station
peut entrer dans une phase d'vitement de
ollision en s'appuyant sur les valeurs de
ACT , COL et
N B _COL.
Une station entre dans une phase d'vitement de
ollision, variable
variable
ACT = 1
quand la
et que la variable
coll_avoid = 1,
n'est pas vident, une trop petite valeur ferait entrer systmatiquement le proto ole dans une
dans ette phase. partir d'un ensemble de simulations et de rsultats de [55, nous avons hoisi
probabilit pour que
elle-
i soit dans une situation de stations
a
hes. Pour viter une baisse du
dbit global
ause des
ollisions dues
ette situation et aussi an d'viter un problme d'quit
ourt terme, nous essayons de for
er les stations
a
hes mettre alternativement. Pour
e faire,
ds que le paquet ayant subi les
TM T U , TALT
TW AIT , TALT
est arrt ds que de l'a tivit est perue sur le mdium ( omme un a quittement par
exemple). A la n de
au mdium et transmettre son paquet. Une fois entre dans
ette phase d'vitement de
ollision, la
station y reste tant que
ACT = 1
ou
COL = 1.
En revan he, si
56
4.3 MadMac
Comme il peut y avoir plus de deux stations
a
hes, nous avons introduit une autre variable
permettant de grer le
as des stations
a
hes multiples. Ave
une variable appele
n_hidden,
la station essaie de
ompter le nombre de stations
a
hes. Nous avons aussi modi le temps
d'attente
TALT
ACT = 1,
coll_avoid
1.
Si
coll_avoid = 0
et
N B _COL k,
sous
ela veut dire que la station va entrer dans la phase d' vitement de
paquet. La russite de ette transmission provoque la transmission d'un a quittement par la station
la station
attend un temps
TW AIT
2 (ACT = 1).
0.
alternan
e entre les transmissions des deux stations. Les rsultats de simulations vont
onrmer
ette hypothse. Nous pouvons remarquer que
ette alternan
e parfaite peut se produire mme si
les deux stations ont des vues direntes du mdium. Dans l'exemple donn, la station
3
57
2 se onsidre
4.3 MadMac
omme tant dans une situation de stations
a
hes alors que la station
roit tre dans une situation
de partage
lassique.
1 COL=1
NB_COL=1 NB_COL=2
NB_COL=0 NB_COL=1
NB_COL=1
NB_COL=2
1 COL=1
ACT=1
ACT=1
ACT=1
NB_COL=0
ACT=1
NB_COL=0
Station 0
NB_COL=3
NB_COL=0
NB_COL=0
Station 1
NB_COL=0
coll_avoid=1
2
ACT=1
coll_avoid=1
3
ACT=1
coll_avoid=1
Station 2
4
coll_avoid=1
ACK
Paquet de donnes (transmis correctement)
Paquet de donnes (entr en collision)
T_WAIT
T_MTU
1 Numero du paquet provenant des couches superieures
Fig. 4.3: Illustration du m anisme de MadMa pour l'vitement de ollision. Dans e s nario, la
station
station
et transmettent vers la
e faire, aprs
COL = 0,
le
fois puis quatre fois la taille de la fentre de
ontention de 802.11 (respe
tivement). Ce pro
essus
est rpt pour les paquets suivants pour permettre aux stations pnalises d'a
der au mdium
et ainsi faire voluer la variable
ACT
4.3.4 Rsum
Dans
e paragraphe nous prsentons des algorithmes simplis du fon
tionnement de MadMa
omme
omplment aux expli
ations donnes dans les se
tions pr
dentes. L'algorithme 1 prsente
le pro
essus d'envoi de MadMa
.
17
et
20
de l'algorithme 1.
13)
a peru de l'a
tivit. Le premier test ee
tu permet de savoir si la station est dans une phase
d'vitement de
ollisions. Si le nud est dj dans une phase d'vitement de
ollisions,
elui-
i
in
rmente la valeur de
n_hidden
58
4.3 MadMac
end if
else
if (N B _COL > K ) then
coll_avoid = 1;
n_hidden = 1;
end if
end if
x = 0; nb_activity = 0; N B _COL = 0;
send_af ter_madmac(n_hidden TW AIT , n_hidden TMT U , coll_avoid);
else if (COL = 0 && ACT = 1) then
x = 0; nb_activity = 0; N B _COL = 0;
send_af ter_madmac(n_hidden TW AIT , n_hidden TMT U , coll_avoid);
else if (COL = 1 && ACT = 0) then
x = 0; nb_activity = 0; N B _COL = 0;
send_af ter_madmac(n_hidden TW AIT , n_hidden TMT U , coll_avoid);
else if (COL = 0 && ACT = 0) then
x + +; nb_activity = 0; N B _COL = 0;
n_hidden = 1; coll_avoid = 0;
send_af ter_backof f (Backof f _P rocess, x);
end if
N B _COL).
et permet d'interrompre les temps d'attente dans la phase d'vitement de ollisions. La fon tion
send_af ter _madmac(), d
rite plus tard dans
ette se
tion, est appele pour l'envoi du paquet.
Les
as o (ACT = 0 et COL = 1) et (ACT = 1 et COL = 0) sont d
rits aux lignes 14 et 17 de
l'algorithme 1. Dans
es deux
as, x, nb_activity et N B _COL sont initialiss 0 et la pro
dure
send_af ter _madmac() est appele pour la transmission du paquet.
Pour le
as o (ACT
La variable
variables
le proto
ole n'est plus dans un pro
essus d'vitement de
ollisions. L'envoi du paquet est d
len
h
par la pro
dure
Durant l'attente
TW AIT
(ligne
la station n'est pas dans une phase d'vitement de
ollisions, don
il n'est pas n
essaire d'attendre
un
TM T U
59
aprs
4.3 MadMac
Algorithm
TW AIT , n_hidden
soit la station est dans une phase d'vitement de ollisions (coll _avoid
=1
MadMa
TM T U , coll_avoid)
1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
que
end if
end while
if (coll_avoid = 0) then
x = 0;
send_af ter_backof f (Backof f _P rocess, x);
else
T IM E = T IM E n_hidden TW AIT ;
while (T IM E n_hidden TMT U || nb_activity n_hidden )
ompter le nombre d'interruptions (nb_activity )
do
end if
end while
if (nb_activity < n_hidden) then
n_hidden = n_hidden 1;
end if
x = 0;
send_af ter_backof f (Backof f _P rocess, x);
end if
x ait
t remis
0;
soit que le nombre d'interruptions dues une a tivit soit suprieur ou gal
le paquet.
send_af ter _backof f (). Cette fon tion se omporte diremprennent x (lignes 1, 3 et 5). Ces onditions sont lies au monopole
du mdium radio par la station et permettent de modier la fentre de
ontention utilise pour
transmettre le paquet. L'a
s au mdium et la transmission et retransmission du paquet se font en
utilisant 802.11. Durant
ette pro
dure les variables
ACT , COL
et
N B _COL
60
4.4 Performances
4.3.5 Remarques
1. On peut tout d'abord noter que notre proto
ole ne s'appuie que sur des informations simples
et dj prsentes dans 802.11. Au
une information supplmentaire n'est n
essaire et nous ne
nous autorisons mme pas tirer des informations des paquets qui peuvent tre d
ods, an
d'obtenir une approximation du nombre de stations en
omptition par exemple.
2. Le temps sur
haque station est divis en
ole une syn
hronisation des stations. Le dimensionnement de
e temps requiert un
ompromis
entre la ra
tivit du proto
ole fa
e au
hangements de voisinage, plus parti
ulirement le dpart d'une station, et la
onsidration de l'historique dans les d
isions d'a
s. On peut noter
que rien n'emp
he une valeur de
3. Le paramtre
Delta_Slot
est aussi un paramtre important de notre proto ole. En eet, 'est elui- i
qui dtermine si la station d
ide d'entrer dans une phase d'vitement de
ollisions ou non. Or
les
ollisions ne proviennent pas que des
ollisions mais peuvent aussi provenir d'une mauvaise
qui fera
perdre de l'e a it si le anal radio est de mauvaise qualit et une grande valeur de
k,
qui
4.4 Performan
es
Dans
ette se
tion, nous prsentons les rsultats de performan
e et d'quit de notre proto
ole
MadMa
. Notre proto
ole a t valu en utilisant le simulateur de rseau NS-2 [60. NS-2 a t
modi pour prendre en
ompte les dbits de 802.11b (1, 2, 5,5 et 11 Mbps). Un tra
CBR saturant
a t utilis dans tous les s
narii simuls pour essayer d'avoir les pires
as de fon
tionnement de
notre proto
ole. Toujours pour essayer de reter
es pires
as, un ensemble de s
narii a t test
retant, selon nous, les dirents
as d'utilisation de notre proto
ole.
Dans le but de mieux
omprendre le
omportement de notre proto
ole, nous avons supprim
le proto
oles ARP et
r un proto
ole de routage statique (utilis si n
essaire). Toujours dans
un sou
i d'valuation, nous avons
ompar notre proto
ole quelques proto
oles
lassiques de la
littrature.
Les simulations prsentes dans
ette se
tion sont
onduites ave
des paquets de
1000
o tets, et
les mmes paramtres de MadMa pour toutes les simulations. Le dbit physique utilis est de
11
Mbps.
omme tant la proportion du anal radio que haque metteur essayera d'obtenir
61
4.4 Performances
et
Wi
le dbit asso i. Le proto ole propos her he ajuster la taille de la fentre de ontention
Wi /i
dans le rseau. D'un point de vue pratique, une station voit "Elle
Wei
Weo
l'estimation de la bande passante onsomme par les autres stations. Chaque fois qu'un paquet est
plus de dtails, voir [72 et [24. Les rsultats prsents montrent que le proto
ole est plus quitable
que 802.11, mais moins e
a
e. Une des limitations de
e proto
ole vient du fait que le
al
ul de
l'index d'quit ne se fait que sur les paquets reus
orre
tement (RTS, CTS, DATA et ACK). Il ne
prend pas en
ompte les paquets entrs en
ollision ni mme les paquets transmis par des stations
en zone de dte
tion de porteuse.
Les auteurs de PNAV [13 proposent d'introduire un temps d'attente xe entre deux transmissions
su
essives suivant une
ertaine probabilit. Cette probabilit dpend des vnements tels que l'a
s
su
essif au mdium par une mme station, l'o
upation ou non du mdium par une autre station.
La parti
ularit du temps d'attente introduit par PNAV est que
elui-
i ne peut pas tre interrompu.
Le proto
ole PNAV,
onu en mme temps que MadMa
, est l'un des premiers proto
oles avoir
introduit un ordonnan
ement expli
ite qui ne s'appuie pas sur le tirage d'un ba
ko. Mme si
et
ordonnan
ement est utilis en fon
tion d'une probabilit, l'utilisation d'un ordonnan
ement expli
ite
semble fournir de bons rsultats d'quit. Cependant, le temps d'attente introduit tant xe, le
dimensionnement de
elui-
i reste problmatique. Plus
e temps sera grand, plus le
omportement
du proto
ole est quitable mais plus les performan
es seront dgrades. Les auteurs proposent un
temps d'attente quivalent la dure d'une transmission d'un paquet ayant la taille du MTU au
dbit le plus bas disponible sur le rseau. Le fon
tionnement de PNAV est le suivant :
haque fois
qu'une station transmet un paquet, la probabilit
Avant haque transmission un tirage alatoire est fait pour d ider ave une probabilit
si un
temps d'attente sera ajout avant la transmission du paquet. Quand
e temps d'attente est ajout,
la station regarde si une transmission a eu lieu durant
e temps d'attente. Si une transmission a eu
lieu, la station met la valeur de
d'augmentation de la probabilit
p.
Plus de dtails sur le proto ole peuvent tre trouv dans [13.
[550; 1450]
o tets.
Dans
e s
nario, l'augmentation du nombre de stations diminue le dbit global. Cette diminution
est due a l'augmentation du nombre de
ollisions. Ave
l'augmentation du nombre de
ollisions, les
stations utilisant MadMa
entrent dans une phase d'vitement de
ollisions. L'utilisation de
ette
phase permet de rduire les
ollisions gr
e l'alternan
e fournie par MadMa
durant
ette phase.
La gure 4.4 montre que MadMa
est plus e
a
e que 802.11, PNAV, et MBFAIR quand le nombre
62
4.4 Performances
de stations augmente.
Sur
ette gure, nous voyons que le dbit global de MadMa
diminue plus lentement que
elui
des autres proto
oles. Cette diminution est due au temps de
onvergen
e du proto
ole. L'alternan
e
fournie par MadMa
dans sa phase d'vitement de
ollisions dpend du nombre de
ollisions subies.
Par
onsquent, quand le nombre de stations augmente, le temps n
essaire pour atteindre la bonne
valeur de
n_hidden
est plus long. I i, les intervalles de onan e ne sont pas renseigns ar ils sont
6000
MadMac
5000
Debit (kbps)
PNAV
802.11
4000
3000
MBFAIR
MadMac
PNAV
802.11
MBFAIR
2000
10
15
20
25
Nombre de stations actives
30
35
40
Fig. 4.4: Performan e de MadMa sur une ellule de ommuni ation. Le dbit global du rseau est
D'un point de vue de l'quit sur
e s
nario, les performan
es de MadMa
sont moins bonnes
que
elles de 802.11. Ce
i est d au fait que l'ajout d'un temps d'attente avant la transmission
dans MadMa
pnalise la station ayant dj subi des
ollisions. Ainsi, le moindre dsquilibre entre
le nombre de
ollisions subies par les stations entrane un plus gros
art sur les dbits de
haque
station. Le tableau 4.1 montre l'ampleur de
et
art sur l'intervalle de
onan
e de la moyenne des
dbits pour les stations. Cette simulation a t joue sur une
ellule de
30
de
onan
e montrent que dans
e
as, 802.11 est plus quitable que MadMa
. Nanmoins,
es
intervalles de
onan
e restent a
eptables.
802.11
MadMa
Moyenne (kbps)
147.54
166.59
[145.20; 149.89]
[150.32; 182.86]
Tab. 4.1: Dbit par station pour une ellule de ommuni ation ave
30
stations
Dans la suite de e manus rit, nous onsidrons que la apa it du mdium radio est
C. C
orrespond la transmission d'une seule station saturation. Cette
apa
it est dirente suivant
les proto
oles et la simulation pr
dente nous permet d'obtenir
es
apa
its pour les dirents
proto
oles. Pour MadMa
, (respe
tivement 802.11, PNAV et MBFAIR),
ette
apa
it est de
Mb/s (respe
tivement
5.2
Mb/s,
Mb/s et
5.6
63
4.4 Performances
1.
est plus performant que les autres proto
oles. Nous pouvons aussi noter que le dbit global obtenu
ave
MadMa
est de
5.6
Mb/s, qui orrespond la apa it du proto ole. Ce i est aussi vrai pour
MBFAIR. Pour 802.11 et PNAV, le dbit global est infrieur la
apa
it. L'obtention de la
apa
it
du rseau dans
e s
nario et d'un index gal
fournissent un ordonnan ement pro he d'un ordonnan ement TDMA, e qui n'est pas le as pour
6000
1.2
Efficacite
Equite
4000
0.8
3000
0.6
2000
0.4
1000
0.2
MadMac
MBFAIR
PNAV
802.11 w/ RTS
802.11
MadMac
MBFAIR
PNAV
802.11 w/ RTS
0
802.11
Index
5000
Debit agrege
Fig. 4.5: Performan e de MadMa sur le s nario des stations a hes. Le dbit global du rseau
et l'index d'quit sont tra
s respe
tivement par rapport aux ordonnes gau
he et
droite de la gure.
L'quit et les performan
es obtenues ave
MadMa
sont lies la qualit de l'ordonnan
ement
fourni par
elui-
i. Notons que l'obtention de
et ordonnan
ement e
a
e ne n
essite au
un
hange
d'information. Cependant,
et ordonnan
ement dpend du temps d'attente introduit ave
MadMa
et de
e fait, de la taille des paquets transmis par les stations. Les rsultats des simulations suivantes
montrent les rsultats obtenus ave
MadMa
, quand la taille des paquets transmis est alatoirement
et uniformment
hoisie entre
[550; 1450]
que malgr une taille alatoire de paquets, l'ordonnan
ement fourni par MadMa
sur le s
nario des
stations
a
hes est e
a
e et quitable.
Nous avons tendu nos simulations un s
nario de stations
a
hes multiples. Les rsultats sont
prsents sur la gure 4.7. L'indi
e d'quit n'est pas tra
dans
ette gure
ar elle est pro
he de
pour toutes les simulations. Cette gure montre que l'ordonnan ement fourni par MadMa est
e
a
e,
ar il permet d'atteindre la
apa
it du rseau dans tous les
as de gure. Pour 802.11, le
dbit agrg diminue
ar le taux de
ollisions augmente, preuve que l'ordonnan
ement fourni par
64
4.4 Performances
7000
1.2
Efficacite
Equite
6000
5000
Debit
0.6
Index
0.8
4000
3000
0.4
2000
0.2
1000
MadMac (uniforme)
802.11 (uniforme)
MadMac (uniforme)
MadMac (fixe)
MadMac (fixe)
0
802.11 (uniforme)
alatoire. Le dbit global du rseau et l'index d'quit sont tra
s respe
tivement par
rapport aux ordonnes gau
he et droite de la gure.
802.11 n'est pas e
a
e. Pour PNAV et MBFAIR, les performan
es restent en-de de la
apa
it
quand le nombre de stations
a
hes augmente. Par exemple pour 4 stations
a
hes, la
apa
it de
MBFAIR devrait tre d'environ
3.5
Mb/s .
7000
6000
MadMac
5000
Debit agrege
Fig. 4.6: Performan e de MadMa sur le s nario des stations a hes ave une taille de paquets
4000
802.11
802.11 RTS-CTS
3000
MBFAIR
PNAV
2000
1000
0
2
4
2
3
4
2
Nombre de stations cachees
Fig. 4.7: Performan e de MadMa sur le s nario des stations a hes. Seul le dbit global du rseau
Ces simulations
onrment l'importan
e des
ollisions dans les performan
es d'un ordonnan
ement. Elles montrent que mme si 802.11 fournit un a
s quitable au mdium radio, il faut que
es a
s soient des a
s aboutissants des transmissions ave
su
s.
4
Cette valeur est dduite partir des performan es sur une ellule pour 4 stations mobiles.
65
4.4 Performances
ad ho .
Cette faiblesse
La gure 4.8(a) reprsente un ordonnan
ement TDMA entre les 3 paires. Mme si les transmissions des paires extrieures peuvent tre
on
urrentes, un a
s TDMA interdit l'a
s
simultan au mdium radio. Cet ordonnan
ement fournit un dbit global de
apa
it du mdium radio et de
C/3
C,
si 'est la
La gure 4.8(b) reprsente un ordonnan
ement aboutissant a une allo
ation MaxMin. Dans
e
as, les paires extrieures et la paire
entrale alternent leurs transmissions. Ave
et ordonnan
ement, le dbit global du rseau est de
3C/2
C/2.
La gure 4.8(
) reprsente un ordonnan
ement o la position de
haque paire
ompte. Dans
e
as, la paire
entrale est pnalise
ar elle partage le mdium ave
deux fois plus de stations
que les paires extrieures. Le dbit global obtenu en suivant
et ordonnan
ement est de
Le dbit des paires extrieures est de
2C/3
5C/3.
C/3.
La gure 4.8(d) reprsente un ordonnan
ement maximisant le dbit global. Dans
et ordonnan
ement, la paire
entrale n'a
de pas au mdium. Le dbit global du rseau vaut
deux paires extrieures obtiennent
ha
une un dbit de
2C
et les
C.
Nous ne nous intressons par la suite qu'au s
hma d'quit MaxMin, qui selon nous fournit le
meilleur
ompromis quit-e
a
it dans
e
as.
La gure 4.9 montre les rsultats de simulations pour dirents proto
oles MAC. Cette gure
montre que PNAV, MBFAIR et MadMa
ont le mme index d'quit sur
e s
nario. Cet index
d'quit est pro
he de
1,
e qui peut signier que les trois stations mettri es ont le mme dbit.
Cependant, nous pouvons voir que les dbits globaux obtenus sont dirents. Pour MBFAIR, le
dbit global obtenu est infrieur la
apa
it d'une seule station. Nous pouvons don
supposer
que l'ordonnan
ement obtenu ave
MBFAIR suit plus ou moins l'ordonnan
ement d
rit sur la
gure 4.8(a). Pour PNAV, le dbit global
orrespond trois fois la
apa
it d'une station. Il y a
deux expli
ations possibles
ette valeur. Soit la
apa
it obtenue pour une station est trs en-de
de la
apa
it possible pour PNAV, soit les trois paires transmettent toutes en mme temps et tout
le temps. Nous pen
hons plus vers la premire hypothse,
ar PNAV s'appuie sur les m
anismes
de CSMA/CA pour a
der au mdium. Ave
MadMa
, le dbit global obtenu
orrespond
3C/2,
e qui
orrespond un ordonnan
ement MaxMin (gure 4.8(b)). Dans
et ordonnan
ement, toutes
les stations ont le mme dbit
e qui permet d'obtenir un index d'quit gal
obtenu par 802.11 quivaut
66
1.
Le dbit global
4.4 Performances
(a)
(b)
(c)
(d)
Fig. 4.8: Exemple de dirents ordonnan ements sur le s nario des trois paires. Les direntes
e s
nario est l'ordonnan
ement d
rit sur la gure 4.8(d). Ce
i explique un index d'quit infrieur
de
0.7.
1;
que MadMa
est le proto
ole le plus e
a
e
ompar aux autres proto
oles. La diren
e de dbits
entre
et
i+1
est gale
C/2,
67
4.4 Performances
1.2
10000
Efficacite
Equite
1
8000
6000
0.6
Index dequite
Debit agrege
0.8
4000
0.4
2000
0.2
0
802.11
802.11
Fig. 4.9: Performan e de MadMa sur le s nario des trois paires. Le dbit global et l'index d'quit
18000
MadMac
802.11
16000
14000
PNAV
12000
debit agrege
sont tra s suivant les deux axes des ordonnes (respe tivement).
10000
8000
6000
MBFAIR
4000
2000
0
3
5
6
3
4
5
nombre de paires paralleles
Fig. 4.10: Performan e de MadMa sur plusieurs paires parallles. Seul le dbit global est tra .
au niveau de l'metteur favoris. Il faut noter que la dure de transmission d'un paquet de
est d'environ
1000s.
Comme le temps
impossible dans
ette situation pour la station subissant des
ollisions de transmettre le moindre
paquet
orre
tement ave
802.11. Dans
e s
nario, la
ombinaison du m
anisme d'alternan
e et
du m
anisme permettant d'viter le monopole du
anal permet MadMa
d'avoir de bonnes
performan
es d'quit et d'e
a
it. Si MBFAIR est plus quitable que MadMa
,
'est que
elui-
i
rduit
onsidrablement les dbit des deux stations permettant ainsi d'avoir
ette quit. Sur
e
s
nario, le
omportement de MBFAIR rappel le
omportement de 802.11 ave
l'algorithme BEB
invers prsent dans le
hapitre pr
dent.
Du point de vue de l'e
a
it, MadMa
est moins performant que 802.11 qui atteint la
apa
it
du rseau. Ave
802.11, seule une station russit transmettre. MadMa
lui ne peut atteindre la
apa
it du rseau
ar l'alternan
e entre les deux metteurs n'est pas permanente. Quand la station
subissant les
ollisions russit enn transmettre son premier paquet, le m
anisme d'alternan
e
est en
len
h sur la deuxime station (ACT
= 1)
= 1).
Avant
que ette alternan e ne soit en len he, des ollisions ont lieu provoquant une perte de dbit. Une
68
4.4 Performances
9000
8000
1.2
Efficacite
Equite
7000
0.8
5000
0.6
4000
3000
Index dequite
debit agrege
6000
0.4
2000
0.2
1000
MadMac
PNAV
MBFAIR
802.11
802.11 w/ RTS
MadMac
PNAV
MBFAIR
802.11 w/ RTS
0
802.11
Fig. 4.11: Performan e de MadMa sur le s nario des stations a hes asymtriques. Le dbit global
et l'index d'quit sont tra s suivant les deux axes des ordonnes (respe tivement).
ACT
systmatiquement les a
quittements de la premire station. De son
t, la premire station ne subit
plus de
ollision. Nanmoins aprs un
Delta_Slot,
tion provoque de nouveau des ollisions et une perte d'e a it. Un simple dimensionnement de
Delta_Slot
obtenues par MadMa restent a eptables. Notons que dans toutes les simulations menes, la valeur
Delta_Slot vaut environ le temps de transmission de 10 paquets de la taille d'un MTU transmis
au dbit le plus bas (Delta_Slot = .15s ). I
i, l'augmentation du temps Delta_Slot permet non
de
Topologies alatoires
I
i, nous prsentons les rsultats obtenus sur une topologie alatoire. La position des stations
se fait de manire alatoire et uniformment distribue sur un plan de dimension
1000 1000.
Les metteurs sont
hoisis alatoirement, et le r
epteur d'un ux est
hoisi alatoirement parmi
le voisinage de l'metteur. Le nombre gnr de stations est
50.
pas
al
ul l'index d'quit
ar il est di
ile d'obtenir dans un s
nario alatoire le dbit servant
d'obje
tif. Dans
e s
nario,
haque station essaie de saturer le mdium ave
un ux UDP ayant
des tailles de paquets alatoires et uniformment distribues entre
[600; 1400].
Les gures 4.12(a), 4.12(b) et 4.12( ) montrent les rsultats pour des simulations impliquant
10
et
20
5,
ux respe tivement. Bien que les rsultats peuvent avoir des interprtations di iles et
69
4.4 Performances
5000
MadMac
PNAV
802.11
MBFAIR
4000
4000
3000
3000
Debit (kbps)
Debit (kbps)
5000
2000
1000
MadMac
PNAV
802.11
MBFAIR
2000
1000
0
0
Flux
(a) 5 ux
10
(b) 10 ux
5000
MadMac
PNAV
802.11
MBFAIR
4000
3000
Debit (kbps)
6
Flux
2000
1000
0
0
10
Flux
15
20
( ) 2 ux
Fig. 4.12: MadMa : Rsultats de performan e sur des topologies alatoires. Sur l'abs isse se trouve
l'identiant de
haque ux et sur l'ordonne le dbit obtenu par
e ux. MadMa
, 802.11,
PNAV et MBFAIR sont
ompars.
multiples, nous pouvons voir sur
es gures que MadMa
est un bon
ompromis entre l'quit et
l'e
a
it. On voit sur
es gures que MadMa
maintient un bon dbit sur
haque ux (quand
'est
possible) tout en ayant des dbits lvs sur
haque ux.
Flux multisauts
Dans
ette se
tion, nous prsentons les dbits obtenus par MadMa
sur un ux multi-saut. Dans
e s
nario, nous voulons voir
omment MadMa
ragit aux interfren
es intra-ux. Ce s
nario
prsente un
as d'utilisation frquent des rseaux
ad ho
des donnes une autre station hors de sa porte de
ommuni
ation. L'utilisation d'un ou plusieurs
relais pose des problmes de
ollision
omme les stations
a
hes et les stations
a
hes asymtriques
mais aussi les trois paires. Les phnomnes impliqus dans
e s
nario sont di
iles identier et les
intera
tions entre
es phnomnes le sont en
ore plus [54. I
i, nous regardons seulement les dbits
70
4.4 Performances
obtenus pour
haque ux en fon
tion du nombre de sauts par
ourir pour atteindre la destination.
3000
3000
2500
MadMac
PNAV
802.11
MBFAIR
802.11 w/ RTS-CTS
2500
2000
Debit (kbps)
Debit (kbps)
2000
MadMac
PNAV
802.11
MBFAIR
802.11 w/ RTS-CTS
1500
1500
1000
1000
500
500
0
0
Nombre de sauts
Nombre de sauts
Fig. 4.13: MadMa : Rsultats de performan e sur une hane. Ces ourbes tra ent les dbits obte-
nus par un ux en fon
tion du nombre de sauts par
ourus par
e ux. La premire gure
donne les rsultats quand la zone de dte
tion de porteuse est de deux fois la taille de
la zone de
ommuni
ation. La se
onde gure donne les mme rsultats quand la zone de
dte
tion de porteuse est la mme que la zone de
ommuni
ation. Notons que les relais
se trouvent en bordure de la zone de
ommuni
ation.
Les gures 4.13(a) et 4.13(b) montrent les rsultats quand la zone de dte
tion de porteuse est
deux fois plus grande que la zone de
ommuni
ation et quand la zone de dte
tion de porteuse est
quivalente la zone de
ommuni
ation respe
tivement. Les stations servant de relais se trouvent
toutes en bordure de la zone de
ommuni
ation. Ces gures montrent que le
omportement de
802.11 et de MadMa
sont quasiment identiques.
Nous avons aussi voulu tester MadMa
sur une grille sur laquelle des ux multi-sauts sont lan
s
(gure 4.14). Ce s
nario revient avoir plusieurs
hanes de
ommuni
ation en parallles. Dans
e
s
nario, la zone de dte
tion de porteuse est gale deux fois la zone de
ommuni
ation. Sur la
grille, toutes les stations sont espa
es d'une distan
e gale la zone de
ommuni
ation (que
e soit
verti
alement ou horizontalement). Nous avons
hoisi d'avoir une grille de
une dire
tion horizontale de gau
he vers la droite. Il y a don
5 6.
sauts
12%.
maillons de la hane entrale orrespond ou presque au omportement sur une ellule de plus de
12
stations sur laquelle PNAV presque le mme
omportement que 802.11. Ce
i explique pourquoi
la
hane
entrale un dbit faible qui prote aux
hanes extrieures mais aussi au dbit global.
71
4.5 Conclusion
Flow 1
Flow 2
Flow 3
Flow 4
Flow 5
Fig. 4.14: MadMa : La topologie en grille ave des ux partant de gau he vers la droite. La
distan
e entre deux stations voisines est quivalente la porte de
ommuni
ation et la
zone d'interfren
e
orrespond deux fois la zone de
ommuni
ation.
1.2
Efficacite
Equite
2000
0.6
1000
Index dequite
0.8
1500
Debit agrege
0.4
500
0.2
0
802.11
802.11
Fig. 4.15: Performan e de MadMa sur une grille. Le dbit global et l'index d'quit sont tra s
ad ho .
Pour obtenir une meilleure e a it, MadMa n'ee tue au un hange d'informations. De
plus, MadMa
ne s'appuie que sur des informations dj disponibles dans 802.11. Le prin
ipe de
MadMa
est d'obtenir un partage quitable du mdium radio et d'viter les
ollisions. Pour
e faire,
des temps d'attente sont insrs entre
haque transmission de paquets permettant ainsi aux stations
on
urrentes d'a
der au mdium.
Des simulations ont t menes pour valuer les performan
es de MadMa
. Une
omparaison ave
d'autres proto
oles de la littrature a aussi t ee
tue. Dans
e manus
rit, nous n'avons prsent
que quelques s
narii mettant en avant la
apa
it du proto
ole rsoudre les problmes d'a
s
une ressour
e partage. Ces rsultats montrent que MadMa
permet,
ontrairement 802.11, de
fournir un bon
ompromis quit-e
a
it.
Bien que le proto
ole MadMa
prsente de bonnes performan
es,
elles-
i sont lies aux paramtres
qui le rgissent. Les variables telles que
Delta_Slot, x
et
performan
es du rseau si elles sont mal dimensionnes. Nanmoins, les rsultats de simulations
prsents montrent qu'il pourrait exister des valeurs optimales pour
es paramtres. Cependant,
72
4.5 Conclusion
l'obtention de
es valeurs optimales nous semble
omplexe que
e soit de manire analytique ou par
des simulations. Il faut noter que le dimensionnement de
es valeurs et leur optimalit vont trs
souvent dpendre du s
nario d'utilisation.
Les
ontraintes que nous nous sommes imposes pour la
on
eption de MadMa
sont trs stri
tes.
Il est
lair que relaxer
es
ontraintes permettrait d'a
rotre l'quit et l'e
a
it de notre proto
ole.
Par exemple, utiliser les informations
ontenues dans les paquets ou alors la table de voisinage et
de routage du niveau
des suites de e travail est don de mesurer l'impa t de l'apport de telles informations.
73
bizarres.
Bill Watterson,
75
5.1 Introduction
Sommaire
Dans
e
hapitre, nous prsentons les derniers rsultats (d'un point de vue
hronologique) de
ette
thse. Nous nous sommes poss la question de l'utilit d'une
ou
he MAC e
a
e et/ou quitable.
Cette question n'est apparue que vers la n des travaux de thse, alors qu'elle aurait peut-tre
due en tre le
entre. Une expli
ation possible de
e questionnement tardif est qu'au dbut de la
thse, les appli
ations des rseaux
ad ho
maintenant de plus en plus
laires. On peut
iter
omme exemple les rseaux maills, les rseaux
vhi
ulaires, les rseaux de
apteurs et bien d'autres en
ore.
Ave
l'mergen
e de
es appli
ations il nous a paru intressant de
onnatre l'impa
t de notre
proto
ole sur les proto
oles utiliss dans les rseaux
ad ho .
proto
oles que nous pourrions tester au dessus de MadMa
, nous avons d faire un
hoix . C'est
ainsi que nous avons
hoisi d'tudier l'apport d'un proto
ole MAC quitable et e
a
e sur un
proto
ole de d
ouverte de voisinage.
Un proto
ole de d
ouverte de voisinage
omme le proto
ole
HELLO
broad ast,
des mes-
sages ontenant son identiant (et peut-tre d'autres informations) dans un paquet appel souvent
HELLO.
La r eption d'un tel paquet permet une station de maintenir une table de voisins utile
76
2)
HELLO
1)
HELLO
la frquen e de rafra hissement de la table de voisinage. Une frquen e d'envoi trop faible
pose un problme de ra
tivit, alors qu'une frquen
e trop leve sur
harge le rseau en paquets
de
ontrle. De mme, un taux de rafra
hissement trop lent fausse la vue du rseau. Un taux de
rafra
hissement trop rapide ne permettrait pas d'autres proto
oles d'utiliser les informations de
la table de voisinage. Nous ne dis
uterons pas i
i des paramtres optimaux pour un proto
ole de
voisinage. Nous utiliserons simplement les paramtres utiliss dans la plupart des proto
oles
omme
OLSR [16 ou ADOV [63. Ces proto
oles ont
hoisi une frquen
e d'envoi de
et un rafra
hissement toutes les
voisinage de plus de
2)
1)
HELLO, mais
HELLO
voisin non d
ouvert ou une entre dans la table de voisinage
orrespondant un voisin dj
parti.
I
i nous utiliserons la deuxime mtrique
on
ernant l'in
onsistan
e par rapport des voisins non
d
ouverts. Nous n'utilisons que
ette mtrique
ar en plus d'in
lure la premire mtrique, elle est
susante pour permettre d'analyser l'inuen
e de la
ou
he MAC sur le proto
ole de d
ouverte
de voisinage. Cette mtrique est un
ritre de performan
e important. Selon nous, la
onnaissan
e
omplte du voisinage est fondamentale pour les autres proto
oles. Cette
onnaissan
e permet le
hoix des bonnes routes pour les proto
oles de routage. Elle permet aussi l'le
tion
orre
te de tte
de
luster
77
M/D/1/K .
HELLO
un vnement rare gnr ave
une frquen
e bien pr
ise laquelle est ajoute une drive alatoire
pour viter la syn
hronisation entre les stations. Ainsi, nous
hoisissons de modliser la somme des
missions de tous les voisins d'une station par une inter-arrive suivant une loi de poisson sur la
station tudie.
toutes les
se ondes, nous avons reprsent ette suppression par une loi dterministe de moyenne
seul serveur :
Les paquets
voisins maximum que la station peut avoir. Une le d'attente pleine signie don
que tous les voisins
sont d
ouverts et que la table de voisinage est
onsistante.
= (0 , 1 , ..., k )
l'tat stationnaire de la
s' rivent :
0 =
K
X
j=0
i = i 0
O les
i = 1, 2, ..., K
78
(5.1)
(5.2)
probabilite
0.8
0.6
0.4
0.2
0
5
probabilits
d'avoir
8
# voisins
HELLO
10
11
M/D/1/K .
K = 10.
0 = 1
1 k0
1 =
k0
1 k1
k1
2 =
.1
k0
k0
...
1 k1
k2
kj1
kj1
j =
.j1 .j2 ...
.1
k0
k0
k0
k0
Les
ki
j
j!
(5.3)
(5.4)
(5.5)
(5.6)
(5.7)
ki = e .
quand
(5.8)
kj
augmente.
i . i
i entres. Cette gure montre les probabilits i obtenues ave
la le M/D/1/K pr
dente
K = 10. Pour un nombre de voisin K = 10 la frquen
e de gnration total de paquet HELLO
pour toutes les stations est de 30 paquets par unit de temps,
ar
ha
une des 10 stations gnre 3
paquets par unit de temps. De
e fait, sur
ette gure = 30 et la frquen
e de rafra
hissement
de la table de voisinage est de 1 unit de temps. La gure montre que dans le
as prsent, la
probabilit d'avoir un tat
onsistent est de 100%
ontenir
pour
Cependant, i i, nous ne onsidrons pas les pertes de messages dues aux ollisions au niveau
Si nous onsidrons que les stations sont ompltement dsyn hronises, nous pouvons supposer
79
probabilite
0.8
0.6
0.4
0.2
0
5
8
# voisins
HELLO
11
10
K = 10.
que le hoix de l'instant de transmission de haque station est tir alatoirement et uniformment
diviser la
reste trs
Pcol = 1
!
( K)!
(5.9)
= 50000 est le nombre de slots de 20s possible dans une se
onde. Cette probabilit est
pro
he de 0 pour K = 10. Notons que
e
al
ul n'est pas le
al
ul pr
is de la probabilit de
ollision pour les paquets HELLO qui dpend de la taille des paquets HELLO , des instants de
O
d
len
hement des transmissions, et
. Cette probabilit selon nous reste faible.
Les premiers rsultats montrent que dans
es
onditions (K
servi
e de la le
= 1),
100%
stations,
= 30
et le temps de
= 10
K = 20
et
K = 30.
ne diminue pas, les voisins d'une station seront toujours systmatiquement prsents
1.
Ces premiers rsultats sont indpendants de la
ou
he MAC et supposent que
elle-
i ne gnre
au
une
ollision. On peut supposer que pour
la le
= 1,
K = 10
stations,
= 30
et le temps de servi e de
90%.
Ainsi,
l'utilisation d'une
ou
he MAC qu'elle soit quitable et/ou e
a
e n'inue pas, dans
es
onditions,
l'tat de la table de voisinage. Nous
onrmons
ette hypothse par des simulations dans la se
tion
suivante.
80
probabilite
0.6
0.4
0.2
0
5
8
# voisin
10
11
K = 10
dans une
ellule de ommuni ation. Les rsultats prsents sont les statistiques obtenues sur la
5.3.2 Simulations
Cas sans
ollisions
Nous avons voulu
onrmer par simulations les hypothses que nous avons faites dans la se
tion
pr
dente. Nous voulons vrier que l'utilisation d'une
ou
he MAC n'inue pas sur les performan
es du proto
ole de d
ouverte de voisinage. Les simulations ont t menes ave
le simulateur
NS-2. Les paquets de
ontrle tels que les paquets ARP ont t supprims pour ne pas interfrer
ave
les paquets
HELLO.
HELLO
sp ique nous
30
100s
simulations de
ommuni
ation. Dans
e s
nario, toutes les stations sont porte de
ommuni
ation. Le nombre
de voisins que devrait d
ouvrir
haque station est
ont t utiliss
omme
ou
he MAC. La gure
onrme notre hypothse pr
dente. L'utilisation
de MadMa
ou de 802.11 fournit le mme rsultat pour l'tat de la table de voisinage. Dans
ette
simulation, que
e soit ave
MadMa
ou 802.11, tous les voisins sont toujours prsents dans la table
de voisinage
haque instant de la simulation.
Les mmes rsultats sont prsents sur la gure 5.4 pour
K = 20
et
K = 30.
Comme sur la
gure 5.3, les rsultats
onrment notre hypothse pr
dente sur le fait que la
ou
he MAC, du
moins 802.11 et MadMa
, n'a au
une inuen
e sur le proto
ole de d
ouverte de voisinage.
Dans
e
ontexte, MadMa
et 802.11 sont assez e
a
es pour l'vitement de
ollisions,
e qui
permet au proto
ole de d
ouverte de voisinage de fon
tionner
orre
tement. Les paramtres du
HELLO lis l'vitement de
ollisions fourni par l'une ou l'autre des
ou
hes MAC testes
fournissent un
ouple permettant d'avoir des performan
es optimales pour le proto
ole HELLO .
Cependant, il est possible que la modi
ation des paramtres du proto
ole HELLO , tels que la
proto ole
rdu
tion du temps de rafra
hissement de la table inue sur les performan
es du proto
ole. De
plus, l'augmentation du taux de
ollisions dans la
ellule de
ommuni
ation peut aussi inuer sur
les performan
es du proto
ole.
81
1
MadMac
802.11
0.8
0.8
0.6
0.6
probabilite
probabilite
MadMac
802.11
0.4
0.2
0.4
0.2
0
15
16
17
18
# voisin
19
20
21
25
26
27
28
# voisin
29
K = 30
et
30
K = 20
31
( gau he)
( droite) dans une ellule de ommuni ation. Les rsultats prsents sont les
1
MadMac
802.11
MadMac
802.11
0.8
0.8
0.6
0.6
probabilite
probabilite
0.4
0.2
0.4
0.2
0
0
0.5
1.5
# voisin
2.5
# voisin
Fig. 5.5: Rsultats de simulations et omparaison de MadMa et 802.11 sur le s nario des stations
a hes ave
prsents sont les statistiques obtenues pour la station qui "voit" toutes les stations.
HELLO
ela, nous avons
her
h gnrer des
ollisions au niveau MAC. Une manire simple de gnrer
des
ollisions au niveau MAC est de
onsidrer le s
nario des stations
a
hes.
Les rsultats de simulations prsents sur la gure 5.5 sont les rsultats pour le s
nario des
stations
a
hes ave
I
i en
ore, les rsultats de MadMa
et de 802.11 sont les mmes. Les performan
es du proto
ole
de d
ouverte de voisinage sont optimales. Ces performan
es sont normales,
ar
omme indiqu
dans la se
tion pr
dente, il faudrait plus de
90%
I i, le s nario des stations a hes ne gnrent pas assez de ollisions pour bien voir l'eet de la
82
1
MadMac
802.11
0.8
0.8
0.6
0.6
probabilite
probabilite
MadMac
802.11
0.4
0.2
0.4
0.2
0
0
0.5
1.5
# voisin
2.5
# voisin
Fig. 5.6: Rsultats de simulations et omparaison de MadMa et 802.11 sur le s nario des stations
a hes ave
de ux UDP saturation. Les rsultats prsents sont les statistiques obtenues pour la
ou
he MAC sur le proto
ole de d
ouverte de voisinage. De plus dans
e s
nario, les m
anismes
d'vitement de
ollisions de 802.11 et de MadMa
ne sont pas utiliss
e qui ne met pas en avant
l'inuen
e de la
ou
he MAC. En eet, les paquets
HELLO
broad ast,
la
ou
he MAC ne sait pas si
elle-
i est entre en
ollision ou non. De
e fait, les m
anismes
omme
la phase d'vitement de
ollisions dans MadMa
et l'augmentation de la fentre de
ontention de
802.11 ne sont jamais utiliss.
Pour que les proto
oles MAC utilisent
e type de m
anisme, nous avons rajout des ux UDP
saturation issus des
stations a hes, ou
HELLO
HELLO. De
Link Layer
HELLO.
Les rsultats prsents sur la gure 5.6 montrent les rsultats sur les stations
a
hes (2 gau
he
et
droite) en prsen e de ux UDP. Sur es ourbes, nous voyons lairement l'inuen e des
25%
du temps. Dans
75%
qu'elle n'a qu'un seul voisin. Les meilleures performan
es de MadMa
sont essentiellement dues au
fait qu'entre
haque transmission d'un paquet de donnes, un temps d'attente est insr,
e qui
permet aux paquets
HELLO
La gure 5.6 droite montre aussi que l'utilisation de MadMa
permet d'avoir de meilleures
performan
es que 802.11, mme si
es performan
es ne sont pas optimales. Dans le
as des
4 stations
a
hes, le nombre de
ollisions est bien trop lev pour permettre l'obtention de performan
es
optimales que
e soit pour MadMa
ou pour 802.11. On peut voir sur les histogrammes que la forme
de la distribution de probabilit de MadMa
est pro
he d'une distribution normale, alors que
elle
de 802.11 est plus pro
he d'une distribution uniforme. En
al
ulant le nombre moyen d'entres dans
la table de voisinage pour MadMa
(3.06 ave
une varian
e de
varian
e de
83
1
MadMac
802.11
0.8
0.8
0.6
0.6
probabilite
probabilite
MadMac
802.11
0.4
0.2
0.4
0.2
0
5
8
# voisin
10
11
25
26
27
28
# voisin
29
30
31
Fig. 5.7: Rsultats de simulations et omparaison de MadMa et 802.11 sur une ellule de densit
10
(gau he) et
30
(droite) ave
sous-ja ent d'un proto ole de d ouverte de voisinage, du moins sur es s narii.
HELLO
simul une
ellule de
ommuni
ation ave
une densit donne de stations. Et nous avons gnr un
nombre
roissant de ux entre des stations
hoisies alatoirement.
Le premier
as que nous avons test, dont les rsultats sont prsents sur la gure 5.7, est le
rsultat d'une simulation d'une
ellule de
10
et
30
stations ave
rsultats montrent que le tra
gnr n'ae
te en rien le fon
tionnement du proto
ole de d
ouverte
de voisinage. Dans
e
as, la gure montre que le
omportement du proto
ole
HELLO
est idal
10
et
30.
plus de manire idale quelle que soit la
ou
he MAC utilise. On voit aussi que MadMa
et 802.11
ont quasiment la mme inuen
e sur le proto
ole de d
ouverte de voisinage ave
un lger avantage
pour MadMa
. Cette gure montre aussi que la densit de la
ellule a un impa
t sur le
omportement
du proto
ole de d
ouverte de voisinage. En eet, plus la
ellule de
ommuni
ation est dense, plus les
tra
s gnrs par les paquets
HELLO
Ces rsultats montrent que le
hoix d'une
ou
he MAC n'est pas d'une grande importan
e,
ar
pour les deux
ou
hes MAC, les performan
es des proto
oles
HELLO
quasiment similaires.
La gure 5.9 montre les rsultats de simulation quand le nombre de ux est augment
8 dans une
ellule de
ommuni
ation. Dans
e
as, le
omportement du proto
ole de d
ouverte de voisinage
est bien entendu sous-optimal. En revan
he, le
hoix du proto
ole MAC permet d'avoir des performan
es
ompltement direntes surtout pour une densit de
ellule gale
l'utilisation de MadMa
permet un gain d'environ
30%
30.
sur la probabilit d'avoir une table de voisinage
omplte. Ce gain s'lve environ
densit de la
ellule de
ommuni
ation est de
10.
8%
quand la
84
5.4 Conclusion
1
1
MadMac
802.11
0.8
0.8
0.6
0.6
probabilite
probabilite
MadMac
802.11
0.4
0.2
0.4
0.2
0
5
8
# voisin
10
11
25
26
27
28
# voisin
29
30
31
Fig. 5.8: Rsultats de simulations et omparaison de MadMa et 802.11 sur une ellule de densit
10
(gau he) et
30
(droite) ave
1
MadMac
802.11
MadMac
802.11
0.8
0.8
0.6
0.6
probabilite
probabilite
0.4
0.2
0.4
0.2
0
5
8
# voisin
10
11
25
26
27
28
# voisin
29
30
31
Fig. 5.9: Rsultats de simulations et omparaison de MadMa et 802.11 sur une ellule de densit
10
(gau he) et
30
(droite) ave
justier le
hoix de MadMa
omme proto
ole MAC, dans
es
onditions de densit et de ux. De
plus, nous avons aussi mesur le dbit global obtenu dans le rseau. Le dbit obtenu par 802.11 est
de
5038.09
5063.15.
mmes, on peut
onsidrer que l'utilisation de MadMa
est plus judi
ieux pour obtenir de meilleures
performan
es dans le rseau.
proto
ole de d
ouverte de voisinage utilis au-dessus de 802.11 et de MadMa
. Comme d
rit dans
le
hapitre pr
dent, MadMa
se veut tre un proto
ole fournissant un bon
ompromis entre quit
et e
a
it alors que 802.11 est un proto
ole plus e
a
e qu'il n'est quitable.
Les rsultats de
e
hapitre montrent l'inuen
e de l'une ou de l'autre des deux
ou
hes MAC
sur un proto
ole de d
ouverte de voisinage. On peut sparer les rsultats et les prsenter en deux
85
5.4 Conclusion
atgories :
1)
2)
Les rsultats du
ad ho .
Ce-
pendant, il nous semble prmatur de dire qu'une
ou
he MAC e
a
e et quitable, quelle qu'elle
soit, soit la solution universelle pour les rseaux
ad ho .
Nanmoins, les premiers rsultats m'ont paru susamment intressants pour faire l'objet d'un
hapitre dans
ette thse. Il faudra regarder l'inuen
e d'une
ou
he MAC sur d'autres proto
oles de
ou
hes suprieures. De plus, bien que l'quit et l'e
a
it soient des problmes importants, les
nouvelles appli
ations pour les rseaux
ad ho ,
86
Bill Watterson,
Nous avons vu dans le
hapitre pr
dent que MadMa
est un proto
ole e
a
e et quitable pour les rseaux ad ho
. Ce proto
ole fournit un a
s e
a
e au
mdium radio. Nous entendons par e
a
e qu'il est rare, ave
MadMa
, qu'une
station se trouve en situation de famine. De plus, le proto
ole possde aussi un
bon systme d'ex
lusion mutuelle pour l'a
s la ressour
e partage.
Nanmoins, dans le
hapitre pr
dent, nous avons omis un autre problme
d'quit :
elui du temps d'a
s la ressour
e. Ce problme vient du fait que la
mthode d'a
s au mdium de 802.11 fournit
haque station le mme nombre
d'a
s la ressour
e partage sur un intervalle de temps, alors que les temps
d'o
upation de la ressour
e peuvent tre dirents suivant les stations. Dans les
rseaux sans l,
e problme est
onnu sous le nom "d'anomalie de performan
e"
(Performan
e Anomaly).
Dans
e
hapitre, nous proposons une solution dynamique et distribue
ette
anomalie de performan
e. Notre proto
ole appel PAS (Performan
e Anomaly
Solution) utilise les informations obtenues par l'
oute a
tive du mdium pour
agrger l'envoi de paquets et ainsi permettre
haque station d'obtenir un mme
temps d'a
s la ressour
e partage. Notons que dans
e
hapitre, nous utilisons 802.11
omme base de PAS. 802.11 nous fournit de manire statistique un
nombre quitable d'a
s entre toutes les stations. Cependant, rien ne nous emp
he d'utiliser un autre proto
ole tel que MadMa
qui fournit un a
s quitable
haque station.
87
6.1 Introduction
Sommaire
Simulations basiques . . . . . . . . .
Ra
tivit . . . . . . . . . . . . . . .
Dlais . . . . . . . . . . . . . . . . .
Eet de . . . . . . . . . . . . . . .
Eet de t_rate . . . . . . . . . . . .
Comparaison ave
d'autres solutions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
98
100
100
103
104
104
6.7.1
6.7.2
6.7.3
6.7.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
107
108
109
109
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
88
ba ko
Les solutions existantes sont prin
ipalement statiques et/ou
entralises. I
i nous abordons
es
deux limitations et nous proposons une solution dynamique et distribue au problme de l'anomalie
de performan
e. Notre solution utilise un intervalle de temps semblable au TXOP mais qui dpend
du temps d'o
upation du
anal peru par
haque station. Cette o
upation peut voluer en fon
tion
des dbits ou de la taille des paquets de
haque station,
e qui rend notre appro
he dynamique.
Pour
e faire,
haque nud (ou station sans l)
al
ule le temps d'o
upation maximal du
anal
gr
e au m
anisme d'
oute a
tive de la porteuse fourni par la norme IEEE 802.11. tant donn
que
e m
anisme est lo
al
haque station, il permet d'avoir une appro
he distribue. Une fois
qu'un nud a
de au
anal radio, il peut envoyer autant de paquets que la dure de
e temps
d'o
upation maximal lui permet. Nous montrerons qu'ave
une telle appro
he, le problme de
et al. ont montr dans [34 que la prsen e de stations lentes dans un rseau 802.11 diminue
le dbit de toutes les autres stations. Durant la transmission d'une station lente, le mdium est
o
up pour une priode plus longue que pendant la transmission d'une station rapide en supposant
que les paquets transmis ont la mme taille. Nous savons que 802.11 fournit un a
s quitable (d'un
point de vue statistique)
haque station dans une
ellule de
ommuni
ation [4. Ce
i signie qu'
long terme,
haque station aura statistiquement envoy le mme nombre de paquets. Cependant sur
une base temporelle, les stations lentes auront o
up le mdium plus longtemps.
Ce problme d'quit dans le temps d'a
s surgit
haque fois que plusieurs dbits dirents sont
utiliss dans un rseau 802.11. La gure 6.1 montre l'eet de l'anomalie de performan
e sur une
ellule ave
deux stations. Dans
ette simulation, les deux stations
ommen
ent toutes les deux ave
un dbit de
11Mbps,
et toutes les
50s,
5, 5, 2
puis
Mbps. Les
rsultats montrent que la station lente, en rduisant son dbit, rduit aussi
elui de la station rapide
et don
le dbit global du rseau.
89
Debit (Mbps)
20
40
60
80
100
120
Temps (Sec)
140
160
180
200
Fig. 6.1: Eets de l'anomalie de performan e dans 802.11b. Rsultats des dbits obtenus par une
station rapide et une station lente sur une
ellule deux stations. La station lente diminue
son dbit toutes les
50s.
(iii)
(i)
la fragmentation de paquets,
(ii)
suivantes, nous d
rivons brivement
ha
une de
es appro
hes et
ommentons quelques appro
hes
proposes dans la littrature.
Transmission Unit ).
Le dbit global du rseau diminue quand seules des stations lentes sont pr-
sentes dans le rseau, en raison de la sur
harge proto
olaire due au nombre lev de fragments. La
solution propose dans [21 est galement base sur la rdu
tion de la taille des paquets mais
ette
rdu
tion est ralise sur une
ou
he plus leve du modle OSI. La pro
dure de d
ouverte de la
MTU est modie et employe pour dterminer la taille des paquets selon le dbit de transmission.
Le mme problme que dans [39 peut apparatre si seules des stations lentes sont prsentes dans le
rseau.
90
CWopt ,
puis une
fois
ette fentre obtenue,
elle-
i est modie en fon
tion du dbit d'mission de
haque station et
du dbit maximum disponible sur le rseau. La solution propose rduit l'anomalie de performan
e
tout en amliorant le dbit utile. Les auteurs posent
omme limitation de leur proto
ole le
al
ul
de la fentre de
ontention optimale qui est fate de manire statique et
a priori.
L'appro he par la
ad ho
multi-
dbits. La solution est base sur le fait qu'une station transmettant un dbit lev a probablement
un bon tat du
anal et peut don
envoyer plus d'un paquet pour proter de
es
onditions favorables. Le nombre de paquets su
essifs transmettre est
al
ul selon le dbit de transmission le
plus bas du rseau. Par exemple, si le dbit de base est de
transmission
11
11/2 = 5
paquets est
utilis par l'metteur. Ave
ette solution, l'anomalie de performan
e peut tre rsolue. Cependant
s'il y a seulement des stations rapides sur le rseau, l'a
s au
anal devient inquitable
ourt
terme d une agrgation inutile des stations. L'appro
he base sur l'agrgation des paquets est
aussi propose dans la norme IEEE 802.11e [44. Dans
ette norme, une o
asion de transmission
(TXOP - Transmission
Opportunity ), i.e.
haque station. Ce temps est annon
haque nud par la station de base. Le
al
ul du TXOP
n'est pas vraiment limpide dans la norme, mais durant
e temps les stations rapides peuvent agrger
leur envoi de paquets, alors que les stations lentes ne peuvent envoyer qu'un seul paquet. notre
onnaissan
e, le TXOP est
al
ul selon le temps n
essaire pour envoyer un paquet de taille maximale (MTU) au dbit de transmission le plus bas. Le prin
ipal problme de
ette solution est qu'elle
est
entralise et qu'elle ne peut pas tre applique aux rseaux sans infrastru
ture. En
on
lusion,
les appro
hes utilisant une agrgation des paquets le font sur un temps
al
ul statiquement et
priori. L'anomalie
Pour rsoudre l'anomalie de performan
e et en mme temps le problme d'quit
ourt terme,
nous proposons une politique dynamique d'agrgation des paquets. Notre solution est dirente des
autres solutions
ar elle n'est pas
entralise, mais totalement distribue. Le temps d'agrgation
est
al
ul dynamiquement gr
e l'information obtenue sur l'o
upation du
anal radio. Notre
proto
ole n'a besoin d'au
une information parti
ulire hormis
elle fournie et n
essaire la norme
IEEE 802.11.
La solution que nous proposons d
orrle l'a
s au mdium du temps d'a
s. Ainsi notre solution
peut tre utilise ave
une autre mthode d'a
s quitable en nombre d'a
s. Par exemple, PAS
peut tre implment au-dessus de 802.11 (
'est
ette option que nous prsentons dans la suite de
e
hapitre) mais elle pourrait aussi tre implmente au-dessus de MadMa
, de Idle Sense [35, de
AOB [8 ou de n'importe quel autre proto
ole fournissant un a
s quitable.
91
1: t_p_max := 0 ;
2: repeat
3:
if (un signal est per
u au niveau physique) then
4:
t_p_current := signal s channel occupancy time ;
5:
if (t_p_current > t_p_max) then
t_p_max := t_p_current ;
6:
7:
end if
8:
if (type paquet == ACK) and (Destination == moi)
9:
t_p_max := 0 ;
10:
end if
11:
end if
12: until 1 ;
then
Anomaly Solution ),
haque station doit disposer du mme temps de transmission sur le
anal. Par
onsquent, si une
station mettri
e peroit un temps d'o
upation du
anal qui est plus important que le temps de
transmission du paquet qu'elle va mettre, alors elle peut agrger ses paquets pour obtenir un
plus grand temps d'o
upation. L'agrgation est faite en laissant un temps SIFS entre la r
eption
de l'a
quittement du paquet pr
dent et l'envoi du pro
hain paquet. PAS
omporte deux parties
prin
ipales :
et
(ii)
(i)
t_p_max.
Ce
temps onstitue le temps de rfren e pour la station mettri e. Cette variable est rinitialise
vite le monopole
du mdium par une station et rend le proto
ole plus ra
tif. Elle permet aussi de rduire l'iniquit
ourt terme qui pourrait tre introduite quand une station a
de au mdium plusieurs fois de
suite. Elle emp
he ainsi l'envoi de plusieures sries de paquets agrgs.
Il faut noter que le temps
al
ul dans
et algorithme ne
orrespond pas la dure d'une transmission
omprenant les
hanges DATA-ACK ou RTS-CTS-DATA-ACK. En eet,
e temps est
al
ul
par rapport a un signal
ontinu, peru sur le
anal radio. Cependant, il est di
ile de dterminer
es
hanges
ar notre
al
ul n'utilise pas les informations
ontenues dans les paquets, d'abord pour
des raisons de s
urit mais aussi par
e que tous les paquets ne peuvent pas tre d
ods. Il n'est
don
pas toujours possible de distinguer un paquet de donnes d'un paquet de
ontrle si
eux-
i
ont la mme dure de transmission.
92
t_p_max
anal pour le paquet transmettre est plus petit que la valeur de
ette variable alors elle peut
agrger.
t_my _packet
t_my _lef t
orrespond au temps de transmission qui est autoris. La valeur de
ette dernire variable volue
au
ours du temps en fon
tion des paquets pr
demment mis. Lorsque
ette valeur devient trop
petite, il n'est alors plus possible de
ontinuer l'envoi agrg
ar alors le temps d'o
upation du
mdium de la station deviendrait plus important que le temps d'o
upation maximum peru sur le
anal.
La variable boolenne
(sending
f alse).
sending
Dans e as, le paquet doit suivre le pro essus lassique d'a s au mdium
true)
1: sending := f alse ;
2: t_my _lef t := 0 ;
3: for (Chaque paquet a envoyer) do
4:
if (t_my_lef t 0) then
5:
t_my _lef t := t_p_max ;
6:
end if
t_my _lef t
t_my _lef t
7:
= ( t_my_packet t_my_packet ) t_my _packet ;
t_my _lef t := t_my _lef t t_my _packet ;
8:
9:
if (sending == true) then
10:
if (t_my_lef t + > 0) then
11:
aggregated_sending() ;
12:
else
t_my _lef t := 0 ;
13:
14:
sending := f alse ;
15:
lassi
al_sending() ;
16:
end if
17:
else
18:
if (t_my_lef t + > 0) then
19:
sending := true ;
20:
lassi
al_sending() ;
21:
else
t_my _lef t := 0 ;
22:
23:
lassi
al_sending() ;
24:
end if
25:
end if
26: end for
La variable
est utilise pour maintenir un bon dbit agrg. En eet, onsidrons un s nario
93
t_my _lef t
de la manire suivante :
t_my _lef t
t_p_max
et
t_my _packet soit un entier. Pour maintenir un bon dbit agrg, nous permettons parfois, gr
e
, que le temps de transmission d'une station soit lgrement suprieur au temps d'o
upation
maximum peru. Une nouvelle valeur de est
al
ule
haque arrive de paquet au niveau MAC.
Ce
i permet d'avoir une appro
he rellement dynamique adapte l'environnement en
ours. En
outre, une telle appro
he ne n
essite au
une hypothse sur la taille des paquets.
Si un paquet subit une
ollision, la retransmission est faite de manire agrge aprs un SIFS
si
t_my _lef t
t_my _lef t
paquet est rmis normalement ave
une fentre de
ontention voluant suivant l'algorithme du
ba
ko exponentiel (de 802.11). Dans
e
as, la valeur de
t_my _lef t
0.
sending
est remise
f alse et
la valeur de
Pour des raisons de lisibilit, e pro essus n'est pas prsent dans l'algorithme 5.
t_rate
onditionnons le al ul de
la valeur de
t_rate.
L'instru tion
de l'algorithme 5 est
else
end if
haque tape, le temps restant pour l'agrgation est rduit pour les stations transmettant des
petits paquets. Le
al
ul pr
dent est ee
tu pour
haque paquet et permet de moduler dynamiquement le temps restant pour l'agrgation en fon
tion des paquets transmis ou transmettre.
94
alors la transmission se fait ave
l'
hange suivant : RTS-CTS-DATA-ACK-SIFS-DATA-ACKSIFS... et ainsi de suite. Pour une srie de paquets agrgs, seul le premier paquet n
essite l'envoi
d'un RTS. Les autres paquets de la srie sont transmis
omme dans l'algorithme 5.
La dure
ontenue dans les paquets RTS et CTS est la dure de transmission du premier paquet
et non la valeur
t_p_max
Comme le nombre de paquets agrger n'est pas onnu l'avan e, il est impossible de donner
a priori la
t_p_max peut
emp her
des metteurs potentiels d'mettre alors que la station devant agrger ses paquets ne dispose
plus de paquets dans sa le d'attente.
On peut ainsi a rotre la ra tivit. Par exemple, supposons que nous avons deux stations
rapides et une station lente : les deux stations rapides agrgent leurs paquets sur la base de
l'o
upation de la station lente. Si la station lente
esse de transmettre des paquets et que
t_p_max
a t annon dans un RTS ou un CTS, les deux stations rapides vont maintenir
leur agrgation sur la base d'une information obsolte. Maintenir
ette agrgation provoque
ainsi un problme d'quit
ourt terme alors qu'il ne devrait pas y en avoir.
Ave
l'utilisation des RTS/CTS, les
ollisions sont rsolues de la manire suivante : si la
ollision
se produit sur le RTS alors
elui-
i est retransmis en utilisant 802.11. Si la
ollision se produit sur
le paquet de donnes,
elui-
i est retransmis aprs un SIFS si
t_my _lef t
permettre la retransmission. Dans le as ontraire, le pro essus normal d'envoi est utilis.
et al.
[69 ont
propos une notion d'quit temporelle qui
her
he a fournir
haque station approximativement
un temps gal d'o
upation sur le
anal radio. Ils ont montr que fournir une quit temporelle est
e
a
e
ompare une quit en nombre d'a
s. La solution qu'ils proposent prend en
ompte le
temps n
essaire pour l'
hange DATA-ACK pour le
al
ul du temps de transmission. Cette solution
n'a pas t prsente dans la se
tion pr
dente
ar elle se fait sur les
ou
hes suprieures du modle
OSI. Dans PAS, le
al
ul du temps de transmission ne s'appuie par sur un
hange DATA-ACK
mais seulement sur l'o
upation du mdium. Dans la se
tion suivante, nous montrons simplement
omment le m
anisme de PAS est plus e
a
e que le m
anisme propos par Tan
et al..
6.5.1 E
a
it
Le temps de transmission dans notre proto
ole s'appuie sur le temps de transmission d'un
paquet et non sur le temps n
essaire l'
hange. Le temps d'
hange est dni par
T _SF IS
T _ACK
T _ex =
T _P HY
quittement et t_my _packet, le temps n essaire la transmission d'un paquet (la dure de l'entte
du
anal radio ; et
est
95
na =
t_p_max
t_my _packet
(6.1)
Alors que le nombre de paquets transmis par la station rapide s'appuyant sur la solution de Tan
et al.
est :
net =
Nous avons
t_p_max + T _ack
t_my _packet + T _ack
(6.2)
na net
(6.3)
Chaque fois que la station lente transmet un paquet, la station rapide agrgera ses transmissions.
Le nombre de paquets envoys par la station rapide utilisant PAS est plus lev que le nombre de
paquets envoys par une station utilisant la solution de Tan
d'a
s est le mme, pour la station lente et la station rapide alors, plus le nombre de paquets
envoys par la station rapide sera lev plus le dbit global sera lev.
6.5.2 quit
Dans
ette sous-se
tion, nous analysons l'quit fournie par PAS. Pour des raisons de simpli
it,
nous supposons, dans
ette analyse, que les stations utilisent une mme taille de paquet de
o
tets. Posons
Ti
ave
i = 1, 2, 5, 5
ou
11
L = 1000
Mbps. Ti
in
lue les enttes des
ou
hes transport, IP, MAC et physique. On
al
ule fa
ilement le temps de
transmission d'une station mettant au dbit
(6.4)
ave
D'un point de vue du mdium, la proportion de temps utilis pour l'agrgation de paquets d'une
station est :
T _Aggi
_
Agg
(T
j Nj ) + N DIF S
j
P
utilisant le dbit j , ave
j Nj = N .
T _Occi = P
O
Nj
(6.5)
probabilit d'a
s au mdium est la mme pour toutes les stations et que durant un intervalle de
temps donn,
haque station a a
d au mdium exa
tement une fois. Le nombre de paquets mis
i
N Bpi = P
t est :
nai
t
j (Aggj Nj ) + N (DIF S + Avgbckf )
temps de ba
ko moyen de 802.11 (sans
ollision
Avgbckf
orrespond au
(6.6)
et vaut i
i
310s).
i:
Nous pouvons ainsi al uler le dbit moyen en o tets par se onde d'une station utilisant le dbit
T Hi = N Bpi L 8
96
(6.7)
80
60
40
20
0
1Mps
2Mps
5.5Mps
11Mps
Debits
Fig. 6.2: PAS : Rsultat analytique pour la proportion du temps d'o upation pour deux stations
Tous les rsultats pr
dents peuvent tre tendus des paquets de tailles direntes, le plus
important tant d'avoir la valeur de
t_p_max.
anal radio est ordonnan
omme dans un a
s TDMA (o toutes les stations mettent les unes
aprs les autres). De
e fait, pour
haque station, la valeur de
pourrait tre susamment raliste du fait que l'algorithme de ba
ko de 802.11 ore en moyenne
un a
s quitable au
anal radio. Nanmoins, nous verrons que les diren
es obtenues entre les
rsultats analytiques et les simulations sont dues
ette hypothse
ar 802.11 ne se
omporte pas
omme un a
s TDMA
ourt terme.
11 Mbps et l'autre
i Mbps
et que la premire transmet 11 Mbps. La taille des paquets est de 1000 o
tets. Pour
haque i,
la gure donne la proportion du temps d'o
upation pour la station rapide (11 Mbps) et pour la
station lente (i Mbps) et la proportion de temps o le mdium est libre. Nous pouvons voir sur
ette
pour deux stations. Dans ette gure, l'une des deux stations transmet toujours
1, 2, 5, 5
ou
11
gure que la station rapide obtient une plus grande o
upation du mdium que la station lente. Il
faut aussi remarquer que la proportion du temps d'o
upation n'est pas de
50%
omme il devrait
l'tre dans une quit temporelle parfaite. Ce
i peut s'expliquer par le fait que l'o
upation
al
ule
par PAS n'in
lut pas le temps d'
hange. Nous pouvons aussi remarquer que le dbit de la station
lente augmente
ar la proportion de temps libre augmente. Ce
i est d la proportion de temps
onsomm en d
rmentation de ba
ko.
La table 6.1 montre les diren
es de dbits obtenus partir de l'quation 6.7 pour deux stations
(une rapide et une lente). Nous avons in
lus dans
e tableau l'index d'quit de Jain que nous
rappelons sur la formule suivante :
97
Nb de paquets (/s)
Index
5.5Mbps
1547.2
193.4
0.98
11Mbps
3095.2
386.9
2Mbps
624.8
78.1
11Mbps
3749.6
468.7
1Mbps
344.8
43.1
11Mbps
3791.2
473.9
0.93
0.92
P
( i ri /ri )2
FI = P
n i (ri /ri )2
prenons
omme valeur de ri la valeur dnie dans Tan et al.. Cette valeur est le dbit qu'obtiendrait
o
ri
(6.8)
le ux
si tous les ux du rseau utilisaient le mme dbit que le ux i. Par exemple, si nous avons
si le ux
11
tait transmis
Mbps (Flux
11
1)
et l'autre
obtenue si les temps d'o
upation taient les mme. C'est pour
ette raison que les index ne sont
pas gaux
30
simulations de
100s
0.95.
ARP et les proto
oles de routage ont t enlevs pour rduire tous les
hanges de messages qui ne
seraient pas lis l'appli
ation. Dans toutes les simulations, un ux UDP saturation est utilis
si le
ontraire n'est pas sp
i. Nous avons aussi
hoisi d'ee
tuer la plupart des simulations ave
des paquets de
1000
o tets. Cependant, nous avons aussi ee tu des simulations ave des tailles de
paquet tir alatoirement et suivant une distribution uniforme. Les index d'quit sont aussi donns.
98
4000
3000
2000
1000
Fig. 6.3: PAS vs. IEEE 802.11 in : Simulations ave deux stations. Cette gure montre les dbits
globaux, les dbits individuels de
haque station et les index d'quit (entre parenthses
sur l'axe des abs
isses) obtenus sur le rseau. La lgende sur l'axe des
indique : le
proto ole utilis, le debit utilis par ha une des stations et l'index d'quit obtenu.
partag presque quitablement entre les stations. L'index d'quit donn entre parenthses montre
aussi que PAS est plus quitable que 802.11.
3500
1 Mbps
2 of 1 Mbps
5.5 or 1 Mbps
11 Mbps
3000
2500
2000
1500
1000
500
0
PAS: 11, 5.5, 2, 1 (.99)
Fig. 6.4: PAS vs. IEEE 802.11 in : Simulations ave quatre stations. Cette gure montre les dbits
globaux, les dbits individuels de
haque station et les index d'quit (entre parenthses
sur l'axe des abs
isses) obtenus sur le rseau. La lgende sur l'axe des
indique : le
proto ole utilis, le dbit utilis par ha une des stations et l'index d'quit obtenu.
La gure 6.4 montre les rsultats de simulations ave
4 stations. On voit
lairement que le dbit
agrg obtenu ave
PAS est plus lev que le dbit obtenu ave
802.11. En plus,
omme pour la
99
t_p_max).
Ainsi, la diren e
entre les dbits obtenus par simulations et analytiquement est plus pronon
e quand la diren
e
des dbits entre les stations lentes et rapides augmente.
La gure 6.5 donne les rsultats de simulation ave
dirents nombres de stations. Dans
es
simulations, la moiti des stations sont des stations rapides et l'autre moiti sont des stations
lentes. Les dbits des stations lentes sont
11, 5, 5, 2
et
[550; 1450]
le dbit agrg sur
es s
narii ave
un nombre
roissant de stations. Nous voyons que PAS est plus
performant que 802.11. La diren
e de performan
e est plus grande quand les dbits des stations
lentes sont plus faibles. Nous pouvons aussi remarquer que mme si toutes les stations transmettent
11 Mbps, PAS est plus performant que 802.11. Ce i est d au fait que le tirage alatoire de la taille
des paquets peut parfois autoriser des stations agrger des paquets. Si les intervalles de
onan
e
de PAS sont plus larges que
eux de 802.11,
'est d l'agrgation des paquets qui permet au dbit
global de u
tuer plus que pour 802.11.
6.6.2 Ra
tivit
Un moyen simple de tester la ra
tivit de PAS est d'introduire le m
anisme d'Auto
Rate fallba k
(ARF) utilis par les stations sans l pour adapter leur dbit en fon
tion des
onditions du
anal
radio. Nous avons implment le proto
ole ARF et ralis une simulation pour voir le
omportement
de PAS quand le dbit d'une station varie dans le temps. La simulation se prsente sous la forme
de deux stations transmettant des paquets de mme taille une station de base. Au dbut de la
simulation, les deux stations sont pro
hes de la station de base et transmettent toutes les deux ave
un dbit de
11 Mbps. Ensuite, l'une des deux stations s'loigne de la station de base tandis que l'autre
reste pro
he de
elle-
i. L'loignement de la station provoque une dgradation de son
anal radio et
ette station, doit ainsi diminuer son dbit de transmission au fur et mesure qu'elle s'loigne. La
station s'loignant du point d'a
s suit une traje
toire re
tiligne ave
une vitesse
onstante. Au
un
modle de mobilit n'est utilis et le modle de mobilit utilis ne devrait pas avoir d'impa
t sur
les rsultats de ra
tivit
ar nous nous
onsidrons dans une
ellule de
ommuni
ation o toutes
les stations sont porte de
ommuni
ation.
La gure 6.6 montre les rsultats de la simulation ave
PAS et 802.11. Nous pouvons voir sur
ette gure que pour la station rapide utilisant PAS, le dbit utile reste
onstant, alors que le dbit
de la station lente diminue. Dans le
as de 802.11. le dbit utile des deux stations diminue.
6.6.3 Dlais
20 se
ondes ave
deux metteurs : l'un 11
1 Mbps. Durant la simulation, nous avons
al
ul le temps entre deux agrgations.
Ce temps est dni omme le temps sparant l'envoi de deux rafales de paquets agrgs. Pour la
100
5200
PAS, 11Mbps
802.11, 11Mbps
PAS, 5Mbps
802.11, 5Mbps
5000
5400
4800
4600
4400
5000
Debit (kbps)
Debit (kbps)
5200
4800
4600
4200
4000
3800
3600
4400
3400
4200
3200
4000
3000
5
10
15
20
25
# stations
30
35
40
5000
10
15
20
25
# stations
40
35
40
PAS, 1Mbps
802.11, 1Mbps
4500
3500
4000
3000
Debit (kbps)
Debit (kbps)
35
4000
PAS, 2Mbps
802.11, 2Mbps
30
3500
3000
2500
2000
2500
1500
2000
1000
1500
500
5
10
15
20
25
# stations
30
35
40
10
15
20
25
# stations
30
Fig. 6.5: PAS vs. IEEE 802.11 : Simulations ave direntes densits de ellule. Dans toutes les
simulations, toutes les stations sont porte de
ommuni
ation. La tailles des paquets
de
haque station est tire alatoirement et uniformment. La premire gure (en haut
gau
he) montre les rsultats de simulations o toutes les stations transmettent
11
Mbps. La deuxime gure (en haut droite) montre les rsultats o la moiti des stations
transmettent
11 Mbps et l'autre moiti 5.5 Mbps. La troisime gure (en bas gau
he)
11 Mbps et l'autre 2 Mbps.
La dernire gure (en bas droite) montre les rsultats de simulations ave
une moiti de
stations
11
Mbps
station lente, une rafale est toujours
onstitue d'un seul paquet. Pour la station rapide
ette rafale
peut tre
onstitue de plusieurs paquets ou d'un seul si la station rapide a
de plusieurs fois
su
essivement au mdium radio.
Le tableau 6.2 donne le nombre de rafales envoyes par la station lente et la station rapide ainsi
que le temps moyen entre
haque rafale. Ces rsultats montrent que la mthode d'a
s de PAS
(i
i 802.11) fournit un nombre quitable d'a
s aux deux stations. De plus, le temps moyen entre
haque rafale est pro
he du temps de transmission d'un paquet de la station lente
8576s.
La gure 6.7 montre la fon
tion de distribution
umule pour la station rapide et la station lente
des temps inter-rafales. Cette distribution est une
ourbe par paliers pour la station rapide et la
station lente. On peut voir aisment sur
es
ourbes que l'a
s fourni par 802.11 est loin d'tre un
a
s TDMA. Ce
i se voit sur le grand pallier pro
he de
101
3500
3000
Debits (kbps)
2500
2000
1500
1000
500
0
0
10
15
20
25
30
35
40
Temps
RAPIDE
LENT
Nb bursts
5911
6004
Inter-bursts moyen
9867.70s
8776.46s
signie qu'il y a un nombre non ngligeable de paquets qui sont transmis spars seulement par le
temps d'un
ba ko,
PAS. Nous voyons aussi sur
ette gure que pour la station rapide,
haque palier quivaut environ
au temps de transmission d'un paquet pour la station lente. La prsen
e de plusieurs paliers nous
indique que la station lente peut transmettre plusieurs paquets su
essivement. Ce
i
onrme les
diren
es entre notre analyse thorique et les simulations. Pour la station lente nous voyons que le
temps inter-rafales est pro
he du temps n
essaire la station rapide pour envoyer une rafale. Nous
pouvons aussi voir que les deux distributions sont direntes
ar la station rapide, mme si elle
russit a
der plusieurs fois su
essivement au mdium, ne peut pas systmatiquement agrger
ses paquets. Ainsi,
ontrairement la station rapide, la distribution
umule de de la station lente
ne
omporte qu'un seul pallier. Ce
i explique aussi que le temps moyen inter-rafales de la station
lente soit plus
ourt que
elui de la station rapide.
1
0.9
0.8
0.7
0.6
CCDF
Fig. 6.6: PAS vs. IEEE 802.11 : Utilisation du m anisme ARF (Auto
0.5
0.4
Station rapide (CDF)
Station lente(CDF)
0.3
0.2
0.1
0
0
0.01
0.02
0.03
time
0.04
0.05
0.06
Fig. 6.7: PAS : Fon tion de distribution umule des temps inter-rafales.
102
4000
3500
3000
2500
2000
1500
1000
500
0
PAS: 11, 5.5 sans alpha (.95)
3500
1 Mbps
2 of 1 Mbps
5.5 or 1 Mbps
11 Mbps
3000
2500
2000
1500
1000
500
0
PAS sans alpha (.98)
6.6.4 Eet de
. Nous simulons deux stations sans l trans11Mbps et 5, 5Mbps. Nous pouvons voir sur la gure 6.8 que
dans
ette simulation sp
ique, quand n'est pas utilis, il n'y a au
une agrgation pour la station rapide. En eet, pour le deuxime paquet de la station rapide, la
ondition t_my _lef t
t_my _packet > 0, n'est jamais vraie. En revan
he, l'utilisation de permet la station rapide
I
i nous montrons l'eet de l'utilisation ou non de
mettant
1000
o tets de donnes
d'augmenter son temps d'agrgation pour arrondir au nombre suprieur le nombre de paquets pouvant tre transmis dans une srie de paquets agrgs. Son utilisation permet aussi d'obtenir un
meilleur dbit agrg global.
La mme simulation a t mene ave
quatre stations ave
des dbits de
gure 6.9 montre que l'utilisation de
11, 5, 5, 2
et
Mbps. La
103
augmente l'quit.
2500
2000
1500
1000
500
0
PAS: 11, 5.5 (.93)
PAS: 11, 5.5 sans trate (.96) 802.11: 11, 5.5 (.81)
t_rate
restant pour l'agrgation en fon tion du rapport entre les donnes et les enttes. Pour voir l'eet
t_rate sur
11 Mbps et
de
PAS, nous avons simul deux stations : l'une transmettant des paquets de
l'utilisation de
t_rate
1000
o tets
5.5
100
o tets
en-de de eux de 802.11. Cependant, la gure 6.10 montre aussi l'eet nfaste de
t_rate
sur
l'quit,
ar
elui-
i rduit le temps d'agrgation pour la station rapide. Notons en revan
he que
PAS ave
ou sans l'utilisation de t_rate reste plus quitable que 802.11. Dans
e s
nario parti
ulier,
il existe un
ompromis entre e
a
it et quit.
Il y a plusieurs possibilits pour l'utilisation de t_rate. Il est possible de mettre t_my _lef t 0 si
t_rate < 1. Cette utilisation permettrait d'avoir les mme performan
es que 802.11 dans le s
nario
d
rit i
i. Cependant, nous ne pensons pas que
ette solution soit la bonne,
ar elle rduirait les
performan
es dans le
as o les stations ont des petits et des grands paquets envoyer.
Nous pensons que PAS permet d'obtenir un bon
ompromis. Pour montrer
e
ompromis, des
simulations ont t menes ave
direntes tailles de paquets pour la station rapide. Comme les
gures 6.11 et 6.12 le montrent, ave
l'utilisation de
t_rate, PAS
pour des petits paquets. Cependant, les dbits sont assez pro
hes. En revan
he, pour des tailles de
paquets plus grandes, PAS (ave
ou sans
t_rate)
t_rate
t_rate
pour des petites tailles de paquet mais reste a eptable et bien suprieur elui de 802.11.
104
4000
3500
3000
2500
2000
0
100
200
300
400
500
600
700
Fig. 6.11: PAS : Dbit agreg en fon tion de la taille des paquets.
Effet de t_rate
Index de Jain
0.95
0.9
0.85
0.8
100
200
300
400
500
Taille de paquet pour la station rapide (octet)
600
700
Fig. 6.12: PAS : index d'quit en fon tion de la taille des paquets.
CW = CW
11e6
dataRate
(6.9)
La simulation de deux stations ave des tirages uniformes de la taille des paquets entre
[550; 1450]
montre que les deux solutions rsolvent le problme de l'anomalie de performan
e (gure 6.13).
Cependant PAS est plus e
a
e
ar la solution de
omparaison ajoute un temps de ba
ko avant
haque transmission. Un autre problme li a
ette appro
he est l'envoi de petits paquets par la
station rapide. Dans
e
as, la solution modiant le ba
ko perd en e
a
it. Pour PAS,
e problme
est rsolu par l'utilisation de
t_rate.
La fragmentation de paquets
Nous avons aussi
ompar notre solution la solution propose par Iannonne
simulation, deux stations, une rapide (11 Mbps) et une lente (5.5 Mbps), transmettent des paquets
de
1500
o tets. Pour la solution ave fragmentation de paquets, les paquets de la station lente sont
727
rsolvent l'anomalie de performan
e mais que la fragmentation est moins e
a
e que PAS. Ce
i est
d l'utilisation du ba
ko entre
haque transmission. La fragmentation pose aussi un problme
s'il n'y a que des stations lentes sur le rseau
ar les paquets seront fragments et les performan
es
105
4000
3500
3000
2500
2000
1500
1000
500
0
PAS: 11, 5.5 (.99)
5000
5.5 Mbps
11 Mbps
4500
4000
3500
3000
2500
2000
1500
1000
500
0
PAS: 11, 5.5 (.99)
seront diminues ause du ratio entre les donnes et les enttes proto olaires.
1500
o tets transmettre
l'agrgation sur un temps xe est plus e
a
e que PAS. Ce
i est d au fait que les deux stations
rapide (11 Mbps) et lente (5.5 Mbps) agrgent des paquets sur
haque transmission a
roissant ainsi
le dbit global.
Cependant, la table 6.3 montre que le nombre de rafales est plus lev pour PAS et que le temps
inter-rafales de PAS est beau
oup plus
ourt que
elui du proto
ole utilisant un temps d'agrgation
xe.
106
4000
3500
3000
2500
2000
1500
1000
500
0
PAS: 11, 5.5 (.99)
Nombre de rafales
FIXE
PAS
5.5Mbps
7123
11230.07
11Mbps
6666
12000.80
5.5Mbps
19570
4087.80
11Mbps
19346
4135.11
s
s
s
s
200
5.5
ou
11
1000
Mbps). La gure 6.16 montre que la diren
e entre 802.11 et PAS ne se voit que pour les stations
lentes ayant un dbit de
ou
les mmes. Dans
e
as, l'agrgation est possible mais la probabilit de
ollision du deuxime paquet
agrg est trs forte et rduit ainsi le dbit global. Pour une station lente
5.5
Mbps,
t_my _lef t
n'est pas assez grand pour permettre la retransmission d'un paquet ayant subi une
ollision alors
que pour une station lente
ou
1000
[550; 1450]
o tets et un seuil
PAS est plus e
a
e et quitable que 802.11. Il faut noter que dans
e s
nario, quand les RTS ne
sont pas utiliss,
t_p_max
107
3000
2500
2000
1500
1000
500
1600
1 Mbps
11 Mbps
1400
1200
1000
800
600
400
200
0
PAS: 11, 1 (.94)
que les ux TCP utilisent la mme le d'attente pour l'envoi des paquets et des a
quittements. De
e fait, le dbit de la station rapide sera dgrad
ause du dlai dans la le d'attente de la station
lente mais aussi des pertes au niveau de
elle-
i.
La gure 6.19 montre les dbits obtenus pour les deux ux. On voit
lairement que les performan
es de PAS sur
e s
nario sont meilleures que
elles de 802.11. Ce
i est d au fait que la
station lente peut agrger les a
quittements,
e qui a
rot le dbit de la station rapide. Ces rsul-
108
B
TCPba
3000
2500
2000
1500
1000
500
0
PAS: 11, 2
802.11: 11, 2
tats montrent qu'une modi
ation au niveau MAC peut amliorer les performan
es des proto
oles
de niveau suprieur. Ces rsultats sont nanmoins prendre ave
pr
aution et d'autres analyses et
simulations doivent tre faites pour obtenir l'inuen
e relle de PAS sur TCP.
ad ho .
s
nario des trois paires [14. Comme les transmissions des paires extrieures (qui sont indpendantes
l'une de l'autre) se superposent, l'o
upation du mdium peru par la paire
entrale est montre
sur la gure 6.20. Il est fa
ile d'observer que la valeur de
plus
t_p0 + t_p2
t_pii{0,2}
t_p_max
1000
o tets
Mbps et la paire
P1
P0
i.
P 2 transmettant des
1000 o
tets 11 Mbps.
et
On voit que mme si l'utilisation de PAS ne rsout pas le problme des trois paires (les partages
109
Dbits (kbps)
Htrogne
Toutes 802.11
Toutes PAS
Rapide (802.11)
445.62
[ 431.30 ; 459.94
Rapide (PAS)
1815.40
[ 1777.37 ; 1853.44
Lente (802.11)
477.73
[ 465.98 ; 489.48
Lente (PAS)
478.76
[ 468.64 ; 488.87
Total
3217.51
[ 3185.84 ; 3249.17
Rapide
566.04
[ 548.81 ; 583.27
Rapide
581.13
[ 566.05 ; 596.21
Lente
583.42
[ 570.67 ; 596.18
Lente
611.37
[ 599.62 ; 623.12
Total
2341.97
[ 2321.05 ; 2362.89
Rapide
1484.23
[ 1435.37 ; 1533.09
Rapide
1511.53
[ 1471.98 ; 1551.07
Lente
403.10
[ 394.02 ; 412.18
Lente
395.38
[ 386.01 ; 404.75
Total
3794.24
[ 3759.19 ; 3829.29
Tab. 6.4: Ce tableau montre les rsultats de simulation de l'utilisation de PAS dans un ontexte
htrogne. Sur un mme rseau, plusieurs proto oles MAC sont utiliss, i i PAS et 802.11
packet
External pair 1
t_p_max
Central pair
packet
External pair 2
110
6.8 Conclusion
PAS
802.11
P0
P1
P2
P0
P1
P2
Dbit (kbps)
1592.49
102.21
1592.49
1634.15
6.44
1632.86
Int. de Conf.
[ 1584.16 ; 1600.82
[ 68.28 ; 136.15
[ 1584.09 ; 1600.89
[ 1632.03 ; 1636.27
[ 1.78 ; 11.11
[ 1630.23 ; 1635.49
temporels sont en
ore trs dirents) le dbit de la paire
entrale est meilleur quand PAS est utilis
la pla
e de 802.11.
Con
lusion
Dans
e
hapitre, nous proposons un m
anisme dynamique d'agrgation des paquets rsolvant
l'anomalie de performan
e de la norme IEEE 802.11. Notre solution s'appuie sur le fait que
haque
station dispose du mme temps de transmission. Bien que des solutions similaires ont dj t
proposes,
omme par exemple dans la norme IEEE 802.11e, notre solution est dirente par
e
que
e temps de transmission est
al
ul dynamiquement et de manire totalement distribue, ne
n
essitant que des informations disponibles lo
alement. Ce
al
ul utilise simplement le m
anisme
d'
oute a
tive du mdium pour obtenir le temps de transmission utilis.
Nous avons montr qu'en utilisant PAS, l'anomalie de performan
e est rsolue et que le dbit
global dans le rseau est augment. Nous avons galement montr que notre appro
he n'a pas besoin
d'information supplmentaire et peut tre fa
ilement implmente au-dessus de 802.11. Cependant,
rien n'emp
he l'implmentation de PAS au-dessus d'une
ou
he MAC telle que MadMa
, Idle
Sense [35 ou AOB [8.
Perspe
tives
Dans
hapitre nous avons fait le
hoix d'utiliser PAS au-dessus de 802.11. Dans la suite de
es travaux, nous aimerions valuer les performan
es de PAS au-dessus d'autres proto
oles. Ces
rsultats nous permettront de savoir ave
quel proto
ole PAS exhibe les meilleures performan
es
pour rsoudre l'anomalie de performan
e.
L'appro
he totalement distribue de
ette solution nous laisse penser qu'il est possible d'utiliser
PAS au-dessus de solutions MAC pour les rseaux
plus, les rsultats prometteurs de PAS sur les ux TCP asymtriques restent une piste de re
her
he
ouverte sur
omment
on
evoir une
ou
he MAC pour les rseaux sans l permettant d'a
rotre
les performan
es de TCP.
111
Conclusion et Perspectives
Bill Watterson,
113
7.1 Conclusion
ad ho
sont de plus
en plus
laires. Ces appli
ations ne demandent pas toutes les mme performan
es. Un rseau de
apteur va atta
her plus d'importan
e l'
onomie d'nergie alors qu'un rseau maill va
her
her
maximiser la
apa
it du rseau. Ces dirents besoins et les
ontraintes qui y sont lies n
essitent
bien souvent l'laboration d'une pile proto
olaire sp
ique.
Au dbut de
ette thse, les appli
ations des rseaux pour lesquelles les proto
oles
onus seraient
destins n'etaient pas tout fait
laires. Nanmoins, nous avons voulu nous attaquer un problme
ouvert et qui selon nous l'est en
ore,
elui de l'quit. Nous nous sommes atta
hs tudier l'eet
de l'quit au niveau
2 de la ou he
OSI et l'impa t que elle- i sur les proto oles situs au niveau
sur l'quit dans 802.11. Nous avons don tudi 802.11. En eet, 802.11 tant le standard de fait
avant mme de proposer une alternative ou de l'amliorer. Dans le premier
hapitre de
ette thse,
nous avons labor un modle de 802.11 en utilisant le formalisme des algbres de pro
essus sto
hastiques. Ce modle nous a permis de mieux
omprendre les performan
es de 802.11 dans des
as
pathologiques mettant en dfaut l'quit de 802.11. Nous avons vu
omment les
ollisions au niveau
MAC pouvaient rduire les performan
es de 802.11 mais surtout,
omment la prsen
e de
ollisions
pouvait ae
ter l'quit dans 802.11. Nous avons aussi vu
omment des situations de famine pouvaient amliorer les performan
es tout en rduisant l'quit. Les rsultats de
e
hapitre montrent
que l'algorithme de
ba ko
ad ho
est simple : tenter d'ordonnan
er l'a
s au mdium radio. Pour
ela, une station utilisant MadMa
onsidre les autres stations
omme un seul adversaire et partage le mdium en deux (elle et les
autres). Ce partage en deux permet d'avoir une meilleure quit que
elle de 802.11 (
ompare une
quit MaxMin) tout en maintenant une bonne e
a
it. De plus, MadMa
intgre un m
anisme
e
a
e d'vitement de
ollisions. L'implmentation de
e m
anisme rsulte de l'interprtation des
rsultats du premier
hapitre, qui montrent que la prin
ipale sour
e d'iniquit et d'ine
a
it est
la
ollision. Ces deux m
anismes, partage et vitement de
ollisions, font de MadMa
un proto
ole
quitable et e
a
e.
Les premires valuations de performan
e de MadMa
ont t ralises en regardant les dbits des
ux obtenus dans dirents rseaux ave
des ux UDP saturation. Dans
es
onditions, MadMa
est performant. Cependant, l'utilisation de ux UDP saturation est le pire
as de fon
tionnement et
les rseaux
ad ho seront peut tre utiliss dans des as moins extrmes. C'est dans ette optique que
nous avons essay d'valuer les performan
es d'un proto
ole de d
ouverte de voisinage en utilisant
MadMa
et 802.11
omme
ou
he MAC. Les rsultats ont
onrm notre intuition. MadMa
et
802.11 ont exa
tement le mme
omportement et la mme inuen
e sur le proto
ole de d
ouverte
de voisinage quand au
un ux n'est prsent sur le rseau. L'utilisation de MadMa
n'a une inuen
e
onsquente sur les performan
es du proto
ole de d
ouverte de voisinage que quand le nombre de
ux dans le rseau augmente. Les rsultats prsents dans
e
hapitre semblent nanmoins montrer
que l'utilisation de MadMa
est re
ommande
ar lorsque la
harge augmente, il permet d'a
rotre
les performan
es des proto
oles des
ou
hes suprieures.
Aprs une tude dans les trois premiers
hapitres de
e manus
rit sur l'quit d'a
s menant des
114
7.2 Perspectives
transmissions
orre
tes, la quatrime
ontribution prsente une solution un problme bien
onnu
de la norme 802.11b, l'anomalie de performan
e. Dans
e
hapitre, nous proposons une solution
dynamique et distribue pour rsoudre l'anomalie de performan
e utilisant l'agrgation de paquets.
Cette solution, bien que pouvant tre adapte sur tous les proto
oles utilisant l'
oute a
tive du
anal radio, a t teste ave
802.11. Notre proto
ole PAS (Performan
e
Anomaly Solution )
se
dmarque des proto
oles prsents dans la littrature par son aspe
t dynamique et distribu. De
plus, la
omparaison ave
les autres types de solutions trouves dans la littrature montre que
l'appro
he
hoisie dans PAS rsout le problme de l'anomalie de performan
e en tant soit plus
performant soit plus quitable que ses
on
urrents.
Nous avons tendu l'valuation de performan e de 802.11 propose dans le premier hapitre
un algorithme de
ou de
ompromis. Il nous semble utile, ave
le re
ul, de repenser des solutions utilisant une
modi
ation intelligente des algorithmes de
rsultats que l'a
tuel algorithme de
ba ko
ba ko.
ho .
ad
La possibilit d'intgrer PAS au-dessus de MadMa nous pousse regarder dans e sens.
Intuitivement, nous pensons que la
ombinaisons PAS/MadMa
devrait amliorer l'quit dans
les rseaux
ad ho
dans lesquels les stations auraient des dbits dirents. Cette intuition reste
onrmer.
Il nous parat ainsi di
ile d'imposer une
ou
he MAC pour tous les rseaux
ad ho .
Cette in-
tuition est
onrme par le nombre de proto
oles MAC standardiss,
omme 802.11, Bluetooth,
ZigBee, et le nombre de propositions de proto
oles MAC dans la littrature. Cependant, la
lari
ation des appli
ations de rseaux
ad ho
dans la
on
eption de
ou
hes MAC paramtres pouvant s'adapter la plupart des appli
ations,
si
e n'est tous les
ontextes d'utilisation.
Nous pensons que l'avenir des nouveaux proto
oles MAC rside dans leur polyvalen
e. Cette polyvalen
e pour MadMa
pourrait venir d'un dimensionnement parti
ulier de ses paramtres suivant
le
ontexte d'utilisation. Cette appro
he pose
ependant un problme de dnition et de re
onnaissan
e du
ontexte d'utilisation. Malgr tous les problmes lis la dynami
it, l'adaptation et la
115
7.2 Perspectives
mobilit des stations, nous pensons qu'une telle appro
he reste l'avenir des proto
oles MAC. Cette
appro
he permettrait par exemple en modiant quelques paramtres, d'utiliser MadMa
pour les
rseaux de
apteur ou pour les rseaux maills. Par exemple si MadMa
devait tre utilis dans les
rseaux de
apteurs la rdu
tion de l'
oute du
anal n
essaire l'
onomie d'nergie pourrait se
faire en teignant le
apteur pendant les temps d'attente insrs par le proto
ole. Pour une utilisation dans un rseau maill, MadMa
pourrait tirer partie des informations lies la topologie pour
mieux adapter ses temps d'attente.
L'identi
ation des appli
ations pour lesquelles le proto
ole MAC sera utilis pourra nous permettre d'approfondir les analyses
on
ernant l'impa
t de la
ou
he MAC sur les performan
es des
ou
hes suprieures. Nous regardons a
tuellement
omment le
omportement du proto
ole MAC
inue sur un proto
ole d'auto-organisation. Ce travail fait suite au travail prsent dans le
hapitre
5.
D'un point de vue plus pragmatique, il manque MadMa
et PAS une valuation relle du
proto
ole. Car bien que les simulations montrent de bons
omportements, selon nous, rien ne vaut les
alas lis l'exprimentation pour avoir une ide pr
ise du
omportement du proto
ole. L'utilisation
des
artes sans l a
tuelles pour implmenter nos proto
oles reste
omplexe
ar les
onstru
teurs
ne permettent pas de modier le
ode de la
ou
he MAC implmente. Nous nous tournons en
e
moment vers les
apteurs qui eux permettent, dans quelques
as, la modi
ation des
ou
hes MAC
pour pouvoir raliser des exprimentations de nos proto
oles.
L'apparition et l'identi
ation pr
ises des appli
ations pour les rseaux
ad ho
permettent de
on
evoir des proto
oles MAC de plus en plus sp
iques. Il nous parat important, plus long
terme, d'intgrer les
ara
tristiques des appli
ations dans le pro
essus de
on
eption de la
ou
he
MAC. Cependant, deux
hoix peuvent s'orir : on peut
on
evoir un proto
ole MAC optimal par
appli
ation ou
on
evoir un proto
ole MAC gnrique fournissant des performan
es
orre
tes pour
un grand nombre d'appli
ations. Dans les deux
as, nous pensons que l'a
roissement du nombre
d'appli
ations pour les rseaux
ad ho
116
Liste de publications
Journaux internationaux ave
omit de le
ture
Dynami
and Distributed Pa
ket Aggregation to Solve Performan
e Anomaly in
802.11 Wireless Networks, by Tahiry RAZAFINDRALAMBO, Isabelle GUERIN-LASSOUS,
[1
[2
NAL (ELSEVIER),
[1
3rd ACM International Workshop on Performan
e Evaluation of Wireless Ad Ho
, Sensor, and Ubiquitous Networks (PE-WASUN'06) O
tober
2006 - Torremolinos, Malaga, Spain.
[3
[4
by Tahiry RA-
[5
117
[6
on Networking (NETWORKING'06)
[7
International Conferen e
[2
[3
(CFIP'06)
Rapport de re
her
he
Dynami
Pa
ket Aggregation to Solve Performan
e Anomaly in 802.11 Wireless Networks, by Tahiry RAZAFINDRALAMBO, Isabelle GUERIN-LASSOUS, Luigi IANNONE, Serge
[1
[2
Bibliographie
[1 N. Abramson. The ALOHA system.
Computer Networks,
25 :501518, 1973.
[2 I.F. Akyildiz, J. M Nair, L.C. Martorell, R. Puigjaner, and Y. Yesha. Medium A ess Control
13 :3947,
July/August 1999.
[3 Brahim Bensaou, Y. Wang, and C. C. Ko. Fair Medium A
ess in 802.11 based Wireless Ad-Ho
Networks. In
GLOBECOM,
In
pages 212225,
TRICS/Performan e,
18 :535547, 2000.
Impa
t of Fairness on Internet Performan
e.
In
SIGME-
[8 L. Bononi, M. Conti, and E. Gregori. Runtime Optimization of IEEE 802.11 Wireless LANs
Performan
e.
15(1) :6680,
2004.
[9 R. Bruno, C. Chaudet, M. Conti, and E. Gregori. A Novel Fair Medium A
ess Control for
802.11-based Multi-Hop Ad ho
Networks. In
September 2005.
[10 R. Bruno, M. Conti, and E. Gregori. Optimal apa ity of p-persistent CSMA proto ols.
IEEE
[11 A. Chandra, V. Gummalla, and J. O. Limb. Wireless Medium A ess Control Proto ols.
IEEE
In
Cyberneti s and
July 2005.
[14 C. Chaudet, D. Dhoutaut, and I. Gurin-Lassous. Performan
e Issues with IEEE 802.11 in Ad
Ho
Networking.
[15 C. Chaudet, I. Gurin-Lassous, E. Thierry, and B. Gaujal. Study of the Impa
t of Asymmetry
and Carrier Sense Me
hanism in IEEE 802.11 Multi-hops Networks through a Basi
Case.
In ACM Workshop on Performan
e Evaluation of Wireless Ad Ho
, Sensor, and Ubiquitous
Networks (PE-WASUN), 2004.
119
BIBLIOGRAPHIE
[16 T. Clausen and P. Ja
quet. Optimized Link State Routing Proto
ol (OLSR). RFC 3626, IETF,
2003.
[17 DARPA. Transmission Control Proto
ol Spe
i
ations. RFC 793, Defense Advan
ed Resear
h
Proje
ts Agen
y Information Pro
essing Te
hniques O
e, September 1981.
[18 L. De Alfaro, M. Kwiatkowska, g. Norman, D. Parker, and R. Segala. Symboli
Model Che
king
of Con
urrent Probabilisti
Pro
esses Using MTBDDs and the Krone
ker Representation. In
S. Graf and M. S
hwartzba
h, editors, Pro
. 6th International Conferen
e on Tools and Algorithms for the Constru
tion and Analysis of Systems (TACAS'00), volume 1785 of LNCS,
pages 395410. Springer, 2000.
[19 D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders,
and Webster P. G. The Mbius Framework and Its Implementation.
Software Engineering,
[20 S. Donatelli. Superposed Generalized Sto
hasti
Petri Nets : Denition and E
ient Solution.
In
Pro eedings of the 15th International Conferen e on Appli ation and Theory of Petri Nets,
BROADNETS,
2004.
[22 ETSI. ETS 300 652 High Performan
e Radio Lo
al Area Network (HiperLAN) type 1 - Fun
tionnal Spe
i
ation.
[23 Z. Fang and Brahim Bensaou.
IEEE INFOCOM,
2004.
[24 Z. Fang, Brahim Bensaou, and Y. Wang. Performan
e evaluation of a fair ba
ko algorithm for
IEEE 802.11 DFWMAC. In
(MOBIHOC),
In
Cambridge
IEEE INFOCOM,
IFIP Netwoking,
volume 3462/2005,
In
IEEE INFOCOM,
2006.
[29 M. Garetto, J. Shi, and E. Knightly. Modeling media a
ess in embedded two-ow topologies
of multi-hop wireless networks.
(MOBICOM),
In
[30 S. Gilmore and J. Hillston. The PEPA Workben h : A Tool to Support a Pro ess Algebra-based
[31
[32 J. He. Performan
e modeling and evaluation of IEEE 802.11 distributed
oordination fun
tion
in multihop wireless networks. In
ICON,
2004.
120
BIBLIOGRAPHIE
[33 J. He and H. K. Pung. Fairness of Medium A
ess Control Proto
ols for Multi-hop Qd Ho
Wireless Networks.
Computer Networks,
IEEE INFOCOM,
[35 M. Heusse, F. Rousseau, R. Guillier, and A. Duda. Idle Sense : an Optimal A
ess Method for
High Throughput and Fairness in Rate Diverse Wireless LANs. In
[36
PAPMPROBMIV '01 : Pro eedings of the Joint International Workshop on Pro ess Algebra and Probabilisti Methods, Performan e Modeling and Veri ation, pages 120135, London, UK, 2001.
[37 J. Hillston and L. Kloul. An E ient Krone ker Representation for PEPA Models. In
Springer-Verlag.
[38 X. L. Huang and B. Bensaou.
[39 L. Iannone and S. Fdida. SDT.11b : Un S
hma Division de Temps pour viter l'anomalie
de la
ou
he MAC 802.11b. In
2005.
[41
In
ATM
February 1999.
[46 L. Kalampoukas, A. Varma, and K. K. Ramakrishnan. Improving TCP throughput over twoway asymmetri links : analysis and solutions.
view,
[47 P. Karn.
Commununi ation,
In
September 1990.
121
BIBLIOGRAPHIE
[49 L. Kloul and A. Mokhtari. Algbre des Pro
essus pour l'Analyse des Performan
es des Nuds
A
tifs.
ACM
Workshop on Performan
e Evaluation of Wireless Ad Ho
, Sensor, and Ubiquitous Networks
(PE-WASUN), Montreal, Canada, O
t. 2005.
[50 L. Kloul and F. Valois. Investigating unfairness s enarios in MANET using 802.11b. In
[51 M. Kulkarni, G.and Srivastava. A
hannel assignment s
heme for FDMA based wireless ad ho
networks in Rayleigh fading environments. In
VTC,
[52 A. Kumar, E. Altman, D. Miorandi, and M. Goyal. New Insights From a Fixed-Point Analysis
of Single Cell IEEE 802.11 WLAN.
15(3) :588601,
2007.
[53 S. Kumar, V. S. Raghavan, and J. Deng. Medium A
ess Control proto
ols for ad ho
wireless
networks : A survey.
Ad Ho Networks,
Networks.
In
Roma,
IFIP NETWORKING,
[56 H. Luo, S. Lu, and V. Bharghavan. A new model for pa
ket s
heduling in multihop wireless
networks.
In
pages
IEEE INFOCOM,
[58 A. Muquattash and M. Krunz. CDMA-Based MAC Proto ol for Wireless Ad Ho Networks. In
153164,
http://www.isi.edu/nsnam/ns/.
[61 T. Ozugur, M. Naghshineh, P. Kermani, C.M. Olsen, B. Rezvani, and J.A. Copeland. Balan
ed
media a
ess methods for wireless networks.
Networking (MOBICOM),
In
1999.
[63 C. Perkins, E. Belding-Royer, and S. Das. Ad ho
on-demand distan
e ve
tor (aodv) routing.
RFC 3561, IETF, 2003.
[64 Charles E. Perkins.
Ad Ho Networking.
[65 B. Plateau. On the sto hasti stru ture of parallelism and syn hronization models for distributed algorithms.
systems,
In
[66 D. Qiao and K. Shin. A
hieving E
ient Channel Utilization and Weighted Fairness for Data
Communi
ations in IEEE WLAN under the DCF. In
pages pp.22736., 2002.
122
BIBLIOGRAPHIE
[67 T. Razandralambo and I. Gurin-Lassous. In
reasing Fairness and E
ien
y using the MadMa
Proto
ol in Ad Ho
Networks.
A epted for
tirate ad ho networks.
[69 G. Tan and J.V. Guttag. Time-based Fairness Improves Performan
es in Multi-Rate WLANs.
In
2004.
[71 N.H. Vaidya, P. Bahl, and S. Gupta. Distributed Fair S heduling in a Wireless LAN. In
ACM
[72 Y. Wang and B. Bensaou. A
hieving Fairness in IEEE 802.11 DFWMAC with Variable Pa
ket
Lengths. In
2001.
[73 W. Ye, J. Heidemann, and D. Estrin. An Energy-E
ient MAC Proto
ol for Wireless Sensor
Networks. In
IEEE INFOCOM,
IEEE.
[74 C.D. Young. USAP : a Unifying Dynami
Distributed Multi
hannel TDMA Slot Assignment
Proto
ol. In
MILCOM,
[75 H. Zimmermann.
Inter
onne
tion.
OSI Referen e Model - The ISO Model of Ar hite ture for Open Systems
123
RAZAFINDRALAMBO Tahiry
ARES - INRIA, Laboratoire CITI
INSA de Lyon
21, Av. J. Capelle 69621 Villeurbanne, Fran
e
tahiry.razandralamboinsa-lyon.fr
http ://perso.
iti.insa-lyon.fr/trazan