Basically means that a non-blocking algorithm is lock-free if at anytime, at least one thread is making some progress!