Cohérence de la mémoire: Bases et modèles

Cette séance de cours couvre les fondamentaux de la cohérence de la mémoire, y compris les concepts de cohérence séquentielle, les modèles détendus, et la relation entre cohérence de la mémoire et cohérence. Il explique l'ordre dans lequel les processeurs effectuent la lecture et l'écriture à la mémoire partagée, l'importance de la cohérence matérielle du cache, et la distinction entre cohérence et cohérence. La séance de cours se décline en exemples illustrant les exécutions en cache-cohérent, les défis des CPU modernes réorganiser les accès à la mémoire, et la mise en œuvre des dépendances de la mémoire. Il examine également les implications de modèles de cohérence assouplis comme la cohérence des processeurs et la cohérence faible, en soulignant les compromis entre l'application d'un ordre strict et l'octroi d'une plus grande flexibilité dans les opérations de mémoire.