Algorithmique et programmation (INF431)

337 Pages·2013·15.65 MB·French

Algorithmique et programmation
(INF431)
BenjaminWerner FrançoisPottier
26avril2013
2
Table des matières
Introduction 11
1 Unproblèmetype:lesmariagesstables 15
1.1 Leproblème . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2 L’algorithme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.1 Descriptiondel’algorithme . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.2 Terminaison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.3 Correction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3 Propriétéssupplémentaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4 Lemarchén’apastoujoursraison. . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.5 Implémentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6 Problèmesreprésentatifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.6.1 Ordonnancementd’intervalles . . . . . . . . . . . . . . . . . . . . . . . . 22
1.6.2 Ordonnancementd’intervallesvalués . . . . . . . . . . . . . . . . . . . . 22
1.6.3 Détectiondegraphesbipartis . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.7 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2 ProgrammationOrientée-ObjetenJava 25
2.1 Grandsprincipes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3 Lesclasses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3.1 Lesinstancesd’uneclasse . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3.2 L’objetthis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.3 Cequirentreetsortdesobjets . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4 Emplacementsenmémoire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4.1 Unlangagecompilé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4.2 Statiqueetdynamique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4.3 Mortdesobjets:leGC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5 Sous-classesethéritage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3
4 TABLEDESMATIÈRES
2.5.1 Principe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.5.2 Redéfinitiondeméthode. . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.5.3 Liaisondynamique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.5.4 Vérificationdynamiquedelaclasse . . . . . . . . . . . . . . . . . . . . . 32
2.6 Lahiérarchiedesclasses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.6.1 Testerl’égalité:equals . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.6.2 Fabriquerune«signature»:hashCode . . . . . . . . . . . . . . . . . . . . 35
2.7 Modularité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.7.1 Classesgénériques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.7.2 Classesabstraites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.7.3 Interfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.8 Quelquesclassesparticulières . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.8.1 Tableaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.8.2 Typesénumérés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.9 Paquetagesetespacedesnoms . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3 Structuresdynamiques 43
3.1 Enregistrements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2 Typesalgébriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2.1 Codageredondant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2.2 Codageparsous-classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2.3 Codagedesfonctions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3 Typesalgébriquesrécursifs:listes,etc... . . . . . . . . . . . . . . . . . . . . . . . 45
3.3.1 Leslistessontuntypealgébrique. . . . . . . . . . . . . . . . . . . . . . . 46
3.3.2 Utilisernulletcomment . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.4 Structurespersistantescontrestructuresmutables . . . . . . . . . . . . . . . . . 47
3.4.1 Laconcaténationdelistesdéfiniesdanslesdeuxstyles . . . . . . . . . . 48
3.4.2 Lapropriétédepersistance . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.4.3 Imposerlapersistance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.4.4 Persistanceetpartage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.4.5 Mutationsetstructures“infinies”. . . . . . . . . . . . . . . . . . . . . . . 52
3.4.6 Persistanceetconcurrence . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.5 Unestructure(possiblement)persistante:lespiles . . . . . . . . . . . . . . . . . 52
3.6 Unestructuremutable:lesfiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.7 Listesmutablesdoublementchaînées . . . . . . . . . . . . . . . . . . . . . . . . 54
4 Programmeretraisonnerrécursivement 57
4.1 Rappels:programmeravecdeséquations . . . . . . . . . . . . . . . . . . . . . . 57
TABLEDESMATIÈRES 5
4.2 Principedespreuvesdecorrection:récursionetrécurrence . . . . . . . . . . . . 58
4.3 Listes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.3.1 Larécurrencestructurelle . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.3.2 Letri:unepropriétérécursive . . . . . . . . . . . . . . . . . . . . . . . . 60
4.4 Arbres,tasetfiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.4.1 Lesarbresbinaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.4.2 Filesd’attenteavecpriorité:leproblème . . . . . . . . . . . . . . . . . . 63
4.4.3 Taspartiellementordonnés . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.4.4 Insertiondansuntas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.4.5 Unedéfinitiond’équilibrage . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.4.6 Fusiondedeuxtaséquilibrés . . . . . . . . . . . . . . . . . . . . . . . . . 66
5 Diviserpourrégner 69
5.1 Triparfusionmergesort . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
5.1.1 L’algorithmeetsacomplexité . . . . . . . . . . . . . . . . . . . . . . . . . 69
5.1.2 Digression:l’implémentationdemergesort . . . . . . . . . . . . . . . . . 71
5.2 Unrésultatgénéraldecomplexité. . . . . . . . . . . . . . . . . . . . . . . . . . . 72
5.3 MultiplicationsRapides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.3.1 Nombresetpolynômes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.3.2 Multiplicationdematrices . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.3.3 Aproposdecesalgorithmes . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.3.4 MultiplicationsdepolynômespartransforméedeFourrier(FFT) . . . . 76
5.4 Pairedepointslesplusproches . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.4.1 Leproblème . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.4.2 Conceptiondel’algorithme . . . . . . . . . . . . . . . . . . . . . . . . . . 77
6 Graphes 81
6.1 Principesetexemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.2 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
6.2.1 Sous-graphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
6.2.2 Chemins,accessibilitéetconnexité . . . . . . . . . . . . . . . . . . . . . . 84
6.2.3 Cycles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
6.2.4 GraphesValués . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.3 Représentationsinformatiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.3.1 Matricesd’adjacence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
6.3.2 Listesdevoisins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
6.4 Graphesacycliquesnon-orientés:Arbres . . . . . . . . . . . . . . . . . . . . . . 89
6.5 Parcoursdegraphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
6 TABLEDESMATIÈRES
6.5.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
6.5.2 Leparcoursenlargeur:BFS . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.5.3 Parcoursenprofondeurd’abord:DFS . . . . . . . . . . . . . . . . . . . . 93
6.5.4 GraphesAcycliquesorientés:DAGs . . . . . . . . . . . . . . . . . . . . . 99
6.5.5 Composantesfortementconnexes . . . . . . . . . . . . . . . . . . . . . . 100
7 Algorithmesgloutons 105
7.1 Unexemplesimple:ordonnancementd’intervalles . . . . . . . . . . . . . . . . 105
7.1.1 Leproblème . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
7.1.2 L’algorithme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
7.1.3 Preuved’optimalité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
7.2 Unexempled’argumentd’échange:minimisersonretard . . . . . . . . . . . . 107
7.3 Unargumentd’échangepluscomplexe:lacompressiondeHuffman . . . . . . 109
7.3.1 Représentationducodageparunarbre . . . . . . . . . . . . . . . . . . . 110
7.3.2 ConstructionducodagedeHuffman. . . . . . . . . . . . . . . . . . . . . 110
7.3.3 OptimalitéducodagedeHuffman . . . . . . . . . . . . . . . . . . . . . . 111
7.4 Arbrecouvrantdepoidsminimal:PrimetKruskal . . . . . . . . . . . . . . . . 112
7.4.1 AlgorithmedeKruskal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
7.4.2 AlgorithmedePrim . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
7.4.3 Correction:lapropriétédecoupure . . . . . . . . . . . . . . . . . . . . . 116
7.5 Pluscourtscheminsdansungraphe:Dijkstra . . . . . . . . . . . . . . . . . . . 116
7.5.1 L’algorithme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
8 ProgrammationDynamique 121
8.1 Unexemplesimple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
8.1.1 Arbredesappelsrécursifs . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
8.1.2 Mémoïsation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
8.1.3 Solutiontabulaireclassique . . . . . . . . . . . . . . . . . . . . . . . . . . 123
8.1.4 Reconstructiondelasolutionoptimale . . . . . . . . . . . . . . . . . . . 124
8.1.5 Terminologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
8.2 Mémoïsationouversionitérative? . . . . . . . . . . . . . . . . . . . . . . . . . . 125
8.3 Multiplicationsdematrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
8.3.1 Leproblème . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
8.3.2 Calculdelacomplexitéoptimale . . . . . . . . . . . . . . . . . . . . . . . 126
8.3.3 Calculdelasolutionoptimale. . . . . . . . . . . . . . . . . . . . . . . . . 127
8.4 Caractérisationdelaprogrammationdynamique . . . . . . . . . . . . . . . . . . 127
8.5 AlgorithmedeFloyd-Warshall . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
8.5.1 Principeetéquationrécursive. . . . . . . . . . . . . . . . . . . . . . . . . 128
TABLEDESMATIÈRES 7
8.5.2 Unepetiteoptimisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
8.5.3 Constructiondelasolution . . . . . . . . . . . . . . . . . . . . . . . . . . 129
8.6 AlgorithmedeBellman-Ford . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
9 Test 133
9.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
9.1.1 Pourquois’inquiéter? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
9.1.2 Qu’attendredutest? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
9.1.3 Quoitester? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
9.1.4 Automatisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
9.2 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
9.2.1 Divisioneuclidienne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
9.2.2 Mariagesstables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
9.2.3 Filesdepriorité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
9.3 UtilisationdeJUnit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
9.3.1 Grandeslignes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
9.3.2 Pointsdedétail . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
9.4 Déboguage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
9.4.1 Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
9.4.2 Journaldebord . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
10 Preuvedeprogrammes 151
10.1 Divisioneuclidienne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
10.2 Plusgrandcommundiviseur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
10.3 Parcoursenprofondeurd’abord . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
10.3.1 Codenonannoté . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
10.3.2 Seulsdessommetsaccessiblessontmarqués . . . . . . . . . . . . . . . . 159
10.3.3 Touslessommetsaccessiblessontmarqués . . . . . . . . . . . . . . . . . 161
10.3.4 Remarques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
11 Exploration 165
11.1 LeproblèmeCSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
11.2 Explorationnaïve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
11.2.1 Explorationd’unarbre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
11.2.2 Définitionsgénérales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
11.2.3 Unsolveurnaïf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
11.3 Explorationefficace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
11.3.1 Élagageetpropagationdecontraintes . . . . . . . . . . . . . . . . . . . . 174
8 TABLEDESMATIÈRES
11.3.2 L’algorithmeMAC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
12 Interprétation 183
12.1 Syntaxeabstraite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
12.1.1 Représentationmathématique . . . . . . . . . . . . . . . . . . . . . . . . 184
12.1.2 ReprésentationenJava . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
12.2 Interprétation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
12.2.1 Interprétationmathématique . . . . . . . . . . . . . . . . . . . . . . . . . 188
12.2.2 InterprétationenJava . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
12.3 Valeursétiquetéeseterreursd’exécution . . . . . . . . . . . . . . . . . . . . . . . 189
12.4 Variablesetliaisonlexicale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
12.4.1 Qu’est-cequ’unevariable? . . . . . . . . . . . . . . . . . . . . . . . . . . 195
12.4.2 Qu’est-cequ’unevariablelibre? . . . . . . . . . . . . . . . . . . . . . . . 195
12.4.3 Interprétationsousunenvironnement . . . . . . . . . . . . . . . . . . . . 197
12.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
13 Grammairesalgébriques 201
13.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
13.1.1 Versunenotiondegrammaire . . . . . . . . . . . . . . . . . . . . . . . . 202
13.1.2 Panoramadesalgorithmesd’analysesyntaxique . . . . . . . . . . . . . . 203
13.2 Définitiondesgrammairesalgébriques. . . . . . . . . . . . . . . . . . . . . . . . 203
13.3 Caractérisationduproblèmedelareconnaissance . . . . . . . . . . . . . . . . . 208
13.4 Algorithmesnondirectionnels . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
13.4.1 Analysesyntaxiqueparrésolutiondeséquationsbooléennes. . . . . . . 210
13.4.2 Analysetabulairemontante . . . . . . . . . . . . . . . . . . . . . . . . . . 211
14 Analysesyntaxiquedescendantedéterministe 213
14.1 Analysedescendantenondéterministe. . . . . . . . . . . . . . . . . . . . . . . . 213
14.2 Analysedescendantedéterministe:principe . . . . . . . . . . . . . . . . . . . . 217
14.3 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
14.3.1 Facteursàgaucheetrécursivitéàgauche . . . . . . . . . . . . . . . . . . 218
14.3.2 Éliminationdesfacteursàgaucheetdelarécursivitéàgauche . . . . . . 219
14.3.3 Constructiond’unoracle. . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
14.3.4 Implémentationd’unanalyseurdescendantdéterministe . . . . . . . . . 221
14.4 Analysedescendantedéterministe:casgénéral . . . . . . . . . . . . . . . . . . . 223
14.4.1 Calculdenullable,first,etfollow . . . . . . . . . . . . . . . . . . . . . . . . 224
14.4.2 Constructiondel’oracle . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224
14.5 Queretenir? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 226
TABLEDESMATIÈRES 9
15 Processuslégers 229
15.1 Laconcurrence,qu’est-cequec’est? . . . . . . . . . . . . . . . . . . . . . . . . . 229
15.2 Laconcurrence,àquoiçasert? . . . . . . . . . . . . . . . . . . . . . . . . . . . . 230
15.3 LaconcurrencedansINF431 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
15.4 Processusordinaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 232
15.5 Processuslégers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
15.5.1 Généralités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235
15.5.2 Créationetlancement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238
15.5.3 Terminaisonetattente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240
15.5.4 Autresopérations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241
16 Exclusionmutuelle 243
16.1 Leproblèmedel’accèsconcurrentauxobjetspartagés . . . . . . . . . . . . . . . 244
16.2 Instructionsatomiquesévoluées . . . . . . . . . . . . . . . . . . . . . . . . . . . 246
16.3 Leproblèmedel’exclusionmutuelle . . . . . . . . . . . . . . . . . . . . . . . . . 248
16.4 Opérationssurlesverrous . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250
16.5 Règlesd’utilisationdesverrous . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251
16.6 Lemot-clef«synchronized» . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
16.7 Dangers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254
16.7.1 Violationd’atomicité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254
16.7.2 Interblocage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255
16.7.3 Compétitionetgoulotsd’étranglement . . . . . . . . . . . . . . . . . . . 255
17 Coopérationentreprocessuslégers 257
17.1 Interfacedesfilesd’attentepartagées . . . . . . . . . . . . . . . . . . . . . . . . . 258
17.2 Tentatived’implémentationdesfilesd’attentepartagées . . . . . . . . . . . . . 259
17.3 Variablesdecondition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262
17.3.1 Création . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
17.3.2 Attented’unsignal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
17.3.3 Envoid’unsignal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 264
17.4 Implémentationdesfilesd’attentepartagées . . . . . . . . . . . . . . . . . . . . 264
18 Interfacesgraphiques 269
18.1 Composants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
18.1.1 Composants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
18.1.2 Organisationhiérarchiquedescomposants . . . . . . . . . . . . . . . . . 270
18.1.3 Àproposdel’héritage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271
18.2 Auditeurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
10 TABLEDESMATIÈRES
18.3 Concurrence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274
18.3.1 LaconventiondeSwing . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
18.3.2 Envoid’unerequêteauthreadd’interface . . . . . . . . . . . . . . . . . . 275
18.3.3 Créationdetâchesdefond . . . . . . . . . . . . . . . . . . . . . . . . . . 276
18.4 Exemple:unexplorateurdel’ensembledeMandelbrot . . . . . . . . . . . . . . 278
18.4.1 Calcul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 279
18.4.2 Communication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 280
18.4.3 Formatetsignificationdesmessages . . . . . . . . . . . . . . . . . . . . . 281
18.4.4 Affichageetinteraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281
18.4.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283
Solutionsauxexercices 285
Bibliographie 335