Multiprocessor Programmingにおいて、他スレッドの動作に関係なく、スレッドがいかなる操作も有限のステップ数で完了させられることを指している Lock-free ⊂ Wait-free