C++ lectures at MIPT (in Russian). Lecture 12. Concurrency, part 1

preview_player
Показать описание
Лекции в магистратуре МФТИ по C++ на русском языке.

В этой лекции мы подробно остановимся на конкуренции потоков за ресурсы, в частности за память. Будут рассмотрены основные механизмы синхронизации из стандартной библиотеки, а также тонкие вопросы data/api races и deadlocks

Лектор: Константин Владимиров
Дата лекции: 18 февраля 2020 года
Съёмка и звук: Дмитрий Рябцев

Errata:
* пока здесь пусто
  1. Konstantin Vladimirov
Рекомендации по теме
C++ Lectures at 1:23:21

C++ Lectures at MIPT (in Russian). Lecture 1. Strings.

C++ lectures at 1:43:21

C++ lectures at MIPT (in Russian). Lecture 18. Concepts

C++ lectures at 1:16:23

C++ lectures at MIPT (in Russian). Lecture 4. Exceptions, part 1

C++ lectures at 1:11:20

C++ lectures at MIPT (in Russian). Lecture 13. Atomicity, part 1

C++ lectures at 1:21:15

C++ lectures at MIPT (in Russian). Lecture 12. Concurrency, part 1

Базовый курс C++ 1:21:33

Базовый курс C++ (MIPT, ILab). Lecture 1. Scent of C++.

C++ lectures at 1:27:00

C++ lectures at MIPT (in Russian). Lecture 10. Coroutines, part 1

C++ lectures at 1:18:41

C++ lectures at MIPT (in Russian). Lecture 9. Smart pointers, part 1

C++ lectures at 1:28:37

C++ lectures at MIPT (in Russian). Lecture 15. SFINAE

C++ lectures at 0:31:47

C++ lectures at MIPT (in Russian). Lecture 9a. Monads

C++ lectures at 1:27:47

C++ lectures at MIPT (in Russian). Lecture 19. Ranges, part 1

C++ lectures at 1:44:50

C++ lectures at MIPT (in Russian). Lecture 20. Modules

C++ lectures at 1:21:28

C++ lectures at MIPT (in Russian). Lecture 4. Exceptions, part 2

C++ lectures at 1:32:11

C++ lectures at MIPT (in Russian). Lecture 13. Atomicity, part 3

C++ lectures at 1:25:48

C++ lectures at MIPT (in Russian). Lecture 9. Smart pointers, part 2

C++ lectures at 1:23:25

C++ lectures at MIPT (in Russian). Lecture 14. Allocators, part 1

C++ lectures at 1:33:55

C++ lectures at MIPT (in Russian). Lecture 16. Metaprogramming

C++ lectures at 0:54:38

C++ lectures at MIPT (in Russian). Lecture 19. Ranges, part 2

C++ lectures at 1:24:30

C++ lectures at MIPT (in Russian). Lecture 3. Class templates, part 1

Базовый курс C++ 1:32:00

Базовый курс C++ (MIPT, ILab). Lecture 21. LLVM, часть 1

C++ lectures at 1:29:40

C++ lectures at MIPT (in Russian). Lecture 12. Concurrency, part 2

C++ lectures at 1:20:41

C++ lectures at MIPT (in Russian). Lecture 6. Rvalue references, part 1

Базовый курс C++ 1:20:34

Базовый курс C++ (MIPT, ILab). Lecture 26. Метапрограммирование.

C++ lectures at 1:24:02

C++ lectures at MIPT (in Russian). Lecture 11. Asynchronous programming, part 1

Комментарии
Автор

10:30 Если выполнить данную программу на одном ядре x86-64, то получим вполне честный ноль (хотя это не отменяет data race и состояние UB)
На самом деле никакой битовой магии там нет, потоки выполняясь на разных физических ядрах, не сбрасывают в рам свои кэш линии вовремя и из-за этого в итоге получается мусор.

dmitry
Автор

1:09:00
Не вполне понятно, в чём проблема с resready=1, когда кто-то читает из него 1, ресурс уже инициализирован.
Или в с++ есть реордеринг и запись может произойти до предыдущей инструкции(resptr=new ...)?

vp_arth
Автор

Ну собственно последняя причина не ставить в top() и empty() блокировку: потому что это поломает их const-квалификаторы

volodiaagadjanov