15.原子变量与非阻塞同步机制

在java.util.concurrent包中的许多类,比如Semaphore和ConcurrentLinkedQueue,都提供了比使用Synchronized更好的性能和可伸缩性.本部分将介绍这种性能提升的利器:原子变量和非阻塞的同步机制.

近年来很多关于并发算法的研究都聚焦在非阻塞算法(nonblocking algorithms),这种算法使用底层的原子机器指令取代锁,比如比较并交换(compare-and-swap),从而保证数据在并发访问下的一致性.非阻塞算法广泛应用于操作系统和JVM中的线程和进程调度、垃圾回收以及实现锁和其他的并发数据结构。与基于锁的方案相比,非阻塞算法的设计和实现都要复杂得多,但是他们在可伸缩性和活跃度上占有很大的优势。因为非阻塞算法可以让多个线程在竞争相同资源时不会发生阻塞,所以它能在更精化的层面上调整粒度,并且极大的减少调度的开销。

并且,在非阻塞算法中埔村砸死锁或其他活跃性问题。在基于锁的算法中,如果一个线程在持有锁的时候休眠,或者停滞不前,那么其他线程都无法执行下去,而非阻塞算法不会受到单个线程失败的影响.在Java 5.0中,使用原子变量(atomic variable classes),比如AtomicInteger和AtomicReference,能够高效地构建非阻塞算法.

即使你不使用原子变量开发阻塞算法,它也可以当做更优的volatile变量来使用.原子变量提供了与volatile类型变量相同的内存语义,同时还支持原子更新--使它们能更加理想地用于计数器、序列发生器和统计数据收集等,另外也比基于锁的方案具有更加出色的可伸缩性.

15.1 锁的劣势

通过使用一致的加锁协议来协调对共享状态的访问,确保无论哪个线程持有守护变量的锁,他们都能独占地访问这些变量,并且对变量的任何修改对其他随后获得同一锁的线程都是可见的.

现代JVM能够对非竞争锁的获取和释放进行优化,让它们非常高效,但是如果有多个线程同时请求锁JVM就需要向操作系统寻求帮助。但如果出现了这种情况,一些线程将会挂起,并在稍后恢复运行。当线程恢复执行时,必须等待其它线程执行完他们的时间片以后才能被调度执行。在线程的挂起和恢复等过程中存在着很大的开销,并通常存在较长时间的中断。(JVM并不一定会挂起线程)。

如果基于锁的类中包含细粒度的操作(比如同步容器类,大多数方法只包含很少的操作),那么在锁上存在激烈的的锁竞争时,调度开销与工作开销的比值会非常高。

与锁相比,volatile变量与锁相比是更轻量的同步机制,因为它们不会引起上下文的切换和线程调度等操作。然而,volatile变量与锁相比有一些局限性:尽管他们提供了相似的可见性保证,但是它们不能用于构建原子化的复合操作。这意味着当一个变量依赖其他变量时,或者当变量的新值依赖于旧值时,是不能用volatile变量的.这些都限制了volatile变量的使用,因此它们不能用于实现可靠的通用工具,比如计数器.

加锁还有其他的缺点.当一个线程正在等待锁时,它不能做任何其他事情。如果一个线程在持有锁的情况下发生了延迟(原因包括页错误、调度延迟、或者类似情况),那么其他所有需要该锁的线程都不能执行下去。如果阻塞的线程是优先级很高的线程,持有锁的线程优先级较低,那么会造成严重问题--性能风险,被称为优先级反转(priority inversion)。即使更高的优先级占先,它仍然需要等待锁被释放,这导致它的优先级会降至与优先级较低的线程相同的水平。如果持有锁的线程发生了永久性的阻塞(因为无限循环、死锁、活锁和其它活跃度失败),所有等待该锁的线程永远都不能执行下去。

