jvm线程字节码指令执行示例

java线程工作内存在栈中吗_JVM学习笔记——java内存模型_大内义兴的博客-CSDN博客

概述

JVM规范希望定义一套java内存模型(java memory model，JMM)，使得java程序在不同的硬件平台下面都能展现出一致的内存访问机制。

java内存模型规定所有变量保存在主内存中，每个线程有自己的工作内存。线程的工作内存中保存了该线程使用到的变量的主内存拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量。不同的线程之间无法直接访问对方的工作内存，需通过主内存才能进行变量的传递。java内存模型围绕原子性、有序性、可见性三个方面展开。

内存间交互操作

关于变量在工作内存和主内存之间的传递，java内存模型定义了以下8种原子操作：

lock：作用于主内存变量

unlock：作用于主内存变量

read：作用于主内存变量

load：作用于工作内存变量

use：作用工作内存变量

assign：作用于工作内存变量

store：作用于工作内存变量

write：作用于主内存变量

JVM保证了以上8种操作的原子性。这8种操作还有一些特殊的规则：

volatile变量保证了可见性与有序性，volatile变量的操作也需要遵循一些特殊的规则：

先行发生原则：

基于栈的指令

JVM指令是基于栈的指令架构，与之相对的是基于寄存器的指令，如x86平台。基于栈的指令集的优点是可移植，缺点是执行速度慢。

下面的基于栈的指令例子中，也有load、store等操作，这些属于工作内存中的操作，与内存之间的那8种原子操作不一样。

我们可以使用javap -c去获取java代码的字节码。字节码是运行在JVM上的指令。我们翻译一段简单的程序。看看基于栈的指令是如何工作的。

public int calc() {undefined

int a = 100;

int b = 200;

int c = 300;

return (a+b)*c;

}

public int calc();

Code:

0: bipush 100

2: istore_1

3: sipush 200

6: istore_2

7: sipush 300

10: istore_3

11: iload_1

12: iload_2

13: iadd

14: iload_3

15: imul

16: ireturn

volatile的JVM指令

我试着去比较带volatile的程序和不带volatile的程序，javap之后显示，它们的字节码是没有区别的。如果我们再深入一层去看JIT之后的跟CPU强相关的指令，应该会发现不同。