synchronized的实现原理与锁升级过程：深入剖析背后的细节！

全文目录开篇语一、前言二、synchronized 的原理从字节码到操作系统1. synchronized 关键字的基本功能2. synchronized 的底层实现3. 锁的状态与竞争三、锁升级过程从偏向锁到重量级锁1. 偏向锁Biased Locking2. 轻量级锁Lightweight Locking3. 重量级锁Heavyweight Locking四、synchronized 锁的优化1. 自旋锁Spin Lock2. 锁消除Lock Elimination3. 锁粗化Lock Coarsening五、synchronized 和其他同步机制的对比1. synchronized 与 ReentrantLock2. synchronized 与 volatile六、总结文末开篇语哈喽各位小伙伴们你们好呀我是喵手。运营社区C站/掘金/腾讯云/阿里云/华为云/51CTO欢迎大家常来逛逛今天我要给大家分享一些自己日常学习到的一些知识点并以文字的形式跟大家一起交流互相学习一个人虽可以走的更快但一群人可以走的更远。我是一名后端开发爱好者工作日常接触到最多的就是Java语言啦所以我都尽量抽业余时间把自己所学到所会的通过文章的形式进行输出希望以这种方式帮助到更多的初学者或者想入门的小伙伴们同时也能对自己的技术进行沉淀加以复盘查缺补漏。小伙伴们在批阅的过程中如果觉得文章不错欢迎点赞、收藏、关注哦。三连即是对作者我写作道路上最好的鼓励与支持一、前言Java的并发编程中synchronized关键字是最基本、最常用的同步机制之一。它的作用看似简单保证同一时刻只有一个线程能够执行被synchronized修饰的方法或代码块。然而在实现上它的原理却涉及到大量的底层操作、复杂的锁机制与锁优化技术。要想真正理解它我们不能仅仅停留在表面必须深入分析它背后的实现原理及锁升级过程。在本文中我们将通过分析synchronized的底层实现原理、锁的升级机制、偏向锁、轻量级锁、重量级锁等多种锁的演化过程揭示它如何高效地实现同步控制以及如何在不同情况下优化性能。二、synchronized的原理从字节码到操作系统1.synchronized关键字的基本功能在 Java 中synchronized主要有两种使用方式修饰方法通过修饰实例方法或者静态方法保证同一时刻只有一个线程能执行该方法。修饰代码块通过修饰代码块限定同步区域使得在特定区域内只有一个线程可以访问。2.synchronized的底层实现Java 中的synchronized依赖于**对象头Object Header和监视器锁Monitor Lock**来实现同步控制。每个对象都维护着一个监视器锁每当一个线程执行同步方法或代码块时必须先获得这个锁。具体的实现过程如下对象头每个对象都有一个对象头Object Header其中包括了对象的锁状态信息。这个对象头包含两部分Mark Word用于存储对象的哈希码、GC 状态、锁状态等信息。Class Pointer指向该对象所属类的元数据类元信息。在锁相关的操作中Mark Word 会包含对象的锁状态如是否处于锁定状态。监视器锁synchronized锁的管理是通过监视器锁Monitor来完成的。每个对象都有一个与之相关联的 Monitor。线程在进入同步块时必须获取该对象的 Monitor 锁执行完同步块后再释放该锁。3. 锁的状态与竞争在 Java 的实现中锁有多个不同的状态这些状态依赖于锁的持有者和竞争情况无锁状态对象没有被任何线程持有锁。偏向锁Biased Locking一种优化锁的机制允许锁的拥有者线程在没有其他线程竞争的情况下继续持有锁减少了获取锁的开销。轻量级锁Lightweight Locking当偏向锁无法再使用时JVM 会使用轻量级锁通过 CAS 操作来实现锁的竞争。重量级锁Heavyweight Locking当锁竞争激烈轻量级锁也无法满足需求时JVM 会将锁升级为重量级锁使用操作系统的互斥锁机制进行同步。三、锁升级过程从偏向锁到重量级锁1. 偏向锁Biased Locking偏向锁是一种优化锁竞争的机制它的目标是减少无竞争时的性能开销。当一个线程获取锁时它会将该锁标记为偏向锁之后该线程每次请求锁时都会发现自己已经拥有锁因此可以跳过一些锁管理操作从而降低同步的性能开销。偏向锁的基本工作流程偏向锁的获取当一个线程第一次获取某个对象的锁时JVM 会尝试将这个锁标记为偏向锁并记录下当前线程的 ID。偏向锁的释放如果该锁被其他线程获取偏向锁会被撤销进入轻量级锁的竞争。偏向锁的优点是能大大减少线程间竞争时的开销但如果在一个锁被多个线程频繁竞争的情况下偏向锁会成为一种负担因此会转向下一阶段的锁类型。2. 轻量级锁Lightweight Locking当一个线程获取了偏向锁后如果它在持有锁的过程中发生了线程竞争偏向锁会撤销并升级为轻量级锁。轻量级锁主要通过**CASCompare and Swap**操作来保证锁的竞争。轻量级锁的工作流程获取锁时线程会使用原子操作 CAS 来尝试将锁标记为轻量级锁。CAS 操作会检查该锁对象的 Mark Word 是否为空如果为空线程就能成功获得锁。竞争时如果其他线程同时也尝试获取锁当前线程会发现 CAS 操作失败此时锁会进入到竞争阶段可能会升级为重量级锁。轻量级锁的优势在于它减少了操作系统层面的开销不需要进行上下文切换因此在竞争较轻的场景下能够获得显著的性能提升。3. 重量级锁Heavyweight Locking当多个线程竞争同一个对象的锁且轻量级锁也无法满足时JVM 会将锁升级为重量级锁采用操作系统提供的互斥锁机制。重量级锁的特点是通过内核同步机制如pthread_mutex来确保线程的独占访问通常需要进行上下文切换因此其性能开销较大。重量级锁的工作流程升级为重量级锁当锁竞争非常激烈时轻量级锁会失败并且被升级为重量级锁。此时线程会进入操作系统内核进行同步。阻塞与唤醒在重量级锁下线程可能会被阻塞直到获取到锁之后才会被唤醒。重量级锁的缺点是性能开销较大因为它涉及到线程阻塞、唤醒以及上下文切换但在竞争非常激烈的情况下重量级锁是必要的。四、synchronized锁的优化1. 自旋锁Spin Lock自旋锁是在轻量级锁的基础上进一步优化的机制。当线程获取不到锁时它不会立即进行阻塞而是会在短时间内反复尝试获取锁自旋直到成功为止。自旋锁适用于锁竞争较少的场景因为它可以避免线程在获取锁时产生不必要的上下文切换。2. 锁消除Lock EliminationJVM 在执行代码时通过逃逸分析Escape Analysis来判断锁是否是多余的。如果在某些情况下JVM 能够证明锁是无效的它会消除掉这些不必要的锁从而提升程序的性能。锁消除通常发生在局部变量的同步代码块中。3. 锁粗化Lock Coarsening锁粗化是一种优化技术JVM 会将多个小范围的锁合并成一个大的锁从而减少获取锁的次数降低锁管理的开销。五、synchronized和其他同步机制的对比1.synchronized与ReentrantLocksynchronized底层依赖 JVM 管理的监视器锁Monitor Lock会自动释放锁适合简单的同步需求且易于使用但不提供更细粒度的控制如超时、可中断等。ReentrantLock属于显式锁使用lock()和unlock()方法进行锁的获取与释放提供了更强大的功能例如可中断、定时锁、死锁检测等。2.synchronized与volatilesynchronized保证了可见性、原子性和顺序性适合处理复杂的同步需求。volatile仅保证可见性适合处理一些简单的并发问题如状态标志的同步。六、总结通过深入分析synchronized的原理我们可以发现它不仅仅是一个简单的同步工具而是一个通过不断升级和优化来解决并发问题的机制。synchronized从偏向锁、轻量级锁到重量级锁的演变展示了 JVM 在锁竞争中对性能的极致追求。偏向锁减少无竞争时的开销。轻量级锁通过 CAS 操作来避免线程阻塞。重量级锁当竞争激烈时通过操作系统提供的锁机制来保证同步。通过了解这些机制开发者能够更好地理解锁的背后实现并根据实际需求选择合适的同步策略写出更高效、更稳定的并发代码。… …文末好啦以上就是我这期的全部内容如果有任何疑问欢迎下方留言哦咱们下期见。… …学习不分先后知识不分多少事无巨细当以虚心求教三人行必有我师焉wished for you successed ⭐️若喜欢我就请关注我叭。⭐️若对您有用就请点赞叭。⭐️若有疑问就请评论留言告诉我叭。版权声明本文由作者原创转载请注明出处谢谢支持