13. Acquis attendus et limites du programme couvert
Après étude de ces sources, pouvoir :
- [ ] Expliquer la différence entre une attente ordinaire et un interblocage en nommant les événements attendus.
- [ ] Construire le graphe d'une trace, avec le sens exact des allocations et des demandes insatisfaites.
- [ ] Montrer comment deux entrelacements des mêmes programmes produisent des résultats différents.
- [ ] Expliquer le rôle de l'ordre des acquisitions et identifier les quatre conditions nécessaires dans un exemple.
- [ ] Distinguer autruche, détection/reprise, évitement et prévention, ainsi que leurs moments d'intervention.
- [ ] Appliquer l'élimination des nœuds sans sortie, montrer le cycle final et distinguer ses membres des dépendances extérieures.
- [ ] Définir n, m, E, A, C et R, contrôler les quantités par colonne et comparer des vecteurs composante par composante.
- [ ] Exécuter le marquage jusqu'à son point d'arrêt en justifiant chaque choix et chaque mise à jour.
- [ ] Retrouver la trace P3–P2–P1 et expliquer pourquoi A final = E ne remplace pas la preuve des admissibilités.
- [ ] Comparer les déclenchements d'un détecteur et les conséquences des trois familles de récupération présentées.
Ces cases décrivent les objectifs de l'étude; elles ne sont pas cochées par l'agent à la place de l'étudiant.
Le banquier, le dîner des philosophes, le développement détaillé de la prévention/évitement et celui du livelock ne sont pas fournis par les sources actuelles de cette partie. Leurs annonces sont conservées, mais aucune explication de remplacement n'est inventée. Le chapitre et les exercices de Tanenbaum sont également absents par exclusion explicite. Le document couvre la partie 1 et le cours 13, sans prétendre achever tout le thème espace de référence privé.