IJ
Да я так, мало ли кто сразу в голову пришёл.
Size: a a a
2021 August 03
DF
так без транзакции/атомарности даже простой оператор присваивания не написать
DF
cas появился как операция с числом консенсуса inf, поскольку без такой операции можно синхронизировать только конечное (известное заранее) число тредов
BD
DF
ну да
DF
своп это и есть атомарный комит транзакции, посколькку небросающий
DF
можно конечно схитрить и феникса сделать, но такое встречается редко
IJ
о, а это интересно.
Читаю https://www.cs.yale.edu/homes/aspnes/pinewiki/WaitFreeHierarchy.html
Читаю https://www.cs.yale.edu/homes/aspnes/pinewiki/WaitFreeHierarchy.html
IJ
но я сразу хочу добавить уточнение, что CAS в контексте параллельности и lock free / wait free это немного про другую атомарность; я начинал дискуссию про all-or-nothing атомарность, а в lock free алгоритмах необходима координация между тредами, которая немного продругое. Тут имеется в виду уже before-after atomicity, В идеальном мире операции обладают и тем и другим свойством.
DF
тогда воть
BV
В lock free там тоже важен порядок
BV
Поэтому фенс кормится как дополнительный параметр
IJ
да, я просто чтобы избежать конфуза с перегрузкой термина "атомарность". all-or-nothing для координации параллельных тредов недостаточна, надо ещё и before-after.
BV
Атомарность и очередность это разные термины
BV
Инвариантность переменных != инвариантность системных объектов
BV
Потому что системные объекты они не сами по себе а имеют историю и взаимосвязь между собой
DF
а есть книжка по инвариантности системных обьектов?
DF
что нибудь про то как она обычно реализована
DF
ну локи там. Raii, а что еще