CAS(Compare And Swap)原子操作(1)

原子操作

原子操作是指不会被线程调度机制打断的操作;这种操作一旦开始,就一直运行到结束,中间不会出现切换到其他线程的情况。通俗的讲:要么不做,要做我就要做完整个任务。


应用场景

  1. 在多线程共同运行执行同个代码块时,如果遇到多线程同时写入就会导致出现最后值与预期值不符的现象。
  2. volatile修饰变量只保证可见性和有序性,无法保证原子性的保护。

CAS的简单介绍

atomic包
  1. CAS支持的基本类型:AtomicInteger、AtomicBoolean、AtomicLong
  2. CAS支持的数组类型:AtomicIntegerArray、AtomicLongArray、AtomicReferenceArray(对象的引用数组)
  3. AtomicIntegerFieldUpdater、AtomicLongFieldUpdater、AtomicReferenceFieldUpdater。这里主要是处理CAS从A -> B -> A的问题,如果是上面1、2方法中类型是无法感知里面的value发生了变化,所以xxxxFieldUpdater的诞生是专门用于处理这种ABA情况。
    还有一些不常用的我就不罗列出来了。自己可以翻墙看google官网

AtomicInteger

简单入手AtomicInteger,从代码和demo上理解CAS的原理。

CountDownLatch并发线程操作
  1. CountDownLatch是一个计数器,所有的操作都是原子操作,意味着它内部实现也是通过CAS实现的。当然主要这里只简单介绍它的用法。当CountDownLatch的value不是0的时候,任何任务调用CountDownLatch.await()方法都会阻塞等待(AQS队列),直到CountDownLatch的value减成0才会被唤醒。
模拟多线程时间片轮转
  1. 首先生成10个线程用来模拟多线程调度。
  2. 使用volatile变量作为对比结果A。
  3. 用AtomicInteger变量作为对比结果B。
package cn.magic.test

import org.apache.tools.ant.taskdefs.Sleep
import org.junit.Assert
import org.junit.Test

import org.junit.Assert.*
import org.junit.Before
import java.util.concurrent.CountDownLatch
import java.util.concurrent.atomic.AtomicInteger

/**
 * Example local unit test, which will execute on the development machine (host).
 *
 * See [testing documentation](http://d.android.com/tools/testing).
 */
class ExampleUnitTest {
    @Volatile
    var count: Int = 0

    lateinit var count1: AtomicInteger

    val MAX_THREAD_NUMBER = 10

    val cutDowm: CountDownLatch = CountDownLatch(MAX_THREAD_NUMBER)

    @Before
    fun before() {
        count1 = AtomicInteger(0)
    }

    @Test
    fun addition_isCorrect() {
        val threads = arrayOfNulls<Thread>(MAX_THREAD_NUMBER)
        for (i in 0 until MAX_THREAD_NUMBER) {
            threads[i] = Thread(Runnable {
                for (j in 0 until 1000) {
                    increase()
                }
                cutDowm.countDown()
            })
            threads[i]?.start()
        }
        //等10个线程都运行结束后再输出最后结果
        cutDowm.await()
        Assert.assertEquals(10000, count)
//        Assert.assertEquals(10000, count1.get())
    }

    fun increase() {
        count++
        count1.getAndIncrement()
    }
}

volatile变量的结果
  1. 出现这个结果的原因和JVM的内存模式和字节码执行有关系。Jvm内存模型中12.3.6先行发生原则中有相关讲解。
    通俗的将就是volatile修饰的只能保证可见性与有序性,在你自增字节码执行时,另外个线程把内存的value从A -> B了,但是这时候已经过了读取内存中的value值的时候,不会重新再去内存中获取一次,导致字节码执行完成后就会丢失A -> B的操作。


    volatile修饰的变量
CAS变量的结果
  1. 那么纠结AtomicInteger内部如何实现的呢?下一章节单独从其源码进行分析


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

推荐阅读更多精彩内容

  • java.util.concurrent包完全建立在CAS之上。 AQS,非阻塞数据结构和原子变量类(java.u...
    光剑书架上的书阅读 5,604评论 0 8
  • 第2章 java并发机制的底层实现原理 Java中所使用的并发机制依赖于JVM的实现和CPU的指令。 2.1 vo...
    kennethan阅读 1,403评论 0 2
  • 下面最近发的一些并发编程的文章汇总,通过阅读这些文章大家再看大厂面试中的并发编程问题就没有那么头疼了。今天给大家总...
    架构师springboot阅读 678评论 0 3
  • 一、线程状态转换新建(New)可运行(Runnable)阻塞(Blocking)无限期等待(Waiting)限期等...
    达微阅读 570评论 1 2
  • 事情没完全确认前,先不说,好比钱没到帐就不是你的,万一变数你会尴尬; 任何秘密,就地消化,到你为止; 说话别夸张,...
    晓梦blue阅读 439评论 5 7