Interblocage

Interblocage

Un interblocage (deadlock en anglais, appelé aussi « étreinte fatale ») est un phénomène qui peut survenir en programmation concurrente. L'interblocage se produit lorsque deux processus concurrents s'attendent mutuellement. Les processus bloqués dans cet état le sont définitivement, il s'agit donc d'une situation catastrophique. C'est E.G Coffman (1971 St Gravé) principalement qui a étudié les mécanismes conduisant aux phénomènes d'interblocage.

Sommaire

Exemples

Un exemple concret d'interblocage peut se produire lorsque deux processus légers essayent d'acquérir deux verrous dans un ordre différent. Ainsi, si par exemple il y a deux mutex (nommés M1 et M2) et les deux processus légers suivants :

TâcheA :
  Obtenir M1
  Obtenir M2
  Action nécessitant les deux verrous
  Rendre M2
  Rendre M1
TâcheB :
  Obtenir M2
  Obtenir M1
  Action nécessitant les deux verrous
  Rendre M1
  Rendre M2

Un interblocage est possible. En effet, si par exemple, la séquence d'opération suivante survient :

  1. La TâcheA obtient M1.
  2. La TâcheB obtient M2.
  3. La TâcheA attend pour obtenir M2 (qui est entre les mains de TâcheB).
  4. La TâcheB attend pour obtenir M1 (qui est entre les mains de TâcheA).

Dans cette situation, les deux tâches (TâcheA et TâcheB) sont définitivement bloquées.

Évitement

Les interblocages peuvent être évités si certaines informations sont connues à l'avance lors des allocations de ressources. Pour chaque allocation de ressources, le système regarde s'il va entrer dans un état « non sûr », c'est-à-dire un état qui pourrait engendrer un interblocage. Le système ne répond favorablement qu'aux requêtes qui mènent à des états « sûrs ». Pour être capable de décider si l'état suivant sera sûr ou non sûr, le système a besoin de connaître à tout moment le nombre et le type de ressources existantes, disponibles et demandées. Un algorithme classique permettant la détection des interblocage à l'avance est l'Algorithme du Banquier. Celui-ci nécessite de connaître à l'avance les limites d'utilisation des ressources. Toutefois, pour beaucoup de systèmes, il est impossible de connaître à l'avance les demandes de chaque processus. Cela implique que l'évitement des interblocages est souvent impossible.

Les algorithmes Attente/Mort (Wait/Die) et Blessé/Attente (Wound/Wait) sont deux autres méthodes d'évitement qui utilisent une technique de rupture de la symétrie. Dans ces deux algorithmes on prend en compte l'âge des processus et l'on distingue un processus âgé (A) et un processus jeune (J).

L'âge d'un processus peut être déterminé par horodatage (timestamp) lors de sa création. Les dates les plus petites appartiennent à des processus plus âgés, les plus grandes à des processus plus jeunes.

Wait/Die Wound/Wait
A a besoin d'une ressource détenue par J A Attend J Meurt
J a besoin d'une ressource détenue par A J Meurt J Attend

Il est important de se rendre compte qu'un processus peut être dans un état non sûr sans pour autant forcément conduire à un interblocage. La notion de sûr/non sûr fait uniquement référence à la possibilité que le système entre dans un interblocage ou non. Par exemple, si un processus fait une requête sur une ressource A qui résulte en un état non sûr, mais relâche une ressource B pour éviter une attente circulaire, alors l'état est non sûr mais le système n'est pas en interblocage.

Prévention

Une méthode consiste à toujours acquérir les mutex (exclusion mutuelle) dans le même ordre. En effet, si plusieurs processus légers (thread) nécessitent d'acquérir plusieurs verrous pour effectuer leur travail, s'ils acquièrent les verrous dans un ordre différent, il est possible qu'ils se bloquent lors de la séquence d'acquisition (comme dans l'exemple précédent).

Il convient aussi de s'intéresser aux priorités des processus. En effet, si par exemple un processus de haute priorité utilise un verrou en commun avec un processus de basse priorité (voir aussi inversion de priorité), il est possible d'obtenir des situations de blocage. Une solution à ce genre de problème consiste à n'utiliser des verrous qu'entre des processus de même priorité.

Référence


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Interblocage de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • interblocage — ● n. m. ►EXEC Équivalent français de deadlock. Blocage du système du fait de deux processus qui s attendent mutuellement, ou d un processus qui ne peut se terminer car il attend des ressources qui ne lui seront jamais attribuées (Voir famine).… …   Dictionnaire d'informatique francophone

  • Étreinte fatale — Interblocage Problèmes classiques des méthodes de synchronisation Couplage fort  Famine Interblocage  Inversion de priorité Un interblocage (deadlock en anglais, appelé …   Wikipédia en Français

  • Exclusion Mutuelle — Un Mutex (anglais : Mutual exclusion, Exclusion mutuelle) est une primitive de synchronisation utilisée en programmation informatique pour éviter que des ressources partagées d un système ne soient utilisées en même temps. Son implémentation …   Wikipédia en Français

  • Exclusion mutuelle — Un Mutex (anglais : Mutual exclusion, Exclusion mutuelle) est une primitive de synchronisation utilisée en programmation informatique pour éviter que des ressources partagées d un système ne soient utilisées en même temps. Son implémentation …   Wikipédia en Français

  • Algorithme Du Banquier — Problèmes classiques des méthodes de synchronisation Couplage fort  Famine Interblocage  Inversion de priorité L algorithme du banquier est un algor …   Wikipédia en Français

  • Algorithme de la boulangerie — L algorithme de la boulangerie (Lamport s bakery algorithm en anglais) est un algorithme d exclusion mutuelle découvert par Leslie Lamport[1], dans le cadre général de machines multi processeurs à mémoire partagée ne fournissant aucune opération… …   Wikipédia en Français

  • Algorithme du banquier — L algorithme du banquier est un algorithme qui a été mis au point par Edsger Dijkstra en 1965 pour éviter les problèmes interblocages et gérer l allocation des ressources. Cet algorithme est nommé ainsi car il reproduit le modèle du prêt à des… …   Wikipédia en Français

  • Communicating Sequential Processes — En programmation concurrente[1], Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l interaction de systèmes. CSP intègre un mécanisme de synchronisation basé sur le principe du rendez vous (détaillé… …   Wikipédia en Français

  • Communicating sequential processes — En programmation concurrente[1], Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l interaction de systèmes. CSP intègre un mécanisme de synchronisation basé sur le principe du rendez vous (détaillé… …   Wikipédia en Français

  • Couplage Fort (Programmation Concurrente) —  Pour l’article homonyme, voir Couplage.  Problèmes classiques des méthodes de synchronisation …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”