1 месяц назад
Вытеснение потоков, это «сборка мусора» для упорядочивания памяти (2019)
Пост 2019 года, вновь всплывший в обсуждении на Hacker News, переворачивает привычный взгляд на вытеснение потока планировщиком ОС (preemption). Обычно оно считается врагом неблокирующего (лок-фри) программирования в пользовательском пространстве: поток может быть прерван в середине операции, и это усложняет гарантии корректности. Автор утверждает обратное, раз вытеснение всё равно происходит и мы уже «платим» за него, его стоит воспринимать как невозвратные издержки, вроде сборки мусора, и извлекать из него пользу...