Files de priorité

Une file de priorité est un conteneur pour des objets appartenant à un domaine totalement ordonné. Il n'y a que deux opérations possibles sur une file de priorité : insertion d'un objet et suppression (avec récupération) du plus petit objet. Les files de priorité ont de nombreuses applications. D'abord dans les systèmes d'exploitation, où elles sont utilisées pour gérer les processus par ordre de priorité, mais aussi dans des applications ayant besoin de gérer des événements associés à une date d'exécution. Il est courant de compléter ce jeu de deux opérations par une opération pour tester si la file de priorité est vide.