1. Objectif et place de la semaine
Les chapitres précédents ont présenté les processus, leur ordonnancement et les mécanismes de synchronisation. Cette semaine étudie une conséquence possible de leur combinaison : un processus peut protéger correctement une ressource tout en participant à une dépendance qui empêche plusieurs processus d'avancer. L'exclusion mutuelle doit donc être articulée avec un protocole d'acquisition et de libération cohérent.
Le fil conducteur est le suivant : représenter les détentions et les demandes, reconnaître la dépendance circulaire, puis appliquer une procédure systématique pour déterminer si les ressources peuvent se libérer. On commence par une instance de chaque type de ressource, avec un graphe, puis on passe à plusieurs instances avec des vecteurs et matrices. La séance situe enfin le coût de la détection et les conséquences des récupérations possibles.
Le support publié est Interblocage, partie 1, 69 pages. Son titre interne conserve un ancien intitulé; sa provenance actuelle est vérifiée dans le cours. Le cours 13, SYSTEMES_Lundi, a été enregistré le 19 octobre à 10 h 31, Montréal, pour 1 h 25 min 17 s. Il développe les deux détecteurs et insiste particulièrement sur leur compréhension et leur application progressive.
L'enseignant indique au début et à la fin de cette séance que la nouvelle matière sur les interblocages vise le final, et qu'elle n'entre pas dans l'intra du 21 octobre. Il recommande de reprendre l'enregistrement et les notes après l'intra pour maîtriser les algorithmes. Cette indication concerne la nouvelle matière du chapitre : elle ne retire pas les exemples de mauvais verrouillage ou de concurrence déjà étudiés auparavant.