CAS

多线程操作共享资源时,会出现三个问题:可见性、有序性以及原子性。

乐观锁

乐观锁: 假设不会发生并发冲突,只有在最后更新共享资源的时候会判断一下在此期间有没有别的线程修改了这个共享资源。如果发生冲突就重试,直到没有冲突,更新成功。CAS就是一种乐观锁实现方式。

悲观锁会阻塞其他线程。乐观锁不会阻塞其他线程,如果发生冲突,采用死循环的方式一直重试,直到更新成功。

CAS

就是一种乐观锁的实现
compare and swap

如果内存位置V的值与预期原值A相匹配,那么处理器会自动将该位置值更新为新值B,返回true。否则处理器不做任何操作,返回false。

比如当前线程比较成功后,准备更新共享变量值的时候,这个共享变量值被其他线程更改了,那么CAS函数必须返回false。

Unsafe类

java中提供了Unsafe类,它提供了三个函数,分别用来操作基本类型int和long,以及引用类型Object

public final native boolean compareAndSwapObject
       (Object obj, long valueOffset, Object expect, Object update);

    public final native boolean compareAndSwapInt
       (Object obj, long valueOffset, int expect, int update);

    public final native boolean compareAndSwapLong
      (Object obj, long valueOffset, long expect, long update);

参数的意义:

  1. obj 和 valueOffset:表示这个共享变量的内存地址。这个共享变量是obj对象的一个成员属性,valueOffset表示这个共享变量在obj类中的内存偏移量。所以通过这两个参数就可以直接在内存中修改和读取共享变量值。
  2. expect: 表示预期原来的值。
  3. update: 表示期待更新的值。

getAndAddInt

public final int getAndAddInt(Object obj, long valueOffset, int var) {
        int expect;
        // 利用循环,直到更新成功才跳出循环。
        do {
            // 获取value的最新值
            expect = this.getIntVolatile(obj, valueOffset);
            // expect + var表示需要更新的值,如果compareAndSwapInt返回false,说明value值被其他线程更改了。
            // 那么就循环重试,再次获取value最新值expect,然后再计算需要更新的值expect + var。直到更新成功
        } while(!this.compareAndSwapInt(obj, valueOffset, expect, expect + var));

        // 返回当前线程在更改value成功后的,value变量原先值。并不是更改后的值
        return expect;
    }

i++,自增的过程包含了读改写,非原子操作。在改的过程时, 其他cpu也许会更改共享变量的值,这时需要CAS操作来试探是否更改,如果发现更改,那么当前i+1 并非我们希望set的值,需要重新计算...

AtomicInteger类

  1. 成员变量和静态代码块
    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; // 使用volatile修饰,解决了可见性和有序性问题。
  • value为AtomicInteger对象的值
  • valueOffset为value在对象内存空间的偏移
  • unsafe 一些native方法,通过它实现CAS操作,因为共享变量是int类型,所以调用compareAndSwapInt方法。

value是一个volatile变量,在内存中可见,任何线程都不允许对其进行拷贝,因此JVM可以保证任何时刻任何线程总能拿到该变量的最新值。

static中valueOffset=unsafe.objectFieldOffset(AtomicInteger.class.getDeclaredField("value"));
通过unsafe 获取valueOffset(对象内存偏移量)

  1. get/set
// 直接读取。因为是volatile关键子修饰的,总是能看到(任意线程)对这个volatile变量最新的写入
    public final int get() {
        return value;
    }

    // 直接写入。因为是volatile关键子修饰的,所以它修改value变量也会立即被别的线程读取到。
    public final void set(int newValue) {
        value = newValue;
    }
  1. compareAndSet
    public final boolean compareAndSet(int expect, int update) {
        return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
    }
  • 如果value变量的当前值(内存值)等于期望值(expect),那么就把update赋值给value变量,返回true。
  • 如果value变量的当前值(内存值)不等于期望值(expect),就什么都不做,返回false。
  • 这个就是CAS操作,使用unsafe.compareAndSwapInt方法,保证整个操作过程的原子性

ABA问题

CAS通过将内存中的值与指定数据进行比较,当数值一样时将内存中的数据替换为新的值。

  1. 内存地址(c++)
    线程 1 从内存位置V中取出A,A指向内存位置W。
    线程 2 从位置V中取出A。
    线程 2 进行了一些操作,释放了A指向的内存。
    线程 2 重新申请内存,并恰好申请了内存位置W,将位置W存入C的内容。
    线程 2 将内存位置W写入位置V。
    线程 1 进行CAS操作,发现位置V中仍然是A指向的即内存位置W,操作成功
    内存管理机制中广泛使用的内存重用机制,发现内存地址还是那个旧的指针变量,跟期待的值一样,则CAS操作成功,但实际指针变量的所指向内存空间里的值发生了改变

  2. 普通数据
    进程P1读取了一个数值A
    P1被挂起(时间片耗尽、中断等),进程P2开始执行
    P2修改数值A为数值B,然后又修改回A
    P1被唤醒,比较后发现数值A没有变化,程序继续执行。

解决

对于内存重用机制导致ABA问题,java的垃圾回收机制帮我们解决了;
而第二个问题,加入版本号即可解决

参考

非阻塞同步算法与CAS(Compare and Swap)无锁算法
Java并发_CAS原理详细分析
CAS-wiki

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 160,227评论 4 364
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 67,755评论 1 298
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 109,899评论 0 244
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 44,257评论 0 213
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,617评论 3 288
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,757评论 1 221
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,982评论 2 315
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,715评论 0 204
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,454评论 1 246
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,666评论 2 249
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,148评论 1 261
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,512评论 3 258
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,156评论 3 238
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,112评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,896评论 0 198
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,809评论 2 279
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,691评论 2 272

推荐阅读更多精彩内容