首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

深度好文 | Java 重入锁内存可见性分析

就是通过重入锁的保护并行对共享变量进行自增。 突然想到一个问题:共享变量 count 没有加 volatile 修饰,那么在并发自增的过程当中是如何保持内存立即可见的呢?...几个概念 Java Memory Model (JMM) 即 Java 内存模型,直接引用 wiki 定义: "The Java memory model describes how threads in...the Java programming language interact through memory....Happens-before 对于 volatile 关键字大家都比较熟悉,该关键字确保了被修饰变量的内存可见性。...总结 针对本文开头提出的内存可见性问题,有着一系列的技术依赖关系才得以实现:count++ 可见性 → volatile 的 happens-before 原则 → volatile 底层 LOCK prefix

1.1K20

Java内存模型之可见性分析

线程通信产生数据竞争 简要的源代码 // constant.java final int P = 10; final int C = 20; // shared.java int pwrite = 0;...int cwrite = 0; // producer.java int pread = 0; public void run(){ pread = cwrite; // 生产者线程需要消费者线程cwrite...的数据 pwrite = P; } // consumer.java int cread = 0; public void run(){ cread = pwrite;// 消费者线程需要生产者线程的...JMM可见性解决方案 线程之工作内存 JMM抽象之工作内存(线程本地内存) 线程栈中的存储的变量,如局部变量,方法参数,异常处理参数等 CPU高速缓存 线程,工作内存,JMM与主内存 ?...从上述可知,在JVM运行数据区中,工作内存与主内存是通过JMM模型规范来完成彼此之间的数据交互,因此可以通过JMM定义的内存语义规范来提供数据变量的可见性 基于缓存问题解决方案 JMM规范规定使用针对的技术手段时

