Interblocage = impasse (Deadlock)

Slides:



Advertisements
Présentations similaires
Interblocage = impasse (Deadlock)
Advertisements

8.1 URDL22005 Systèmes dexploitation Interblocages Modèle Système Caractérisation dinterblocage Méthodes pour Gérer les Interblocages Prévention des Interblocages.
Module 6 - Interblocage = impasse (Deadlock)
Interblocage = impasse (Deadlock)
Introduction à la notion de fonction 1. Organisation et gestion de données, fonctions 1.1. Notion de fonction ● Déterminer l'image d'un nombre par une.
Chap 81 Interblocage = impasse (Deadlock) Chapitre 8
LE SUPPORT D'ORDINATEUR PORTABLE. Problématique Oh, j'ai chaud aux jambes ! Et moi, j'ai chaud à mon processeur !
Comment utiliser le débogueur de Visual Studio /8/2015 INF145 1 Créé par Julien Galarneau Allaire, révisé par Eric Thé S.E.G.
Volée 1316 S3 Cours No 2_3 : Le nombre en 1-2H. Les fonctions du nombre  Dénombrer, énumérer, décrire une collection. Aspect cardinal  Dater, classer,
Concepts pour le contrôle de flux
Calcul de probabilités
Les commandes externes
Sylvain Hamel - Analyste
Threads et Lightweight Processes
Version (S60) Lien entre le Document unique (DAU) et la banque de données des autorisations MASP pour la procédure de domiciliation et l’allégement.
Ce videoclip produit par l’Ecole Polytechnique Fédérale de Lausanne
Première partie : La droite de budget
ONEE-BE en partenariat avec le RACEE/ASAEE Formation de Formateurs
Division de la Planification et de la Recherche en Collecte
Algorithme et programmation
Ce videoclip produit par l’Ecole Polytechnique Fédérale de Lausanne
Javadoc et débogueur Semaine 03 Version A16.
Principes de programmation (suite)
Activités algorithmiques
Master Réseaux et Systèmes Distribués (RSD) Algorithmique des systèmes
Master Réseaux et Systèmes Distribués (RSD) Algorithmique des systèmes
Algorithmique & Langage C
Reprise du cours ( ) Au menu du jour :
Résolutions et réponses
La technique du pipeline
Le toupillage arrêté.
Semaine #4 INF130 par Frédérick Henri.
Tableau de bord des risques
Information, Communication, Calcul
Stabilité des porteurs horizontaux (Poutres)
Création Et Modification De La Structure De La Base De Données
1.2 dénombrement cours 2.
DATA WEARHOUSE 1ère année LA: Technologies systèmes d’information
L’analyse de risque foudre et son utilisation
Formation sur les bases de données relationnelles.
Orthographe à retenir :
Exercice : le jeu. Vous devez concevoir l’algorithme permettant de jouer avec votre calculatrice : elle détermine au hasard un nombre caché entier entre.
Des mathématiques derrière l’intelligence artificielle
Réducteur BCI Comment utiliser ? Question 1 Question 2 Question 3
Diagramme d’activité.
Eléments de la Théorie des Probabilités
World Health Organization
Programmation Android Composantes d’une application
Modélisation objet avec UML
4°) Intervalle de fluctuation :
Lois de Probabilité Discrètes
Épreuve écrite E4.1 BTS CG Session /02/2017.
Élections locales probabilistes
World Health Organization
Les opérations intellectuelles et le dossier documentaire
Bilan de projet pour [Nom du projet]
BIO1130 LAB 4 MICROÉVOLUTION.
Présentation 4 : Sondage stratifié
MATHÉMATIQUES FINANCIÈRES I
Un Mécanisme d‘Adaptation Guidé par le Contexte en Utilisant une Représentation par Objets Manuele Kirsch Pinheiro Laboratoire LSR – IMAG, Équipe SIGMA.
NUMÉRATION POSITIONNELLE / PRINCIPE DE GROUPEMENT
Les différents modes de démarrage de Windows
Threads et Lightweight Processes
Chapter 11: Récursivité Java Software Solutions Second Edition
Construire une séance de
Principales stratégies de compréhension en lecture
Elections locales probabilistes
La loi des signes.
Traitement de TEXTE 2 Stage – Semaine 3.
Séquence 1:Analyse du système d’information comptable
Transcription de la présentation:

Interblocage = impasse (Deadlock) Chapitre 8 http://w3.uqo.ca/luigi/ Chap 8

Interblocages: concepts importants Caractérisation: les 4 conditions Graphes allocation ressources Séquences de terminaison États sûrs et no-sûrs Prévenir les interblocages Éviter les interblocages Détecter les interblocages Récuperer d’un interblocage Chap 8

