Assertion: algorithm | /r/HasProperty | obstruction-free
Facets:
Source sentences:
text: An algorithm is obstruction-free if at any point, a single thread executed in isolation (i.e., with all obstructing threads suspended) for a bounded number of steps will complete its operation.