Sasha Goldshtein — The C++ and CLR Memory Models

Подробнее о конференции DotNext: https://jrg.su/3WmFRE — — Sasha Goldshtein, Sela Group — The C++ and CLR Memory Models. Конференция DotNext 2016 Piter. Санкт-Петербург, 03.06.2016. The words «memory model» are known to induce fear, sleep, or even coma among the best of developers. Truly understanding the intricate relationship between the compiler, the processor, and the memory system is necessary if you plan to design low-level synchronization, write lock-free code, or even debug race conditions that are already present in your code. In this deep session we will climb down into the abyss of the CLR and C++ memory models, affectionately known as SC-DRF. We will talk about volatile and atomic variables, see multiple examples of compiler- and processor-induced reorderings, and see how a lot of code we assume to be correct in fact happens to be totally broken on non-Intel processors.