Exemple 1 Disponibilité de mémoire: 1G Un processus A demande 500M, pour finir il a besoin d’1G Le Processus B est pareil ProcA demande 500 Puis, ProcB demande 500 Mémoire pleine, aucun des deux ne peut finir! Il n’y aura pas d’interblocage si ProcA finit avant le début de B Chap 8

Exemple 2 (logiquement identique au précédent) Deux processus coexistent dans un système, qui a 2 lecteurs-graveurs DVD seulement Nous voulons exécuter deux processus de copie DVD en même temps Le proc 1 a besoin de  Un lecteur-graveur pour démarrer Le précédent et puis un deuxième, pour terminer Le proc 2 est pareil Scénario d ’interblocage: proc 1 demande 1 lect-grav proc 2 demande 1 lect-grav: les deux sont engagés interblocage! aucun proc ne peut compléter à moins qu’un des proc ne puisse être suspendu ou puisse retourner en arrière Observez que l ’interblocage n ’est pas inévitable, p.ex. si 1 complète avant le début de 2 Comment éviter / détecter le risque d’interblocage Comment éviter / détecter qu’un interblocage se vérifie Chap 8

Exemple 3 interblocage avec sémaphores P0 P1 acquire (A); acquire(B) acquire (B); acquire(A) Scénario d’interblocage: initialisation de A et B à 1 P0 exécute acquire(A), A==0 P1 exécute acquire(B), B==0 P0 et P1 ne peuvent pas aller plus loin Il n’y aura pas d’interblocage si P1 commence après les ‘releases’ que P0 fera probablement plus tard Logiquement encore pareil, car chaque proc peut avancer avec 1 seul sém, mais il a bsn des 2 pour compléter Chap 8

Point de réfléxion Sémaphores P0 P1 acquire (A); acquire(A) acquire (B); acquire(B) Ici il n’y a pas d’interblocage car le 1er proc qui avance bloque le 2ème mais pas vice-versa Si P0 fait acquire (A) en premier il bloque P1 mais peut lui-même continuer et enfin il devrait exécuter des release qui permettraient à P1 d’avancer Pareillement pour P1 Chap 8

Interblocage: une situation globale dans le système Un ensemble de processus est en interblocage si les processus sont tous en état ‘attente’ de différents événements l’ensemble des listes d’attente dans le SE est coincé de manière que le SE ne pourra jamais émettre le signal de ‘terminaison d’événement’ pour aucun de ces processus chaque processus attend un événement que seul un autre processus de l’ensemble peut provoquer Un interblocage est un état global du système Chap 8

