SYSTEMES / Automne 2026 / Interblocage : graphes, détection et récupération
Mini-test — Interblocage : graphes, détection et récupération
Exercices d’entraînement créés pour le portail. Aucun questionnaire officiel. Banque v1.
12 questions. Un point par réponse automatique correcte; aucun crédit partiel. Les autoévaluations sont comptées séparément. Les corrigés apparaissent après chaque réponse; ce mini-test sert à apprendre.
Aucune tentative commencée.
1. P attend une lecture disque en cours; le périphérique peut encore la terminer sans intervention d’un processus qui attend P. Quelle conclusion est justifiée ?
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Choisir une seule réponse selon les hypothèses.
Corrigé — question 1
L’événement attendu demeure possible. Le diagnostic de deadlock exige de montrer une dépendance qui empêche les événements nécessaires, et ne se déduit pas d’une attente ou d’une absence du CPU.
Variantes : Choisir une seule réponse selon les hypothèses.
Revoir la matière — 2.1. Interblocage et blocage ordinaire2. Une instance de R est libre. A la demande et l’obtient immédiatement. Quel arc représente ensuite cet état ?
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Choisir une seule réponse selon les hypothèses.
Corrigé — question 2
R→A représente une détention. A→R représenterait une demande insatisfaite. Le graphe doit suivre l’état réel après l’opération.
Variantes : Choisir une seule réponse selon les hypothèses.
Revoir la matière — 3.1. Nœuds et orientation des arcs3. Deux sémaphores binaires M1,M2 valent 1. A prend M1 puis M2; B prend M2 puis M1; les up suivent les deux acquisitions. Donner une trace bloquante puis une règle empêchant ce cycle.
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.
Corrigé — question 3
L’ordre des acquisitions compte. Les libérations écrites dans le programme ne garantissent rien si elles restent inaccessibles. La correction proposée vise ce cycle précis.
- A obtient M1, puis B obtient M2.
- A bloque sur M2 en gardant M1; B bloque sur M1 en gardant M2.
- Un même ordre strict M1 puis M2 pour les deux empêche ce cycle à deux verrous.
- Les protections locales fonctionnent; leur protocole combiné crée le deadlock.
Variantes : Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.
Revoir la matière — 4.2. Inverser deux acquisitions suffit à rendre le cycle possible4. Dans le cas à deux sémaphores inversés, quelles propriétés correspondent aux conditions nécessaires présentées ?
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Choisir toutes et seulement les propositions justes, sans crédit partiel.
Corrigé — question 4
Exclusion mutuelle, détention/attente, absence de réquisition et attente circulaire sont les quatre conditions. Une saturation CPU ne figure pas dans cette liste.
Variantes : Choisir toutes et seulement les propositions justes, sans crédit partiel.
Revoir la matière — 5. Reconnaître les quatre conditions nécessaires5. Dans le graphe courant, le détecteur par épluchage retire quel nœud ?
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Choisir une seule réponse selon les hypothèses.
Corrigé — question 5
Un membre d’un cycle possède une sortie vers la suite du cycle. Retirer un nœud sans sortie ne détruit pas de cycle passant par ce nœud; il faut recommencer sur le graphe réduit.
Variantes : Choisir une seule réponse selon les hypothèses.
Revoir la matière — 7.2. Procédure complète6. Il existe 4 processus et 3 types possédant respectivement 2,5,1 instances. Quelle dimension a C ?
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Choisir une seule réponse selon les hypothèses.
Corrigé — question 6
C a une ligne par processus et une colonne par type. Le nombre total d’instances 8 ne remplace pas m=3.
Variantes : Choisir une seule réponse selon les hypothèses.
Revoir la matière — 8.1. Définir les dimensions et les quatre structures7. Une requête (4,3,1,2) est-elle ≤ au disponible (5,4,5,1) ?
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Choisir une seule réponse selon les hypothèses.
Corrigé — question 7
Toutes les composantes doivent convenir. Le manque d’un type ne peut être compensé par les quantités d’un autre; l’égalité, lorsqu’elle se présente, est admise.
Variantes : Choisir une seule réponse selon les hypothèses.
Revoir la matière — 8.3. Comparer des vecteurs composante par composante8. Un processus a C=(0,0), R=(4,2), A=(0,0). Pourquoi est-il marqué initialement dans le détecteur présenté ?
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Choisir une seule réponse selon les hypothèses.
Corrigé — question 8
Le critère initial porte sur C nul. Ce marquage ne prouve ni exécution en cours ni satisfaction de R. Il exprime le rôle de la ligne dans l’analyse des détenteurs.
Variantes : Choisir une seule réponse selon les hypothèses.
Revoir la matière — 9.1. Marquage initial et sens du résultat9. R[i]≤A_sim vient de réussir. Quelle augmentation nette du disponible utilise le détecteur après la terminaison simulée de i ?
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Choisir une seule réponse selon les hypothèses.
Corrigé — question 9
Les ressources temporairement empruntées pour satisfaire R sont prises puis rendues : leur effet net s’annule. Le gain net vient de l’allocation antérieure C, restituée une seule fois.
Variantes : Choisir une seule réponse selon les hypothèses.
Revoir la matière — 9.3. Pourquoi ajouter C[i], et pourquoi recommencer10. Variante originale à deux types : A=(0,1); C1=(1,0),R1=(0,1); C2=(0,1),R2=(1,0). Vérifier E, dérouler le détecteur et conclure.
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.
Corrigé — question 10
Le choix successif admissible prouve la possibilité des libérations simulées. Ajouter toutes les allocations sans vérifier les demandes ne serait pas une justification.
- E=A+C1+C2=(1,2), aucune allocation nulle.
- P1 admissible : (0,1)≤(0,1), puis A_sim=(1,1).
- P2 admissible ensuite : (1,0)≤(1,1), puis A_sim=(1,2)=E.
- Tous marqués; aucun deadlock détecté dans cet état. Il fallait réexaminer P2.
Variantes : Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.
Revoir la matière — 10.4. Deuxième et troisième choix : P2, puis P111. Variante originale : A=(0,0); C1=(1,0),R1=(0,1); C2=(0,1),R2=(1,0). Exécuter le détecteur sans inventer une ressource supplémentaire.
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.
Corrigé — question 11
Le total E existe mais il est déjà entièrement détenu. Comparer R à E donnerait une conclusion erronée; c’est A_sim qui détermine l’admissibilité.
- E=(1,1); aucune ligne C n’est nulle.
- R1 et R2 dépassent A dans au moins une composante.
- Aucune terminaison simulée admissible, donc arrêt immédiat.
- P1 et P2 restent non marqués; le détecteur les identifie comme interbloqués dans cet état.
Variantes : Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.
Revoir la matière — 9.4. Arrêt et précautions d'interprétation12. Un processus incrémente une donnée externe puis est restauré à un point antérieur à cet incrément. Pourquoi la restauration de ses variables locales peut-elle être insuffisante ?
Application · version 1
Hypothèses et règle de réponse
- Entraînement du portail depuis le maître local S08, distinct des évaluations officielles. Données fixées par l’énoncé; aucune action personnelle ou exécution réelle certifiée.
Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.
Corrigé — question 12
L’état pertinent dépasse la position du programme et ses variables internes. Le maître compare ces effets au coût moindre d’une compilation qu’on peut relancer.
- La donnée externe peut déjà conserver le premier incrément.
- Rejouer l’opération peut l’incrémenter une seconde fois.
- Le point de reprise et le traitement des effets externes doivent être cohérents.
- Un rollback ne garantit donc pas à lui seul une reprise applicative correcte.
Variantes : Autoévaluation avec rubrique; accepter les formulations équivalentes justifiées.
Revoir la matière — 11.4. Revenir à un point de repriseRécupérer manuellement les données locales
Copier séparément les données ci-dessous dans des fichiers texte avant de fermer la page ou de modifier le stockage. Une valeur illisible ou incompatible reste en place. Aucun effacement ni rétablissement écrasant n’est effectué automatiquement. L’export/import JSON est disponible sur la page Progression du thème. Cette récupération séparée reste utile pour une valeur brute ou un conflit.
Clé de ce cours : . Format v1 porté par cette clé; dates UTC et identifiants durables.
Si l’accès est refusé, la valeur persistée peut rester inaccessible. Réautoriser le stockage dans le navigateur puis rouvrir ce cours permet de la relire. Une réinitialisation exige une décision explicite après récupération; aucune commande de suppression n’est proposée ici. Les données restent sur cette origine et cet appareil, sans transfert automatique.