Java并发包之AtomicXX

Java并发包之AtomicXX

 

我们都知道java并发包下面总共有几大类:

1. 执行者与线程池 
2. 并发队列 
3. 同步工具 
4. 并发集合 
5. 锁 
6. 原子变量

我们今天就来了解一下原子变量,也就是java.util.concurrent.atomic.AtomicXX,本文中就以AtomicInteger为例。

首先打开AtomicInteger类

  /**
     * Atomically sets to the given value and returns the old value.
     *
     * @param newValue the new value
     * @return the previous value
     */
    public final int getAndSet(int newValue) {
        return unsafe.getAndSetInt(this, valueOffset, newValue);
    }

 

可以看到几乎所有的方法都是通过一个叫Unsafe的类进行调用的,那这个Unsafe到底是一个什么东西呢。

Unsafe类是在sun.misc包下,不属于Java标准。但是很多Java的基础类库,包括一些被广泛使用的高性能开发库都是基于Unsafe类开发的,比如Netty、Cassandra、Hadoop、Kafka等。Unsafe类在提升Java运行效率,增强Java语言底层操作能力方面起了很大的作用。

这里就不做具体详细的讲解,后续会专门写篇文章来讲讲Unsafe类,我们只需要知道Unsafe调用的是一些底层其他语言(C/C++等)实现的API。

 

下面我们详细讲解getAndSet(int newValue)方法,里面的实现很简单,unsafe.getAndSetInt(this,valueOffset,newValue)

  this和newValue不用讲,一个是当前对象,一个是需要set的值。

  valueOffset是个什么东东,其实它是一个偏移量,可以简单的理解为一个地址,通过这个地址就能够获取变量的值。

 

继续点进去看看unsafe是怎么实现的

public final int getAndSetInt(Object obj, long valueOffset, int newValue) {
    int oldValue;
    do {
        oldValue = this.getIntVolatile(obj, valueOffset);
    } while(!this.compareAndSwapInt(obj, valueOffset, oldValue, newValue));

    return oldValue;
}

首先根据传进来的偏移量获取内存中要更新的变量的当前值

然后调用compareAndSwapInt方法进行值的更新,若更新成功则直接返回,若更新不成功则继续循环更新直至更新成功为止。

 

实际上这就是CAS方法。通过与内存中的值进行比较来保证更新,所有的一切都在this.compareAndSwapInt这个native方法里,这里面调用的是jvm里面的实现,有兴趣的可以去看看jvm实现

 

总的来说是需要依赖操作系统总线锁来保证原子性

 

 


 

posted @ 2018-05-04 11:59  蠢聪  阅读(189)  评论(0编辑  收藏  举报