java - AtomicInteger 的CAS 问题
我想大声告诉你
我想大声告诉你 2017-06-28 09:24:31
0
1
800
 public final int incrementAndGet() {
        for (;;) {
            int current = get();
            int next = current + 1;
            if (compareAndSet(current, next))
                return next;
        }
    }

这是自增操作,定义: CAS有3个操作数,内存值V,旧的预期值A,要修改的新值B。当且仅当预期值A和内存值V相同时,将内存值V修改为B,否则什么都不做
预期值是next吗? 内存值是current?
假如1个线程自增时没有其他线程竞争,那么预期值应该比内存值大1啊,怎么会预期值和内存值相同?

我想大声告诉你
我想大声告诉你

全部回复(1)
刘奇

泻药~
可能题主这里理解有点偏差

  1. current是预期值,不是内存值

  2. next是修改的新值不是预期值

方法compareAndSet的源码就可以看得出来,里面注释已经很明白了

/**
     * Atomically sets the value to the given updated value
     * if the current value {@code ==} the expected value.
     *
     * @param expect the expected value
     * @param update the new value
     * @return {@code true} if successful. False return indicates that
     * the actual value was not equal to the expected value.
     */
    public final boolean compareAndSet(int expect, int update) {
        return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
    }

CAS的操作是按照题主所说,用预期值和内存值比较,只有当相等时,才会把新值写入,否则会不断重试,是一种乐观的态度,而真正的内存值其实是AtomicInteger.value这个属性(其实最关键也不是这个属性,只是个引用而已,真正的boss后面会提到),注意这个value的有关键字volatile修饰

private volatile int value;

所以这个value值其实是一个共享变量,代表着这个变量的可见性,也就是线程之间的可见性,

=======================话多随便扯了哈可见性,不喜可以直接略过================================

简单点说,Java内存模型规定了变量是存在主存中(类似物理内存)的,各个线程都有自己的工作缓存,在对某个变量操作时,不是直接修改主存中的值,而是在自己的工作缓存中执行,最后在同步到主存中,并且线程相互之间的是不能访问对方的工作缓存的

这里说到的可见性,就是指,线程在操作有关键字volatile修饰的变量时,当成功修改了这个变量并写入了主存,那么其他线程的工作缓存中的变量会失效,所以此时其他线程再次去读取变量时会直接从主存中去读,而不会再用自己工作缓存中的值了

==========================================扯完==============================================

刚才说到AtomicInteger.value这个属性对于数据本身而言,只是一个引用,在调用AtomicInteger.value这个属性对于数据本身而言,只是一个引用,在调用compareAndSet方法时,可以注意到第二个参数,valueOffset,其实这才是关键...真正的Boss,真正的内存的值,因为涉及到在java语言里很少听到的一个词,指针,这个valueOffset方法时,可以注意到第二个参数,valueOffset,其实这才是关键...真正的Boss,真正的内存的值,因为涉及到在java语言里很少听到的一个词,指针,这个valueOffset其实就是对象内的偏移量啦,这才是真正的内存值

(之所以这个方法compareAndSet里调用的是Unsafe类的方法,Unsafe里调用的是Unsafe类的方法,Unsafe这其实就是封装了一些类似指针的操作,指针才不安全嘛)

热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板