Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Importer

Bienvenue sur Scribd !

  • 40 vues

    Chapitre5 Système Dexploitation 2

    Transféré par

    venanceharold
    Ce document décrit l'interblocage dans les systèmes d'exploitation. Il définit l'interblocage, ses conditions d'apparition et présente le graphe d'allocation des ressources ainsi que l'algorithme du banquier pour éviter les situations d'interblocage.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd

    Chapitre5 Système Dexploitation 2

    Transféré par

    venanceharold
    40 vues26 pages
    Ce document décrit l'interblocage dans les systèmes d'exploitation. Il définit l'interblocage, ses conditions d'apparition et présente le graphe d'allocation des ressources ainsi que l'algorithme du banquier pour éviter les situations d'interblocage.

    Titre original

    Chapitre5 Système dexploitation 2

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Ce document décrit l'interblocage dans les systèmes d'exploitation. Il définit l'interblocage, ses conditions d'apparition et présente le graphe d'allocation des ressources ainsi que l'algorithme du banquier pour éviter les situations d'interblocage.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    40 vues26 pages

    Chapitre5 Système Dexploitation 2

    Transféré par

    venanceharold
    Ce document décrit l'interblocage dans les systèmes d'exploitation. Il définit l'interblocage, ses conditions d'apparition et présente le graphe d'allocation des ressources ainsi que l'algorithme du banquier pour éviter les situations d'interblocage.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    sur 26

    Université Aboubekr BELKAID

    ‫كلية العلوم – تيجاني هدام‬


    Faculté des Sciences – Tidjani HAddam
    ‫قسم اإلعالم اآللي‬
    Département d’informatique

    Chapitre N°5: l’interblocage dans un


    système d’exploitation

    Mr BENAISSA Mohamed

    E-mail : benaissa_samir@yahoo.fr

    Année universitaire 2020-2021

    1
    Université Aboubekr BELKAID
    ‫كلية العلوم – تيجاني هدام‬
    Faculté des Sciences – Tidjani HAddam
    ‫قسم اإلعالم اآللي‬
    Département d’informatique

    Plan de chapitre N°5 : l’interblocage dans un système


    d’exploitation

    1. Introduction aux interbloages


    2. Conditions d’apparition d’interblocage
    3. Graphe d’allocation des ressoures
    4. Méthode d’évitement d’interblocage
    5. Etat saine de système
    6. Algorithme du banquier

    2
    Introduction

    Un système informatique possède un nombre fini de ressources qui


    doivent être distribuées entre un nombre de processus concurrents. Les
    ressources sont groupées en plusieurs types, lesquels peuvent exister
    en plusieurs instances identiques. L’espace mémoire, le processeur, les
    périphériques sont des exemples de types de ressources.
    Le partage des ressources entre des processus parallèles peut conduire
    a une situation d’interblocage

    3
    Définition de l’interblocage :

    Un ensemble de processus est dans une situation d’interblocage si

    chaque processus de l’ensemble de processus attend un événement

    qui ne peut être produit que par un autre processus de l’ensemble de

    processus.

    4
    R1

    P1 demande R1
    P2 détient R1
    cpu

    P1 P2

    P1 détient R2
    imprim P2 demande R2

    R2

    Exemple d’interblocage

    Exemple :
    Un système possède une instance unique de chacun des deux types
    de ressources R1(cpu) et R2(imprimante).

    Un processus P1 détient l’instance de la ressource R1 et un autre


    processus P2 détient l’instance de la ressource R2.
    Pour suivre son exécution, P1 a besoin de l’instance de la ressource
    R2, et inversement P2 a besoin de l’instance de la ressource R1.

    Une telle situation est une situation d’interblocage.


    5
    Condition d’apparition d’interblocage

    Une situation d’interblocage peut survenir si les trois conditions suivantes


    se produisent simultanément.

    1. Accès exclusif : Les ressources ne peuvent être exploitées que par un


    seul processus à la fois. Une ressource au moins doit se trouver dans un
    mode non Partageable(ressource critique).

    2. Attente et occupation : Un processus au moins occupant une


    ressource attend d'acquérir des ressources supplémentaires détenues par
    d'autres processus.

    3. Attente circulaire : Les processus en attente des ressources déjà


    allouées forment une chaîne circulaire d'attente.

    6
    Graphe d’allocation des ressources

    On peut décrire l’état d’allocation des ressources d’un système en utilisant un


    graphe. Ce graphe est composé de N noeuds et de A arcs.

    L’ensemble des noeuds est partitionné en deux types :

    · P={P1, P2, …, Pm} : l’ensemble de tous les processus

    · R={R1, R2, …, Rn} l’ensemble de tous les types de ressources du système

    7
    Graphe d’allocation des ressources

     Un arc allant du processus Pi vers un type de ressource Rj est noté


    Pi→Rj ; il signifie que le processus Pi a demandé une instance du type
    de ressource Rj.

     Un arc du type de ressourcé Rj vers un processus Pi est noté Rj→Pi


    ; il signifie qu’une instance du type de ressource Rj a été alloué au
    processus Pi.

    Un arc Pi→Rj est appelé arc de requête.


    Un arc Rj→Pi est appelé arc d’allocation

    8
    Exemple :

    (a) Le processus A détient la ressource R.


    (b) Le processus B demande la ressource R.
    (c) Le processus C attend la ressource T, qui est détenue par le
    processus D. Le processus D attend la ressource U, qui est
    détenue par le processus C  Interblocage.

    9
    R1 R3

    P1 P2 P3

    R2 R4

    Circuit1: p1->r1->p2->r3->p3->r2->p1 Circuit2: p2->r3->p3->r2->p2

    Graphe d’allocation des ressources avec circuit et interblocage


    R1 P2 R1 P2

    P3
    P1 P1 P3

    P4 P4
    R2
    R2

    Graphe d’allocation des ressources avec circuit sans interblocage


    10
    Méthode pour éviter une situation d’interblocage

    Cette méthode contrôle pas à pas la progression d’un processus, elle


    examine dynamiquement l’état d’allocation des ressources aux
    processus afin d’assurer qu’il ne puisse jamais existé une condition
    d’attendre circulaire.

    Etat sain (état sure ou état stable)

    Un état sain (stable) si le système peut alloué les ressources à chaque


    processus dans un ordre en évitant l’interblocage.

    Remarque :

    Un état sain implique pas d’interblocage


    Un état d’interblocage implique état mal sain
    Un état mal sain n’implique pas forcément une situation d’interblocage

    11
    Algorithme du Banquier : éviter l’interblocage

    L’algorithme du banquier est un algorithme d’évitement des interblocages

    L’algorithme de banquier Consiste à examiner chaque nouvelle requête


    pour voir si elle conduit à un état sain ou sure :

    12
    Principe de l’algorithme du banquier :

    Quand un nouveau processus entre dans le système, il doit déclarer le


    nombre maximal d’instances de chaque type de ressources dont il aura
    besoin.

    Ce nombre ne doit pas dépassé le nombre total de ressources du


    système. Au cours de son exécution, quand un processus demande un
    ensemble de ressources, l’algorithme vérifie si cela gardera toujours le
    système dans un état sain. Dans l’affirmative la demande est accordée,
    dans la négative la demande est retardée.

    13
    Soient m le nombre de types de ressources du système, et n le nombre
    de processus. Pour fonctionner, l’algorithme maintient plusieurs
    structures de données :

    disponible[m] :
    C’est un Vecteur de longueur m indiquant le nombre de ressources
    disponibles de chaque type de ressources.

    exemple

    Max[n,m] :
    C’est une matrice nxm définissant la demande maximale de chaque
    processus.

    exemple
    Max

    14
    Allocation[n,m] :
    C’est une matrice nxm définissant le nombre de ressources de chaque
    type de ressources actuellement alloué à chaque processus.

    exemple
    Allocation

    besoin[n,m] :
    C’est une matrice nxm indiquant les ressources restant à satisfaire à
    chaque processus.

    La matrice besoin peut être calculée à partir des matrices Max et


    Allocation :

    Besoin [i,j] = Max[i,j] – Allocation[i,j]

    15
    exemple

    Besoin [i,j] = Max[i,j] – Allocation[i,j]

    Besoin =

    Max Allocation

    R1=2 R2=3 R3=6 R4=7


    Besoin =

    Ressources totale = disponible + allocation=(1,2,2,0)+(2,3,6,7)=(3,5,8,7)

    16
    Request[n,m] :
    C’est une matrice nxm indiquant les ressources supplémentaires que les
    processus viennent de demander

    requête

    Besoin = ∑requête
    Notations :

    · Allocationi : Vecteur désignant les ressources actuellement allouées au


    processus Pi.
    · besoini : Vecteur désignant les ressources supplémentaires que le
    processus Pi peut encore demander.

    · Requesti : Vecteur désignant les ressources supplémentaires que le


    processus Pi vient de demander.
    17
    L’algorithme du Banquier peut être composé en deux parties
    complémentaires :
    Un algorithme de requête de ressources et un algorithme de
    vérification si l’état du système est sain.

    Algorithme de requête de ressources

    Soit requesti le vecteur de requêtes pour la tache Pi. Si requesti[j] = = k alors la


    tache Pi souhaite k instances de la ressource Rj. Lorsqu’une requête est émise
    par la tache Pi, les actions suivantes sont prises :

    18
    Algorithme de requête de ressources

    Etape 1 : Si Requesti<=besoin Alors Aller à l’étape 2


    Sinon erreur : le processus a excédé ses besoins maximaux
    Finsi

    Etape 2 : Si Requesti<=disponible Alors Aller à l’étape 3


    Sinon Attendre : les ressources ne sont pas disponibles.
    Finsi

    Etape 3 : Sauvegarder l’état du système (les matrices disponible, Allocation et besoin).


    Allouer les ressources demandées par le processus Pi en modifiant l’état du système
    de la manière suivante :
    disponible:=disponible - Requesti
    Allocationi :=Allocationi + Requesti
    besoini :=besoini – Requesti

    Si Verification_Etat_Sain=Vrai Alors L’allocation est validée


    Sinon L’allocation est annulée ; Restaurer l’ancien Etat du système
    Finsi
    Fin.’

    19
    exemple

    Allocation

    requête Besoin =

    Q1/ la demande de p2 peut-elle être accordée immédiatement?

    Requete p2(1,0,0,0)<=besoin(1,0,0,2) vrai


    Requete p2(1,0,0,0)<=disponible(1,2,2,0) vrai
    disponible=disponible-requete p2=(1,2,2,0)-(1,0,0,0)=(0,2,2,0)
    Allocation p2=allocation p2+requete p2=(1,0,0,0)+(1,3,5,4)=(2,3,5,4)
    Besoin p2=besoin p2-requete p2=(1,0,0,2)-(1,0,0,0)=(0,0,0,2)

    20
    Algorithme Verification_Etat_Sain

    L’algorithme suivant est une fonction qui renvoie la valeur Vrai si le système est
    dans un état sain, Faux sinon.

    Début
    Work : Tableau[m] de Entier ;
    Finish : Tableau[n] de Logique ;

    Etape 1 : Work :=disponible


    Finish :=Faux ;

    Etape 2 : Trouver i tel que : Finish[i]=faux et besoini<=Work


    Si un tel i n’existe pas aller à l’étape 4.

    Etape 3 : Work :=Work + Allocationi


    Finish[i] :=Vrai
    Aller à l’étape 2

    Etape 4 : Si Finish=Vrai (pour tout i) Alors Verification_Etat_Sain :=Vrai


    Sinon Verification_Etat_Sain :=Faux
    Finsi
    Fin. 21
    exemple

    Solution de l’exemple
    Vecteur total des ressources :(R1=1, R2=3, R3=2)

    Ressources disponible :(R1=0, R2=0, R3=0)

    22
    Exercice

    23
    solution

    24
    25
    Université Aboubekr BELKAID
    ‫كلية العلوم – تيجاني هدام‬
    Faculté des Sciences – Tidjani HAddam
    ‫قسم اإلعالم اآللي‬
    Département d’informatique

    Mr BENAISSA Mohamed

    E-mail : benaissa_samir@yahoo.fr

    26

    Vous aimerez peut-être aussi