Demo code of boost.lock free