The first lock-free style uses atomic variables (Java/.NET volatile, C++0x atomic) that enjoy special semantics with compiler and processor support. Consider an example similar to the aforementioned code, but written in a lock-free style, where myTurn is an atomic variable protecting x:


while( !myTurn ) { } // enter critical section (spin read)
... read/write x ...
myTurn = false; // exit critical section (write)

Это, меж прочим, аж в 2007-м году написал председатель комитета стандартизации С++, да не где-нибудь а в Dr.Dobbs
http://www.drdobbs.com/article/print?articleId=201804238&siteSectionName=cpp

А нам, моськам, остается только тявкать. Ну, или подвывать.
Хотя лично я, разумеется, в lock-free не понимаю ни черта практически. Да и в критических секциях последнее время как-то уж не шарю, ибо задор пропал, равно как и пропало ощущение осмысленности этих жонглирований кинжалами. Пока закапываться в Эрланг и Хаскель, по крайней мере тогда мои немножко излишние знания будут заведомо не применимы на практике.