JVM内存模型来解释多线程并发常见问题和volilate,final,ThreadLocal

本贴最后更新于 3361 天前,其中的信息可能已经物是人非
  • 多核CPU运行时,每个CPU都会有自己的Cache,同样jvm运行时,每个线程的私有栈在使用共享数据时,都会现将共享数据拷贝进栈顶进行运算,这份数据其实是副本,因此也同样存在多个线程修改一个内存单元的一致性问题。
  • JVM有自己的一套内存模型(Java memory model,JMM)。JDK1.2开始有,JDK1.5(JSR-133)才逐渐成熟。JMM中将JVM内存分为“主存”和“工作内存”。 
    • Main memory,主存,堆内存就是Java对象使用的区域,JMM中定义它为主存。多线程数据一致性问题多发生在这里。
    • working memory ,工作内存,栈空间内部应当包含局部变量,对象的引用,操作数栈,当前方法的常量池指针,当前方法的返回地址等信息,这块空间最接近CPU运算,也是每个线程的私有空间,当调用方法时将给该私有栈分配空间,方法返回时回收栈空间,
    • 工作内存和主存之间会采用read/write的方式进行通信,,当工作内存中的数据需要计算时,它会发生load/store操作,load通常是将本地变量推至栈顶,用来给cpu调度,而store就是将栈顶数据写入本地变量。
    • load操作发生在read之后,普通变量修改未必立即发生Store,但是发生store就会发生write操作。
  • 可见性问题,同一个对象,一个线程将该对象的属性修改后,另一个线程看不到该属性被修改的结果,或者是未必能马上看到,这种可用volatile修饰属性解决。
  • 指令重排序问题,Java编译器在编译Java代码时,对虚指令重排序,也可以是cpu对目标指令重排序,它们的目的是为了高效
public  boolean inited;
private  int a;
public void init(){
    int a = 11;
    inited = true;//实际运行时可能被重排,inited的赋值在a之前.多线程判断时就肯能出问题,inited为true但是a还没有赋值。
}


  • 4字节赋值问题,jvm中允许对一个非volilate的64位(8字节)变量赋值时,分解成两个32位(4字节)完成,并不是必须一次性完成。如果变量是long或double类型的数据,赋值给32位后,正好被另一个线程读取,那么读出来的数就是不可预见的结果。
  • 非安全的发布,对象的初始化需要时间,一个线程初始化a对象,另一个线程来使用时,可能a对象还没有初始操作,拿到的就是空指针,另一种就是,a对象没有初始化完成,这个对象空间可能已经创建, 但是内部属性的初始还要时间,这是由于JMM中并没有要求普通属性的赋值,必须发生在构造方法return语句之前。然后程序访问了还没有准备好的内容,一个数据再给多线程使用时,要保证线程安全很难,简单的数据可以用final或者用数据拷贝,或者返回不允许修改的代理如集合提供的unmodifiableList(List)。
  • volilate:誉为最轻量级的锁,volilate变量也会像普通变量那样从主存拷贝到各个线程中去操作,区别在于它要求实现storeLoad指令屏障(load前先store)。 
    • 第一个作用保证多线程中共享变量始终可见,但引用对象内部的属性不能保证。
    • JDK1.5后对volilate增强,要求对volilate变量操作时,前后的指令在某种情况下不允许重排序,达到指令级别的轻量级锁,还有就是之前的4字节问题,必须一次性赋值
  • final:JMM中要求final的初始化动作必须在构造方法return前完成。
  • 栈封闭:也就是线程操作的数据都是私有的,不会与其他线程共享。web容器提供给我们的request和response对象就是私有的,因为它不会被其他线程占用,线程绝对安全。想要达到栈封闭的使用数据,除了局部变量外,还可以使用ThreadLocal,它本身可以被多个线程共享使用,又可以达到线程安全的目的。 
  • 用Thread的 ThreadLocal.ThreadLocalMap全局属性,保存线程-数据的键值对。 
    用完后一定要remove,因为如果是线程池,那么线程的生命周期不可预测。