Caractérisation d’interblocage important Caractérisation d’interblocage L’interblocage demande la présence simultanée de 4 conditions (conditions nécessaires et suffisantes) Exclusion mutuelle: le système a des ressources non partageables (1 seul proc à la fois peut s’en servir) Ex.: un UCT, une zone de mémoire, une périphérique, mais aussi sémaphores, moniteurs, sections critiques Saisie et attente (hold and wait): un processus a saisi une ressource non partageable et en attend des autres pour compléter sa tâche Pas de préemption: un processus qui a saisi une ressource non partageable la garde jusqu’à ce qu’il aura complété sa tâche Attente circulaire: il y a un cycle de processus tel que chaque processus pour compléter doit utiliser une ressource non partageable qui est utilisée par le suivant, et que le suivant gardera jusqu`à sa terminaison En présence des 3 premières conditions, une attente circulaire est un interblocage Les 3 premières conditions n’impliquent pas nécessairement interblocage, car l’attente circulaire pourrait ne pas se vérifier Chap 8

Attente circulaire - aucun ne lâche - aucun processus ne peut terminer donc interblocage Marie Kamal Juan Roy Jacques 100$ 100$ 100$ 100$ 100$ Pour terminer, chaque processus doit saisir une ressource que le précédent ne lui donnera pas  interblocage Chap 8

Exercice V. aussi les exemples donnés avant Réfléchissez à cet exemple dans lequel des voitures sont dans une situation d’interblocage sur un pont et voir comment les différentes conditions sont satisfaites. Quelle est la ressource ici? V. aussi les exemples donnés avant Chap 8

Exercice Considérez un système dans lequel chaque processus n’a besoin que d’une seule ressource pendant toute son existence L’interblocage, est-il possible? Chap 8

Exercice Vérifier que si dans un système il y a toujours suffisamment de ressources pour tous, il n’y aura jamais d’interblocages Cependant ceci est souvent impossible, notamment dans le cas de sections critiques, car les données partagées existent normalement dans un seul exemplaire Chap 8

Déterminer la possibilité d’interblocage Chap 8

En principe, un problème difficile Le problème de déterminer s’il y a possibilité d’interblocage dans un système est un problème indécidable ou insoluble en principe par un algorithme (résultat théorique) On ne pourrait pas écrire un programme S qui, étant donnée un programme quelconque X en entrée, pourrait déterminer avec certitude si X contient la possibilité d’interblocage Cependant, nous pouvons développer des critères pour trouver des interblocages dans des cas particuliers P.ex. graphes d’allocation ressources Chap 8

Raison de la difficulté Chaque processus pourra contenir des conditions compliquées qui déterminent si et quand il pourra saisir ou lâcher les ressources dont il pourrait avoir bsn Dans la solution suivante, on simplifie le pb au maximum Chap 8

Graphes d’allocation ressources Un ensemble de sommets V et d’arêtes E V est partitionné dans: P = {P1, P2, …, Pn}, l’ensemble qui consiste de tous les procs dans le système R = {R1, R2, …, Rm}, l’ensemble qui consiste de tous les types de ressources dans le système arête requête – arête dirigée Pi  Rk arête affectation – arête dirigée Ri  Pk Chap 8

Graphe d’allocation ressources: notation Processus Ressource dont il y a 4 exemplaires (instances) Pi a (ou aura) besoin pour terminer d’un exemplaire de Ri, dont il y en a 4 Pj a saisi (et utilise) un exemplaire de Rj R Pi Ri Pj Rj Chap 8

Exercice Dessiner le graphe d’allocation ressources pour les premiers exemples Chap 8

Terminaison de processus et libération de ressources Hypothèse: Un processus qui a saisi toutes les ressources dont il a besoin peut terminer Cette terminaison pourrait conduire à la libération de ressources Qui pourraient être saisies par d’autre processus qui les attendent Ce qui pourrait conduire à la terminaison d’autres processus Il n’y a pas d’interblocage si tous les processus peuvent terminer de cette manière Chap 8

Exemple de graphe allocation ressources P1 en attente P3 pas en attente P2 en attente Y-a-t-il interblocage? Chap 8

Utilisation de ces graphes important Utilisation de ces graphes Nous supposons l’existence des 3 premières conditions Excl. Mutuelle, saisie et attente, pas de préemption Pour montrer qu’il n’y a pas d’interblocage, nous devons montrer qu’il n’y a pas de cycle, car il y a un processus qui peut terminer sans attendre aucun autre, et puis les autres de suite <P3, P2, P1> est un ordre de terminaison de processus: tous peuvent terminer dans cet ordre Donc il n’y a pas de cycle d’attente Il est faux que: chaque processus pour compléter doit utiliser une ressource non partageable qui est utilisée par le suivant, voir P3 Chap 8

Graphe allocation ressources avec interblocage Nous avons deux cycles: P1  R1  P2  R3  P3  R2  P1 P2  R3  P3  R2  P2 aucun P ne peut terminer aucune possibilité d’en sortir Chap 8

Graphe allocation ressources avec cycle, mais pas d’ interblocage (pourquoi?) P.ex. disque P.ex. imprimante Pas d’attente circulaire, les ressources peuvent devenir disponibles Chap 8

Constatations Les cycles dans le graphe alloc ressources ne signalent pas nécessairement une attente circulaire S ’il n`y a pas de cycles dans le graphe, aucun interblocage S ’il y a de cycles: Si seulement une ressource par type, interblocage (pourquoi?!) Si plusieurs ressources par type, possibilité d’interblocage Il faut se poser la question: y-a-t-il au moins un processus qui peut terminer et si oui, quels autres processus peuvent terminer en conséquence? Chap 8

Hypothèse de terminaison Un proc qui a toutes les ressources dont il a besoin, il s’en sert pour un temps fini, puis il les libère Pour simplifier, on ne considère pas le cas de proc. qui ne se terminent pas Nous disons que le processus termine, mais il pourrait aussi continuer, n’importe, l’important est qu’il laisse la ressource Il n’y a pas d’interblocage si tous les processus peuvent terminer, un à la fois Laisser leurs ressources Chap 8

En pratique En pratique, cette méthode de détection simplifie trop les processus Qui contiendront des tests, des boucles, etc. Utile pour comprendre l’interblocage en théorie Chap 8

Exercice Travailler des variations et combinaisons des exemples montrés Chap 8

Exercice Représenter l’impasse dans l’exemple du dîner des philosophes utilisant les graphes d’allocation ressources Chap 8

Traitement d’interblocage But de cette section est de montrer que l’interblocage est difficile à traiter, des méthodes existent mais elles sont très contraignantes et difficiles à mettre en place Chap 8

