Current atomics are not defined to be lock-free (original) (raw)
Right now we define things like AtomicPtr unconditionally. On platforms without real atomics these get lowered to locks today. People write lock-free algorithms with these atomics that are not actually guaranteed to be lock free.
For comparison, I'm told (by @sunfish) that C++ does try to guarantee that atomics are lock-free.