CAS与AQS简单理解

什么是CAS

所谓的CAS既是compareAndSwap的缩写,翻译过来既是“对比和交换”的意思。

那怎么去对比呢,画个小图理解下:

image-20220531192924878.png

3个值分别对应的含义:

  • 新的值:需要修改过后的值

  • 内存变量的值:在内存的值是多少

  • 旧的预期值:这里相当于内存的值的一个副本,copy过来的

    如果内存的值等于旧的预期值,那么就把新的值替换为内存中的值,否则什么都不做

    这里就是自旋锁

AtomicInteger就是用到CAS来实现的。 用代码理解下:

// 类似上述全局内存共享变量V
AtomicInteger atomicInteger = new AtomicInteger(0);
// CAS操作
boolean b = atomicInteger.compareAndSet(0, 1);
System.out.println("是否修改成功:" + b);
System.out.println("修改后的值:"+ atomicInteger.get());

打印:

是否修改成功:true 修改后的值:1

那么此时有多个线程同时请求如下:

image-20220531202608921.png

线程T1,T2同时需要修改内存中的变量值“加1”操作流程如下

  • 此时线程T1,T2内存中的值都为0

  • T1:此时V=0,E=0,发现V=E,那么把V修改为N,那么现在V=1

  • T2:此时V=1,E=0,发下V!=E,那么重新读取(自旋)内存中的值把E的值改成1,这时V=E了。

ABA问题

什么是ABA问题。 假设变量0被线程B修改成了2,再被自己或者其他线程又修改成了0,那么对于线程A来说,并没有感知到。因为线程A对比了0和0还是相等的。这就是ABA问题。那么如何解决呢?

加版本号处理。怎么处理?

也就是不管哪个线程修改了变量值,都把版本号加一。那么其他线程读取的时候就感知到了。原来被修改过

底层其实是通过C去实现的

C语言指令:

lock cmpxchg 

什么是AQS

所谓的AQS既是AbstractQueuedSynchronizer的缩写

AbstractQueuedSynchronizer(AQS)是JDK中实现并发编程的核心,平时我们工作中经常用到的ReentrantLock,CountDownLatch等都是基于它来实现的。

以ReentrantLock为例:

ReentrantLock reentrantLock = new ReentrantLock();
reentrantLock.lock();

底层源码其实是通过Sync这个来实现的:

public void lock() {
 sync.lock();
}

再点进去发现,其实就是AbstractQueuedSynchronizer的子类

abstract static class Sync extends AbstractQueuedSynchronizer {
 private static final long serialVersionUID = -5179523762034025860L;

 /**
 * Performs {@link Lock#lock}. The main reason for subclassing
 * is to allow fast path for nonfair version.
 */
 abstract void lock();
 ...
}

此时发现lock抽象方法的实现有两个

image-20220531205123010.png

分别是FairSync(公平锁)和NonfairSync(非公平锁)均属于ReentrantLock内部类

那么怎么决定使用公平锁或非公平锁呢,可以通过ReentrantLock的构造函数,默认是用非公平锁。

public ReentrantLock() {
sync = new NonfairSync();
}
public ReentrantLock(boolean fair) {
sync = fair ? new FairSync() : new NonfairSync();
}

公平锁非公平锁

  • 公平锁:所谓的公平锁呢会按照严格的执行顺序来分配的。

  • 非公平锁:竞争锁的线程允许来插队来抢占锁的资源。

画个小图理解下:

公平锁

image-20220531210850794.png

此时有4个线程分别是T1,T2,T3,T4,同时调用这个方法。那么必然只会有一个线程会拿到锁。

假设此时T1线程拿到了锁,那么其他T2,T3,T4会阻塞。那么作为公平锁怎么处理呢,让其实现一个公平状态

可以使其T2,T3,T4放入一个链表中等待,那么T1释放的锁,这个时候呢T1不会唤醒T2,T3,T4,只会唤醒(LockSupport.unpark)T2,交给T2持有锁

那么T1呢,加入链表后续等待。就变成了这样。

image-20220531211209012.png

那什么是非公平的呢?非公平其实就是通过cpu去争抢,在多线程的场景下如果哪个线程抢到了锁,那么就会持有这把锁。

有的时候就会发现多线程的场景下会有相同的线程去执行。而并非上述的T1,T2,T3,T4按照顺序去执行。

image-20220601194510122.png

非公平锁:

首先T1,T2,T3,来CAS抢占锁,假设此时T1抢占成功了,那么这时T2,T3会阻塞,怎么阻塞呢,他们会加入到一个链表中等待,

注意:这是一个双向链表,且有头有尾。首节点是获取到锁的节点,其他的都是阻塞的节点

这时我们在总结写公平锁与非公平锁的优缺点

  • 优点:所有的线程都能得到资源,不会饿死在队列中。

  • 缺点:吞吐量会下降很多,队列里面除了第一个线程,其他的线程都会阻塞,cpu唤醒阻塞线程的开销会很大。

非公平锁:多个线程去获取锁的时候,会直接去尝试获取,获取不到,再去进入等待队列,如果能获取到,就直接获取到锁。

  • 优点:可以减少CPU唤醒线程的开销,整体的吞吐效率会高点,CPU也不必取唤醒所有线程,会减少唤起线程的数量。

  • 缺点:你们可能也发现了,这样可能导致队列中间的线程一直获取不到锁或者长时间获取不到锁,导致饿死。

非公平锁的设计理念

其实像ReentrantLock还是像synchronized等都是一样,默认都是非公平锁的策略,之所以这么设计,是考虑到性能这方面的原因,

因为如果按照公平锁的策略去进行阻塞等待,同时AQS又唤醒正在等待的线程,这里会涉及到一个内核态的切换,对性能会有一定的影响。如果是非公平锁呢,当前线程正好在上一个线程释放的临界点去抢占到了锁这意味着这个线程不会进行内核态的切换

AQS双向链表的作用?
1.线程中断 需要删除当前线程被封装的Node节点 这是就变成了链表的删除操作
如果想从CLH 单向链表中间删除一个 Node,因为只维护了前一个节点的指针,想要知道后一个节点的指针的话,不通过从tail开始使用快慢指针遍历是无法办到的。
因此直接维护prev、next指针,以降低删除操作的复杂性。 说白了就是降低删除的复杂度
2.唤醒后续线程 而当多线程竞争时,CLH的轮询是非常耗费性能的,无论是对CPU还是总线来说,都是一种巨大的压力。
所以在CLH的prev基础上增加了next

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

推荐阅读更多精彩内容