58640
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    Java多线程--对象的可见性

    最近在看《Java并发编程实战》,并发方面的知识,今天看到了对象的可见性,在这里分享一下。   ...因为我们在执行某一线程的读操作的时候,其实并不知道是否有其他线程正在进行写操作,所以我们上面说到的可见性就在这里展开命题,我读操作的时候要知道另一个线程在写操作,这就是线程的安全性。...注意访问Volatile 并不会加锁,因此也就不会阻塞了,虽然性能上比Synchronized轻量级,但是牺牲了可见性,具体的不同我们在下一篇进行讲解。   ...加锁机制可以确保可见性和原子性。而Volatile 只确保可见性。   当满足下面情况才使用Volatile : 对变量的操作不依赖当前的值。就是比如i++ 该变量不会是不可变类型。

    79140

    Java内存模型(可见性有序性)

    摘要 本文的主题是Java内存模型的可见性,主要解决以下几个问题: 什么是可见性 什么是有序性 指令重排序 如何保证线程间有序性 先行发生原则 volatile关键字 synchronized关键字...概念 1.1 什么可见性见性是指当一个线程修改了共享变量的值以后,其他线程可以立即得知这个修改。...这两个关键字我们放在后面单独讲(毕竟可见性、有序性都和他们有关)。 除了上述两个关键字,Java语言中有一个先行发生原则,这个原则是判断数据是否存在竞争,线程是否安全的主要依据。...volatile关键字之所以能保证可见性、有序性,是因为Java内存模型对volatile修饰的变量使用有着以下规则: 对volatile变量的use操作前必须要有load操作,对volatile变量的...本期的Java内存模型可见性-有序性介绍到这,我是shysh95,顺手关注+在看,我们下期再见!!!

    42020

    关于Java变量的可见性问题

    摘要:关于java变量在工作内存和主存中的可见性问题 正文: package com.test;import java.util.concurrent.TimeUnit; public class...涉及知识解释 volatile:此关键字保证了变量在线程的可见性,所有线程访问由volatile修饰的变量,都必须从主存中读取后操作,并在工作内存修改后立即写回主存,保证了其他线程的可见性,同样效果的关键字还有...synchronized:所有同步操作都必须保证 1、原子性 2、可见性,所以在同步块中发生的变化会立马写回主存 sleep:此方法只会让出CPU执行时间,并不会释放锁。...在CPU资源一直被占用的时候,工作内存与主内存中间的同步,也就是变量的可见性就会不那么及时!后面会验证结论。 Q2:为什么取消注释中的任何一个代码块(1,2,3),程序才会终止?...,事实上我们前面说了synchronized只会保证在同步块中的变量的可见性,而is变量并不在该同步块中,所以显然不是这个导致的。

    1K50

    内存可见性

    Java内存模型要求变量的读取和写入必须是原子操作,但对于非volatile类型的64位数值变量,JVM允许将64位的操作分解为 两个32位的操作。...Volatile变量的正确使用方式包括: 确保它们自身状态的可见性; 确保它们所引用对象的状态的可见性; 标记一些重要的程序生命周期事件的发生。...,而volatile变量只能保证可见性。...Volatile变量在各个线程中不存在不一致问题(各个线程的工作内存中volatile可以不一致,但由于每次使用都会先刷新,执行引擎看不到不一致的情况),但Java中的运算是非原子性的,导致volatile...由于volatile变量只能保证可见性,在不符合以下两条规则的运算场景下,仍然需要通过加锁(使用synchronized或java.util.concurrent中的原子类)来保证原子性: 运算结果并不依赖变量的当前值

    83220

    Java多线程的可见性与有序性

    多线程的可见性 一个线程对共享变量值的修改,能够及时的被其他线程看到。 共享变量 如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是这几个线程的共享变量。...Java内存模型 JMM(Java Memory Model,简称JMM)描述了Java程序中各种变量(线程共享变量)的访问规则,以及在JVM中将变量存储到内存和从内存中读取出变量这样的底层细节。...主内存中该变量的一份拷贝) 线程对共享变量的所有操作都必须在自己的工作内存中进行,不能直接从主内存中读写 不同线程之间无法直接访问其他线程工作内存中的变量,线程间变量的传递需要通过主内存来完成 共享变量可见性实现的原理...Java语言层面支持的可见性实现方式有以下两种: synchronized volatile synchronized JMM关于synchronized的规定: 线程解锁前,必须把共享变量的最新值刷新到主内存中...编译器优化的重排序(编译器优化) 指令集并行重排序(处理器优化) 内存系统的重排序(处理器优化) happens-before原则 JMM可以通过happens-before关系向程序员提供跨线程的内存可见性保证

    58320

    java安全编码指南之:可见性和原子性

    简介 java类中会定义很多变量,有类变量也有实例变量,这些变量在访问的过程中,会遇到一些可见性和原子性的问题。这里我们来详细了解一下怎么避免这些问题。...不可变对象的可见性 不可变对象就是初始化之后不能够被修改的对象,那么是不是类中引入了不可变对象,所有对不可变对象的修改都立马对所有线程可见呢?...实际上,不可变对象只能保证在多线程环境中,对象使用的安全性,并不能够保证对象的可见性。...最简单的解决可见性的办法就是加上volatile关键字,volatile关键字可以使用java内存模型的happens-before规则,从而保证volatile的变量修改对所有线程可见。...private volatile long i = 0; 更多精彩内容 1 java安全编码指南之:输入校验 2 java安全编码指南之:堆污染Heap pollution 3 JDK15真的来了!

    45621

    JAVA的原子性、可见性与有序性?

    JAVA的原子性、可见性与有序性了解一波。 原子性(Atomicity):一个操作或者多个操作,要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。...可见性(Visibility):可见性是指当一个线程修改了共享变量的值,其他线程能够立即得知这个修改。...这就是可见性问题,线程A对变量k修改了之后,线程B没有立即看到线程A修改的值。...Java内存模型是通过在变量修改后将新值同步回主内存,在变量读取前从主内存刷新变量值这种依赖主内存作为传递媒介的方式来实现可见性的,无论是普通变量还是volatile变量都是如此, 普通变量与volatile...因此,可以说volatile保证了多线程操作时变量的可见性,而普通变量则不能保证这一点。 除了volatile之外,Java还有两个关键字能实现可见性,即synchronized和final。

    1.5K10

    Java 并发篇03 -序性、可见性、原子性。

    这篇文章,我们将给大家来讲解引起我们并发问题的三大因素--— 有序性、可见性、原子性。这三个问题是属于并发领域的所以并不涉及语言。 首先,我们来聊聊什么是安全性。...就是我们下面讲到的可见性。...可见性 在计算机发展的过程中,因为我们的程序大部分都是要操作内存的,有些程序还要访问 IO,比如我们的 文件的读写,微服务的通信等,所以 CPU、内存等硬件设备一直在不停的升级调优,但是这里就遇到了个问题...这就是缓存可见性的问题。 如果循环竞争的次数很小,比如 10次,那么结果可能还是对的,但是次数增大,那么结果差的就越大。...而这也是Java 通过内存模型定义及其底层的关系。也是 一次编写,随从运行的核心。

    49820

    java并发之原子性、可见性、有序性

    从上面可以看出,Java内存模型只保证了基本读取和赋值是原子性操作,如果要实现更大范围操作的原子性,可以通过synchronized和Lock来实现。...可见性见性是指当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值。 于可见性Java提供了volatile关键字来保证可见性。...而普通的共享变量不能保证可见性,因为普通共享变量被修改之后,什么时候被写入主存是不确定的,当其他线程去读取时,此时内存中可能还是原来的旧值,因此无法保证可见性。...在Java内存模型中,允许编译器和处理器对指令进行重排序,但是重排序过程不会影响到单线程程序的执行,却会影响到多线程并发执行的正确性。...在Java里面,可以通过volatile关键字来保证一定的“有序性”(具体原理在下一节讲述)。

    1K20

    Java 并发编程(三):如何保证共享变量的可见性

    我们使用同步的目的不仅是,不希望某个线程在使用对象状态时,另外一个线程在修改状态,这样容易造成混乱;我们还希望某个线程修改了对象状态后,其他线程能够看到修改后的状态——这就涉及到了一个新的名词:内存(省略...)可见性。...要了解可见性,我们得先来了解一下 Java 内存模型。...Java 内存模型(Java Memory Model,简称 JMM)描述了 Java 程序中各种变量(线程之间的共享变量)的访问规则,以及在 JVM 中将变量存储到内存→从内存中读取变量的底层细节。...好了,共享变量的可见性就先介绍到这。希望本篇文章能够对大家有所帮助,谢谢大家的阅读。 精彩回顾: Java 并发编程(一):摩拳擦掌 Java 并发编程(二):线程安全性

    78530

    Java内存模型以及线程安全的可见性问题

    要了解Java内存模型,首先要了解什么是内存模型,之间在CPU缓存和内存屏障 中我们了解到缓存一致性问题以及处理器优化的指令重排序问题。为了保证并发编程中可以满足原子性、可见性及有序性。...目的是保证并发编程场景中的原子性、可见性和有序性。...可见性问题 可见性:主要是指一个线程对共享变量的写入可以被后续另一个线程读取到,也就说一个线程对共享变量的操作对另一个线程是可见的。...而可见性问题就是指一个线程对共享变量进行了写入而其他的线程却无法读取到该线程写入的结果,根据以下工作内存的缓存的模型我们可以知道,造成可见性的问题主要有两方面,一个是数据在写入的时候只是写入了缓存而没有写入主内存...可见性问题的解决方法 — volatile关键字 volatile关键字可以保证一个线程对共享变量的修改,能够及时的被其他线程看到。

    89230
    领券