Lecture
Memory Consistency: Programming Languages and Compilers
Related lectures (33)
Memory Consistency: Taking it to the Compiler
Explores memory consistency, weak consistency, and language-level guarantees in memory ordering, emphasizing the importance of data race free programming.
Memory Consistency: Compiler and Programming Languages
Explores memory consistency, coherence, weak consistency, and sequential consistency, emphasizing the importance of language-level consistency and data race-free programming.
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Parallel Computing: Principles and OpenMP
Covers the principles of parallel computing and introduces OpenMP for creating concurrent code from serial code.
Principles of Parallel Computing: OpenMP
Explores the principles of parallel computing, focusing on OpenMP as a tool for creating concurrent code from serial code.
Parallelism: Programming and Performance
Explores parallelism in programming, emphasizing trade-offs between programmability and performance, and introduces shared memory parallel programming using OpenMP.
Synchronization
Covers the principles of synchronization in parallel computing, focusing on shared memory synchronization and different methods like locks and barriers.
Synchronization: Locks and Barriers
Explores synchronization principles using locks and barriers, emphasizing efficient hardware-supported implementations and coordination mechanisms like OpenMP.
Memory Consistency: Basics and Models
Explores memory consistency in multiprocessor systems, discussing coherence, consistency models, and the trade-offs between ordering constraints and performance.
Memory Models: Visibility and Semantics
Explains the Java Memory Model and thread start semantics for concurrent programs.