JavaEE 第13节 synchronized关键字基本实现原理

目录

synchronized的基本特点：

synchronized关键字的底层实现：

1）锁升级

2）锁消除

3）锁粗化

---

synchronized的基本特点：

---

以下特点只考虑（jdk1.8）：

1）刚开始是乐观锁，如果出现所冲突转变成悲观锁。

2）开始时，使用的轻量级锁实现，如果锁持有时间过长，那么会转变成重量级锁。

3）轻量级锁，大概率使用的时自旋锁实现。

4）不是读写锁/也不是公平锁。

5）是可重入锁。

---

synchronized关键字的底层实现：

synchronized关键字非常强大可以自适应大多数加锁环境，进而让程序员不用考虑太多因素就能写出运行效率较高的程序。

---

1）锁升级

锁升级意思是synchronized关键字会根据程序时的实际情况，动态的改变锁策略，从而兼顾大部分加锁环境，在能保证现成安全的情况下，又能够兼顾程序性能，可见其强大之处。

锁升级大致分为这几个步骤：

         1、偏向锁：在同步块中的程序不会立即上锁，而是进入偏向锁的状态；

“偏向锁” ，并没有给对象加锁，只是在对象头中做了一个“标记”，记录这个锁属于那个线程。

如果后续没有线程来竞争这把锁，那么就不会进行加锁操作（类似懒汉模式，不得不加才加），避免不必要的开销。

如果后续有锁来竞争，才会去加锁，一般会进入轻量级锁的状态。

        2、轻量级锁：当从偏向锁转化成轻量级锁，一般先尝试使用自旋锁（CAS实现）获取轻量级锁。

在每次锁持有时间较短，或者锁竞争较弱时，使用自旋锁效率较高。

        3、重量级锁：当锁竞争激烈，自旋多次没有获取到锁的时候，轻量级锁会升级成重量级锁。

重量级锁的实现更为复杂，涉及内核态用户态交互，考校比较大，但这也是为了线程安全的无奈之举。

注意：锁升级的步骤是不可逆的，比如重量级锁不能转化成轻量级锁。

2）锁消除

在程序 圆 写完代码执行程序前，编译器+JVM还会再次检查代码，判断程序中是否有一些地方加锁是无意义的，那么就会消除这个锁。

比如在单线程环境下使用StringBuffer这个含有synchronized关键字的类，那么这个加锁操作是没必要的，只会浪费资源开销。

3）锁粗化

锁粗化是一种优化技术,将多个连续的加锁、解锁操作合并为一个更大范围的加锁、解锁操作。这减少了加锁和解锁的次数,从而降低了性能开销。

锁粗化是一种优化技术,将多个连续的加锁、解锁操作合并为一个更大范围的加锁、解锁操作。这减少了加锁和解锁的次数,从而降低了性能开销。

示例:

优化前(细粒度锁):

synchronized(lock) {
    // 操作1
}
synchronized(lock) {
    // 操作2
}
synchronized(lock) {
    // 操作3
}

优化后(粗化锁):

synchronized(lock) {
    // 操作1
    // 操作2
    // 操作3
}

通过合并多个同步块,synchronzied减少了加锁解锁的开销,提高了效率。这在循环或连续操作中特别有用。

需要注意的是，过度粗化可能会增加锁的持有时间,影响并发性能，因此应根据具体情况权衡使用，不过这里不用担心，JAVA开发人员，肯定是能保证其性能的。

---

可以看到synchronized的实现实际上是个非常复杂的过程，背后做了很多事。这样让“菜鸡”程序员也能写出运行效率还不错的程序。

JVM的开发者为程序员操碎了心。