Валерий Петров «Модель памяти .NET»

1. Модель памяти .NET
Валерий Петров

2. • Окончил МатМех СПбГУ
• Сейчас работаю в компании Sidenis
• Увлекаюсь concurrency и всякими «кишочками»
• Нравится узнавать новое
• Неравнодушен к качественному коду
Обо мне
2

3. DotNext 2016 Piter
3

4. Вопрос:
Q: Компьютер выполняет программу, которую Вы написали?
4

5. Вопрос:
Q: Компьютер выполняет программу, которую Вы написали?
A: Нет.
Компилятор, JIT и CPU умеют оптимизировать!
5

6. Почему они это делают?
6

7. Почему они это делают?
Раньше инструкции исполнялись последовательно
http://www.slideshare.net/nithilgeorge/2010-1002-intro-to-microprocessors1
7

8. Почему они это делают?
Затем появился конвейер
http://www.slideshare.net/nithilgeorge/2010-1002-intro-to-microprocessors1
8

9. Почему они это делают?
Но инструкции всё равно исполнялись в порядке следования
http://www.slideshare.net/nithilgeorge/2010-1002-intro-to-microprocessors1
9

10. Почему они это делают?
Затем произошло массовое внедрение out-of-order execution
http://www.slideshare.net/nithilgeorge/2010-1002-intro-to-microprocessors1
10

11. • Доступ к памяти (долго)
• Инвалидация кэша (дорого)
• Производительность (IPC)
Почему они это делают?
https://software.intel.com/sites/default/files/m/d/4/1/d/8/286501_286501.gif
11

12. • Loop Read Hoisting - while (true)
• Read Elimination – кэширование в регистрах (иногда даже volatile
не спасает – в .NET Framework тоже бывали баги)
• Read Introduction – устранение локальной переменной (может
выстрелить в мире concurrency)
• И ещё много чего, что позволяет спецификация
Что могут сделать
компилятор/JIT/CPU?
12

13. Loop Read Hoisting
13

14. Read Elimination
14

15. Read Introduction
15

16. А как вам такая перестановка?
16

17. • In computing, a memory model describes the interactions of
threads through memory and their shared use of the data.
(Wikipedia)
• ECMA-335 и ECMA-334
• Слабые и сильные модели памяти
• Спецификации на модель памяти Microsoft CLR не
существует!
Модель памяти
17

18. Разные архитектуры
https://en.wikipedia.org/wiki/Memory_ordering
18

19. ECMA-335 (I.12.6.4 Optimization)
Чёрный ящик
результат
19

20. ECMA-335 (I.12.6.7 Volatile reads and writes)
20

21. ECMA-335 (I.12.6.7 Volatile reads and writes)
21

22. ECMA-334 (10.5.3 volatile fields)
•Чтение – acquire
•Запись - release
22

23. • System.Threading.Thread.VolatileRead/VolatileWrite/MemoryBarrier
• System.Threading.Volatile.Read/Write
• System.Threading.Interlocked
• System.Threading.Monitor.Enter/Exit
ECMA-335 (I.12.6.5 Locks and threads)
23

24. Безопасен ли этот код?
24

25. Безопасен ли этот код?
25

26. Безопасен ли этот код?
26

27. Безопасен ли этот код?
27

28. Вполне безопасно…
28

29. •У меня и без него работает!?
•На StackOverflow говорят, что не надо
•Это в Java надо писать volatile (при этом не
работало до 5)!?
Зачем здесь volatile?
29

30. Простите, что?
30

31. И тут он говорит:
«The only thing that volatile keyword does is to disable compiler optimizations.
It doesn't do anything with the CPU. OK?»
31

32. https://habrahabr.ru/post/130318/
32

33. • x86 и x86-64 имеют весьма строгую модель памяти
• Itanium
• Всё, что не оговорено стандартом, может изменяться в других
версиях .NET Framework и/или архитектурах процессоров
• СЮРПРИЗ! У нас есть ARM и Xamarin (будет демо)
• А также Windows 10 IoT Core на Raspberry Pi (но без демо)
Зачем здесь volatile!
33

34. • Демо про partially constructed object на ARM
Демо.
34

35. • Volatile – не магия, а всего лишь ключевое слово!
• Volatile – не зло, а всего лишь ключевое слово!
• Но оно имеет разную семантику в C/C++/C#/Java!
• В C# volatile – это про Acquire-Release семантику и только!
Некоторые считают volatile какой-то
магией или даже злом.
35

36. There can only be one!
Вариация на тему алгоритма Петерсона:
36

37. Почему сломано?
37

38. Как чинить?
38

39. • Стараться использовать более высокоуровневые конструкции
• Читать спецификации
• Писать код в соответствии с ECMA CIL Memory Model
Вывод
39

40. • http://www.albahari.com/threading/
• Andrew Tanenbaum “Structured Computer Organization”
• Jeffrey Richter “CLR via C#”
• https://habrahabr.ru/company/intel/blog/ (и другие)
Чего почитать?
40

41. Вопросы?
m08pvv
41

42. • The C# Memory Model in Theory and Practice
[https://msdn.microsoft.com/en-us/magazine/jj883956.aspx]
• ECMA-335 specification
[http://www.ecma-international.org/publications/files/ECMA-
ST/ECMA-335.pdf]
• ECMA-334 specification
[%VSINSTALLDIR%VC#Specifications1033CSharp Language
Specification.docx]
Список литературы:
42