R
Size: a a a
2020 May 10
zl
как сделать atomic декремент для uint64?
AE
привет, а есть у кого-нибудь опыт замены Redis на Nats для PUB/SUB (интересует именно чистый PUB/SUB без streaming возможностей)?
ВС
atomic.AddUint64(&n, -1)
zl
atomic.AddUint64(&n, -1)
второй параметр тоже должен быть uint64
ВС
Точно... Интересно, а просто скастовать не прокатит?
AS
второй параметр тоже должен быть uint64
-1 это значение, оно не привязано к типу. Компилятор сам разберется
AS
А, там uint
zl
Точно... Интересно, а просто скастовать не прокатит?
так в том и дело, что можно только плюсануть
AS
Тогда есть такой ход
val := atomic.LoadUint64(vPtr)
for !atomic.CompareAndSwapUint64(vPtr, val, val - 1) {
val = atomic.LoadUint64(vPtr)
}
zl
а если сначала считать, декрементировать, а потом обратно записать, то это уже не atomic никакой
AS
Вы не правы
AS
Прочитайте весь код.
Вы считываете значение, и атомарно заменяете только если оно до сих пор равно одилаемому
Вы считываете значение, и атомарно заменяете только если оно до сих пор равно одилаемому
zl
почему? пока я буду вычитать, кто-то другой сто раз туда запишет что угодно
DP
там же swap
ВС
так в том и дело, что можно только плюсануть
ВС
Правда не помню, это законно или нет)
AS
почему? пока я буду вычитать, кто-то другой сто раз туда запишет что угодно
Логика такая:
* Считали в val
* val == значению в vPtr? Если да, то положи туда val - 1
* Если нет, то обнови значение в val
Каждый пункт атомарен
* Считали в val
* val == значению в vPtr? Если да, то положи туда val - 1
* Если нет, то обнови значение в val
Каждый пункт атомарен
ВС
Но в целом-то операция не атомарная выходит
zl
спс, только что вспомнил, что в fasthttp недавно такое же видел