JVM005_synchronized、同步指令、管程、MESA_java synchronized mesa-优快云博客

本文链接：https://blog.youkuaiyun.com/laibaocen/article/details/115365072

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)I
    flags: ACC_PUBLIC, ACC_STATIC, ACC_SYNCHRONIZED #  ACC_SYNCHRONIZED 访问标志区分一个方法是否同步方法
    Code:
      stack=1, locals=1, args_size=1
         0: iload_0
         1: iinc          0, 1
         4: ireturn
      LineNumberTable:
        line 5: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       5     0     a   I

# 2修饰实例方法
public synchronized int autoIncrement(int);
    descriptor: (I)I
    flags: ACC_PUBLIC, ACC_SYNCHRONIZED   #  ACC_SYNCHRONIZED 访问标志区分一个方法是否同步方法
    Code:
      stack=1, locals=2, args_size=2
         0: iload_1
         1: iinc          1, 1
         4: ireturn
      LineNumberTable:
        line 5: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       5     0  this   Lcom/lbc/springboot2/jvmlearn/Test1;
            0       5     1     a   I
# 3修饰代码块
 public int autoIncrement(int);
    descriptor: (I)I
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=4, args_size=2
         0: aload_0
         1: dup
         2: astore_2
         3: monitorenter  # 获取对象的锁，进入同步方法或同步块 -->>为什么虚拟机字节码指令表中说进入同步方法呢？
         4: iload_1
         5: iinc          1, 1
         8: aload_2
         9: monitorexit   # 释放对象的锁，退出同步方法或同步块
        10: ireturn
        11: astore_3
        12: aload_2
        13: monitorexit	 # 释放对象的锁，退出同步方法或同步块
        14: aload_3
        15: athrow
      Exception table:
         from    to  target type
             4    10    11   any
            11    14    11   any
      LineNumberTable:
        line 6: 0
        line 7: 4
        line 8: 11

可以看到当synchronized修饰实例方法或者静态方法时，方法表集合中的方法访问标志都有ACC_SYNCHRONIZED，它表示该方法是synchronized的。而在synchronized修饰代码块是，javac编译后，会生成monitorenter，monitorexit指令，分别表示获取对象的锁、进入同步块和释放对象的锁、退出同步块。

那么为什么会有两个monitorexit指令呢？第一个monitorexit是同步代码块正常执行完后释放锁，第二monitorexit表示有异常后，释放锁，保证不会因为异常导致无法释放锁。

– 待续