Méthodes pour traitement interblocage 1) Prévention: Concevoir le système de façon qu`un interblocage soit impossible difficile, très contraignant approprié dans le cas de systèmes critiques 2) Évitement: Les interblocages sont possibles, mais sont évités (avoidance) 3) Détection et 4) Correction: Permettre les interblocages, en récupérer Ou sinon ignorer le problème, qui donc doit être résolu par le gérant ou l’usager malheureusement, méthode d’utilisation générale! Chap 8

1) Prévention d’interblocage: prévenir au moins une des 4 conditions nécessaires Exclusion mutuelle: éliminer (ou si sinon réduire) l’utilisation des ressources partagées et Sections Critiques Possible seulement dans le cas de procs totalement indépendants Saisie et attente (hold and wait): un processus qui demande des nouvelles ressources ne devrait pas en retenir des autres (les demander toutes ensemble) Comment savoir? Préemption: si un processus qui demande d’autres ressources ne peut pas les avoir, il doit être suspendu, ses ressources doivent êtres rendues disponibles OK, mais demande intervention du SE Attente circulaire: imposer un ordre sur les ressources, un processus doit demander les ressources dans cet ordre (p.ex. tout processus doit toujours demander une imprimante avant de demander une unité ruban) Difficile Donc la prévention est difficile en général Chap 8

Exemple Dans Linux, les sémaphores sont numérotés et un processus ne peut les acquérir qu’en en ordre ascendant. Pourquoi ceci aide dans la prévention des interblocages? Chap 8

2) Éviter les interblocages (deadlock avoidance) Gérer les ressources de manière qu’on ne puisse pas tomber dans un interblocage: Chaque processus doit déclarer le nombre max. de ressources dont il prévoit avoir besoin Examiner toutes les séquences d’exécution possibles pour voir si une attente circulaire est possible Chap 8

État sûr (safe state) États sûrs É. non-sûrs Interblocage Un état est sûr si le système peut en sortir sans interblocages Ne pas allouer une ressource à un processus si l’état qui en résulte n’est pas sûr États sûrs É. non-sûrs Interblocage Chap 8

État sûr, séquence sûre Évitement Une séquence de proc <P1, P2, …, Pn> est sûre si pour chaque Pi, les ressources que Pi peut encore demander peuvent être satisfaites par les ressources disponibles, incluant les ressources utilisées par les Pj qui les précèdent. Quand Pi aboutit, Pi+1 peut obtenir les ressources dont il a besoin, terminer, donc <P1, P2, …, Pn> est un ordre de terminaison de processus: tous peuvent terminer dans cet ordre Une séquence sûre laisse le système dans un état sûr Chap 8

Algorithme d’allocation de ressources Évitement Algorithme d’allocation de ressources Il faut maintenant prendre en considération: les requêtes possibles dans le futur (chaque processus doit déclarer ça) Arête demande Pi - - > Rj indique que le processus Pi peut demander la ressource Rj (ligne à tirets) Chap 8

Graphe d`allocation ressources Évitement Graphe d`allocation ressources État sûr ou non? P1 utilise R1 P2 attend R1 P2 pourrait demander R2 P1 pourrait demander R2 Ligne continue: requête courante; tirets: requête possible dans le futur Chap 8

Graphe d`allocation ressources Évitement Graphe d`allocation ressources État sûr car P1 pourrait terminer sans demander R2 laissant R1 à P2 P1 utilise R1 P2 attend R1 P2 pourrait demander R2 P1 pourrait demander R2 Ligne continue: requête courante; tirets: requête possible dans le futur Chap 8

Un état non sûr Peut tomber dans l’interblocage Évitement Un état non sûr Peut tomber dans l’interblocage P1 utilise R1 P2 attend R1 P2 a obtenu R2 P1 pourrait demander R2 Si P2 demande R2, ce dernier ne peut pas lui être donné, car ceci peut causer un cycle incassable dans le graphe si P1 demande R2. Mieux vaut attendre la fin de P1, puis faire finir P2 Chap 8

Interblocage! Évitement P1 utilise R1 P2 attend R1 P2 utilise R2 P1 a demandé R2 Quand il n’y a qu’une ressource par type, un cycle est un interblocage Chap 8

Exercice Quel est le résultat si, dans l’état initial, P1 obtient R2 Quelle serait donc une politique ‘sage’? Chap 8

Exercice Retourner aux premiers exemples donnés avant et voir comment le système peut tomber d’un état sûr à un état non sûr et puis dans un interblocage, utilisant les diagrammes que nous venons de voir Chap 8

Exercice P.ex. pour l’exemple des philosophes, voir comment on peut arriver à exprimer le fait qu’ils peuvent tomber dans un état non sûr, et puis dans l’interblocage Chap 8

Algorithmes pour l’évitement de l’interblocage En théorie, quelques algorithmes sont connus pour éviter l’interblocage Notamment: l’algorithme du banquier, v. manuel Cependant ils peuvent rarement être utilisés en pratique L’information qu’ils demandent n’est pas normalement disponible Chap 8

3) Détection d ’interblocage On permet au système d’entrer dans un état d’interblocage L’interblocage est détecté On récupère de l’interblocage Chap 8

Différence entre attente et interblocage Détection Différence entre attente et interblocage Il est difficile de détecter s ’il y a effectivement un interblocage dans un système Nous pourrions voir qu’un certain nombre de processus est en attente de ressources ceci est normal! Pour savoir qu’il y a interblocage, il faut savoir qu’aucun processus dans un groupe n’a de chance de recevoir la ressource car il y a attente circulaire! Ceci implique une analyse additionnelle, que peu de SE se prennent la peine de faire... Chap 8

Détection Méthode de détection d’interblocage dans le cas d’une ressource par type Essentiellement, la méthode déjà décrite Construire un graphe d’allocation ressources et voir s’il y a une manière dont tous les proc peuvent terminer Dans le cas d’une ressource par type, l`algorithme cherche des cycles dans le graphe (algorithme efficaces existent) Plus difficile dans le cas de plus. ressources par type Pas discuté Chap 8

