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

1、JMM:Java Memory Model(Java内存模型)

关于synchronized的两条规定:

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

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

 注:线程解锁前对共享变量的修改在下次加锁时对其他线程可见

2、线程执行互斥代码的过程:

  1、获得互斥锁

  2、清空工作内存

  3、从主内存拷贝变量的最新副本到工作内存

  4、执行代码

  5、将更改后的共享变量的值刷新到主内存

  6、释放互斥锁

名词概念

  1、重排序:代码书写的顺序与实际实行的顺序不同;指令重排序是编译器或处理器为了提高程序性能而做的优化。

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

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

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

  2、as-if-serial:无论如何重排序,程序执行的结果应该与代码顺序执行的结果一致(Java编译器、运行时和处理器都会保证Java在单线程下遵循as-if-serial语义)

  注:

    1、重排序不会给单线程带来内存可见性问题

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

可见性分析

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

    1、线程的交叉执行

    2、重排序结合线程交叉执行

    3、共享变量更新后的值没有在工作内存与主内存间及时更新

-------------------------------------------------------------------------------------------------------------

volatile实现可见性

1、volatile关键字:

  1、能够保证volatile变量的可见性

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

2、volatile如何实现内存可见性:

  深入来说:通过加入内存屏障和禁止重排序优化来实现的。

    1、对volatile变量执行写操作时,会在写操作后加入一条store屏障指令

    2、对volatile变量执行读操作时,会在读操作前加入一条load屏障指令

  通俗的讲:volatile变量在每次被线程访问时,都强迫从主内存中重读该变量的值,而当该变量发生变化时,又会强迫线程将最新的值刷新到主内存。这样任何时刻,不同的线程总能看到该变量的最新值。

3、线程写volatile变量的过程:

    1、改变线程工作内存中volatile变量副本的值

    2、将改变后的副本的值从工作内存刷新到主内存

  线程读volatile变量的过程:

    1、从主内存中读取volatile变量的最新值到线程的工作内存中

    2、从工作内存中读取volatile变量的副本

4、要在多线程中安全的使用volatile变量,必须同时满足:

  1、对变量的写入操作不依赖其当前值

  2、该变量没有包含在具有其他变量的不变式中

5、保证number自增操作的原子性:

  1、使用synchronized关键字

  2、使用ReentrantLock(java.util.concurrent.locks包下)

  3、使用AtomicInteger(java.util.concurrent.atomic包下)

----------------------------------------------------------------------------------------------------------------------

6、、synchronized和volatile比较

  1、volatile不需要加锁,比synchronized更轻量级,不会阻塞线程

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

  3、synchronized既能保证可见性,又能保证原子性,而volatile只能保证可见性,无法保证原子性

时间: 2024-10-05 11:36:50

java多线程之内存可见性-synchronized、volatile的相关文章

java多线程与内存可见性

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

Java多线程之内存可见性

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

细说Java多线程之内存可见性

可见性:一个线程对共享变量值的修改,能够及时地被其他线程看到. 共享变量:如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是这几个线 程的共享变量. Java内存模型: 线程对共享变量操作的规定: 共享变量可见性实现的原理: 可见性的必要条件: 可见性的实现方式:(final也可以) 线程执行互斥代码的过程: 重排序的概念: as-if-serial的概念: 导致共享变量在线程间不可见的原因: 可见性分析: 当一个线程访问object的一个sysnchronized(this)同步代

细说Java多线程支内存可见性

一.共享变量在线程间的可见性 可见性:一个线程对共享变量值的修改,能够及时地被其他线程看到. 共享变量:如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是几个线程的共享变量. Java内存模型(Java Memory Model):描述了Java程序中各种变量(线程共享变量)的访问规则,以及在JVM中将变量存储到内存和从内存中读取出变量这样的底层细节. Java内存模型(JVM):● 所有的变量都存储在主内存中.● 每个线程都有自己独立的工作内存,里面保存该线程使用到的变量的副本(主

java多线程03-----------------volatile内存语义

java多线程02-----------------volatile内存语义 volatile关键字是java虚拟机提供的最轻量级额的同步机制.由于volatile关键字与java内存模型相关,因此,我们在介绍volatile关键字之前,对java内存模型进行更多的补充(之前的博文也曾介绍过). 1. java内存模型(JMM) JMM是一种规范,主要用于定义共享变量的访问规则,目的是解决多个线程本地内存与共享内存的数据不一致.编译器处理器的指令重排序造成的各种线程安全问题,以保障多线程编程的原

Java 多线程(六) synchronized关键字详解

Java 多线程(六) synchronized关键字详解 多线程的同步机制对资源进行加锁,使得在同一个时间,只有一个线程可以进行操作,同步用以解决多个线程同时访问时可能出现的问题. 同步机制可以使用synchronized关键字实现. 当synchronized关键字修饰一个方法的时候,该方法叫做同步方法. 当synchronized方法执行完或发生异常时,会自动释放锁. 下面通过一个例子来对synchronized关键字的用法进行解析. 1.是否使用synchronized关键字的不同 例子

1 Java线程的内存可见性

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

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

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

JAVA多线程基础学习三:volatile关键字

Java的volatile关键字在JDK源码中经常出现,但是对它的认识只是停留在共享变量上,今天来谈谈volatile关键字. volatile,从字面上说是易变的.不稳定的,事实上,也确实如此,这个关键字的作用就是告诉编译器,只要是被此关键字修饰的变量都是易变的.不稳定的.那为什么是易变的呢?因为volatile所修饰的变量是直接存在于主内存中的,线程对变量的操作也是直接反映在主内存中,所以说其是易变的. 一.Java内存模型 Java内存模型规定所有的变量都是存在主存当中(类似于前面说的物理