即使忽略些的风险,加锁对于细分的操作而言,仍是一种高开销的机制,比如递增计数器.在管理线程之间的竞争时,应该有一种力度更细的技术,类似于volatile变量的机制,但同时还要支持原子更新操作。幸运的是,现代处理器为我们提供了这样的机制。

15.2 硬件对并发的支持

独占锁是一种悲观技术——它假设最坏(如果你不锁门,那么捣蛋鬼就会闯入并搞得一团遭)的情况,并且只有在确保其他线程不会造成干扰(通过获取正确的锁)的情况下才能执行下去。

对于细粒度的操作,还有一种更高效的方法,也是一种乐观的方法,通过这种方法可以在不发生干扰的情况下完成更新操作。这种方法需要借助冲突检测机制来判断在更新过程中是否存在来自其他的线程干扰,如果存在这个操作将失败,并且可以选择重试或者不重试。

在针对多处理器操作而设计的处理器中提供了一些特殊指令,用于管理对共享数据的并发访问。现在,几乎所有的现代处理器都包含了某种形式的原子读-改-写指令,如比较并交换(Compare-and-Swap)或者关联加载/条件存储(Load-Linked/Store-Conditional)。操作系统和JVM使用这些指令来实现锁和并发的数据结构,但在Java 5.0之前,在Java类中还不能直接使用这些指令。

2.1 比较并交换 CAS

在大多数处理器架构中采用的方法是实现一种比较并交换指令。CAS包含3个操作数——需要读写的内存位置V、进行比较的值A和拟写入的新值B。当且仅当V的值等于A时,CAS才会通过原子的方式用新值B来更新V的值,否则不会执行任何操作。无论位置V的值是否等于A,都将返回V原有的值。CAS的含义是:“我认为V的值应该是A,如果是,那么将V的值更新成B,否则不修改并告诉V的值实际是多少”。CAS是一项乐观技术,它希望能成功地执行操作,并且如果有另一个线程在最近一次检查后更新了该变量,那么CAS能检测到这个错误。程序清单 15-1说明了CAS的语义。

程序清单 15-1 模拟CAS操作
@ThreadSafepublic
class SimulatedCAS {
@GuardedBy("this")
private int value; public synchronized int get() {
return value;
} public synchronized int compareAndSwap(int expectedValue, int newValue) {
int oldValue = value;
if (oldValue == expectedValue)
value = newValue;
return oldValue;
} public synchronized boolean compareAndSet(int expectedValue, int newValue) {
return (expectedValue == compareAndSwap(expectedValue, newValue));
}
}

当多个线程尝试使用CAS同时更新同一个变量时,只有其中一个线程能更新变量的值,而其他线程都将失败。然而,失败的线程并不会被挂起(注意,这与锁不同),而是被告知在这次竞争中失败,并可再次尝试。由于一个线程在竞争CAS时失败不会阻塞,因此它可以决定是否重新尝试,或者执行一些恢复操作,或者不执行任何操作。这种灵活性大大减少了与锁相关的活跃性风险。

CAS的典型使用模式是:首先从V中读取A,并根据A计算新值B,然后再通过CAS以原子方式将V中的值由A变成B(只要在这期间没有任何线程将V的值修改为其他值)。由于CAS能检测到来自其他线程的干扰,因此即使不使用锁也能实现原子的读—改—写操作序列。

2.2 非阻塞的计数器

程序清单 15-2 基于CAS实现了一个线程安全的计数器。自增操作遵循了经典形式—取得旧值,根据它计算出新值(加1),并使用CAS设定新值。如果CAS失败,立即重试操作.尽管在竞争十分激烈的情况下,更希望等待或者回退,以避免重试造成的活锁,但是,通常反复重试都是合理的策略。但在一些竞争很激烈的情况下,更好的方式时在重试之前首先等待一段时间或者回退,从而避免造成或锁问题。

