No, as it clearly qualifies for the second part of my statement: > Being lock-free implies using Compare-And-Swap - a very powerful synchronization primitive.

No, as it clearly qualifies for the second part of my statement: > Being lock-free implies using Compare-And-Swap - a very powerful synchronization primitive. Just look inside https://github.com/liblfds/liblfds7.1.1/blob/master/liblfds7.1.1/liblfds711/inc/liblfds711/lfds711_porting_abstraction_layer_compiler.h https://github.com/liblfds/liblfds7.1.1/blob/master/liblfds7... It's full of synchronization stuff. By "unsynchronized" I mean NOT using that.