并发变成之：无锁并行计算

最新推荐文章于 2024-09-16 01:56:04 发布

weixin_34310369

最新推荐文章于 2024-09-16 01:56:04 发布

阅读量86

点赞数

文章标签：数据结构与算法 python java

原文链接：https://my.oschina.net/u/3100849/blog/883138

版权

2019独角兽企业重金招聘Python工程师标准>>>

1. 非阻塞的同步/无锁

ThreadLocal：每个线程拥有自己独立的变量副本。

基于比较交换（CAS）算法的无锁并行控制。

CAS算法过程:它包含三个变量CAS(V,E,N),V表示要更新的变量，E表示预期值，N表示新值。仅当V值等于E值时，才会将V的值设为N，如果V的值和E的值不同，则说明已经有其他线程做了更新，则当前线程什么也不做返回返回V当前的真实值。

CAS操作是抱着乐观的态度进行的，它总是认为自己可以完成操作，当多个线程同时使用CAS操作修改一个变量时，只有会有一个线程操作成功，其余均会失败，失败的线程不会被挂起仅被告知失败，可以进行重试，或什么都不做。

2. 原子操作

JDK中

java.util.concurrent.atomic.

包下有一组使用无锁算法实现的原子操作类：AtomicInteger、AtomicIntegerArray、AtomicLong、AtomicLongArray、AtomicReference。

我们以AtomicInteger中的AddAndSet(int newValue)方法来讲解是如何实现原子操作的。

/**
 * Atomically adds the given value to the current value.
 *
 * @param delta the value to add
 * @return the updated value
 */
public final int addAndGet(int delta) {
    return unsafe.getAndAddInt(this, valueOffset, delta) + delta;
}

这里我们看到一个unsafe对象，这个是JVM提供的一个misc包下基础类，它包含了很多的本地方法；我们继续看getAndAddInt如何实现；

public final int getAndAddInt(Object var1, long var2, int var4) {
    int var5;
    do {
        var5 = this.getIntVolatile(var1, var2);
    } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));

    return var5;
}

这里我们可以看到，这里通过getIntVolatile方法获取到预期中的原值，然后调用compareAndSwapInt（也就是我们常说的CAS），这里传入的值分别为：要修改的对象，偏移量，预期的原值，修改以后的值；
而CAS底层是通过悬锁实现的，就不再深追了；

CAS的缺点:CAS存在ABA的问题，意思就是当A被修改为B时，B又被修改为A，CAS就回误以为该值没有被改变过。