That doesn't matter because a properly consistent lock will need a sequentially consistent store somewhere in the sequence, and that store will generate the bar

That doesn't matter because a properly consistent lock will need a sequentially consistent store somewhere in the sequence, and that store will generate the barrier.Something like a ticket lock works in this case because the store will eventually become visible and when it does the ordering of operations proceeding it will have completed.