多线程内存可见性

一、细说Java多线程之内存可见性(数据挣用)

        1、共享变量在线程间的可见性

               共享变量:如果一个变量在多个线程的工作内存中都存在副本,

                        那么这个变量就是这几个线程的共享变量

               可见性:一个线程对共享变量值的修改,能够及时的被其他线程看到

               Java内存模型(JMM,Java Memory Model):

                     描述了java程序中各种变量(线程共享变量)的访问规则,以及在JVM中将

                     变量存储到内存和从内存中读取出变量这样的底层细节。

                     所有的变量都存储在主内存中

                     每个线程都有自己独立的工作内存,里面保存该线程使用到的变量的副本

                     (主内存中该变量的一份拷贝)

                     

两条规定:

线程对共享变量的所有操作都必须在自己的工作内存(working memory,是cache和寄存器的一个抽象,而并不是内存中的某个部分,这个解释源于《Concurrent Programming in Java: Design Principles and Patterns, Second Edition》§2.2.7,原文:Every thread is defined to have a working memory (an abstraction of caches and registers) in which to store values. 有不少人觉得working memory是内存的某个部分,这可能是有些译作将working memory译为工作内存的缘故,为避免混淆,这里称其为工作存储,每个线程都有自己的工作存储)中进行,不能直接从相互内存中读写

                         不同线程之间无法直接访问其他线程工作内存中的变量,

                         线程间变量值得传递需要通过主内存来完成

                     共享变量可见性的实现原理

                         把工作内存1中更新过的共享变量刷新到主内存中

                         将主内存中最新的共享变量的值更新到工作内存2中

                     Java语言层面支持的可见性实现方式:

                         synchronized

                         volatile

                         final也可以保证内存可见性

        2、synchronized实现可见性

               可以实现互斥锁(原子性),即同步。但很多人都忽略其内存可见性这一特性

               JMM关于synchronized的两条规定:

                   线程解锁前,必须把共享变量的最新值刷新到主内存中

                   线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从内存中重新读取最新的值(注意:加锁与解锁需要是同一把锁)

                   线程解锁前对共享变量的修改在下棋甲所示对其他线程可见

               ·导致共享变量在线程间不可见的原因:

                      1.线程的交叉执行(保证原子性,使用synchronized关键字)

                      2.重排序结合线程交叉执行(原子性)

                      3.共享变量更新后的值没有在工作内存与主内存间及时更新(可见性)

               在Java运行过程中,执行引擎会尽量揣摩用户的意图,所以很多时候都会看到正确的结果,但是哪怕只有一次不可预期的结果出现影响也是非常大的,所以,在需要内存可见性的时候,我们一定要保证线程的安全

        3、volatile实现可见性

              ·指令重排序

                    代码书写的顺序与实际执行的顺序不同,指令冲排序是编译器或处理器

                    为了提高程序性能而做的优化

                       1.编译器优化的重排序(编译器优化)

                       2.指令级并行重排序(处理器优化)

                       3.内存系统的重排序(处理器优化)

                    重排序不会给单线程带来内存可见性的问题(因为as-if-serial语义)

                    多线程中程序交错执行时,重排序可能会造成内存可见性问题

              ·as-if-serial语义

                     无论怎样重排序,程序执行的结果应该玉带啊顺序执行的结果一致(Java

                   编译器、运行时和处理器都会保证Java在单线程下遵循as-if-serial语义)

              

              ·volatile关键字使用注意事项

                   1.能够保证volatile变量的可见性(原理与synchronized关键字原理差不多)

                        深入来说,通过加入内存屏障和禁止重排序优化来实现内存可见性。当对volatile变量执行写操作时,会在写操作后加入一条store屏障指令;当对volatile变量执行读操作时,会在读操作前加入一条load屏障指令

                   2.不能保证volatile变量复合操作的原子性

                         int num = 0;

                         num++;//++操作非原子操作,分3步执行

                         保证原子性的方法:

                              synchronized关键字

                              ReentrantLock可传入锁对象

                              AtomicInterger对象

                    3.volatile适用场合

                       在多线程中安全的使用volatile变量必须同时满足两个条件:

                       ①对变量的写入操作不依赖其当前值,如number++不可以,

                                                          boolean变量可以

                       ②该变量没有包含在具有其他变量的不变式中,如果有多个

                volatile变量,则每个volatile变量必须独立于其他的volatile变量

        4、synchronized和volatile比较

               volatile不需要加锁,比synchronized更轻量级,不会阻塞线程,效率更高

               从内存可见性角度讲,volatile读相当于加锁,volatile写相当于解锁

               synchronized技能保证可见性,又能保证原子性,而volatile只能保证可见性,不能保证原子性。

               如果能用volatile解决问题,还是应尽量使用volatile,因为它的效率更高 

      一个需要注意的点:

          问:即使没有保证可见性的措施,很多时候共享变量一人能够在主内存和工作内存见得到及时的更新?

          答:一般只有在短时间内高并发的情况下才会出现变量得不到及时更新的情况,因为CPU在执行时会很快的刷新缓存,所以一般情况下很难看到这种问题,而且也与硬件性能有很大的关系,所以,结果都是不可预测的,正式因为不可预测,所以我们才要保证线程的安全问题

          另:java中long、double是64位的,其读写会分成两次32位的操作,并不是原子操作,但很多商用虚拟机都进行了优化,所以,了解即可 

 

