王有志,一个分享硬核Java技术的互金摸鱼侠
加入Java人的提桶跑路群:共同富裕的Java人
今天是《面霸的自我修养》的第3弹,内容是Java并发编程中至关重要的关键字synchronized,作为面试中的“必考题”,这部分是你必须要充分准备的内容,接下来我们就一起一探究竟吧。
数据来源:
叠“BUFF”:
难易程度: 重要程度: 公司:美团,瑞幸
synchronized是Java提供的关键字,提供了原生同步机制,实现了互斥语义,保证了可见性,有序性和原子性。
有序性和原子性保证是互斥语义带来的,实现互斥的临界区,同一时间仅有一个线程可以执行,所以此时不存在有序性(编译器保证的as-if-serial语义)和原子性问题。
可见性保证是在退出synchronized时,使用了storeload内存屏障,ObjectMonitor::exit
的源码如下:
void ObjectMonitor::exit(bool not_suspended, TRAPS) {
for (;;) {
if (Knob_ExitPolicy == 0) {
OrderAccess::release_store(&_owner, (void*)NULL);
OrderAccess::storeload();
} else {
OrderAccess::release_store(&_owner, (void*)NULL);
OrderAccess::storeload();
}
}
}
storeload指令的执行顺序:
store1;
storeLoad;
load2;
保证load指令要“看”到store指令的最新值,因此store指令后,会将数据写回主内存,同时失效其它处理器中的数据。
难易程度: 重要程度: 公司:字节跳动,蚂蚁金服
synchronized可以用于修饰方法,或者代码块。
修饰方法时,编译后会添加ACC_SYNCHRONIZED
标识,指明该方法是同步方法,JVM通过ACC_SYNCHRONIZED
标识来判断是否执行同步调用。
public synchronized void method();
descriptor: ()V
flags: ACC_PUBLIC, ACC_SYNCHRONIZED
修饰代码块时,编译后在代码块开始和结束位置分别添加monitorenter
和monitorexit
指令,执行monitorenter
时获取锁,执行monitorexit
指令时释放锁。
public void method();
descriptor: ()V
flags: ACC_PUBLIC
Code:
......
4: monitorenter
......
43: athrow
44: aload_1
45: monitorexit
46: goto 54
49: astore_3
50: aload_1
51: monitorexit
52: aload_3
53: athrow
54: return
monitorenter
和monitorexit
总是成对执行的。实际上编译后的字节码中出现了两次monitorexit
指令,第一次是在发生异常时,第二次是在正常结束时,看似出现两次,但也只会执行一次monitorexit
指令。
难易程度: 重要程度: 公司:字节跳动
Java中每个对象都与一个监视器关联。synchronized锁定与对象关联的监视器(可以理解为锁定对象本身),锁定成功后才可以继续执行。
synchronized锁定class对象时存在两种情况:
它们效果是一样的,某一线程锁定class对象时,其它所有试图锁定class对象的线程都会被阻塞。比较特殊的一种情况:
public class Human {
public void drink() {
synchronized (Human.class) {
// 业务逻辑
}
}
}
这种场景下,通过Human类不同实例对象并发调用**Human#drink**
方法时,只有一个实例对象可以执行**Human#drink**
方法,其余会被阻塞,从现象看起来是将Human类锁定,通常会成这种锁为类锁。
难易程度: 重要程度: 公司:无
锁定某个实例对象,或者使用synchronized修饰实例方法时,为对象锁。例如:
public class Human {
public synchronized void eat() {
// 业务逻辑
}
public void drink() {
synchronized (this) {
// 业务逻辑
}
}
}
两种场景实际上都是锁定实例对象。
锁定class对象,或者使用synchronized修饰静态方法时,为类锁。例如:
public class Human {
public static synchronized void eat() {
// 业务逻辑
}
public void drink() {
synchronized (Human.class) {
// 业务逻辑
}
}
}
两种场景实际上都是锁定class对象。
难易程度: 重要程度: 公司:无
具体情况具体分析。如果只在静态方法上使用synchronized修饰,那么只有class对象上的一把锁;如果静态方法和实例方法都使用synchronized修饰,那么有两(多)把锁,class对象上的一把锁,当前对象(this对象)上一(多)把锁;修饰代码块时场景比较复杂,锁定几个对象,就有几把锁。
难易程度: 重要程度: 公司:无
可以进入该对象未使用synchronized修饰的实例方法,对静态方法没有要求(前提是没有线程正在执行synchronized修饰的静态方法)。
难易程度: 重要程度: 公司:无
同一个实例对象调用时,会造成阻塞。不同实例对象调用时,不会造成阻塞。举个例子:
public class Human {
public synchronized void eat() {
System.out.println("[EAT]线程:" + Thread.currentThread().getName());
TimeUnit.SECONDS.sleep(60);
}
public synchronized void drink() {
System.out.println("[Drink]线程:" + Thread.currentThread().getName());
TimeUnit.SECONDS.sleep(60);
}
}
使用同一个实例对象调用:
public static void main(String[] args) throws InterruptedException {
Human human = new Human();
new Thread(human::eat, "t1").start();
TimeUnit.SECONDS.sleep(1);
new Thread(human::drink, "t2").start();
}
使用不同实例对象调用:
public static void main(String[] args) throws InterruptedException {
Human human = new Human();
new Thread(human::eat, "t1").start();
TimeUnit.SECONDS.sleep(1);
Human human2 = new Human();
new Thread(human2::drink, "t2").start();
}
难易程度: 重要程度: 公司:蚂蚁,网易,腾讯,苏宁,美团,字节
synchronized是Java中的关键字,可以修饰方法或代码块,在修饰代码块的程序中,synchronized编译后会生成两个指令:monitorenter和monitorexit。
private static final Object locker = new Object();
private static void lock() throws InterruptedException {
synchronized (locker) {
locker.wait(2000);
}
}
反编译后的字节码如下:
可以看到编译后字节码在第4,9和13行分别添加了monitorenter和monitorexit,表示着进入和退出synchronized保护的临界区,其中第9行和第13行的monitorexit分别为正常退出和异常时退出。
Tips:如果synchronized修饰的是方法,反编译后会添加ACC_SYNCHRONIZED标记,JVM通过该访问标记来实现synchronized的功能。
上述代码中,当程序执行到monitorenter时,需要获取到locker
的monitor锁才可以执行临界区中的代码,而执行到monitorexit时,需要释放locker
的monitor锁。
monitor通常被翻译为管程或监视器,是一种“更高层次”的同步机制。操作系统中,通常会直接支持Mutex和Semphore,而monitor则是编程语言在操作系统基础上所提供的同步机制,monitor提供了更简洁的操作方式,开发者无需关注acquire和release操作既可以完成同步操作。
Java中,Monitor是通过ObjectMonitor实现的:
class ObjectMonitor {
private:
// 保存与ObjectMonitor关联Object的markOop
volatile markOop _header;
// 与ObjectMonitor关联的Object
void* volatile _object;
protected:
// ObjectMonitor的拥有者
void * volatile _owner;
// 递归计数
volatile intptr_t _recursions;
// 等待线程队列,cxq移入/Object.notify唤醒的线程
ObjectWaiter * volatile _EntryList;
private:
// 竞争队列
ObjectWaiter * volatile _cxq;
// ObjectMonitor的维护线程
Thread * volatile _Responsible;
protected:
// 线程挂起队列(调用Object.wait)
ObjectWaiter * volatile _WaitSet;
}
其工作原理如下:
想要获取monitor的线程会首先进入到_WaitSet
中,当获取到monitor后,将ObjectMon的_recursions
加1(重入特性的实现),并将_owner
设置为当前的线程,允许线程进入临界区执行代码。
难易程度: 重要程度: 公司:网易,字节跳动,盒马
Java 6之前,synchronized通过调用操作系统的Mutex Lock来实现互斥功能,此时应用程序需要从用户态切换到内核态,这个过程带来了一定的性能损失。
除此之外,每次进入synchronized保护的临界区时,无论是否发生竞争,都会使用Mutex Lock来保证同一时间只有一个线程进入临界区,即便此时只有一个线程访问这段代码。
Java 6之后,为了优化synchronized的性能问题引入了锁升级机制,此时的synchronized实际由3把锁组成:偏向锁,轻量级锁和重量级锁。synchronized的升级机制使用了Mark Word,以下是64位大端模式下Mark Word在不同锁时的情况:
顾名思义,偏向锁会倾向于第一个访问的线程。如果在程序的运行中,只有一个线程访问由synchronized修饰的代码块不存在任何竞争,此时只需要修改对Mark Word的锁标记位即可,而无需通过Mutex实现加锁。
偏向锁的获取流程:
当有其它线程进入synchronized后,偏向锁会升级为轻量级锁,注意此时并不存在竞争,而是线程的交替执行。
轻量级锁的获取流程:
当同一时间有多个线程竞争时,轻量级锁升级为重量级锁,此时是通过调用操作系统的Mutex实现的同步机制。
难易程度: 重要程度: 公司:无
悲观锁认为并发访问共享总是会发生修改,因此在进入临界区前一定会执行加锁操作。对于synchronized来说,无论是偏向锁,轻量级锁还是重量级锁,使用synchronized总是会发生加锁,因此是悲观锁。
难易程度: 重要程度: 公司:无
非公平性体现在发生阻塞后的唤醒并不是按照先来后到的顺序进行的。在synchronized中,默认策略是将cxq
队列中的数据移入到EntryList
后再进行唤醒,并没有按照先后顺序执行。实际上我们也不知道cxq
和EntryList
中的线程到底谁先进入等待的。
难易程度: 重要程度: 公司:无
可重入指的是允许同一个线程反复多次加锁。使用上,synchronized允许同一个线程多次进入。底层实现上,synchronized内部维护了计数器_recursions
,发生重入时,计数器+1,退出时计数器-1。通过_recursions
的命名,我们也能知道Java中的可重入锁就是POSIX中的递归锁。
难易程度: 重要程度: 公司:无
锁消除(Lock Elimination)即JVM删除不必要的加锁操作。根据逃逸分析技术,如果加锁部分代码不会逃逸出当前线程,即只有一个线程会访问到加锁部分代码,JVM会认为当前代码是线程安全的,而加锁操作是不必要的进而删除加锁操作。
public void append(String str1, String str2) {
StringBuffer sb = new StringBuffer();
sb.append(str1).append(str2);
}
虽然StringBuffer#append
方法使用synchronized修饰,但因为sb对象是局部变量,不会从该方法中逃逸,因此该方法是线程安全的,可以进行锁消除。锁粗化即将多次加锁操作合并为一次,将多个连续加锁操作合并成一次范围更大的加锁操作。
StringBuffer stringBuffer = new StringBuffer();
public void append() {
sb.append("w");
sb.append("y");
sb.append("z");
}
每次调用StringBuffer#append
方法都会进行加锁和解锁操作,如果JVM检测到连续的对同一个对象的加锁和解锁操作,就会合并成一次范围更大的加锁和解锁操作,即第一次执行StringBuffer#append
方法时加锁,最后一次执行StringBuffer#append
时解锁。
如果本文对你有帮助的话,还请多多点赞支持。如果文章中出现任何错误,还请批评指正。最后欢迎大家关注分享硬核Java技术的金融摸鱼侠王有志,我们下次再见!
手机扫一扫
移动阅读更方便
你可能感兴趣的文章