Cohérence séquentielle : Concepts de base

Cette séance de cours couvre le modèle de cohérence séquentielle (SC), un modèle classique en concordance et parallélisme. SC s'assure que les résultats de toute exécution sont comme si toutes les opérations du processeur étaient dans un ordre séquentiel. La séance de cours explique l'ordre des programmes, l'atomicité, et l'idée de base du modèle SC avec des exemples. Il traite également de la façon dont SC gère les exécutions qui se chevauchent et les accès à la synchronisation, ce qui a une incidence sur la performance du programme.