Terms

From Multicore
Jump to: navigation, search

Lock-free

A synchronization technique is lock-free if it ensures only that some thread always makes progress.[1]


Obstruction-free

A synchronization technique is obstruction-free if it guarantees progress for any thread that (eventually) executes in isolation.[1]


Wait-free

A synchronization technique is wait-free if it ensures that every thread will continue to make progress.[1]


References

  1. 1.0 1.1 1.2 M. Herlihy, V. Luchangco, and M. Moir. Obstruction-free synchronization: double-ended queues as an example. International Conference on Distributed Computing Systems, pages 522-529. IEEE, 2003.
Personal tools