DF
Andrey Glebov
всё верно - на x64 есть cmpxchg16b например
Теперь понял, спасибо
Size: a a a
2021 March 11
AG
Спасибо
да, похоже что просто заменить оба указателя будет недостаточно. но имея такую возможность, думаю можно построить lock-free вариант (сам не пробовал)
CD
Andrey Glebov
да, похоже что просто заменить оба указателя будет недостаточно. но имея такую возможность, думаю можно построить lock-free вариант (сам не пробовал)
> нужно атомарно провести операцию над p и *p
DF
А где тут *Р
CD
в счётчике ссылок
DF
Хмм
DF
Понятно тогда и правда не поможет
DF
Andrey Glebov
всё верно - на x64 есть cmpxchg16b например
Оно на непрерывное слово действует или на два отдельных полслова ?
AG
на один непрерывный 128-битный блок по идее
DF
Тогда тут аргумент Константина
DF
Р и *р не рядом же лежат
DF
А нормальных мультиворд cas нигде нету
AF
Dollar Føølish
Ведь вроде достаточно атомика в контрол блоке ?
Сам поинтер
DF
Уже объяснили )(
CD
Andrey Glebov
да, похоже что просто заменить оба указателя будет недостаточно. но имея такую возможность, думаю можно построить lock-free вариант (сам не пробовал)
вообще забавно, что построить lock-free можно, но для этого нужно на время транзакции запретить аллокатору переиспользовать память
AG
Dollar Føølish
Р и *р не рядом же лежат
ага, но если не ошибаюсь, я где-то читал, что lock-free замена shared_ptr с dcas реализуема
AG
может быть это можно сделать, только если изменить то, как работает shared_ptr внутри
AG
ошибся кстати с названием DCAS
cmpxchg16b это DWCAS (double-wide CAS)
cmpxchg16b это DWCAS (double-wide CAS)
DF
Dcas по моему имеет два адреса и четыре ордеринга
DF
Dwcas имеет один адрес и два ордеринга