Explore weak memory from system-centric and security-centric perspectives in this 23-minute conference talk presented at ACM SIGPLAN's FOWM'24. Delve into the implications of weak memory effects on system reliability and security. Examine the existing evidence for the impact of weak memory and consider alternative explanations for observed issues. Join speaker Mike Dodds as he critically analyzes the significance of weak memory in modern computing systems and challenges conventional understanding of its effects.
Overview
Syllabus
[FOWM'24] How Do We Know That Weak Memory Matters?
Taught by
ACM SIGPLAN
Related Courses
-
Evolving Weak Memory Models for Evolving Architectures
-
Heterogeneous Concurrency - A New Frontier for Weak Memory
-
Programmers Love Mind-Bogglingly Complicated Weak Memory Models
-
System-Level Weak Memory Models: The Need for Formalisation, ISA Semantics Integration and Model Diversity
-
In-Order Execution Nails Every Weak Memory Behavior
-
What Compilers Desire from Weak Memory Semantics
