Cohérence de la mémoire : l'amener au compilateur

Cette séance de cours s'inscrit dans la cohérence de la mémoire, en distinguant entre cohérence et cohérence, et en examinant des concepts comme la cohérence séquentielle et la cohérence du processeur. Il explore la faiblesse de la cohérence, ses implications dans les CPU réels comme ARM, et les défis de la prévention de la réorganisation de la programmation. L'instructeur discute de l'importance de la cohérence au niveau de la langue, soulignant la nécessité de garanties de bout en bout dans l'ordre de la mémoire. La séance de cours couvre également les implications de la programmation libre de course de données, le modèle Java Memory et le modèle C++11 Memory. De plus, il explique l'utilisation des variables atomiques, des variables de synchronisation et de l'ordre de mémoire dans OpenMP. La séance se termine par un résumé soulignant l'importance d'écrire des programmes libres de course de données.