Notes about lock-free programming