9. Carte des sources et limites de vérification
Les sources officielles ont été consultées le 14 octobre 2026; les itemisations et contrôles sont dans l’audit [accès au cours requis]. Les numéros ci-dessous correspondent à son inventaire. Chaque entrée accessible possède un sommaire attribuable et ses documents ou sa représentation locale.
| # | Source et sommaire local | Incorporation dans ce maître |
|---|---|---|
| 1 | Page du module Ordonnancement [accès au cours requis], Brio | §1,§3–5,§8; thèmes, deux supports, simulation et exclusions |
| 2 | Ordonnancement partie 1 [accès au cours requis], PDF63 pages [accès au cours requis] | §3 et§4 : mécanismes, méthode, tous les scénarios et calculs |
| 3 | Tanenbaum§2.4/exercice 37, texte absent | Exclu explicitement; en-tête et§1 uniquement, aucun contenu reconstruit |
| 4 | Avis asynchrone du 5 octobre [accès au cours requis], courriel universitaire | §1 et§8 : modalité, disponibilité, étude personnelle |
| 5 | Cours 10 : sommaire [accès au cours requis], transcription [accès au cours requis] | §2,§3.1,§8 : sémaphores, mutex, priorités, adaptation, barrières, conditions, actions |
| 6 | Cours 11 : sommaire [accès au cours requis], transcription [accès au cours requis] | §1,§3–4,§8 : questions chiffrées, politiques et annonces datées |
| 7 | Labo 9 octobre : sommaire [accès au cours requis], transcription [accès au cours requis] | §6 et§8 : toutes les démonstrations et questions |
| 8 | Liste Brio — Labo 05, entrée sans page accessible | Omission explicitement acceptée, en-tête,§1,§6.1,§8 |
| 9 | Échéance TP1 [accès au cours requis], évaluations Brio | §8 : limite 23 h 55, pondération/équipe et dépôt inconnu |
| 10 | Concurrence partie 4 [accès au cours requis], PDF14 pages [accès au cours requis] | §2.6–2.7 : prédicat, atomicité, tampon, boucle, API et sections courtes |
| 11 | Référence Microsoft, item distinct du support 4 | §2.6 : transposition CS/SRW, attente/réveil et limites |
| 12 | Ordonnancement partie 2 [accès au cours requis], PDF29 pages [accès au cours requis] | §5 entier : conventions, O(1), epochs, priorités, quantums, CFS et tous les calculs |
| 13 | Trois exemples C++ [accès au cours requis], archive [accès au cours requis] | §6.2–6.3 : tous les fichiers, options, branches et constantes utiles |
| 14 | LAB3Solution [accès au cours requis], PDF5 pages [accès au cours requis] | §6.4–6.9 : six questions, graphe, corrigés et précision du contre-exemple |
| 15 | Question6_solution [accès au cours requis], PDF1 page [accès au cours requis] | §6.9 : phases du principal/travailleur, chaîne, mémoire du post et destruction |
Les trois sources contextuelles du labo, hors de ces quinze entrées, sont également représentées : fiche LAB2.5 [accès au cours requis] en§6.1–6.3, LAB3Enonce [accès au cours requis] en§6.4–6.9/§8, et cinq fichiers code_lab3 [accès au cours requis] en§6.4–6.9/§7. La référence VM est limitée à son rôle d’environnement, sans contenu interne supposé.
Les références POSIX déjà synchronisées servent à qualifier les garanties de mutex et de condition, sans importer comme nouvelle matière toutes leurs options avancées. Les liens Linux/POSIX/Microsoft expliquent une limite technique, sans attribuer leur contenu intégral à la vidéo. Les bibliographies des PDF citent notamment les supports Giguère/Pomerleau, Tanenbaum et Operating System Concepts; ces ouvrages ne sont pas déclarés lus.
Nature des preuves et limites
Les 106 pages des trois diaporamas et les 6 pages des deux corrigés ont été lues et rendues pour inspection. Les archives ont passé leur contrôle CRC et leur code a été lu. Les vidéos de 55:19,1:27:47 et 2:00:01 possèdent respectivement 1404,2102 et 2114 segments; leurs trois formats concordent et les SRT sont ordonnés sans chevauchement. Les captures ont atteint les fins du média; les durées normalisées diffèrent des durées officielles de moins de 0,06 s chacune.
Le cours 11 contient une pause annoncée de cinq minutes, autour de 41 min→46:01. Le cours 10 a un très faible signal initial, contrôlé par un second décodage; les marges de fin et les pauses de manipulation ne sont pas assimilées à une matière manquante. Au labo, un second décodage local confirme qu’une phrase de commentaire vers 114 min était déjà transcrite avec un repère tardif; ce repère a été ajusté. Ces contrôles ne garantissent pas l’exactitude de chaque mot automatique. Les mots techniques et chiffres nécessaires au maître sont rapprochés des supports et du code, et les contradictions utiles à l’étude sont explicites.
Le registre source→maître [accès au cours requis] suit 70 divisions des entrées accessibles, dont les 27 fenêtres de matière des trois vidéos d’au plus dix minutes, et 16 divisions contextuelles. Les animations et les répétitions sont intégrées à une seule explication complète; les pages de titre, bibliographies, salutations et pauses sont condensées ou classées non substantielles. Deux passes distinctes contrôlent faits/traçabilité puis omissions depuis les sources. La preuve détaillée et les calculs figurent dans le rapport de vérification [accès au cours requis].
Les deux omissions autorisées restent visibles et le statut demeure INCOMPLET — OVERRIDE EXPLICITE. Aucun contenu inaccessible de Labo 05 ou du manuel n’est deviné. Une publication ultérieure de Labo 05 ou de nouvelles consignes peut nécessiter une nouvelle synchronisation et un complément au maître.