Cohérence de la mémoire: langages de programmation et compilateurs

Cette séance de cours se penche sur la cohérence de la mémoire, en distinguant la cohérence et la cohérence, et en explorant la cohérence faible. Il couvre la cohérence séquentielle, la cohérence du processeur et les implications de la faible cohérence dans les processeurs réels. L'instructeur discute du modèle de mémoire ARM, de l'importance de la cohérence au niveau du langage et des défis liés à la prévention de la ré-ordonnancement dans le code. La séance de cours aborde également l'importance de la programmation sans course de données, le modèle de mémoire Java et les variables de synchronisation en C ++ 11. Il se termine par une discussion sur l'ordonnancement de la mémoire OpenMP et la nécessité d'écrire des programmes sans course de données.