Séance de cours
Modèle mémoire
Description
Cette séance de cours se penche sur la formalisation des modèles de mémoire, qui servent de pont entre les attentes d'un programmeur et le comportement réel d'un système lors de l'interaction avec la mémoire partagée. Il couvre les règles de visibilité, les opérations spéciales comme les atomes et les volatiles, et la valeur renvoyée par les lectures, en adressant des hypothèses pour l'optimisation du programme tout en assurant l'exactitude.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.