Assertion: algorithm | /r/HasProperty | lock-free
Facets:
Source sentences:
text: An algorithm is lock-free if, when the program threads are run for a sufficiently long time, at least one of the threads makes progress (for some sensible definition of progress).
text: An algorithm is lock-free if infinitely often operation by some processors will succeed in a finite number of steps.