A lock free data structure that deal with failed operations with a spin lock is not lock free.
A mutex is not lock free full stop.