Algorithme du banquier
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/35px-Circle-icons-computer.svg.png)
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
L'algorithme du banquier est un algorithme qui a été mis au point par Edsger Dijkstra en 1965[1] pour éviter les problèmes d'interblocage et gérer l'allocation des ressources.
Cet algorithme est nommé ainsi car il reproduit le modèle du prêt à des clients par un banquier.
Énoncé du problème
On considère un système disposant de types de ressource, dont la quantité totale est connue, constante et finie. Sur ce système, un nombre fini processus. L'état initial du système est caractérisé par la quantité de ressource de chaque type que consomme chacun des processus.
Lorsqu'on alloue à un processus l'ensemble des ressources dont il a besoin, le processus se termine en temps fini et libère les ressources qu'il utilisait. Ceci correspond à un changement d'état.
Le but du problème est de déterminer s'il existe au moins une séquence d'états permettant de terminer l'ensemble des processus. Dans ce cas, l'état initial est dit sûr.
Algorithme
L'algorithme du banquier part du principe que si l'on alloue les ressources à un processus et que celui-ci se termine, on se retrouve dans une situation avec plus de ressources disponible. En conséquence, on peut choisir de manière gloutonne un processus parmi ceux en cours d'exécution et dont les besoins sont compatibles avec les ressources disponibles.
Si l'on parvient à exécuter tous les processus, on a mis en évidence que l'état initial était sûr.
Si par contre, l'algorithme ne parvient plus à progresser alors certains processus sont toujours en cours d'exécution, l'état initial n'est pas sûr et l'algorithme s'interrompt car l'état initial n'est pas sûr.
Paramètres :
- le nombre de ressources.
- le nombre de processus.
- le vecteur de taille tel que indique la quantité de ressource disponible.
- la matrice de taille telle que indique la quantité de ressource initialement allouée au processus .
- la matrice de taille telle que indique la quantité de ressource requises par le processus .
Algorithme :
- Soit le vecteur de taille qui indique la quantité de ressource de chaque type encore disponible: .
- Soit l'ensemble des processus en cours de lancement: .
- Tant que :
- Chercher tel que .
- Si n'existe pas :
- Retourner l'état initial n'est pas sûr.
- Sinon :
- Allouer au processus les ressources qu'il demande et attendre qu'il se termine
- Terminer le processus :
- Libération des ressources consommées par :
- Retourner l'état initial est sûr.
Exemple
On considère dans cet exemple 5 processus actifs et mettant en jeu 4 ressources .
Processus | Ressources attribuées | Ressources supplémentaires demandées | ||||||
---|---|---|---|---|---|---|---|---|
A | B | C | D | A | B | C | D | |
P1 | 3 | 0 | 1 | 1 | 1 | 1 | 0 | 0 |
P2 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 2 |
P3 | 1 | 1 | 1 | 0 | 3 | 1 | 0 | 0 |
P4 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
P5 | 0 | 0 | 0 | 0 | 2 | 1 | 1 | 0 |
Total | 5 | 3 | 2 | 2 |
La partie gauche du tableau correspond à l'état initial du système (). Il indique la quantité de ressource déjà allouée à chaque processus pour chacun des types de ressource. La somme de chaque colonne correspond donc à la quantité de ressources consommées d'un type donnée (on appelle ce vecteur intermédiaire ).
La partie droite du tableau correspond aux ressources supplémentaires demandées par chaque processus pour chaque type de ressource (). Pour faire le lien avec les notations de la section précédente : .
Enfin, on suppose que la quantité restante pour chaque ressource correspond à .
L'algorithme du banquier revient à :
- Trouver dans le tableau de droite un processus dont les ressources demandées sont toutes inférieures ou égales à celles de disponibles (). Si n'existe pas, il y a interblocage.
- Allouer à les ressources demandées et attendre se termine.
- Supprimer la ligne associée à et mettre à jour .
- Répéter les étapes précédentes jusqu'à ce que tous les processus soient terminés. Si on y parvient, l'état initial était donc sûr. Sinon il y a eu un interblocage et l'état initial n'était pas sûr.
Dans cet exemple, l'état actuel est sûr car :
- À la première itération, on choisit forcément les ressources demandées (car ). On attend que s'achève. Une fois terminé, passe à .
- À l'itération suivante, on peut choisir arbitrairement parmi (car ) ou (car ). Choisissons . Une fois qu'il se termine, passe à .
- À l'itération suivante, est le seul processus que l'on peut choisir. Une fois qu'il se termine, passe à .
- À l'itération suivante, on peut choisir arbitrairement parmi ou . Choisissons . Une fois qu'il se termine, passe à .
- À l'itération suivante, on choisit . Comme tous les processus ont été exécutés avec succès, l'état initial était un état sûr.
Limitations
D'un point de vue pratique, l'algorithme du banquier n'est pas réaliste, car il suppose que l'on connaisse au préalable les ressources dont chaque processus à besoin pour s'achever. Il suppose que ces quantités sont fixes alors qu'en pratique, les besoins d'un processus évoluent dynamiquement.
Voir aussi
Notes et références
v · m Synchronisation en programmation concurrente | |
---|---|
Principes de base |
|
Patrons de conception |
|
Problèmes classiques |
|
Portail de l'informatique théorique
Portail de l’informatique