wait-free(等待无关/无等待):并发/多线程算法的一种进度保证性质,指每个线程的每次操作都能在有限步数内完成,不依赖其他线程是否被挂起、延迟或崩溃;因此不会出现“某个线程一直等不到”的情况。(也常写作 wait free;在不同语境下可能与 lock-free、obstruction-free 等一起比较。)
/ˈweɪt friː/
A wait-free queue lets every thread finish its operation quickly.
等待无关(wait-free)的队列能让每个线程都快速完成自己的操作。
The paper proposes a wait-free implementation of a shared counter that guarantees bounded completion time even under heavy contention.
论文提出了一种共享计数器的等待无关实现,即使在高竞争情况下也能保证完成时间有上界。
由 wait(等待) + free(免于……的) 构成,字面意思是“免于等待”。在并发计算领域中,它被用来描述一种比“无锁(lock-free)”更强的性质:不仅系统整体持续前进,而且每个线程都能独立保证完成。