程序清单 15-2 基于CAS实现的非阻塞计数器
@ThreadSafepublic
public class CasCounter {
private SimulatedCAS value; public int getValue() {
return value.get();
} public int increment() {
int v;
do {
v = value.get();
} while (v != value.compareAndSwap(v, v + 1));
return v + 1;
}
}

初看起来,虽然Java语言的锁定语法比较简洁,基于CAS的计数器看起来也比基于锁的计数器性能差一些: 它具有更多的操作和更复杂的控制流,表面看来还依赖于复杂的CAS的操作。但是,实际上基于CAS的计数器,性能上远远胜过了基于锁的计数器,而在没有竞争时甚至更高。原因有二:

i。JVM和OS管理锁的工作却并不简单.加锁需要遍历JVM中整个复杂的代码路径,并可能引起系统级的加锁、线程挂起以及上下文切换。在最优的情况下,加锁需要至少一个CAS,所以使用锁时没有用到CAS,但实际上也不能节省任何执行开销。

ii。另一方面,程序内部执行CAS不会调用到JVM的代码、系统调用或者调度活动。在应用级看起来越长的代码路径,在考虑到JVM和OS的时候,事实上会变成更短的代码。

一个很管用的经验法则是,在大多数处理器上,在无竞争的锁获取和释放上的开销,大约是CAS开销的两倍。

CAS最大的缺点:它强迫调用者处理竞争问题(通过重试、回退,或者放弃);然而在锁中可以通过阻塞自动处理竞争问题,CAS最大的缺陷在于难以正确地构建外围算法。

2.3 JVMCAS的支持

在Java 5.0中引入了底层的支持,在int、long和对象的引用等类型上都公开了CAS操作,并且JVM把它们编译为底层硬件提供的最有效方法。在支持CAS的平台上,运行时把它们编译为相应的(多条)机器指令。在最坏的情况下,如果不支持CAS指令,那么JVM将使用自旋锁

在原子变量类(如java.util.conncurrent.atomic中的AtomicXxx)中使用了这些底层的JVM支持为数字类型和引用类型提供一种高效的CAS操作,而且在java.util.concurrent中大多数类在实现时则直接或间接的使用这些原子变量类。

15.3 原子变量类

原子变量比锁的粒度更细,量级更轻,并且对于在多处理器系统上实现高性能的并发代码来说是非常关键的。原子变量将发生竞争的范围缩小到单个变量上,这是获得粒度最细的情况。更新原子变量的快速(非竞争)路径,并不会比获取锁的快速路径差,并且通常会更快;而慢速路径肯定比锁的慢速路径快,因为它不会引起线程的挂起和重新调度。在使用基于原子变量而非锁的算法中,线程在执行时更不易出现延迟,并且如果遇到竞争,也更容易恢复过来。

原子变量类相当于一个泛化的volatile变量,能够支持原子的和有条件的读-改-写操作。以AtomicInteger为例,该原子类表示一个int类型的值,并提供get和set方法,这些volatile类型的int变量在读取和写入上有着相同的语义。它还提供了一原子的compareAndSet方法,以及原子的添加、递增和递减等方法。AtomicInteger在发生竞争的情况下能提供更高的可伸缩性,因为它直接利用了硬件对并发的支持。

共有12个原子变量类,可分为四组:标量类(Scalar)、更新器类、数组类及复合变量类。最常用的原子变量就是标量类:AtomicInteger、AtomicLong和AtomicBoolean以及AtomicReference。所有这些类都支持CAS,此外AtomicInteger和AtomicLong还支持算术运算。

原子数组类中的元素可以实现原子更新。原子数组类为数组的元素提供了volatile类型的访问语义,这是普通数组所不具备的特性。volatile类型的数组仅在数组引用上具有volatile语义,而在其元素上没有。

尽管原子的标量类扩展了Number类,但并没有扩展一些基本的包装类,这是因为:基本类型的包装类是不可修改的,而原子变量类是可修改的。在原子变量类中同样没有重新定义hashCode或equals方法,每个实例都是不同的。与其他可变对象相同,他们也不宜用做基于散列的容器中的键值对。

