Concurrency and the C++ Memory Model

The evolution of memory modelsПодробнее

Core c 2019 yossi moalem c c memory modelПодробнее

[CPP'25] Monadic interpreters for concurrent memory models: Executable semantics of a concurrent(…)Подробнее

[POPL'25] Model Checking C/C++ with Mixed-Size AccessesПодробнее

[POPL'25] Relaxed Memory Concurrency Re-executedПодробнее

CS3211: Concurrent Programming in C++ | Memory Model and Lock-Free Programming | OrcaCode TalkПодробнее

C++ Memory Model: Atomic Operations & Thread Synchronization Explained!Подробнее

[JENSFEST24] Correct Compilation of Concurrent C CodeПодробнее

[OOPSLA24] Extending the C/C++ Memory Model with Inline AssemblyПодробнее

[POPL'18] Effective Stateless Model Checking for C/C++ ConcurrencyПодробнее

C11 Standardized Memory Model: What It Means and Its Impact on C ProgrammingПодробнее

[MUC++] Rainer Grimm - Concurrency Improvements in C++20: A Deep DiveПодробнее

[GALOP'24] A Denotational Approach to Release/Acquire ConcurrencyПодробнее

[PLDI'23] Optimal Reads-From Consistency Checking for C11-Style Memory ModelsПодробнее

[FOWM'24] Weak Memory Demands Model-based Compiler TestingПодробнее

Rainer Grimm :: Concurrency Improvements in C++20: A Deep DiveПодробнее

Concurrency Improvements in C++20: A Deep Dive - Rainer Grimm - NDC TechTown 2023Подробнее

Concurrency in C++20: A Deep Dive - Rainer Grimm - Meeting C++ 2023Подробнее

C++ : Concurrency: Atomic and volatile in C++11 memory modelПодробнее

Ori Lahav: Whats decidable about causally consistent shared memoryПодробнее