Java多线程基础（二）——Java内存模型

huhud 发布于2019-08-16 12:39 / 1855人阅读

摘要：一主存储器与工作存储器内存模型分为主存储器和工作存储器两种。工作存储器每个线程各自独立所拥有的作业区，在中，存有中的部分拷贝，称之为工作拷贝。注意线程欲退出时，不会执行工作存储器的释放操作。

一、主存储器与工作存储器

Java内存模型（memory model）分为主存储器（main memory）和工作存储器（working memory）两种。

主存储器（main memory）：
类的实例所存在的区域，main memory为所有的线程所共享。

工作存储器（working memory）：
每个线程各自独立所拥有的作业区，在working memory中，存有main memory中的部分拷贝，称之为工作拷贝（working copy）。

二、字段的使用 2.1 字段的引用

线程无法直接对主存储器进行操作，当线程需要引用实例的字段的值时，会一次将字段值从主存储器拷贝到工作存储器上（相当于上图中的read->load）。
当线程再次需要引用相同的字段时，可能直接使用刚才的工作拷贝（use），也可能重新从主存储器获取（read->load->use）。
具体会出现哪种情况，由JVM决定。

2.2 字段的赋值

由于线程无法直接对主存储器进行操作，所以也就无法直接将值指定给字段。
当线程欲将值指定给字段时，会一次将值指定给位于工作存储器上的工作拷贝（assign），指定完成后，工作拷贝的内容便会复制到主存储器（store->write），至于何时进行复制，由JVM决定。
因此，当线程反复对一个实例的字段进行赋值时，可能只会对工作拷贝进行指定（assign），此时只有指定的最后结果会在某个时刻拷贝到主存储器（store-write）；也可能在每次指定时，都进行拷贝到主存储器的操作（assign->store->write）。

三、线程的原子操作

Java语言规范定义了线程的六种原子操作：

read
负责从主存储器（main memory）拷贝到工作存储器（working memory）

write
与上述相反，负责从工作存储器（working memory）拷贝到主存储器（main memory）

use
表示线程引用工作存储器（working memory）的值

assign
表示线程将值指定给工作存储器（working memory）

lock
表示线程取得锁定

unlock
表示线程解除锁定

四、synchronied的本质 4.1 线程欲进入synchronized

线程欲进入synchronized时，会执行以下两类操作：

强制写入主存储器（main memory）

当线程欲进入synchronized时，如果该线程的工作存储器（working memory）上有未映像到主存储器的拷贝，则这些内容会强制写入主存储器（store->write），则这些计算结果就会对其它线程可见（visible）。

工作存储器（working memory）的释放

当线程欲进入synchronized时，工作存储器上的工作拷贝会被全部丢弃。之后，欲引用主存储器上的值的线程，必定会从主存储器将值拷贝到工作拷贝（read->load）。

4.2 线程欲退出synchronized

线程欲退出synchronized时，会执行以下操作：

强制写入主存储器（main memory）

当线程欲退出synchronized时，如果该线程的工作存储器（working memory）上有未映像到主存储器的拷贝，则这些内容会强制写入主存储器（store->write），则这些计算结果就会对其它线程可见（visible）。

注意：线程欲退出synchronized时，不会执行工作存储器（working memory）的释放操作。

五、volatile的本质

volatile具有以下两种功能：

进行内存同步

volatile只能做内存同步，不能取代synchronized关键字做线程同步。
当线程欲引用volatile字段的值时，通常都会发生从主存储器到工作存储器的拷贝操作；相反的，将值指定给写着volatile的字段后，工作存储器的内容通常会立即映像到主存储器

以原子（atomic）方式进行long、double的指定

六、Double Checked Locking Pattern的危险性 6.1 可能存在缺陷的单例模式

设计模式中有一种单例模式（Singleton Pattern），通常采用锁来保证线程的安全性。

Main类：

//两个Main线程同时调用单例方法getInstance
public class Main extends Thread {
    public static void main(String[] args) {
        new Main().start();
        new Main().start();
    }
    public void run() {
        System.out.println(Thread.currentThread().getName() + ":" + MySystem.getInstance().getDate());
    }
}

单例类：

//采用延迟加载+双重锁的形式保证线程安全以及性能
public class MySystem {
    private static MySystem instance = null;
    private Date date = new Date();
 
