Assertion: blocking algorithm | /r/HasProperty | guaranteed progress
Facets:
Source sentences:
text: A non-blocking algorithm is lock-free if there is guaranteed system-wide progress, and wait-free if there is also guaranteed per-thread progress.