Assertion: lock free algorithm | /r/CapableOf | abort obstructing operation
Facets:
Source sentences:
text: In general, a lock-free algorithm can run in four phases: completing one's own operation, assisting an obstructing operation, aborting an obstructing operation, and waiting.