Курс C++ (МФТИ, 2022-2023). Лекция 21. Атомики, часть 2.
Лекции в магистратуре МФТИ по современному C++ на русском языке. Кафедра микропроцессорных технологий. На этой лекции мы погрузимся в неприятные части атомиков: начав с рассмотрения уже знакомых нам проблем проектирования, таких как API races (а также посмотрев способ их решения через формальные методы), мы пойдём к более сложным и специфичным проблемам. Первая такая проблема это reclamaition -- ранний отзыв указателя. Вторая проблема это ABA. Мы поговорим о том какими способами (как аппаратными так и на уровне языка) мы решаем такие проблемы. Рассмотрим вопросы переупорядочения. Лектор: Константин Владимиров. Дата лекции: 12 апреля 2023 года. Съёмка и звук: Юлий Тарасов.
Лекции в магистратуре МФТИ по современному C++ на русском языке. Кафедра микропроцессорных технологий. На этой лекции мы погрузимся в неприятные части атомиков: начав с рассмотрения уже знакомых нам проблем проектирования, таких как API races (а также посмотрев способ их решения через формальные методы), мы пойдём к более сложным и специфичным проблемам. Первая такая проблема это reclamaition -- ранний отзыв указателя. Вторая проблема это ABA. Мы поговорим о том какими способами (как аппаратными так и на уровне языка) мы решаем такие проблемы. Рассмотрим вопросы переупорядочения. Лектор: Константин Владимиров. Дата лекции: 12 апреля 2023 года. Съёмка и звук: Юлий Тарасов.