3.1 性能比较:锁与原子变量

为了说明锁和原子变量之间的可伸缩性差异,我们构造了一个测试基准,其中将比较伪随机数生成器(PRNG)的几种不同的实现,在PRNG中,在生成一个随机数时需要用到一个数字,所以在PRNG中必须记录前一个数值并将其作为状态的一部分。

在程序清单15-4和15-5中给出了线程安全的PRNG的两种实现,一种使用ReentrantLock,另一种使用AtomicInteger。测试程序反复调用他们,在每次迭代中将随机生成一个数字,并执行一些仅在线程本地数据上执行的“繁忙”迭代。这是一种典型的操作模式,以及在一些共享状态以及线程本地状态上的操作。

程序清单 15-4  基于ReentrantLock实现的随机数生成器
@ThreadSafe
public class ReentrantLockPseudoRandom { private final Lock lock = new ReentrantLock(); private int seed; public ReentrantLockPseudoRandom(int seed) {
this.seed = seed;
} public int nextInt(int m) {
lock.lock();
try {
int s = seed;
seed = calculateNext(s);
int remainder = s % n;
return remainder > 0 ? remainder : remainder + n;
} finally {
lock.unlock();
}
}
}
程序清单 15-5  基于AtomicInteger实现的随机数生成器
@ThreadSafe
public class AtomicPseudoRandom {
private AtomicInteger seed; public AtomicPseudoRandom(int seed) {
this.seed = new AtomicInteger(seed);
} public int nextInt(int m) {
while (true) {
int s = seed;
int nextSeed = calculateNext(s);
if (seed.compareAndSet(s, nextSeed)) {
int remainder = s % n;
return remainder > 0 ? remainder : remainder + n;
}
}
}
}

图15-1和图15-2给出了在媒体迭代中工作量较低以及适中情况下的吞吐量。如果线程本地的计算较少,那么在锁和原子变量上的竞争将非常激烈。如果线程本地的计算量较多,那么在锁和原子变量上的竞争就会降低,因为在线程中访问锁和原子变量的频率将降低。

从图中可以看出,在高度竞争的情况下,锁的性能将超过原子变量的性能。原因是,使用原子变量时,CAS算法在遇到竞争时将立即重试,通常这是一种正确的方法,但是在竞争激烈的环境下却导致了更多的竞争。

而在竞争适中的情况下,原子变量的性能将远超过锁的性能,这是因为锁在发生竞争时会挂起线程,从而降低了CPU的使用率和共享内存总线上的同步通信量。

注意,我们应该意识到,图15-1中的竞争级别过高而有些不切实际:任何一个真实程序都不会出了竞争锁或原子变量,其他设么工作都不做。

锁与原子变量在不同竞争程度上的性能差异很好的说明了各自的优势和劣势。在中低程度的竞争下,原子变量能提供更高的可伸缩性,而在高强度的竞争下,锁能更有效的避免竞争。

在图15-1和图15-2中都包含了第三掉曲线,他是一个使用ThreadLocal来保存PRNG状态的PseudoRandom。这种实现方法改变类的行为,即每个线程都只能看到自己私有的,而不是共享的伪随机数字序列,这说明了能够避免使用共享状态,开销将会更小。

15.4 非阻塞算法

基于锁的算法会带来一些活跃度的风险. 如果线程在持有锁的时候因为阻塞I/O,页面错误,或其他原因发生延迟,很可能所有线程都不能继续执行下去。如果在某种算法中,一个线程的失败或挂起不应该影响其他线程的失败或挂起,这样的算法被称为非阻塞(nonblocking)算法。如果在算法的每一步骤中都有一些线程能够继续执行,那么这样的算法称为无锁(lock-free)算法。

