Station MinuitPortail personnel de révision

IFT-2001 — Systèmes d’exploitationAutomne 2026

Semaine 5 — Concurrence

15. Carte des sources

LECTURE 18 / 201 repèreSynthèse avec omissions acceptées
Sommaire de cet article
  1. 15. Carte des sources
Autres lectures de cette unité
  1. Couverture et repères
  2. Éléments absents acceptés par la dérogation
  3. Table des matières
  4. 1. Finalité du module
  5. 2. Communication, partage et conditions de concurrence
  6. 3. Section critique et critères de correction
  7. 4. Solutions par attente active
  8. 5. Blocage, réveil perdu et producteur-consommateur
  9. 6. Sémaphores
  10. 7. Mutex Pthreads
  11. 8. Variables de condition
  12. 9. Barrières
  13. 10. Laboratoire : ajouter un appel système Linux
  14. 11. Choisir le bon mécanisme
  15. 12. Erreurs fréquentes et méthode de raisonnement
  16. 13. Résultats d’apprentissage
  17. 14. Actions de l’étudiant
  18. 15. Carte des sources
  19. Contrôle de couverture
  20. Limites générales
Couverture et sources

15. Carte des sources

Tableau 1 — # · Élément officiel · Sections du présent sommaire · Traitement
# Élément officiel Sections du présent sommaire Traitement
1 Module Brio « Concurrence » 1, 13–15 Structure et objectifs intégrés
2 4_concurrence_partie1.pdf 2 Complet
3 4_concurrence_partie2.pdf 3–5 Complet
4 4_concurrence_partie3.pdf 5–9 Complet
5 Tanenbaum, ch. 2, § 2.3 sauf 2.3.7; ex. 51–52 Éléments absents, 14 Exclu par override : source indisponible
6 sem_init 6.4 Complet
7 sem_destroy 6.4 Complet
8 sem_wait 6.1, 6.4 Complet
9 sem_post 6.1, 6.4 Complet
10 pthread_mutex_init 7.1 Complet
11 pthread_mutex_destroy 7.1 Complet
12 pthread_mutex_lock 7.1–7.2 Complet
13 pthread_mutex_trylock 7.1 Complet
14 pthread_mutex_unlock 7.1–7.2 Complet
15 pthread_barrier_wait 9 Complet
16 pthread_barrier_init 9 Complet
17 pthread_barrier_destroy 9 Complet
18 pthread_cond_init 8 Complet
19 pthread_cond_destroy 8 Complet
20 pthread_cond_wait 8 Complet
21 pthread_cond_signal 8 Complet
22 pthread_cond_broadcast 8 Complet
23 Exemple de variables de condition 8 Patron et raisonnement intégrés
24 Enregistrement du cours 08 3–4, 12, 14 9/9 tranches couvertes
25 Enregistrement du cours 09 4–7, 12, 14 9/9 tranches couvertes
26 Enregistrement du laboratoire 04 10, 12 12/12 tranches couvertes
27 Module Brio « Labo 04 » Éléments absents, 14 Exclu par override : module non publié
Retour au sommaire de l’unitéHaut de page
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 cours. 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.