synchronized 是 Java 中用来控制线程并发、实现同步的关键字,在 Java 内部中被广泛使用。synchronized 关键字可以加在方法上,也可以加在代码块内部。它的内部实现通过 Java 对象头中的 Mark Word 实现,具体原理如下:
1. 偏向锁:没有其他线程争夺锁,直接将对象头 Mark Word 设置为指向自身,线程可以跳过同步机制,进入运行状态,加快执行效率。
2. 轻量级锁:如果两个线程竞争同一把锁,那么会进入轻量级锁,尝试通过 CAS (Compare and Swap) 操作来获取锁,此时Mark Wold 会指向锁记录(Lock Record),锁记录中存储了指向锁的指针以及指向持有该锁的线程的指针,线程还是可以直接进入运行状态。
3. 重量级锁:如果轻量级锁竞争失败,证明了锁资源存在争用,多个线程通过自旋锁来争取锁,但如果到达自旋的一定阈值仍然没有获取到锁,这时候就会升级为重量级锁,重量级锁,底层是通过操作系统底层的互斥量来实现线程阻塞和唤醒的。
值得注意的是,针对 synchronized 的锁类型,底层实现时会存在锁的升级和降级。在锁的竞争程度不高时,会选择使用轻量级锁和偏向锁,这些锁在获取和释放锁的性能上会比重量级锁更加优越。但是在并发量很高或者锁竞争激烈的情况下,会使用重量级锁来保证数据的正确性和准确性。总之,synchronized 的底层实现是 JVM 内部提供的一种内部实现技术,该技术可以依托于多种不同实现方式来确保各种不同对同步锁的需求都能够被满足。