Axiomatic validation of memory barriers and atomic instructions
Axiomatic validation of memory barriers and atomic instructions
Posted Aug 22, 2014 9:30 UTC (Fri) by cladisch (✭ supporter ✭, #50193)In reply to: Axiomatic validation of memory barriers and atomic instructions by kernel.developer1
Parent article: Axiomatic validation of memory barriers and atomic instructions
Atomic operations are synchronized, but only as far as their own value is concerned.
If you combine an atomic_t variable with other data, you need barriers to describe the relationships between them.
Locks and RCU are intended to be used to protect other data.