如果在算法中仅将CAS用于协调线程之间的操作,并且能构建正确的话,那么它既是非阻塞的,又是无锁的。

在非阻塞算法中,通常不会出现死锁和优先级反转问题(但可能会出现饥饿和活锁,因为他们允许重进入)。在许多常见的数据结构中都可以使用非阻塞算法,包括栈、队列、优先级队列以及散列表等,而要设计一些新的这种数据结构,最好还是由专家们来完成。

15.5 ABA问题

ABA问题是一种异常现象:如果在算法中的节点可以被循环使用,那么使用“比较并交换”指令就可能会出现这种问题。在某些算法中,如果V的值首先由A变成B,再由B变成A,那么仍然被认为是发生了变化,并需要重新执行算法中的某些步骤。

如果在算法中采用自己的方式来管理节点对象的内存,那么可能出现ABA问题。一种相对简单的解决方案是:不是更新某个引用的值,而是更新两个值,包括一个引用和一个版本号。即使这个值由A变为B,然后又变为A,版本号也将是不同的。

AtomicStampedReference(以及AtomicMarkableReference)支持在两个变量上执行原子的条件更新。AtomicStampedReference将更新一个“对象-引用”二元组,通过在引用上加上“版本号”,从而避免ABA问题。类似的,AtomicMarkableReference将更新一个“对象引用-布尔值”二元组,,在某些算法中将通过它将节点保存在链表中同时又将其标记为“已删除的节点”。

小结

非阻塞算法通过底层的并发原语来保证线程的安全性,如CAS比较交换而不是使用锁。这些底层原语通过原子变量类向外公开,这些类也用做一种“更好的volatile变量”,从而为整数和对象引用提供原子的更新操作。

非阻塞算法在设计和实现中很困难,但是通常情况下能够提供更好的可伸缩性,并能更好地预防活跃度失败。从JVM的一个版本到下一个版本间并发性的提升很大程度上来源于非阻塞算法的使用,包括在JVM内部以及平台类库.

了解更多知识,关注我。

Java锁与非阻塞算法的性能比较与分析+原子变量类的应用的更多相关文章

  1. java并发之非阻塞算法介绍

    在并发上下文中,非阻塞算法是一种允许线程在阻塞其他线程的情况下访问共享状态的算法.在绝大多数项目中,在算法中如果一个线程的挂起没有导致其它的线程挂起,我们就说这个算法是非阻塞的. 为了更好的理解阻塞算 ...

  2. Java 理论与实践: 非阻塞算法简介——看吧,没有锁定!(转载)

    简介: Java™ 5.0 第一次让使用 Java 语言开发非阻塞算法成为可能,java.util.concurrent 包充分地利用了这个功能.非阻塞算法属于并发算法,它们可以安全地派生它们的线程, ...

  3. Java 理论与实践: 非阻塞算法简介--转载

    在不只一个线程访问一个互斥的变量时,所有线程都必须使用同步,否则就可能会发生一些非常糟糕的事情.Java 语言中主要的同步手段就是synchronized 关键字(也称为内在锁),它强制实行互斥,确保 ...

  4. Java 理论与实践-非阻塞算法简介

    在不只一个线程访问一个互斥的变量时,所有线程都必须使用同步,否则就可能会发生一些非常糟糕的事情.Java 语言中主要的同步手段就是 synchronized 关键字(也称为内在锁),它强制实行互斥,确 ...

  5. 基于CAS操作的非阻塞算法

    非阻塞算法(non-blocking algorithms)定义        所谓非阻塞算法是相对于锁机制而言的,是指:一个线程的失败或挂起不应该引起另一个线程的失败或挂起的一种算法.一般是利用硬件 ...

  6. 29、Java并发性和多线程-非阻塞算法

    以下内容转自http://ifeve.com/non-blocking-algorithms/: 在并发上下文中,非阻塞算法是一种允许线程在阻塞其他线程的情况下访问共享状态的算法.在绝大多数项目中,在 ...

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

    如果在某种算法中,一个线程的失败或挂起不会导致其他线程也失败和挂起,那么这种算法就被称为非阻塞算法.如果在算法的每个步骤中都存在某个线程能够执行下去,那么这种算法也被称为无锁(Lock-Free)算法 ...

  8. 《java并发编程实战》读书笔记12--原子变量,非阻塞算法,CAS

    第15章 原子变量与非阻塞同步机制 近年来,在并发算法领域的大多数研究都侧重于非阻塞算法,这种算法用底层的原子机器指令(例如比较并交换指令)代替锁老确保数据在并发访问中的一致性. 15.1 锁的劣势 ...

  9. [Python 多线程] Lock、阻塞锁、非阻塞锁 (八)

    线程同步技术: 解决多个线程争抢同一个资源的情况,线程协作工作.一份数据同一时刻只能有一个线程处理. 解决线程同步的几种方法: Lock.RLock.Condition.Barrier.semapho ...

