AV
Size: a a a
2021 July 15
AV
AV
live NOW!
K
через что на армах эмулируется cas?
NK
Load Linked Store Conditional
K
спасибо
NK
https://en.wikipedia.org/wiki/Load-link/store-conditional по идее идея такая, что ставится бит в кеш линию и если другой поток эту кеш линию трогает то он просто сбрасывается и этот кас не проходит, поэтому compare_exchange_weak даст false (как и написано на цппреф), хотя значение могло не поменяться (false sharing, поменяли другую ячейку в этой же кеш линии), кажется это решает АБА, если пользоваться
cas_weak*
блин. пропустил :(
*
Интересная тема. Но я всегда думал, что lock-free не добавляет производительности, а лишь гарантирует, что не будет блокировок.
И вот мне всегда было интересно, а в каких областях нам нужна эта гарантия?
Которая, кстати, зачастую даётся за счёт производительности. Я подозреваю, что это как-то связанно с RT и soft RT задачами.
И вот мне всегда было интересно, а в каких областях нам нужна эта гарантия?
Которая, кстати, зачастую даётся за счёт производительности. Я подозреваю, что это как-то связанно с RT и soft RT задачами.
AF
Это звучит как Wait-free
*
Ну вот мне кажется, что все эти категории wait-free/lock-free зародились именно в real-time системах
AF
Я бы ещё вспомнил про дедлоки, инверсию приоритетов, старвейшен и многие другие проблемы с блокировками. Часто lock-free — это способ ухода от таких проблем
AF
Например, в классической задаче об обедающих философах при реализации с упорядоченными блокировками и определенных параметрах системы возникают ситуация, когда одно ядро загружено на 100 процентов, второе на 40, третье на 10, а остальные практически стоят и курят
*
Да, вот эту тему хотелось бы тоже раскрыть в следующий раз.
Мне кажется слишком много внимания уделили перфомансу и сложности реализации. Но хочется ещё позитива )
Мне кажется слишком много внимания уделили перфомансу и сложности реализации. Но хочется ещё позитива )
AF
И при замене алгоритма мы внезапно можем сильнее и равномернее утилизировать все ядра, что даёт performance boost
DK
При количестве ядер больше двух локфри алгоритмы серьезный выигрыш производительности дают. Мы в Крите их очень активно используем. Прям очень-очень.
*
Ну вот интересен кокнертный кейс применения.
Я на многоядерной системе как-то игрался с очередями сообщений MPSC (multiple producer - single consumer) и локфри лист был медленее обычного + std::shared_lock
Я на многоядерной системе как-то игрался с очередями сообщений MPSC (multiple producer - single consumer) и локфри лист был медленее обычного + std::shared_lock
DK
Можете в Крите посмотреть. Мы опенсорс :)
AV
А кто такая крита?