« File de priorité » : différence entre les versions
m (Remplacement de texte — « Glossaire de la statistique DataFranca<br> » par « '''<span style="font-size:18px">GLOSSAIRE DE LA STATISTIQUE</span>''' ») |
m (Remplacement de texte — « '''<span style="font-size:18px">GLOSSAIRE DE LA STATISTIQUE</span>''' » par « '''<span style="font-size:18px">GLOSSAIRE DE LA STATISTIQUE</span>''' ») |
||
Ligne 25 : | Ligne 25 : | ||
[https://fr.wikipedia.org/wiki/File_de_priorit%C3%A9 Source : Wikipédia ] | [https://fr.wikipedia.org/wiki/File_de_priorit%C3%A9 Source : Wikipédia ] | ||
[[:Catégorie:Statistiques| '''<span style="font-size:18px">GLOSSAIRE DE LA STATISTIQUE</span>''']] | |||
[[Catégorie:Statistiques]] | [[Catégorie:Statistiques]] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] |
Version du 11 avril 2023 à 18:24
Définition
En informatique, une file de priorité est un type abstrait élémentaire similaire à une file d'attente ordinaire ou à une structure de données en pile dans laquelle chaque élément est associé à une priorité. On peut y effectuer trois opérations :
- insérer un élément ;
- extraire l'élément ayant la plus grande clé ;
- tester si la file de priorité est vide ou pas.
Ainsi, elle permet d'implémenter efficacement des planificateurs de tâches, où un accès rapide aux tâches d'importance maximale est souhaité. On la retrouve par exemple dans les ordonnanceurs des systèmes d'exploitation, notamment le noyau Linux.
On ajoute parfois à cette liste l'opération « augmenter/diminuer la clé d'un élément », utilisée par exemple dans l'algorithme de Dijkstra.
Français
file de priorité
queue prioritaire
Anglais
priority queuing
GLOSSAIRE DE LA STATISTIQUE
Contributeurs: Evan Brach, Claire Gorjux, wiki