the examples so far -- counter and stack -- are very simple nonblocking algorithms and are easy to follow once you grasp the pattern of using cas in a loop.
目前为止的示例(计数器和堆栈)都是非常简单的非阻塞算法,一旦掌握了在循环中使用cas,就可以容易地模仿它们。
developing nonblocking algorithms is a rather specialized discipline, and it can be extremely difficult to prove their correctness.
开发非阻塞算法是相当专业的训练,而且要证明算法的正确也极为困难。
nonblocking algorithms are often called optimistic because they proceed with the assumption that there will be no interference.
非阻塞算法通常叫作乐观算法,因为它们继续操作的假设是不会有干扰。
nonblocking algorithms are used extensively at the operating system and jvm level for tasks such as thread and process scheduling.
无阻塞算法被广泛用于操作系统和jvm级别,进行诸如线程和进程调度等任务。
if you dive into the jvm and os, you'll find nonblocking algorithms everywhere.
如果深入jvm和操作系统,会发现非阻塞算法无处不在。