Магистерский курс C++ (МФТИ, 2022-2023). Лекция 21. Атомики, часть 2.
Лекции в магистратуре МФТИ по современному C на русском языке. Кафедра микропроцессорных технологий.
На этой лекции мы погрузимся в неприятные части атомиков: начав с рассмотрения уже знакомых нам проблем проектирования, таких как API races (а также посмотрев способ их решения через формальные методы), мы пойдём к более сложным и специфичным проблемам. Первая такая проблема это reclamaition -- ранний отзыв указателя. Вторая проблема это ABA. Мы поговорим о том какими способами (как аппаратными так и на уровне языка) мы решаем такие проблемы. Закончим мы тем, что потрогаем лапкой вопросы переупорядочения.
Лектор: Константин Владимиров.
Дата лекции: 12 апреля 2023 года.
Съёмка и звук: Юлий Тарасов.
Предыдущая лекция:
Следующая лекция:
Слайды ко всем лекциям:
Примеры кода ко всем лекциям:
Timeline:
00:00 Иерархия lock-free ещё раз
07:10 Проблемы проектирования: shared pointers
14:55 Перестановка строк
19:42 Формальная верификация
25:20 Livelocks
28:45 Lock-free stack
38:30 Reclamation
45:10 ABA problem
49:55 Atomic shared pointers
55:00 Hazard pointers
01:00:20 Аппаратное решение ABA и переупорядочение
01:11:30 Chasing counters
01:17:05 Happens-before и завершение
Errata:
* Пока пусто
2 просмотра
0
0
1 месяц назад 01:06:05 1
ДОД магистратур Международного института энергетической политики и дипломатии
1 месяц назад 00:11:37 1
Двумерная конформная теория поля — Михаил Берштейн
1 месяц назад 01:52:42 1
Лекция 2 Оценка недвижимости
1 месяц назад 03:07:28 1
Лекция 1 Оценка недвижимости
2 месяца назад 00:50:49 1
Этика адвоката. Назначение защитника. Об обязанности защитника выступать в прениях. 2017 г.
2 месяца назад 06:42:15 1
II Всероссийский методический форум «Режиссура цифрового курса»
2 месяца назад 00:43:06 23
ЧатФКН #8: Мария Горденко о будущем программной инженерии, публичных выступлениях и преподавании
2 месяца назад 00:39:57 5
Онлайн-презентация магистерской программы кафедры “Блокчейн“ ФПМИ МФТИ
2 месяца назад 00:47:09 1
Сергей Пахомов. Лекция из курса «История нехристианских религий» | ТЕСТ-ДРАЙВ |
2 месяца назад 01:19:16 1
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 1. Строки.
2 месяца назад 03:13:02 1
День открытых дверей МП ВШЭ “Психоанализ и бизнес-консультирование“.
2 месяца назад 00:12:28 1
Пишем магистерскую работу с профессором Лапидусом. Часть 1: основы ВКР
2 месяца назад 01:24:58 17
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 19. Многопоточность, часть 2.
2 месяца назад 01:23:37 2
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 23. Сопрограммы, часть 1.
2 месяца назад 01:12:56 4
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 23. Сопрограммы, часть 2
2 месяца назад 01:27:09 1
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 22. Паралеллизм.
2 месяца назад 01:21:27 4
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 20. Очереди.
2 месяца назад 01:33:47 1
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 21. Атомики, часть 3.
2 месяца назад 01:23:38 1
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 21. Атомики, часть 1.
2 месяца назад 01:21:56 2
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 21. Атомики, часть 2.
2 месяца назад 01:35:54 2
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 14. Диапазоны, часть 2
2 месяца назад 01:30:17 2
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 17. Умные указатели.
2 месяца назад 01:27:21 4
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 15. Аллокаторы
2 месяца назад 01:23:37 1
Магистерский курс C++ (МФТИ, 2022-2023). Лекция 16. Полиморфные аллокаторы