synchronized、同步指令、管程、MESA
synchronized是Java的一个关键词，可以保证方法或者代码块在运行时，同一时刻只有一个方法可以进入到临界区，保证了原子性、可见性、有序性。
临界资源一次只能被一个线程访问的资源。
**临界区:**访问临界资源的那段代码。
synchronized的应用
synchronized可以修饰：
-
静态方法，锁定的是当前类的Class对象，进入同步代码前需要先获得当前类的锁。
public class Test{public synchronized static int autoIncrement(int a){return a++;} } -
实例方法，锁定的是当前实例对象,进入同步代码前需要先获得当前实例的锁。
public class Test1{public synchronized int autoIncrement(int a){return a++;} } -
代码块，锁定的是括号中的对象，进入同步代码前需要先获得指定对象的锁。
public class Test2{public int autoIncrement(int a){// this 可以替换为任意指定对象synchronized(this){return a++; }} }
synchronized与编译
将上面的代码使用javac -g命令编译后，再利用javap -v命令进行汇编反编译，再截取我们关注内容可以的到如下内容：
# 1修饰静态方法public static synchronized int autoIncrement(int);descriptor: (I)Iflags: ACC_PUBLIC, ACC_STATIC, ACC_SYNCHRONIZED # ACC_SYNCHRONIZED 访问标志区分一个方法是否同步方法Code:stack=1, locals=1, args_size=10: iload_01: iinc 0, 14: ireturnLineNumberTable:line 5: 0LocalVariableTable:Start Length Slot Name Signature0 5 0 a I# 2修饰实例方法
public synchronized int autoIncrement(int);descriptor: (I)Iflags: ACC_PUBLIC, ACC_SYNCHRONIZED # ACC_SYNCHRONIZED 访问标志区分一个方法是否同步方法Code:stack=1, locals=2, args_size=20: iload_11: iinc 1, 14: ireturnLineNumberTable:line 5: 0LocalVariableTable:Start Length Slot Name Signature0 5 0 this Lcom/lbc/springboot2/jvmlearn/Test1;0 5 1 a I
# 3修饰代码块public int autoIncrement(int);descriptor: (I)Iflags: ACC_PUBLICCode:stack=2, locals=4, args_size=20: aload_01: dup2: astore_23: monitorenter # 获取对象的锁，进入同步方法或同步块 -->>为什么虚拟机字节码指令表中说进入同步方法呢？4: iload_15: iinc 1, 18: aload_29: monitorexit # 释放对象的锁，退出同步方法或同步块10: ireturn11: astore_312: aload_213: monitorexit # 释放对象的锁，退出同步方法或同步块14: aload_315: athrowException table:from to target type4 10 11 any11 14 11 anyLineNumberTable:line 6: 0line 7: 4line 8: 11可以看到当synchronized修饰实例方法或者静态方法时，方法表集合中的方法访问标志都有ACC_SYNCHRONIZED，它表示该方法是synchronized的。而在synchronized修饰代码块是，javac编译后，会生成monitorenter，monitorexit指令，分别表示获取对象的锁、进入同步块和释放对象的锁、退出同步块。
那么为什么会有两个monitorexit指令呢？第一个monitorexit是同步代码块正常执行完后释放锁，第二monitorexit表示有异常后，释放锁，保证不会因为异常导致无法释放锁。
– 待续
