Являются ли + =, | =, & = etc атомарными?

Question

Являются ли операторы "модифицирования", такие как +=, |=, &= и т. Д. Атомарными?

Я знаю, ++ является атомарным (если вы выполните x++; в двух разных потоках "одновременно", вы всегда получите x, увеличенное на 2, в отличие от x=x+1 с отключенной оптимизацией.)

Что мне интересно, так это variable |= constant, а лайки поточно-ориентированы или я должен защищать их мьютексом?

(... или это зависит от процессора? В этом случае, как это на ARM?)

Answer 1

Даже если ++ является атомарной операцией, это не означает, что два потока, выполняющие ++x, приведут к тому, что x будет ровно на два выше. Вам нужно как-то синхронизировать потоки, иначе они не обязательно увидят изменения друг друга.

Answer 2

Стоит отметить, что эти операторы могут быть перегружены, поэтому не может быть никакой общей гарантии, что они являются атомарными для всех классов.