If you dive into the JVM and OS, you'll find nonblocking algorithms everywhere.
如果深入JVM和操作系统，会发现非阻塞算法无处不在。
Developing nonblocking algorithms is a rather specialized discipline, and it can be extremely difficult to prove their correctness.
开发非阻塞算法是相当专业的训练，而且要证明算法的正确也极为困难。
An introduction to nonblocking algorithms: Describes how concurrent algorithms can be implemented without locks, using atomic variables.
非阻塞算法简介：介绍如何使用原子变量而不是锁实现并发算法。
应用推荐