Lecture
Memory Model
Description
This lecture delves into the formalization of memory models, which serve as a bridge between a programmer's expectations and a system's actual behavior when interacting with shared memory. It covers rules for visibility, special operations like atomics and volatiles, and the value returned by reads, addressing assumptions for program optimization while ensuring correctness.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.