Java 多线程 --- 线程同步 CAS机制与Java原子类
创始人
2024-06-02 10:11:16
0

Java 多线程 --- 线程同步 CAS机制与Java原子类

  • CAS机制
    • 为什么使用CAS机制
    • CAS机制原理
  • Java 原子变量类

CAS机制

为什么使用CAS机制

public void incremnt() {sychronized(this) {count++;}
}
  • 实际上,这里使用锁来保障原子性显得有点杀鸡用牛刀的样子.
  • 锁固然是功能最强大适用范围也很广泛的同步机制,但是毕竟它的开销也是最大的。另外,volatile 虽然开销小一点,但是它无法保障“count++”这种自增操作的原子性.
  • 事实上,保障像自增这种比较简单的操作的原子性我们有更好的选择-CAS.

CAS机制原理

  • CAS的全称是Compare-and-Swap,也就是比较并交换,它包含了三个参数:V,A,B.
  • V表示要读写的内存位置,A表示旧的预期值,B表示新值
  • 具体的机制是,当执行CAS指令的时候,只有当V的值等于预期值A时,才会把V的值改为B,如果V和A不同,有可能是其他的线程修改了,这个时候,执行CAS的线程就会不断的循环重试,直到能成功更新为止
    在这里插入图片描述
  • CAS可以保证 共享变量更新 这个操作的原子性, 但是不保证可见性

CAS机制的实现

