Semaine 8 — Interblocage : graphes, détection et récupération
Interblocage : graphes, détection et récupération
Sommaire des lectures
- Couverture et repères
- 0. Portée et exclusions acceptées
- Sommaire
- 1. Objectif et place de la semaine
- 2. Définir le problème et les ressources
- 3. Construire et interpréter un graphe d'allocation
- 4. Comprendre l'ordre d'acquisition des sémaphores
- 5. Reconnaître les quatre conditions nécessaires
- 6. Distinguer les quatre familles de traitement
- 7. Détecter un cycle avec une instance par type
- 8. Représenter plusieurs instances par des matrices
- 9. Exécuter l'algorithme de marquage
- 10. Dérouler l'exemple numérique complet
- 11. Choisir quand détecter et comment reprendre
- 12. Annonces, évaluations et actions personnelles
- 13. Acquis attendus et limites du programme couvert
- 14. Carte des sources
- 15. Vérification et limites de fidélité
Ré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.