Java内存模型

最新推荐文章于 2025-05-10 19:00:00 发布

原创最新推荐文章于 2025-05-10 19:00:00 发布 · 117 阅读

1 ·

CC 4.0 BY-SA版权

Java并发性和线程专栏收录该内容

13 篇文章

订阅专栏

参考URL：Java并发性和多线程介绍

1.堆栈存放：

（1）一个本地变量可能是原始类型，在这种情况下，它总是“呆在”线程栈上；

（2）一个本地变量也可能是指向一个对象的一个引用。在这种情况下，引用（这个本地变量）存放在线程栈上，但是对象本身存放在堆上。

（3）一个对象的成员变量可能随着这个对象自身存放在堆上。不管这个成员变量是原始类型还是引用类型。

（4）静态成员变量跟随着类定义一起也存放在堆上。

总结：本地变量原始类型都在栈上；成员变量可能存在在堆上，不管是原始类型还是引用类型。

2.Java内存模型

如果有两个线程同时执行MyRunnable中的run()方法，就会出现上面JVM内存模型图中所示的情景。

public class MySharedObject {

    public static final MySharedObject sharedInstance =
        new MySharedObject();

    public Integer object2 = new Integer(22);
    public Integer object4 = new Integer(44);

    public long member1 = 12345;
    public long member2 = 67890;
}

public class MyRunnable implements Runnable(){

    public void run() {
        methodOne();
    }

    public void methodOne() {
        int localVariable1 = 45;

        MySharedObject localVariable2 =
            MySharedObject.sharedInstance;
        methodTwo();
    }

    public void methodTwo() {
        Integer localVariable = new Integer(99);
    }
}

（1）run() 调用methodOne()，methodOne() 调用methodTwo()。

（2）methodOne() 声明了一个原始类型的本地变量和一个引用类型的本地变量。

（3）每个线程执行methodOne() 都会在它们对应的线程栈上创建localVariable1 和localVariable2 的拷贝。localVariable1 拷贝的是它的副本，是线程安全的；localVariable2 拷贝的是它的对象引用，不一定线程安全的。

（4）然而，localVariable2的不同拷贝都指向堆上的同一个对象。代码中static final修饰的sharedInstance静态变量永远只有一个，它保存在堆上。localVariable2的两份拷贝都指向由MySharedObject指向的静态变量的同一个实例，MySharedObject实例也存放在堆上，对应图中Object3。

（5）MySharedObject中包含了两个原始类型成员变量、两个引用类型成员变量。注意，成员变量跟随其对象MySharedObject存放在堆上，两个long型原始类型成员变量也存放在堆上。两个引用类型成员变量指向另外两个Integer对象，对应图中Object2和Obejct4。

（6）methodTwo() 创建了localVariable 的本地变量，指向一个新的Integer实例，两个线程执行则存放两个不同的拷贝，对应图中Object1和Object5。