//伪代码
//V为维护的共享变量
//A为old value
//B为new value
boolean compareAndSwap(Variable V, Object A, Object B) {if (A == v.get()) ( // check:检查变量值是否被其他线程修改过v.set(B);// act:更新变量值return true;//更新成功}return false;//变量值已被其他线程修改,更新失败
}

使用CAS改写Increment

public class CASBasedCounter {//需要注意的是,CAS 只是保障了共享变量更新这个操作的原子性,它并不保障可见, 因此,在上述代码中我们仍然采用 volatile 修饰共享变量 count。private volatile long count;public long vaule() (return count;}public void increment() {long oldValue;long newValue;do {oldValue = count;// 读取共享变量的当前值newValue = oldvalue + 1;// 计算共享变量的新值} while (compareAndSwap(oldValue,newValue));  //调用CAS

优缺点

  • CAS算是比较高效的并发控制手段,不会阻塞其他线程, 避免了线程上下文切换带来的开销.
  • 但是,这样的更新方式是存在问题的,看流程就知道了,如果C的结果一直跟预期的结果不一样的话,线程A就会一直不断的循环重试,重试次数太多的话对CPU也是一笔不小的开销.
  • CAS的ABA问题
  • CAS还有个问题就是ABA问题,比如第一次拿到内存里的值时是A,然后被其他线程修改为B, 然后又修改为A, 而此时去比较内存里的值会发现没有变,但是实际上还是有改动.
  • 举个通俗点的例子,你倒了一杯水放桌子上,干了点别的事,然后同事把你水喝了又给你重新倒了一杯水,你回来看水还在,拿起来就喝,如果你不管水中间被人喝过,只关心水还在,还好; 但是假若你是一个比较讲卫生的人,那你肯定就不高兴了.
  • ABA问题的解决思路: 使用版本号。在变量前面追加上版本号, 每次变量更新的时候把版本号加1,那么A→B→A就会变成1A→2B→3A了

Java 原子变量类

  • 原子变量类(Atomics)是基于CAS 实现的能够保障对共享变量进行 read-modify-write更新操作, 例如自增操作“count++”
  • 原子变量类可以保证原子性可见性.
  • 原子变量类的内部实现通常借助一个 volatile变量保证可见性, 并通过CAS保证原子性
  • 原子变量类一共有 12 个,可以被分为4组,如下:
分组
基础数据型AtomicInteger, AtomicLong, AtomicBoolean
数组型AtomicIntegerArray , AtomicLongArray, AtomicReferenceArray
字段更新器AtomicIntegerFieldUpdater, AtomicLongFieldUpdater, AtomicReferenceFieldUpdater
引用型AtomicReference, AtomicStampedReference, AtomicMarkableReference

Example:

//记录请求总数
private final AtomicLong requestCount = new AtomicLong(0);
// 记录处理成功总数
private final AtomicLong successCount = new AtomicLonq(0);
// 记录处理失败总数
private final AtomicLong failureCount = new AtomicLong(0);public void newRequestReceived() {//使总请求数增加1。 这里无须加锁requestCount.incrementAndGet();
}
public void newRequestProcessed() {//使总请求数增加 1。 这里无须加锁successCount.incrementAndGet();
}
public void requestProcessedFailed() { //使总请求数增加 1。 这里无须加锁failureCount.incrementAndGet(); 
}

相关内容

热门资讯

清朝有很多有名的历史人物,能给... 清朝有很多有名的历史人物,能给大家说几个清朝的历史人物吗?林则徐,张之洞,乾隆皇帝,曾国藩,朱耷,这...
曹丕的“太子四友”指的是谁 曹丕的“太子四友”指的是谁首先说,曹丕这四个,陈群司马懿是顶级的谋士和政治家,吴质有些小聪明,朱铄不...
在这次遇难者中存在了几名幸存者... 在这次遇难者中存在了几名幸存者。这句话是不是逻辑错误这句话的逻辑没有问题,有问题的是用词不当。遇难者...
在中国古代,有许多充满哲学智慧... 在中国古代,有许多充满哲学智慧的成语典故、寓言故事,如...在中国古代,有许多充满哲学智慧的成语典故...
清澈的意思是什么,… 清澈的意思是什么,…清净而明澈清而透明【造句】看着他清澈而又天真的眼眸,我的心久久不能平静……
蚂蚁森林合种爱情树一方退出怎么... 蚂蚁森林合种爱情树一方退出怎么找回来两个人合种的爱情树,我退出来,我怎么再次加入进去继续合作那个树?...
有好看的古代修炼小说推荐吗? 有好看的古代修炼小说推荐吗?古代重生穿越修炼......让我帮你找一下这些古代修炼的小说,找到这些类...
女主重生爱上前世辜负的人 女主重生爱上前世辜负的人重生我是你正妻渣女重生之竹马重生之弃渣重生之夫君可欺重生之换我疼你重生妇归来...
华胥引有广播剧吗 华胥引有广播剧吗现有的华胥引的广播剧是忆语广播剧社出品的,只有十三月和杯(这个是错字,请无视,居然输...
选文韩麦尔先生在说了,我的朋友... 选文韩麦尔先生在说了,我的朋友们我就要离开你们呢了,再见了银头鲑鱼tj75rt6yturdrruv ...
中通快递从北京保定市到广东揭阳... 中通快递从北京保定市到广东揭阳普宁要多久?中通快递从北京保定市到广东揭阳普宁要多久?从北京到广东需要...
关于离婚悲伤的歌曲 关于离婚悲伤的歌曲关于离婚悲伤的歌曲林俊杰《可惜没如果》 张靓颖《我走以后》 金志文《流着泪说分手》...
形容文笔差怎么说啊? 形容文笔差怎么说啊?哥哥姐姐,麻烦问下,我是做文员的,形容文案方面的工作很差应该怎么说啊?粗鄙怎么样...
我想做未婚妈妈,可行吗? 我想做未婚妈妈,可行吗?没关系吧?我同学好多他们妈妈都是30岁以后省得他们,都没事啊,但是如果你自己...
如何在两个excel表格里筛选... 如何在两个excel表格里筛选出重复的名字如何在两个excel表格里筛选出重复的名字1、电脑打开EX...
且试天下 哪些小说是用白绫做武... 且试天下 哪些小说是用白绫做武器的?神雕侠侣吖- -..小龙女一开始就是用白绫的聊斋 辛十四娘嘿嘿~...
自带高冷体质,笑起来温暖又治愈... 自带高冷体质,笑起来温暖又治愈的星座,你了解吗?虽然天生高冷体质,但是笑起来特别的温暖治愈的新作用天...
火星未解之谜 火星未解之谜多列举一些,每个事例最好长一点,谢啦~“火星人脸”, “地表被水冲击河道”,“原始大气和...
我是1991年10月4号生的,... 我是1991年10月4号生的,是什么星座啊有的说是处女座有的说是天平座,糊涂了,到底是什么啊很负责任...
梦见白狐狸,然后当时我骑着自行... 梦见白狐狸,然后当时我骑着自行车,我想躲开它,他很凶的的追赶我,最后它向我扑了过来,然后我就醒乐.你...