非阻塞算法：.PDFVIP

6.4 非阻塞算法： 要解决锁带来的问题，一种方法就是不使用锁。依照这种思路设计的算法称为非阻塞 （non-blocking）算法。非阻塞算法的本质特征就是停止一个线程的执行不会阻碍系统中其 它执行实体的运行。非阻塞算法具有以下一些特征： 无阻塞：只要没有竞争，线程就可以持续执行。 无锁：系统整体持续执行。 无等待：每个线程都可以持续执行，即使遇到竞争也是如此。只有极少数的非阻塞算法实现 了这一点。 在过去的十多年里，人们已经对 阻塞算法进行了大量研究，许多人通用数据结构已经发现 了 阻塞算法。 阻塞算法被广泛用于操作系统级别，进行诸如线程和进程调度等任务。虽 然它们的实现比较复杂，但相对于基于锁定的备选算法，它们有许多优点：可以避免优先级 倒置和死锁等危险，竞争比较便宜，协调发生在更细的粒度级别，允许更高程度的并行机制 等等。 下面先介绍一下CAS 的概念，JDK 的原子变量类和 java.util.concurrent 包，然后介绍几 种非阻塞算法，最后介绍非阻塞算法的一些问题以及这些问题的解决方法。 比较并交换 (CAS) 支持并发的第一个处理器提供原子的测试并设置操作，通常在单位上运行这项操作。现在的 处理器使用的最通用的方法是实现名为比较并转换 （CAS）的原语。 CAS 指令包含 个操作数——内存位置 （V）、预期原值 （A）和新值(B)。如果内存位置的值 与预期原值相匹配，那么处理器会自动将该位置值更新为新值。否则，处理器不做任何操作。 论哪种情况，它都会在CAS 指令之前返回该位置的值。（在CAS 的一些特殊情况下将仅返 回CAS 是否成功，而不提取当前值。）CAS 有效地说明了“我认为位置V 应该包含值A；如果 包含该值，则将B 放到这个位置；否则，不 更改该位置，只告诉我这个位置现在的值即可。” 通常将CAS 用于同步的方式是从地址V 读取值A，执行多步计算来获得新值B，然后使用CAS 将V 的值从A 改为B。如果V 处的值尚未同时更改，则CAS 操作成功。 原子变量类 在 JDK 5.0 之前，如果不使用本机代码，就不能用Java 语言编写无等待、 锁定的算法。 在 java.util.concurrent.atomic 包中添加原子变量类之后，这种情况才发生了改变。所 有原子变量类都公开比较并设置原语 （与比较并交换类似），这些原语都是使用平台上可用 的最快本机结构 （比较并交换、加载链接/条件存储，最坏的情况下是旋转锁）来实现的。 java.util.concurrent.atomic 包中提供了原子变量的 9 种风格 （AtomicInteger ； AtomicLong； AtomicReference；AtomicBoolean；原子整型；长型；引用；及原子标记引 用和戳记引用类的数组形式，其原子地更新一对值?） 原子变量类可以认为是 volatile 变量的泛化，它扩展了可变变量的概念，来支持原子条件 的比较并设置更新。读取和写入原子变量与读取和写入对可变变量的访问具有相同的存取语 义。 原子变量的操作会变为平台提供的用于并发访问的硬件原语，比如比较并交换。 非阻塞算法的介绍 Java 语言中主要的同步手段就是synchronized 关键字 （也称为内在锁），它强制实行互斥， 确保执行 synchronized 块的线程的动作，能够被后来执行受相同锁保护的 synchronized 块的其他线程看到。在使用得当的时候，内在锁可以让程序做到线程安全，但是在使用锁定 保护短的代码路径，而且线程频繁地争用锁的时候，锁定可能成为相当繁重的操作。 原子变量提供了原子性的读-写-修改操作，可以在不使用锁的情况下安全地更新共享变量。 原子变量的内存语义与 volatile 变量类似，但是因为它们也可以被原子性地修改，所以可 以把它们用作不使用锁的并发算法的基础。 1. 非阻塞的计数器 代码6. 2 使用同步的线程安全的计数器 public final class Counter { private long value = 0 ; public synchronized long getValue() { return value; } pu