时间: 2024-12-27 21:15:21

多线程内存可见性的相关文章

java多线程 -- volatile 关键字 内存 可见性

内存可见性(Memory Visibility) 1 内存可见性(Memory Visibility)是指当某个线程正在使用对象状态而另一个线程在同时修改该状态,需要确保当一个线程修改了对象   状态后,其他线程能够看到发生的状态变化. 2 可见性错误是指当读操作与写操作在不同的线程中执行时,我们无法确保执行读操作的线程能适时地看到其他线程写入的值,有时甚至是根本不可能的事情.   我们可以通过同步来保证对象被安全地发布.除此之外我们也可以使用一种更加轻量级的 volatile 变量. vola

java多线程之内存可见性-synchronized、volatile

1.JMM:Java Memory Model(Java内存模型) 关于synchronized的两条规定: 1.线程解锁前,必须把共享变量的最新值刷新到主内存中 2.线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新读取最新的值(注意:加锁和解锁需要是同一把锁) 注:线程解锁前对共享变量的修改在下次加锁时对其他线程可见 2.线程执行互斥代码的过程: 1.获得互斥锁 2.清空工作内存 3.从主内存拷贝变量的最新副本到工作内存 4.执行代码 5.将更改后的共享变量的值刷

JavaSE学习53:细说多线程之内存可见性

一共享变量在线程间的可见性 (1)有关可见性的一些概念介绍 可见性:一个线程对共享变量值的修改,能够及实地被其他线程看到. 共享变量:如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是这几个线程的共享变量.所 有的变量都存储在主内存中. 线程的工作内存:每个线程都有自己独立的工作内存,里面保存该线程使用到的变量的副本(主内存中该变量的 一份拷贝). (2)数据争用问题 多个线程对同一资源操作时,通常会产生进程,比如一个线程往消息队列插入数据,而另一个线程从消息队列取 出数据 当消息队

java多线程与内存可见性

一.java多线程 JAVA多线程实现的三种方式: http://blog.csdn.net/aboy123/article/details/38307539 二.内存可见性 1.什么是JAVA 内存模型 共享变量 :如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是这几个线程的共享变量. Java Memory Model (JAVA 内存模型)描述线程之间如何通过内存(memory)来进行交互,描述了java程序中各种变量(线程共享变量)的访问规则,以及在JVM中将变量存储到内存

多线程(五)—— 内存可见性

一.可见性 多个线程对同一个变量(称为:共享变量)进行操作,但是这多个线程有可能被分配到多个处理器中运行,那么编译器会对代码进行优化,当线程要处理该变量时,多个处理器会将变量从主存复制一份分别存储在自己的存储器中,等到进行完操作后,再赋值回主存. 这样做的好处是提高了运行的速度,同样优化带来的问题之一是变量可见性——如果线程t1与线程t2分别被安排在了不同的处理器上面,那么t1与t2对于变量A的修改时相互不可见,如果t1给A赋值,然后t2又赋新值,那么t2的操作就将t1的操作覆盖掉了,这样会产生

Java多线程之内存可见性

1.什么是JAVA 内存模型 Java Memory Model (JAVA 内存模型)描述线程之间如何通过内存(memory)来进行交互. 具体说来, JVM中存在一个主存区(Main Memory或Java Heap Memory),对于所有线程进行共享,而每个线程又有自己的工作内存(Working Memory),工作内存中保存的是主存中某些变量的拷贝,线程对所有变量的操作并非发生在主存区,而是发生在工作内存中,而线程之间是不能直接相互访问,变量在程序中的传递,是依赖主存来完成的. Jav

Java多线程学习之路--内存可见性

什么叫内存可见性: 一个线程对共享变量值的修改,能够及时的被其他线程看到. 什么又叫共享变量: 如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是这几个线程的共享变量 在Java中,所有实例域.静态域和数组元素都存储在堆内存中,堆内存在线程之间共享. 局部变量(Local Variables),方法定义参数和异常处理器参数(不会在线程之间共享,它们不会有内存可见性问题,也不受内存模型的影响 对于Java内存模型,线程间的共享变量存储在主内存中,不同线程会在本地内存中,各自创建共享变量

并发编程之内存可见性

在上篇线程安全中,我们已经知道需要使用锁来同步管理对可变状态的访问操作.今天我们来看下并发编程的内存可见性问题. 同步代码块除了实现原子性或者临界区之外,其还保证了内存可见性,即保证其他线程可以看到状态的变化结果. private static boolean stop =false; private static int number = 0; public static class ReaderThread extends Thread { public void run() { while

1 Java线程的内存可见性

Java内存的可见性 可见性: 一个线程对共享变量的修改,能够及时被其它线程看到 共享变量: 如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是这几个线程的共享变量 Java内存模型(JMM): 描述了Java程序中各种线程共享变量的访问规则,以及在JVM中将线程共享变量存储到内存和从内存中读取出线程共享变量这样的底层细节 上面这些规则都是针对线程的共享变量的,JMM的细节会在以后的博客里面写. 本篇只需要知道 1 所有的变量都存储在主内存中 2 每个线程都有自己独立的工作内存,里面