文档章节

Atomic与Volatile对比

SuShine
 SuShine
发布于 2017/06/01 15:02
字数 1195
阅读 20
收藏 0

java.util.concurrent.atomic.Atomic*原子类和volatile关键字是java中两种常见的处理多线程下数据共享读写的机制。二者看似相同,但是在实际应用中有着不小的差别。

volatile关键字是通过本地代码实现的写锁,只保证知有一个线程在写某个数据。JVM为了提高数据存取的速度,允许每个线程在自己独立的数据块,对进程中共享的数据进行私有拷贝。volatile就是保证每次读数据时,读的都是存在共享数据块里的数据,而不是私有拷贝。然而,这种机制在有些情况下并不安全。当两个线程T1,T2同时对volatitle int i;作i++;时,可能出现问题。i++相当于为i=i+1。

T1 LOAD i

T2 LOAD i

T1 STORE i+1

T2 STORE i+1

这里应该执行两次i=i+1,得到i=i+2的,但是结果确实i=i+1。

因此,这边就有了Atomic原子类存在的价值了。Atomic类被设计通过代码来解决这个问题, 是volatile的增强版。

以AtomicInteger为例,public class AtomicInteger extends Number implements java.io.Serializable。

它的父类Number没有一个Field,直接继承与Object,方法也只有abstract的int intValue(),long longValue(),float floatValue(),double doubleValue(),和通过intValue()实现的byte byteValue(),short shortValue()。简单的说,除了序列化外啥field都没有都没有。

AtomicInteger有四个field,除了序列化那个无视掉外,还剩三个。

    // setup to use Unsafe.compareAndSwapInt for updates

    private static final Unsafe unsafe = Unsafe.getUnsafe();

    private static final long valueOffset;

    static {

      try {

        valueOffset = unsafe.objectFieldOffset

            (AtomicInteger.class.getDeclaredField("value"));

      } catch (Exception ex) { throw new Error(ex); }

    }

    private volatile int value;

valueOffset只在这个静态块里被写过,从函数命名上猜测应该是获取这个类中名为value的field到这个object的头指针的偏移(offset)。这边用到了unsafe。

Unsafe是干什么的?sun.misc.Unsafe,未开源。这个名字让我想起了C#里的关键字unsafe。C#为了方便C++程序员转C#,方便使用COM组件,给出了不安全代码unsafe关键字。Java这个Unsafe,能的到一个field距离它Object头的偏移,对Java来说显然是不安全的操作,他给用户直接操作内存的可能。

除了objectFieldOffset(Field)外,这个类中还使用到Unsafe的putOrderedInt(Object,long,int)和compareAndSwapInt(Object,long,int,int)。从方法名和参数看,功能分别为向Object偏移long位置,写入有序整型int,和比较两值是否相同,并填入新值。

这边有篇IBM关于compareAndSwapInt的文档,我写得差不多了才看到,怨念。。。http://www.ibm.com/developerworks/cn/java/j-jtp11234/

顺带说一句,调用到compareAndSwapInt的两个方法compareAndSet和weakCompareAndSet的在1.6里源码是一样的,样的,的。。。冗余代码很好玩吗,API上写得各种看不懂。。。

剩下一个field就是private volatile int value了。也用了volatitle,由此可以得出,Atomic类在效率上是低于直接用volatitle,能使用volatitle是,就别用Atomic了。

然后看看AtomicInteger的method吧

从Number父类继承来的那几个可以看作getter函数的value类,清一色的调用了get()方法,然后转了一下类型。

 

    public final int get() {

        return value;

    }

直接把value扔回去了,可见Atomic类在处理读操作时和volatitle没啥区别。

看上去像setter函数的一共有五个:

 

    public final void set(int newValue) {

            value = newValue;

    }

     public final void lazySet(int newValue) {

              unsafe.putOrderedInt(this, valueOffset, newValue);

    }

    public final int getAndSet(int newValue) {

        for (;;) {

            int current = get();

            if (compareAndSet(current, newValue))

                return current;

        }

    }

    public final boolean compareAndSet(int expect, int update) {

‍               return unsafe.compareAndSwapInt(this, valueOffset, expect, update);

    }

    public final boolean weakCompareAndSet(int expect, int update) {

              return unsafe.compareAndSwapInt(this, valueOffset, expect, update);

    }

weakCompareAndSet和compareAndSet实现上没有区别,所以无视掉吧,反正AtomicInteger自己也只用compareAndSet。。。

set(int)和直接用volatitle没啥区别,所以只用set作写差不多就和完全没有用到Atomic类一样,还多调用一次函数。

