Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion
Syst` emes d’Exploitation
Cours 6/13 : Remplacement de pages
Nicolas Sabouret
Universit´ e Paris-Sud Licence 3 - semestre S5
Info32b Syst`emes d’Exploitation Nicolas Sabouret 1/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion
Plan
1 Pr´ esentation du probl` eme
2 Algorithmes type FIFO
3 Algorithmes bas´ es sur l’utilisation
4 Conclusion
Info32b Syst`emes d’Exploitation Nicolas Sabouret 2/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Plan
1 Pr´ esentation du probl` eme Probl` eme
2 Algorithmes type FIFO
3 Algorithmes bas´ es sur l’utilisation
4 Conclusion
Info32b Syst`emes d’Exploitation Nicolas Sabouret 3/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Remplacement de pages M´ emoire virtuelle
Chaque processus dispose d’un nombre de cadres limit´ e
selon la politique d’allocation
Ü Lib´ erer un cadre lorsqu’on a besoin d’une nouvelle page Probl` eme (rappel)
Temps d’ex´ ecution proportionnel ` a la probabilit´ e de d´ efaut de page Ü R´ eduire le nombre de d´ efauts de page
D´ efauts : Exemple :
Info32b Syst`emes d’Exploitation Nicolas Sabouret 4/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Remplacement de pages M´ emoire virtuelle
Chaque processus dispose d’un nombre de cadres limit´ e
selon la politique d’allocation
Ü Lib´ erer un cadre lorsqu’on a besoin d’une nouvelle page Probl` eme (rappel)
Temps d’ex´ ecution proportionnel ` a la probabilit´ e de d´ efaut de page Ü R´ eduire le nombre de d´ efauts de page
D´ efauts : 0 Exemple : 03 2A 1F 04
Info32b Syst`emes d’Exploitation Nicolas Sabouret 4/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Remplacement de pages M´ emoire virtuelle
Chaque processus dispose d’un nombre de cadres limit´ e
selon la politique d’allocation
Ü Lib´ erer un cadre lorsqu’on a besoin d’une nouvelle page Probl` eme (rappel)
Temps d’ex´ ecution proportionnel ` a la probabilit´ e de d´ efaut de page Ü R´ eduire le nombre de d´ efauts de page
D´ efauts : 4 Exemple : 03 2A 1F 04
03 2A 1F 04
Info32b Syst`emes d’Exploitation Nicolas Sabouret 4/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Remplacement de pages M´ emoire virtuelle
Chaque processus dispose d’un nombre de cadres limit´ e
selon la politique d’allocation
Ü Lib´ erer un cadre lorsqu’on a besoin d’une nouvelle page Probl` eme (rappel)
Temps d’ex´ ecution proportionnel ` a la probabilit´ e de d´ efaut de page Ü R´ eduire le nombre de d´ efauts de page
D´ efauts : 4 Exemple : 03 2A 1F 04 2A
03 2A 1F 04
Info32b Syst`emes d’Exploitation Nicolas Sabouret 4/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Remplacement de pages M´ emoire virtuelle
Chaque processus dispose d’un nombre de cadres limit´ e
selon la politique d’allocation
Ü Lib´ erer un cadre lorsqu’on a besoin d’une nouvelle page Probl` eme (rappel)
Temps d’ex´ ecution proportionnel ` a la probabilit´ e de d´ efaut de page Ü R´ eduire le nombre de d´ efauts de page
D´ efauts : 4 Exemple : 03 2A 1F 04 2A
03 2A 1F 04
Info32b Syst`emes d’Exploitation Nicolas Sabouret 4/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Remplacement de pages M´ emoire virtuelle
Chaque processus dispose d’un nombre de cadres limit´ e
selon la politique d’allocation
Ü Lib´ erer un cadre lorsqu’on a besoin d’une nouvelle page Probl` eme (rappel)
Temps d’ex´ ecution proportionnel ` a la probabilit´ e de d´ efaut de page Ü R´ eduire le nombre de d´ efauts de page
D´ efauts : 4 Exemple : 03 2A 1F 04 2A 12
03 2A 1F 04
Info32b Syst`emes d’Exploitation Nicolas Sabouret 4/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Remplacement de pages M´ emoire virtuelle
Chaque processus dispose d’un nombre de cadres limit´ e
selon la politique d’allocation
Ü Lib´ erer un cadre lorsqu’on a besoin d’une nouvelle page Probl` eme (rappel)
Temps d’ex´ ecution proportionnel ` a la probabilit´ e de d´ efaut de page Ü R´ eduire le nombre de d´ efauts de page
D´ efauts : 5 Exemple : 03 2A 1F 04 2A 12
2A 1F 04
12
Info32b Syst`emes d’Exploitation Nicolas Sabouret 4/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Remplacement de pages M´ emoire virtuelle
Chaque processus dispose d’un nombre de cadres limit´ e
selon la politique d’allocation
Ü Lib´ erer un cadre lorsqu’on a besoin d’une nouvelle page Probl` eme (rappel)
Temps d’ex´ ecution proportionnel ` a la probabilit´ e de d´ efaut de page Ü R´ eduire le nombre de d´ efauts de page
D´ efauts : 5 Exemple : 03 2A 1F 04 2A 12 03
2A 1F 04
12
Info32b Syst`emes d’Exploitation Nicolas Sabouret 4/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Remplacement de pages M´ emoire virtuelle
Chaque processus dispose d’un nombre de cadres limit´ e
selon la politique d’allocation
Ü Lib´ erer un cadre lorsqu’on a besoin d’une nouvelle page Probl` eme (rappel)
Temps d’ex´ ecution proportionnel ` a la probabilit´ e de d´ efaut de page Ü R´ eduire le nombre de d´ efauts de page
D´ efauts : 6 Exemple : 03 2A 1F 04 2A 12 03
2A 1F 04
03
Info32b Syst`emes d’Exploitation Nicolas Sabouret 4/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
* 03
*
Total : 6 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
* 03
*
Total : 6 d´ efauts
Premi` ere ligne : liste des pages demand´ ees (dans l’ordre)
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
* 03
*
Total : 6 d´ efauts
Une ligne par cadre de page allou´ e au processus
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03
2A 1F
04
* * * *
12
* 03
*
Total : 6 d´ efauts
Une page par colonne
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
* 03
*
Total : 6 d´ efauts
Une page par colonne
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F
04
* * * *
12
* 03
*
Total : 6 d´ efauts
Une page par colonne
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
* 03
*
Total : 6 d´ efauts
Une page par colonne
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
* 03
*
Total : 6 d´ efauts
Marquer les d´ efauts au fur et ` a mesure
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
* 03
*
Total : 6 d´ efauts
Pas de d´ efaut → laisser en blanc
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
*
03
*
Total : 6 d´ efauts
Et on continue. . .
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
* 03
*
Total : 6 d´ efauts
Et on continue. . .
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Repr´ esentation visuelle Objectif
Figurer l’´ etat du cache dans le temps pour compter le nombre de d´ efauts
03 2A 1F 04 2A 12 03
0 1 2 3
03 2A
1F 04
* * * *
12
* 03
*
Total : 6 d´ efauts
Et on continue. . .
Info32b Syst`emes d’Exploitation Nicolas Sabouret 5/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Solution optimale
Politique de remplacement
Pour une instance donn´ ee, il existe une politique de remplacement optimale. . .
. . . si on connaˆıt ` a l’avance les pages qui seront demand´ ees !
03 2A 1F 04 2A 12 03
0 1 2 3
03
* 2A
* 1F
* 04
* 12
*
Total :5d´efauts
En pratique, on ne connaˆıt pas les pages !
Info32b Syst`emes d’Exploitation Nicolas Sabouret 6/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Solution
Algorithme de remplacement
D´ efinir une fonction qui, ´ etant donn´ e l’´ etat actuel (occupation des cadres par des pages), d´ ecide quel cadre doit ˆ etre lib´ er´ e.
Classes d’algorithmes
First In, First Out (FIFO)
Ü retirer les pages les plus anciennes
Bas´ es sur l’utilisation des pages (Least Used) Ü retirer les pages les moins utilis´ ees
´ Evaluation = nombre de d´ efauts de page Sur des instances (en TD, ` a l’examen) Sur des benchmarks
Info32b Syst`emes d’Exploitation Nicolas Sabouret 7/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Solution
Algorithme de remplacement
D´ efinir une fonction qui, ´ etant donn´ e l’´ etat actuel (occupation des cadres par des pages), d´ ecide quel cadre doit ˆ etre lib´ er´ e.
Classes d’algorithmes
First In, First Out (FIFO)
Ü retirer les pages les plus anciennes
Bas´ es sur l’utilisation des pages (Least Used) Ü retirer les pages les moins utilis´ ees
´ Evaluation = nombre de d´ efauts de page Sur des instances (en TD, ` a l’examen) Sur des benchmarks
Info32b Syst`emes d’Exploitation Nicolas Sabouret 7/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion Probl`eme
Solution
Algorithme de remplacement
D´ efinir une fonction qui, ´ etant donn´ e l’´ etat actuel (occupation des cadres par des pages), d´ ecide quel cadre doit ˆ etre lib´ er´ e.
Classes d’algorithmes
First In, First Out (FIFO)
Ü retirer les pages les plus anciennes
Bas´ es sur l’utilisation des pages (Least Used) Ü retirer les pages les moins utilis´ ees
´ Evaluation = nombre de d´ efauts de page Sur des instances (en TD, ` a l’examen) Sur des benchmarks
Info32b Syst`emes d’Exploitation Nicolas Sabouret 7/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Plan
1 Pr´ esentation du probl` eme
2 Algorithmes type FIFO FIFO
Second chance
3 Algorithmes bas´ es sur l’utilisation
4 Conclusion
Info32b Syst`emes d’Exploitation Nicolas Sabouret 8/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F 12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F 12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37 03
04 2A 1F 12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37 03
04 2A 1F 12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A 1F 12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A
1F 12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F
12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F
12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F 12
48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F 12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F 12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03
04 2A 1F 12 48
31
B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03
04 2A 1F 12 48
31
B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A 1F 12 48
31 B1
03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A 1F 12 48
31 B1
03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A 1F 12 48
31 B1
03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A
1F 12 48
31 B1 03
76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F
12 48
31 B1 03 76
2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F 12
48
31 B1 03 76 2A
1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F 12 48
31 B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based)
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04 2A 1F 12 48
31
B1 03 76 2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03
04 2A
1F
12
48 31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48
31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03
04 2A
1F
12
48 31
B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1
03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1
03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31 B1 03
76
2A
1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48
31 B1 03
76
2A 1F
37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Principe File
Retirer la page la plus ancienne
Ü Impl´ ementation = liste circulaire (clock based) 03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
03 04
2A
1F
12
48 31
B1 03
76
2A 1F 37
Info32b Syst`emes d’Exploitation Nicolas Sabouret 9/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
*
04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
*
2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
*
1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
*
48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
*
31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
*
B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
*
76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
*
2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
*
1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
*
37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Compter les d´ efauts
03 04 2A 1F 2A 12 48 31 B1 2A 03 76 2A 1F 37
0 1 2 3 4 5
03
* 04
* 2A
* 1F
*
12
* 48
* 31
* B1
*
03
* 76
* 2A
* 1F
* 37
*
Total : 13 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 10/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
* 02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
*
02
* 01
* 00
* 03
* 02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
*
01
* 00
* 03
* 02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
*
00
* 03
* 02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
*
03
* 02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
*
02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
* 02
*
04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
* 02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
* 02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
* 02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
* 02
* 04
*
01
*
00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
* 02
* 04
*
01
* 00
*
Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
* 02
* 04
*
01
* 00
*
Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 3 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2
03
* 02
* 01
* 00
* 03
* 02
* 04
*
01
* 00
* Total : 9 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
* 01
* 00
*
04
* 03
* 02
* 01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
*
02
* 01
* 00
*
04
* 03
* 02
* 01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
*
01
* 00
*
04
* 03
* 02
* 01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
* 01
*
00
*
04
* 03
* 02
* 01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
* 01
* 00
*
04
* 03
* 02
* 01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
* 01
* 00
*
04
* 03
* 02
* 01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
* 01
* 00
*
04
* 03
* 02
* 01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
* 01
* 00
*
04
*
03
* 02
* 01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
* 01
* 00
*
04
* 03
*
02
* 01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
* 01
* 00
*
04
* 03
* 02
*
01
* 00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28
Pr´esentation du probl`eme Algorithmes type FIFO Algorithmes bas´es sur l’utilisation Conclusion FIFO Second chance
Anomalie de Belady
Algorithmes de type FIFO
sur certaines instances. . . Plus de cadres → plus de d´ efauts ! Exemple : avec 4 cadres
03 02 01 00 03 02 04 03 02 01 00 04
0 1 2 3
03
* 02
* 01
* 00
*
04
* 03
* 02
* 01
*
00
* 04
* Total : 10 d´ efauts
Info32b Syst`emes d’Exploitation Nicolas Sabouret 11/28