Content deleted Content added
multiple ref columns |
→Lock-freedom: Light polishing of the second paragraph |
||
Line 77:
progress (for some sensible definition of progress). All wait-free algorithms are lock-free.
An algorithm is lock
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. Completing one's own operation is complicated by the possibility of concurrent assistance and abortion, but is invariably the fastest path to completion.
|