Scribd Logo
Importer

Bienvenue sur Scribd !

  • 86 vues

    ExamSys2 LMD Epreuve 2013 2014cor

    Transféré par

    Fatima Laiche
    Le document présente un exercice sur la synchronisation de processus partageant des ressources. Il décrit deux processus P1 et P2 accédant à une variable partagée X, et propose d'utiliser un sémaphore mutex pour résoudre le problème d'accès concurrent. Un second exercice traite du problème du producteur-consommateur avec deux producteurs et un consommateur, et un buffer circulaire.

    Droits d'auteur :

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

    ExamSys2 LMD Epreuve 2013 2014cor

    Transféré par

    Fatima Laiche
    86 vues2 pages
    Le document présente un exercice sur la synchronisation de processus partageant des ressources. Il décrit deux processus P1 et P2 accédant à une variable partagée X, et propose d'utiliser un sémaphore mutex pour résoudre le problème d'accès concurrent. Un second exercice traite du problème du producteur-consommateur avec deux producteurs et un consommateur, et un buffer circulaire.

    Titre original

    ExamSys2_LMD_Epreuve_2013_2014Cor

    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é ?

    Le document présente un exercice sur la synchronisation de processus partageant des ressources. Il décrit deux processus P1 et P2 accédant à une variable partagée X, et propose d'utiliser un sémaphore mutex pour résoudre le problème d'accès concurrent. Un second exercice traite du problème du producteur-consommateur avec deux producteurs et un consommateur, et un buffer circulaire.

    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
    86 vues2 pages

    ExamSys2 LMD Epreuve 2013 2014cor

    Transféré par

    Fatima Laiche
    Le document présente un exercice sur la synchronisation de processus partageant des ressources. Il décrit deux processus P1 et P2 accédant à une variable partagée X, et propose d'utiliser un sémaphore mutex pour résoudre le problème d'accès concurrent. Un second exercice traite du problème du producteur-consommateur avec deux producteurs et un consommateur, et un buffer circulaire.

    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
    Vous êtes sur la page 1sur 2

    Université de Chlef Mars 2014

    Département Informatique
    ème
    Filière : 3 Année Licence TSW

    Examen semestriel Corrigé


    Module de « Systèmes d’exploitation2 »

    Exercice 1 : (07 points)


    Soit X, Y et Z des variables numériques. P1 et P2 sont deux processus dont les codes sont les suivants :

    Processus P1 Processus P2
    Debut Debut
    Si X > 50 Alors
    X := X+1
    Y := Y +1
    sinon
    Fin
    Y:= Y/2
    Finsi;

    Z := Z + Y
    Fin

    Question 1 : Expliquez quel problème peut-on avoir si les deux processus s'exécutent simultanément.
    Réponse :

    Si les deux processus s'exécutent simultanément, il y'a un problème d'accès concurrents à la variable partagée X. On peut
    avoir un résultat incohérent si le processus P1 tente de modifier cette variable alors que le processus P2 tente de son coté de la
    consulter.
    (3 points)

    Question 2 : Corrigez le problème en utilisant des sémaphores. Réécrivez le code des deux processus.

    Réponse :

    La solution doit assurer l'accès en exclusion mutuelle à la variable partagée X. On utilise un sémaphore mutex , initialisé à 1.

    Processus P1 Processus P2
    Debut Debut
    Wait(mutex)
    Wait (mutex)
    Si X > 50 Alors
    X := X+1 Signal(mutex)
    Y := Y +1
    Signal(mutex) Sinon
    Signal(mutex)
    Fin Y:= Y/2
    Finsi;

    Z := Z + Y
    Fin

    (4 points)

    Page 1 / 2
    Exercice 2 : (13 points)
    On reprend le problème de synchronisation du Producteur-Consommateur avec buffer circulaire et de taille limitée N,
    mais on suppose qu'il y'a maintenant deux producteurs P1 et P2 et un seul consommateur C. Le producteur P2 a une
    particularité : il produit et dépose deux messages à la fois (si toutefois, il y'a des places libres dans le buffer).

    Travail à faire : Proposez un schéma de synchronisation de ce problème. Ecrivez le code des 3 processus P1, P2 et C.
    Soignez vos déclarations.

    Réponse :

    Déclarations :
    In : Entier (Init à 0) indice du dernier élément déposé dans le buffer
    Out : Entier (Init à 0) indice de l'élément prêt à être prélevé par le Consommateur
    Mutex : Sémaphore (init à 1) assurant l'accès en exclusion mutuelle à la variable partagée In.
    Empty : Sméphore (Init à N) permettant de bloquer les producteur si le buffer est plein.
    Full : sémaphore (Init à 0) permettant de bloquer le consommateur s'il n'ya aucune case pleine dans le buffer.
    (3 points)

    Processus Producteur1 Processus Producteur2 Processus Consommateur


    Début Début Début
    Cycle Cycle Cycle
    Produire un message dans Produire un message Wait(Full)
    ZoneP dans ZoneP1 et ZoneC :=Buffer[Out] ;
    Wait(Empty); ZoneP2 Out :=Out+1 mod N ;
    Wait(mutex) Wait(Empty); Signal(Empty) ;
    Buffer[In] :=ZoneP ; Wait(Empty); Consommer le message de
    In :=In+1 mod N Wait(mutex) ZoneC
    Signal(mutex) Buffer[In] :=ZoneP1 ; Fin Cycle
    Signal(Full) In :=In+1 mod N Fin.
    Fin Cycle Buffer[In] :=ZoneP2 ;
    Fin. In :=In+1 mod N
    Signal(mutex)
    Signal(Full)
    Signal(full)
    Fin Cycle
    Fin.

    (3 points)

    Page 2 / 2

    Vous aimerez peut-être aussi