0:00:16 - Shutdown в 3-fiber/scheduler
0:07:00 - Узкое место стандартной реализации scheduler через очередь
0:09:46 - Contention awareness
0:14:08 - Оптимизация scheduler посредством введения локальных очередей
0:17:05 - Очередь
0:24:20 - Lock-free stack
0:32:00 - CAS
0:39:20 - ABA problem
0:55:10 - atomic_shared_ptr
0:59:40 - Model checking
Семинар от
Семинарист: Роман Липовский
Снимал и монтировал: Алексей Гликин