jvm同步方法和非同步方法的区别

Question

我有以下类：

public class SeqGenerator {

    int last = 0;
    volatile int lastVolatile = 0;

    public int getNext() {
        return last++;
    }

    public synchronized int getNextSync() {
        return last++;
    }

    public int getNextVolatile() {
        return lastVolatile++;
    }

    public void caller() {
        int i1 = getNext();
        int i2 = getNextSync();
        int i3 = getNextVolatile();
    }

}

当我查看反汇编代码时，我看不到三个方法 getNext()、getNextSync() 和 的表示之间的区别>getNextVolatile() 。

public int getNext();
  Code:
   0:   aload_0
   1:   dup
   2:   getfield    #2; //Field last:I
   5:   dup_x1
   6:   iconst_1
   7:   iadd
   8:   putfield    #2; //Field last:I
   11:  ireturn

public synchronized int getNextSync();
  Code:
   0:   aload_0
   1:   dup
   2:   getfield    #2; //Field last:I
   5:   dup_x1
   6:   iconst_1
   7:   iadd
   8:   putfield    #2; //Field last:I
   11:  ireturn

public int getNextVolatile();
  Code:
   0:   aload_0
   1:   dup
   2:   getfield    #3; //Field lastVolatile:I
   5:   dup_x1
   6:   iconst_1
   7:   iadd
   8:   putfield    #3; //Field lastVolatile:I
   11:  ireturn

public void caller();
  Code:
   0:   aload_0
   1:   invokevirtual   #4; //Method getNext:()I
   4:   istore_1
   5:   aload_0
   6:   invokevirtual   #5; //Method getNextSync:()I
   9:   istore_2
   10:  aload_0
   11:  invokevirtual   #6; //Method getNextVolatile:()I
   14:  istore_3
   15:  return

JMV 如何区分这些方法？

这些方法及其调用者生成的代码是相同的。 JVM如何进行同步？

Answer 1

应用于方法的 synchronized 关键字只是在该方法定义上设置 ACC_SYNCHRONIZED 标志，如 JVM 规范第 4.6 节方法。它在方法的实际字节码中不可见。

JLS § 8.4.3.6 同步方法 讨论定义 synchronized 方法和声明跨越整个方法体的 synchronized 块（并使用相同的对象来同步）的相似性on)：效果完全相同，但它们在.class文件中的表示方式不同。

易失性字段也会发生类似的效果：它只是在字段上设置ACC_VOLATILE标志（JVM § 4.5 字段）。访问该字段的代码使用相同的字节码，但行为略有不同。

另请注意，这里仅使用易失性字段不是线程安全的，因为易失性字段x上的x++是不是原子！

Answer 2

前两者之间的区别就在这里：

public int getNext();
   bytecodes follow...

public synchronized int getNextSync();
   bytecodes follow...

对于最后一个，volatile 是变量的属性，而不是访问该变量的方法或 JVM 字节码的属性。如果您查看 javap 输出的顶部，您将看到以下内容：

int last;

volatile int lastVolatile;

如果/当 JIT 编译器将字节码编译为机器代码时，我确信生成的机器代码将有所不同最后一个方法。