lazySet(int)调用了Unsafe.putOrderedInt,我们只能猜测是直接给内存把个数字写上去的。这样的话其实。。。我也没觉得有啥区别,就是告诉大家一下,你用Unsafe可以把Java当C++写嘛。。。

getAndSet(int)调用了compareAndSet(int,int),所作的基本就是不停的刷,看看自己改成了没有,改成了救过,没改成继续改。这边要出现两个线程不停对改怎么办。。。

最后一个compareAndSet(int,int)才是实现Atomic类功能的地方。就是比一下预想的和实际的是不是一样,一样就就用新值盖掉他,不一样就返回个false。怎么用呢,看看其他函数就是到了。

对比getAndIncrement()和incrementAndGet()

    public final int getAndIncrement() {

        for (;;) {

            int current = get();

            int next = current + 1;

            if (compareAndSet(current, next))

                return current;

        }

    }

 

    public final int incrementAndGet() {

        for (;;) {

            int current = get();

            int next = current + 1;

            if (compareAndSet(current, next))

                return next;

        }

    }

本文转载自:http://blog.csdn.net/zmx729618/article/details/52777132

共有 人打赏支持
SuShine
粉丝 123
博文 490
码字总数 141753
作品 0
朝阳
后端工程师
PACKAGE java.util.concurrent.atomic

Package java.util.concurrent.atomic Description A small toolkit of classes that support lock-free thread-safe programming on single variables. In essence, the classes in this pa......

刘小兵2014
2011/07/28
0
0
Linux内核同步原子操作

避免对同一数据的并发访问(通常由中断、对称多处理器、内核抢占等引起)称为同步。 ——题记 内核源码:linux-2.6.38.8.tar.bz2 目标平台:ARM体系结构 原子操作确保对同一数据的“读取-修改...

有些服务器
2015/10/04
72
0
AtomicInteger的并发处理

jdk5之后的java.util.concurrent.atomic包里,多了一批原子处理类。主要用于在高并发环境下的高效程序处理。 这里,我们来看看AtomicInteger是如何使用非阻塞算法来实现并发控制的。 Atomic...

mrliuze
2015/10/29
0
0
Java JUC之Atomic系列12大类实例讲解和原理分解

在java6以后我们不但接触到了Lock相关的锁,也接触到了很多更加乐观的原子修改操作,也就是在修改时我们只需要保证它的那个瞬间是安全的即可,经过相应的包装后可以再处理对象的并发修改,以...

owensliu
2016/06/14
19
0
java.util.concurrent.atomic随笔及volatile语义

一个原子操作(atomic operation)是个不能分割的整体,没有其它线程(thread)能够中断或检查正在原子操作中的变量。一个原子(atomic)类型就是一个原子操作可用的类型,它可以在基本上没有...

刘小兵2014
2011/07/28
0
0

没有更多内容

加载失败,请刷新页面

加载更多

Spring Boot 使用parent方式引用时 获取值属性方式默认@

采用官网提供的 引入依赖时,application.properties中的值变量,无法通过${}获取,这是由于Spring Boot 已经将字符方式调整为 <resource.delimiter>@</resource.delimiter>。故如果在,工程中...

翱翔fly
17分钟前
1
0
HTTPS证书验证流程及SSL证书生成步骤【附nginx开启https配置】

------------------------------------------------------------ HTTPS证书验证流程(极简化版) 1.客户端向服务端请求证书(server.crt) 2.服务端下发证书(server.crt) 3.客户端用预制的...

xiaomin0322
18分钟前
1
0
预编译sql语句和参数化sql能有效防止——sql注入攻击——

预编译和参数化处理sql原理类似: 参数化处理sql 是将参数进行了字符串化处理,把参数中的单引号,井号#,等都做了转义处理,进而在执行sql语句时不会被当做sql中的定界符和指定符来执行。 ...

fang_faye
19分钟前
1
0
springboot最全配置解释

​​​​​​​# ----------------------------------------# 核心属性# ----------------------------------------# 文件编码banner.charset= UTF-8# 文件位置banner.locati...

废柴大叔
20分钟前
72
1
(大致了解下)从单机到2000万QPS: 知乎Redis平台发展与演进之路

导读:知乎存储平台团队基于开源Redis 组件打造的知乎 Redis 平台,经过不断的研发迭代,目前已经形成了一整套完整自动化运维服务体系,提供很多强大的功能。本文作者是是该系统的负责人,文...

Ocean_K
28分钟前
2
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部