Détection Graphe allocation ressources et graphe d ’attente (cas d’1 ressource par type) Interblocage? (Même si R3 se termine, il y a un cycle incassable P1P2P4) Chap 8

4) Correction d’interblocages, en récupérer Terminer tous les processus dans l’interblocage, ou Terminer un processus à la fois, espérant d’éliminer le cycle d’interblocages Dans quel ordre? différents critères: priorité besoin de ressources: passé, futur combien de temps il a exécuté, de combien de temps il a encore besoin etc. Chap 8

Correction: préemption de ressources Minimiser le coût de sélectionner la victime Rollback: retourner à un état sûr besoin d`établir régulièrement et garder des ‘points de reprise’, sortes de photos de l ’état courant du processus p.ex. Word établit des points de reprise qu’il vous propose après un ‘accident’ Famine possible si le même processus est toujours sélectionné Chap 8

Combinaison d’approches Combiner les différentes approches, si possible, en considération des contraintes pratiques prévenir éviter détecter et corriger utiliser les techniques les plus appropriées pour chaque classe de ressource Chap 8

Importance du pb de l’interblocage L’interblocage est quasiment ignoré dans la conception des systèmes d’aujourd’hui Avec l’exception des systèmes critiques Où les processus sont souvent fixes et peuvent être assujettis à des contraintes très importantes S’il se vérifie, l’usager verra une panne de système ou l’échec d’un processus Dans les systèmes à haut parallélisme du futur, il deviendra de plus en plus important de le prévenir et éviter Chap 8

Par rapport au manuel: Le code Java de ce chapitre n’est pas matière d’examen intra Sera discuté plus tard dans les TD Section 8.5.3 (algorithme du banquier) n’est pas sujet de notre cours Présente une solution qui est d’intérêt théorique seulement: L’algorithme présuppose qu’il soit possible de savoir le max de chaque ressource qu’un processus peut demander Section 8.6.2 (détection d’interblocage dans le cas d’instances multiples de ressources) n’est pas sujet du cours pour des raisons semblables Chap 8

Interblocages: concepts importants Caractérisation: les 4 conditions Graphes allocation ressources Séquences de terminaison États sûrs et non-sûrs Prévenir les interblocages Éviter les interblocages Détecter les interblocages Récupérer d’un interblocage Chap 8

Point de réfléxion Dans le chapitre 4, il y avait un seul pointeur dans un PCB Quelle implication aurait ce fait par rapport aux files d’attentes dans lesquelles un proc peut se trouver? Est-ce-que ce chapitre nous force à réviser cette hypothèse? Chap 8

Différence entre famine et impasse Famine: un ou plusieurs processus n’arrive jamais à exécuter car des autres processus les bloquent de manière permanente Ces derniers arrivent à exécuter mais ils empêchent des autres Impasse: aucun processus dans une impasse n’arrive jamais à exécuter car ils se bloquent mutuellement Chap 8

RAPPEL IMPORTANT Examen de mi-session le prochain cours 2 hrs, livre fermé Voir un exemple dans le site Moodle Le sujet du cours changera après: Gestion de la mémoire Chap 8