Séance de cours
Cette séance de cours couvre les primitives de convergence et les pièges de programmation dans les systèmes d'exploitation. Il traite de l'importance des threads pour le partage de données et l'exploitation de plusieurs processeurs, ainsi que des défis de la programmation non contrôlée des threads menant à des courses de données. La séance de cours explique l'exclusion mutuelle au moyen de serrures et d'instructions atomiques matérielles comme Test-and-Set et Compare-and-Swap. Il se penche sur l'utilisation de variables de condition et de sémaphores pour l'attente conditionnelle, la signalisation, et d'éviter les bugs de concordance. Les exemples fournis illustrent la mise en œuvre de variables de condition et de sémaphores dans les scénarios producteur/consommateur. La séance de cours aborde également les bogues communs dans des programmes concurrents tels que les violations de l'atomicité, les violations de l'ordre et les impasses.