一文总结Java并发中的锁

一、锁的类型

1. 自旋锁

自旋锁是计算机科学用于多线程同步的一种锁,线程反复检查锁变量是否可用。由于线程在这一过程中保持执行,因此是一种忙等待。一旦获取了自旋锁,线程会一直保持该锁,直至显式释放自旋锁。 自旋锁避免了进程上下文的调度开销,因此对于线程只会阻塞很短时间的场合是有效的。因此操作系统的实现在很多地方往往用自旋锁。

线程的阻塞和唤醒需要CPU从用户态转为核心态,频繁的阻塞和唤醒对CPU来说是一件负担很重的工作。同时我们可以发现,很多对象锁的锁定状态只会持续很短的一段时间,例如整数的自加操作,在很短的时间内阻塞并唤醒线程显然不值得,为此引入了自旋锁。自旋锁的思想是让一个线程在请求一个共享数据的锁时执行忙循环(自旋)一段时间,如果在这段时间内能获得锁,就可以避免进入阻塞状态。

自旋锁有以下特点:

  • 用于临界区互斥

  • 在任何时刻最多只能有一个执行单元获得锁

  • 要求持有锁的线程所占用的时间尽可能短

  • 等待锁的线程进入忙循环状态

2. 偏向锁

偏向锁是在JDK 1.6之后加入的,其目的是消除数据在无竞争情况下的同步原语,进一步提高程序的运行性能。其思想是偏向于让第一个获得锁的线程,这个线程在之后获取该锁就不再需要进行同步操作,甚至连 CAS 操作也不再需要

当锁对象第一次被线程获得的时候,进入偏向状态,标记为 01。同时使用 CAS 操作将线程 ID 记录到 Mark Word 中,如果 CAS 操作成功,这个线程以后每次进入这个锁相关的同步块就不需要再进行任何同步操作。

当有另外一个线程去尝试获取这个锁对象时,偏向模式就宣告结束,此时撤销偏向(Revoke Bias)后恢复到未锁定状态或者轻量级锁状态。偏向锁、轻量级锁的状态转化如下所示:

3. 轻量级锁

轻量级锁是JDK 1.6之后加入的新型锁机制,是相对于传统的重量级锁而言,它使用 CAS 操作来避免重量级锁使用互斥量的开销。对于绝大部分的锁,在整个同步周期内都是不存在竞争的,因此也就不需要都使用互斥量进行同步,可以先采用 CAS 操作进行同步,如果 CAS 失败了再改用互斥量进行同步。

Mark Word(HotSpot虚拟机的对象头的第一部分)是实现轻量级锁和偏向锁的关键。对象头信息是与对象自身定义的数据无关的额外存储成本,它会根据对象的状态复用自己的存储空间。32位的Mark Word结构如下图示:

当尝试获取一个锁对象时,如果锁对象标记为 0 01,说明锁对象的锁为无锁(unlocked)状态。此时虚拟机在当前线程的虚拟机栈中创建 Lock Record,然后使用 CAS 操作将对象的 Mark Word 更新为 Lock Record 指针。如果 CAS 操作成功了,那么线程就获取了该对象上的锁,并且对象的 Mark Word 的锁标记变为 00,表示该对象处于轻量级锁状态。

如果 CAS 操作失败了,虚拟机首先会检查对象的 Mark Word 是否指向当前线程的虚拟机栈,如果是的话说明当前线程已经拥有了这个锁对象,那就可以直接进入同步块继续执行,否则说明这个锁对象已经被其他线程线程抢占了。如果有两条以上的线程争用同一个锁,那轻量级锁就不再有效,要膨胀为重量级锁。

轻量级锁能够提升程序同步性能的依据是“对于绝大部分的锁,在整个同步周期内都是不存在竞争的”,如果没有竞争,使用CAS操作能够避免使用互斥操作的开销。但如果存在锁竞争,除了互斥量的开销以外,还有额外的CAS操作,因此在竞争的情况下,轻量级锁会比传统的重量级锁更慢。

二、锁的策略

1. 乐观锁

总是假设最好的情况,每次去读数据的时候都认为别人不会修改,所以不会上锁, 但是在更新的时候会判断一下在此期间有没有其他线程更新该数据, 可以使用版本号机制CAS算法实现。 乐观锁适用于多读的应用类型,这样可以提高吞吐量,像数据库提供的类似于write_condition机制,其实都是提供的乐观锁。 在Java中java.util.concurrent.atomic包下面的原子变量类就是基于CAS实现的乐观锁。

2. 悲观锁

总是假设最坏的情况,每次去读数据的时候都认为别人会修改,所以每次在读数据的时候都会上锁, 这样别人想读取数据就会阻塞直到它获取锁 (共享资源每次只给一个线程使用,其它线程阻塞,用完后再把资源转让给其它线程)。 传统的关系型数据库里边就用到了很多悲观锁机制,比如行锁,表锁等,读锁,写锁等,都是在做操作之前先上锁。Java中的悲观锁就是Synchronized,AQS框架下的锁则是先尝试CAS乐观锁去获取锁,获取不到,才会转换为悲观锁,如ReentrantLock

乐观锁好比生活中乐观的人总是想着事情往好的方向发展,悲观锁好比生活中悲观的人总是想着事情往坏的方向发展。 这两种人各有优缺点,不能不以场景而定说一种人好于另外一种人。

三、加锁过程的描述

  1. 当代码进入同步块的时候,假设此对象没有被锁定(即无锁状态,锁的标志位为01)。虚拟机首先会将在当前线程的栈帧里面新建一个“锁记录”(Lock Record)的空间,用于存储锁对象当前Mark Word的一份拷贝(Displaced Mark Word);

  2. 将对象头的Mark Word拷贝到“锁记录”上;

  3. 虚拟机将使用CAS操作尝试将锁对象的Mark Word更新指向“锁记录”(Lock Record)。

  4. 如果更新成功,此时该线程就拥有了该对象的锁,并且对象头Mark Word的锁标志位改为00(轻量级锁);

  5. 如果上一步中的CAS操作更新失败,虚拟机首先检查对象头的Mark Word是否指向当前线程的栈帧,如果是,则说明当前线程已经拥有了当前对象的锁,那就可以直接进入同步快继续执行;

  6. 否则,说明当前锁已被其他线程占用,这时出现了两个以上的线程争用同一把锁,那轻量级锁就失效,膨胀成为重量级锁(锁标志为10)。Mark Word中存储的就是指向重量级锁的指针,后面等待锁的其他线程也要进入阻塞状态,而当前线程则使用自旋来获取锁。

四、解锁过程的描述

  1. 通过CAS尝试把线程中复制的Displaced Mark Word对象替换当前对象的Mark Word;

  2. 如果替换成功,整个同步过程就完成了;

  3. 如果替换失败,说明有其他线程尝试过获取该锁(锁已膨胀),那就要在释放锁的同时,唤醒被挂起的线程。

五、锁的内存语义

当线程释放锁的时候,Java内存模型会把该线程对应的本地内存中的共享变量刷新到主内存中;

而当线程获取锁的时候,Java内存模型会把该线程对应的本地内存置为无效,从而使得被监视器保护的临界区代码必须从主内存中读取共享变量。

线程之间相当于通过主内存进行通信,如下图所示:

六、锁的汇总

参考资料

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

推荐阅读更多精彩内容