Реалізуємо примітиви синхронізації потоків на Rust: spin lock
#rust #pairprogramming #mutex #concurrency #spinlock #memorymodel #atomic
Апаратні моделі пам'яті ARM і PowerPC: https://www.cl.cam.ac.uk/~pes20/ppc-s...
Загальний огляд апартних моделей пам'яті: https://research.swtch.com/hwmm
Загальний огляд моделей пам'яті в мовах програмування: https://research.swtch.com/plmm
00:00:00 Початок
00:01:14 Що будемо робити сьогодні
00:09:07 Приклад гонок даних на C++
00:28:18 Пробуємо зробити те саме на Rust
00:37:41 Використання Mutex зі стандартної бібліотеки Rust
00:46:06 Реалізуємо свій spin lock
00:52:18 Навіщо потрібен lock guard
01:10:23 Як зробити smart pointer
01:14:33 Interior mutability за допомогою UnsafeCell
01:21:39 Як заставити Rust повірити, що тип даних потокобезпечний
01:26:38 Повертаємось до реалізації логіки spin lock'у
01:30:00 Використання атомарних типів даних і операцій
01:41:41 Memory Ordering це брехня?
02:05:34 Кінець