1. JMM的介绍 在上一篇文章中总结了线程的状态转换和一些基本操作，对多线程已经有一点基本的认识了，如果多线程编程只有这么简单，那我们就不必费劲周折的去学习它了。在多线程中稍微不注意就会出现线程安全问题，那么什么是线程安全问题？我的认识是，在多线程下代码执行的结果与预期正确的结果不一致，该代码就是 ...
分类：
移动开发 时间：
2019-02-08 20:18:41
阅读次数：
197
1. 三大性质简介 在并发编程中分析线程安全的问题时往往需要切入点，那就是两大核心：JMM抽象内存模型以及happens-before规则（在这篇文章中已经经过了），三条性质：原子性，有序性和可见性。关于synchronized和volatile已经讨论过了，就想着将并发编程中这两大神器在 原子性， ...
分类：
其他好文 时间：
2019-02-08 20:07:16
阅读次数：
186
重排序：是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段。 当数据依赖的时候不允许产生重排序，多线程有些情况下重排序会影响语义。 volatile 定义的的对象内存对多线程之间是立马可见的，他建立了先写后读happens-before关系，常用来在多线程中进行flag标志位的判断 ...
分类：
编程语言 时间：
2018-12-30 22:09:08
阅读次数：
215
happens before是JMM最核心的概念。对应Java程序员来说，理解happens before是理解JMM的关键。 JMM的设计 首先，让我们来看JMM的设计意图。从JMM设计者的角度，在设计JMM时，需要考虑两个关键因素。 程序员对内存模型的使用。程序员系统内存模型易于理解、易于编程。 ...
分类：
移动开发 时间：
2018-12-20 23:57:38
阅读次数：
345
happens-before 一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须存在happens-before关系 happen-before原则是JMM中非常重要的原则，它是判断数据是否存在竞争、线程是否安全的主要依据，保证了多线程环境下的可见性。 happens-before原则定 ...
分类：
移动开发 时间：
2018-11-02 20:18:07
阅读次数：
249
对于本篇文章，将从四个概念来介绍：内存模型基础，重排序，顺序一致性和happens-before 1.内存模型基础 在并发编程中，有两个关键问题：线程之间如何通信和如何同步。由此而引出了两种并发模型：共享内存的并发模型和消息传递的并发模型。 1.1 消息传递的并发模型 该模型是指两个线程之间通过发送 ...
分类：
编程语言 时间：
2018-09-29 11:11:58
阅读次数：
261
在接下来的叙述里我首先会说明happens-before规则是干什么用的，然后用一个简单的小程序说明happens-before规则 一、happens-before规则 我们编写的程序都要经过优化后（编译器和处理器会对我们的程序进行优化以提高运行效率）才会被运行，优化分为很多种，其中有一种优化叫做 ...
分类：
移动开发 时间：
2018-09-12 19:55:46
阅读次数：
739
一、概念理解 首先我们先来了解一下什么是重排序:重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段。 从Java源代码到最终实际执行的指令序列，会分别经历下面3种重排序，如下图所示 上述的1属于编译器重排序，2和3属于处理器重排序。这些重排序可能会导致多线程程序出现内存可见性 ...
分类：
移动开发 时间：
2018-08-31 21:28:00
阅读次数：
246
有序性：即程序执行的顺序按照代码的先后顺序执行。 Java内存模型具备一些先天的“有序性”，即不需要通过任何手段就能够得到保证的有序性，这个通常也称为 happens-before 原则。 如果两个操作的执行次序无法从happens-before原则推导出来，那么它们就不能保证它们的有序性，虚拟机可 ...
分类：
移动开发 时间：
2018-08-10 01:23:01
阅读次数：
181
happens-before原则： happens-before它是判断数据是否存在竞争、线程是否安全的主要依据。为了保证线程安全我们可以让2个操作具有happens-before关系 happens-before的8条规则能够保证存在happens-before规则的单一线程或者多条线程之中的2个 ...
分类：
移动开发 时间：
2018-08-10 01:14:42
阅读次数：
184