随机推荐

  1. 基于 Helm 快速部署 Wordpress

    Helm 是 Kubernetes 中的一个开源软件包管理工具,Rainbond 从 5.3.1 版本开始支持部署 Helm 应用.实现 Helm 应用的便捷部署,访问控制.使 Rainbond 用户 ...

  2. Label -- 跳出循环的思路

    let num = 0 ; outPoint: //label for (let i = 0; i < 10; i++) { for ( let j = 0; j < 10; j++) { ...

  3. JavaSE中级篇1 — 核心思想:面向对象 — 更新完毕

    1.面向对象编程思想(重点中的重点) 题外话: 其他都还可以是技术,但这里是走自己的路--面向对象编程,即:OOP,养成的思想就是:万物皆对象,懂得把东西抽离出来 这一部分记的理论知识很多,而且需要自 ...

  4. 日常Java 2021/10/13

    Java枚举 values(), ordinal()和valueOf()方法位于java.lang.Enum类中: values()返回枚举类中所有的值 ordinal()方法可以找到每个枚举常量的索 ...

  5. adjective

    形容词用来描述名词或代词:副词用来描述剩下的(动词.形容词.副词和整句).adverb: to word. Adjectives are used almost exclusively to modi ...

  6. 大数据学习day23-----spark06--------1. Spark执行流程(知识补充:RDD的依赖关系)2. Repartition和coalesce算子的区别 3.触发多次actions时,速度不一样 4. RDD的深入理解(错误例子,RDD数据是如何获取的)5 购物的相关计算

    1. Spark执行流程 知识补充:RDD的依赖关系 RDD的依赖关系分为两类:窄依赖(Narrow Dependency)和宽依赖(Shuffle Dependency) (1)窄依赖 窄依赖指的是 ...

  7. JS去除对象或数组中的空值('',null,undefined,[],{})

    javascript去掉对象或数组中的'',null,undefined,[],{}.思路就是创建一个新的空对象,然后对传入的对象进行遍历,只把符合条件的属性返回,保留有效值,然后就相当于把空值去掉了 ...

  8. 快速挂起VIM以及调出被挂起的VIM的方法

    vim中开了多窗口后有时需要临时切出去执行shell指令,查看结果,在vim中用%很不方便查看结果,要切出去又要逐个小窗口:q,非常麻烦. 上网一查竟然有挂起的方法: 挂起:ctrl-z 调出:fg ...

  9. Largest Rectangle in Histogram及二维解法

    昨天看岛娘直播解题,看到很经典的一题Largest Rectangle in Histogram 题目地址:https://leetcode.com/problems/largest-rectangl ...

  10. UIImageView总结

    UIImageView UIKit框架提供了非常多的UI控件,但并不是每一个都很常用,有些控件可能1年内都用不上,有些控件天天用,比如UIButton.UILabel.UIImageView.UITa ...