/**
     * Sets the current thread's copy of this thread-local variable
     * to the specified value.  Most subclasses will have no need to
     * override this method, relying solely on the {@link #initialValue}
     * method to set the values of thread-locals.
     *
     * @param value the value to be stored in the current thread's copy of
     *        this thread-local.
     *  
     */
    public void set(T value) {
        Thread t = Thread.currentThread();
        ThreadLocalMap map = getMap(t);
        if (map != null)
            map.set(this, value);
        else
            createMap(t, value);
    }
    /**
     * Returns the value in the current thread's copy of this
     * thread-local variable.  If the variable has no value for the
     * current thread, it is first initialized to the value returned
     * by an invocation of the {@link #initialValue} method.
     *
     * @return the current thread's value of this thread-local
     */
    public T get() {
        Thread t = Thread.currentThread();
        ThreadLocalMap map = getMap(t);
        if (map != null) {
            ThreadLocalMap.Entry e = map.getEntry(this);
            if (e != null)
                return (T)e.value;
        }
        return setInitialValue();
    }
 /**
     * Get the map associated with a ThreadLocal. Overridden in
     * InheritableThreadLocal.
     *
     * @param  t the current thread
     * @return the map
     */
    ThreadLocalMap getMap(Thread t) {
        return t.threadLocals;
    }
  • 线程
    123 引用 • 111 回帖 • 3 关注
  • Java

    Java 是一种可以撰写跨平台应用软件的面向对象的程序设计语言,是由 Sun Microsystems 公司于 1995 年 5 月推出的。Java 技术具有卓越的通用性、高效性、平台移植性和安全性。

    3201 引用 • 8217 回帖

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...
  • someone

    评论悲剧了?

  • 其他回帖
  • someone

    是的[em00]

  • someone

    可以从jvm内存分区特性来分析线程安全问题的本质[em01] 刚刚写了一大堆结果提交失败,还把我的评论清空了。。。2次!!![em03]

  • blague

    👍 从这个角度解释我觉得比较清晰。

