« File de priorité » : différence entre les versions
m (ClaireGorjux a déplacé la page Queue prioritaire vers Fil de priorité) |
m (ClaireGorjux a déplacé la page Fil de priorité vers File de priorité) |
(Aucune différence)
| |
Version du 20 avril 2022 à 13:39
Définition
En informatique, une file de priorité est un type abstrait élémentaire sur laquelle on peut 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 Linux1.
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
Contributeurs: Evan Brach, Claire Gorjux, wiki
