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

Cette séance de cours de l'instructeur couvre les principes fondamentaux de la cohérence de la mémoire, y compris l'ordre des uniprocesseurs, la cohérence séquentielle et les modèles détendus. Il explique comment les processeurs effectuent les lectures / écritures en mémoire partagée, le concept de cohérence du cache et la différence entre cohérence et cohérence. La séance de cours explore des exemples illustrant les garanties de cohérence de la mémoire et les défis posés par les processeurs modernes qui réorganisent les accès à la mémoire. Il traite également de la mise en œuvre de modèles de mémoire tels que la cohérence séquentielle (SC) et la cohérence du processeur (PC), répondant au besoin de modèles de mémoire rigoureux pour équilibrer les performances et la correction.