推荐标签 标签

  • 智能合约

    智能合约(Smart contract)是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约允许在没有第三方的情况下进行可信交易,这些交易可追踪且不可逆转。智能合约概念于 1994 年由 Nick Szabo 首次提出。

    1 引用 • 11 回帖 • 1 关注
  • FreeMarker

    FreeMarker 是一款好用且功能强大的 Java 模版引擎。

    23 引用 • 20 回帖 • 468 关注
  • Solidity

    Solidity 是一种智能合约高级语言,运行在 [以太坊] 虚拟机(EVM)之上。它的语法接近于 JavaScript,是一种面向对象的语言。

    3 引用 • 18 回帖 • 443 关注
  • 以太坊

    以太坊(Ethereum)并不是一个机构,而是一款能够在区块链上实现智能合约、开源的底层系统。以太坊是一个平台和一种编程语言 Solidity,使开发人员能够建立和发布下一代去中心化应用。 以太坊可以用来编程、分散、担保和交易任何事物:投票、域名、金融交易所、众筹、公司管理、合同和知识产权等等。

    34 引用 • 367 回帖
  • Sym

    Sym 是一款用 Java 实现的现代化社区(论坛/BBS/社交网络/博客)系统平台。

    下一代的社区系统,为未来而构建

    524 引用 • 4601 回帖 • 710 关注
  • Thymeleaf

    Thymeleaf 是一款用于渲染 XML/XHTML/HTML5 内容的模板引擎。类似 Velocity、 FreeMarker 等,它也可以轻易的与 Spring 等 Web 框架进行集成作为 Web 应用的模板引擎。与其它模板引擎相比,Thymeleaf 最大的特点是能够直接在浏览器中打开并正确显示模板页面,而不需要启动整个 Web 应用。

    11 引用 • 19 回帖 • 393 关注
  • Flume

    Flume 是一套分布式的、可靠的,可用于有效地收集、聚合和搬运大量日志数据的服务架构。

    9 引用 • 6 回帖 • 662 关注
  • Logseq

    Logseq 是一个隐私优先、开源的知识库工具。

    Logseq is a joyful, open-source outliner that works on top of local plain-text Markdown and Org-mode files. Use it to write, organize and share your thoughts, keep your to-do list, and build your own digital garden.

    7 引用 • 69 回帖 • 8 关注
  • flomo

    flomo 是新一代 「卡片笔记」 ,专注在碎片化时代,促进你的记录,帮你积累更多知识资产。

    6 引用 • 143 回帖
  • 链书

    链书(Chainbook)是 B3log 开源社区提供的区块链纸质书交易平台,通过 B3T 实现共享激励与价值链。可将你的闲置书籍上架到链书,我们共同构建这个全新的交易平台,让闲置书籍继续发挥它的价值。

    链书社

    链书目前已经下线,也许以后还有计划重制上线。

    14 引用 • 257 回帖
  • jsDelivr

    jsDelivr 是一个开源的 CDN 服务,可为 npm 包、GitHub 仓库提供免费、快速并且可靠的全球 CDN 加速服务。

    5 引用 • 31 回帖 • 110 关注
  • Mobi.css

    Mobi.css is a lightweight, flexible CSS framework that focus on mobile.

    1 引用 • 6 回帖 • 765 关注
  • NGINX

    NGINX 是一个高性能的 HTTP 和反向代理服务器,也是一个 IMAP/POP3/SMTP 代理服务器。 NGINX 是由 Igor Sysoev 为俄罗斯访问量第二的 Rambler.ru 站点开发的,第一个公开版本 0.1.0 发布于 2004 年 10 月 4 日。

    315 引用 • 547 回帖
  • CSDN

    CSDN (Chinese Software Developer Network) 创立于 1999 年,是中国的 IT 社区和服务平台,为中国的软件开发者和 IT 从业者提供知识传播、职业发展、软件开发等全生命周期服务,满足他们在职业发展中学习及共享知识和信息、建立职业发展社交圈、通过软件开发实现技术商业化等刚性需求。

    14 引用 • 155 回帖 • 1 关注
  • Outlook
    1 引用 • 5 回帖 • 2 关注
  • 宕机

    宕机,多指一些网站、游戏、网络应用等服务器一种区别于正常运行的状态,也叫“Down 机”、“当机”或“死机”。宕机状态不仅仅是指服务器“挂掉了”、“死机了”状态,也包括服务器假死、停用、关闭等一些原因而导致出现的不能够正常运行的状态。

    13 引用 • 82 回帖 • 78 关注
  • Love2D

    Love2D 是一个开源的, 跨平台的 2D 游戏引擎。使用纯 Lua 脚本来进行游戏开发。目前支持的平台有 Windows, Mac OS X, Linux, Android 和 iOS。

    14 引用 • 53 回帖 • 564 关注
  • Ruby

    Ruby 是一种开源的面向对象程序设计的服务器端脚本语言,在 20 世纪 90 年代中期由日本的松本行弘(まつもとゆきひろ/Yukihiro Matsumoto)设计并开发。在 Ruby 社区,松本也被称为马茨(Matz)。

    7 引用 • 31 回帖 • 264 关注
  • Follow
    4 引用 • 12 回帖 • 4 关注
  • ActiveMQ

    ActiveMQ 是 Apache 旗下的一款开源消息总线系统,它完整实现了 JMS 规范,是一个企业级的消息中间件。

    19 引用 • 13 回帖 • 683 关注
  • 招聘

    哪里都缺人,哪里都不缺人。

    188 引用 • 1057 回帖
  • 学习

    “梦想从学习开始,事业从实践起步” —— 习近平

    172 引用 • 540 回帖
  • Hprose

    Hprose 是一款先进的轻量级、跨语言、跨平台、无侵入式、高性能动态远程对象调用引擎库。它不仅简单易用,而且功能强大。你无需专门学习,只需看上几眼,就能用它轻松构建分布式应用系统。

    9 引用 • 17 回帖 • 642 关注
  • CodeMirror
    2 引用 • 17 回帖 • 173 关注
  • 大数据

    大数据(big data)是指无法在一定时间范围内用常规软件工具进行捕捉、管理和处理的数据集合,是需要新处理模式才能具有更强的决策力、洞察发现力和流程优化能力的海量、高增长率和多样化的信息资产。

    89 引用 • 113 回帖 • 2 关注
  • 又拍云

    又拍云是国内领先的 CDN 服务提供商,国家工信部认证通过的“可信云”,乌云众测平台认证的“安全云”,为移动时代的创业者提供新一代的 CDN 加速服务。

    20 引用 • 37 回帖 • 573 关注
  • CongSec

    本标签主要用于分享网络空间安全专业的学习笔记

    1 引用 • 1 回帖 • 37 关注