如果在某种算法中，一个线程的失败或挂起不会导致其他线程也失败和挂起，那么这种算法就被称为非阻塞算法。如果在算法的每个步骤中都存在某个线程能够执行下去，那么这种算法也被称为无锁(Lock-Free)算法。如果在算法中仅将CAS用于协调线程之间的操作，并且能正确地实现，那么它既是一种无阻塞算法，又是一种无锁算法。

创建非阻塞算法的关键在于，找出如何将原子修改的范围缩小到单个变量上，同时还要维护数据的一致性。

非阻塞算法的所有特性：某项工作的完成具有不确定性，必须重新执行。

《Java并发编程实战》笔记-非阻塞算法