    private MySystem() {
    }
    public Date getDate() {
        return date;
    }
    public static MySystem getInstance() {
        if (instance == null) {
            synchronized (MySystem.class) {
                if (instance == null) {
                    instance = new MySystem();
                }
            }
        }
        return instance;
    }
}

分析：
上述Main类的MySystem.getInstance().getDate()调用可能返回null或其它值。
假设有两个线程A和B，按照以下顺序执行：

当线程A执行完A-4且未退出synchronized时，线程B开始执行，此时B获得了A创建好的instance实例。
但是注意，此时instance实例可能并未完全初始化完成。
这是因为线程A制作MySystem实例时，会给date字段指定值new Date()，此时可能只完成了assign操作（线程A对工作存取器上的工作拷贝进行指定），在线程A退出synchronized时，线程A的工作存储器上的值不保证一定会映像到主存储器上（store->write）。

所以，当线程B在线程A退出前就调用MySystem.getInstance().getDate()方法的话，由于主存储器上的date字段并未被赋值过，所以B得到的date字段就是未初始化过的。

注意：上面描述的这种情况是否真的会发生，取决于JVM，由Java语言规范决定。

解决方法：
采用懒加载模式，在MySystem类中直接为instance 字段赋值：
private static MySystem instance = new MySystem();

云服务器 GPU云服务器 java内存模型 java多线程多线程调试 java java多线程分发

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/71490.html

深入理解Java内存模型（一）——基础

摘要：线程之间的通信由内存模型本文简称为控制，决定一个线程对共享变量的写入何时对另一个线程可见。为了保证内存可见性，编译器在生成指令序列的适当位置会插入内存屏障指令来禁止特定类型的处理器重排序。并发编程模型的分类在并发编程中，我们需要处理两个关键问题：线程之间如何通信及线程之间如何同步（这里的线程是指并发执行的活动实体）。通信是指线程之间以何种机制来交换信息。在命令式编程中，线程之间的...

jsdt 2019-08-14 11:42 评论0 收藏0
深入理解Java内存模型（二）——重排序

摘要：前情提要深入理解内存模型一基础编译器运行时会对指令进行重排序。以处理器的猜测执行为例，执行线程的处理器可以提前读取并计算，然后把计算结果临时保存到一个名为重排序缓冲的硬件缓存中。请看下篇深入理解内存模型三顺序一致性前情提要深入理解Java内存模型（一）——基础 Java编译器、运行时会对指令进行重排序。这种重排序在单线程和多线程情况下分别有什么影响呢？数据依赖性如果两个操...

tunny 2019-08-14 16:02 评论0 收藏0
Java面试 32个核心必考点完全解析

摘要：如问到是否使用某框架，实际是是问该框架的使用场景，有什么特点，和同类可框架对比一系列的问题。这两个方向的区分点在于工作方向的侧重点不同。 [TOC] 这是一份来自哔哩哔哩的Java面试Java面试 32个核心必考点完全解析（完）课程预习 1.1 课程内容分为三个模块基础模块：技术岗位与面试计算机基础 JVM原理多线程设计模式数据结构与算法应用模块：常用工具集 ...

JiaXinYi 2019-08-16 16:53 评论0 收藏0
Week 1 - Java 多线程 - Java 内存模型

摘要：目的是解决由于多线程通过共享内存进行通信时，存在的原子性可见性缓存一致性以及有序性问题。最多只有一个线程能持有锁。线程加入规则对象的结束先行发生于方法返回。前言学习情况记录时间：week 1 SMART子目标：Java 多线程学习Java多线程，要了解多线程可能出现的并发现象，了解Java内存模型的知识是必不可少的。对学习到的重要知识点进行的记录。注：这里提到的是Ja...

zhaofeihao 2019-08-16 18:30 评论0 收藏0
程序语言

摘要：一面应该还问了其他内容，但是两次面试多线程面试问题和答案采访中，我们通常会遇到两个主题采集问题和多线程面试问题。多线程是关于并发和线程的。我们正在共享重要的多线程面试问题和答案。。 2016 年末，腾讯，百度，华为，搜狗和滴滴面试题汇总 2016 年未，腾讯，百度，华为，搜狗和滴滴面试题汇总【码农每日一题】Java 内部类(Part 2)相关面试题关注一下嘛，又不让你背锅！问：Ja...

mtunique 2019-08-15 13:53 评论0 收藏0