java中的++i是线程安全的吗?
java中的++i是线程安全的吗?为什么?怎么使它线程安全呢?
先说答案:
非线程安全
先说下为什么是非线程安全的?
从Java内存模型说起
Java内存模型规定了所有的便利都存储在主内存中,每个线程还有自己的工作内存,工作内存中保存了该线程使用到的变量的主内存副本拷贝,线程对变量的所有操作都必须在工作内存中进行,不能直接读写主内存中的变量。不同的线程之间的也无法直接访问对方的工作内存中的变量。
下图是线程、主内存、工作内存三者的交互关系 (考虑到java内存模型跟物理机类似,故放在这里作对比)
另Java内存模型定义了8中操作来表述主内存与工作内存之间具体的交互协议
- lock(锁定):作用于主内存的变量,它把主内存的某一个变量标示为一个线程独占
- unlock(解锁):作用于主内存的变量,变量从锁定的状态释放出来,释放后的变量可以被其他线程锁定
- read(读取):作用于主内存的变量,它把一个变量的值从主内存传输到线程的工作内存中,以便随后的load命令动作使用。
- load(载入):作用于工作内存的变量,它把read操作从主内存中得到的变量值放到工作内存的变量副本中
- use(使用):作用于工作内存的变量,它把工作内存的变量的值传递给执行引擎
- assign(赋值):作用于工作内存的变量,它把一个从执行引擎接收到的值赋给工作内存中的变量
- store(存储):作用于工作内存的变量,它把工作内存中的一个变量的值传送到主内存中,以便随后的write操作使用
- wirte(写入):作用于主内存,它把store操作从工作内存中得到的变量的值放入主内存的变量中。
如果我们要把一个变量从主内存赋值到工作内存,那就要顺序执行read和load;如果要从工作内存同步回主内存,就要顺序执行store和write操作【普通变量】。【注意,这里只是要求了顺序执行,而不是连续执行,也就是说,中间是可以插入指令的】
那我们就知道了,++i非线程安全的原因是:
如果线程A在工作内存中修改完成,准备同步到主内存,线程B刚从主内存中读取到,那么线程B读取到的就是脏数据,很容易会造成数据覆盖。
此处要提到一个关键字:volatile
当一个变量定义为volatile之后,它就具备了两种特性:
第一是保证此变量对所有线程的可见性(是指当一个线程修改了这个变量的值,新值对于其他线程来说是可以立即得知的),无法保证并发安全。
如题:如果把变量 i 加上 volatile也是无法保证线程安全的
原因:把变量的值取到栈顶,这个时候volatile关键字保证了值是正确的,但是在执行++执行时,其他线程有可能把变量的值更新了,所以栈顶的值就变成了过期的数据,再把数据同步到主内存的时候就会造成数据覆盖。
第二是禁止指令重排序优化,保证变量赋值操作的顺序与程序代码中的执行顺序一致。重排序优化是机器级的优化操作,提前执行是指这句话对应的汇编代码被提前执行。
DCL(Double Check Lock)单例:
public class Singleton { private volatile static Singleton singleton; public static Singleton getInstance(){
if (singleton == null){
synchronized (Singleton.class){
singleton = new Singleton();
}
}
return singleton;
}
}
那么怎么才能使++i线程安全呢?
有很多种方法,比如:synchronized、ReentrantLock...
今天要说的是:java提供了一个原子类:AtomicInteger,AtomicInteger有什么方法就不一一介绍了,我们主要看一个方法的源码:getAndIncrement
/**
* Atomically increments by one the current value.
*
* @return the previous value
*/
public final int getAndIncrement() {
for (;;) {
int current = get(); //当前的值 这里的 value也是volatile的,所以每次取都是最新的
int next = current + 1;
if (compareAndSet(current, next)) //关键是这里
return current;
}
}
//这是一个原子方法,第一个参数是期望的值(也可以理解为原来的值)
//第二个参数是想要更新的值
//过程:如果主内存中当前的值跟expect相等,那就直接更新, 返回true
//否则就不更新,返回false
//我们也看到getAndIncrement中是一个死循环,发现更新失败后会继续循环,知道更新成功。(CAS乐观锁)
public final boolean compareAndSet(int expect, int update) { return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}
以上是对++i的简单理解。
java中的++i是线程安全的吗?的更多相关文章
- Java中的进程和线程
Java中的进程与线程 一:进程与线程 概述:几乎任何的操作系统都支持运行多个任务,通常一个任务就是一个程序,而一个程序就是一个进程.当一个进程运行时,内部可能包括多个顺序执行流,每个顺序执行流就是 ...
- Java中的进程与线程(总结篇)
详细文档: Java中的进程与线程.rar 474KB 1/7/2017 6:21:15 PM 概述: 几乎任何的操作系统都支持运行多个任务,通常一个任务就是一个程序,而一个程序就是一个进程.当一个进 ...
- JAVA 中无锁的线程安全整数 AtomicInteger介绍和使用
Java 中无锁的线程安全整数 AtomicInteger,一个提供原子操作的Integer的类.在Java语言中,++i和i++操作并不是线程安全的,在使用的时候, 不可避免的会用到synchron ...
- JAVA中管道通讯(线程间通讯)例子
Java I/O系统是建立在数据流概念之上的,而在UNIX/Linux中有一个类似的概念,就是管道,它具有将一个程序的输出当作另一个程序的输入的能力.在Java中,可以使用管道流进行线程之间的通信,输 ...
- (转)java中的进程与线程
(转自地址http://www.ibm.com/developerworks/cn/java/j-lo-processthread/) Java 进程的建立方法 在 JDK 中,与进程有直接关系的类为 ...
- Java中primitive type的线程安全性
Java中primite type,如char,integer,bool之类的,它们的读写操作都是atomic的,但是有几个例外: long和double类型不是atomic的,因为long和doub ...
- java中的进程与线程及java对象的内存结构【转】
原文地址:http://rainforc.iteye.com/blog/2039501 1.实现线程的三种方式: 使用内核线程实现 内核线程(Kernel Thread, KLT)就是 ...
- java中那些类是线程安全的?
Java中各种集合(字符串类)的线程安全性!!! 一.概念: 线程安全:就是当多线程访问时,采用了加锁的机制:即当一个线程访问该类的某个数据时,会对这个数据进行保护,其他线程不能对其访问,直到该线程读 ...
- Java中的I/O 线程 网络
Java学习总结--I/O,线程,网络题目整理 I/O 1.有什么理由必须要用字符流? 答:处理字符数据的语法更方便.自动化字符编码 2.插入哪些代码可以让下面的代码正确编译? Console con ...
随机推荐
- 南大《软件分析》课程笔记——Data Flow Analysis
南大<软件分析>--Data Flow Analysis @(静态分析) 目录 数据流分析概述 数据流分析应用 Reaching Definitions Analysis(may anal ...
- adduser vs useradd
Always use adduser (and deluser when deleting users) when you're creating new users from the command ...
- jQuery css()选择器使用说明
css选择器只是jquery中的一个功能罢了,下面我来给各位朋友详细介绍jQuery css()选择器使用方法与说明详解,有需要了解学习的同学可参考. CSS操作有一个重要的方法:CSS() CSS( ...
- 🏆【Alibaba中间件技术系列】「RocketMQ技术专题」小白专区之领略一下RocketMQ基础之最!
应一些小伙伴们的私信,希望可以介绍一下RocketMQ的基础,那么我们现在就从0开始,进入RocketMQ的基础学习及概念介绍,为学习和使用RocketMQ打好基础! RocketMQ的定位 Rock ...
- R数据分析:生存分析与有竞争事件的生存分析的做法和解释
今天被粉丝发的文章给难住了,又偷偷去学习了一下竞争风险模型,想起之前写的关于竞争风险模型的做法,真的都是皮毛哟,大家见笑了.想着就顺便把所有的生存分析的知识和R语言的做法和论文报告方法都给大家梳理一遍 ...
- [bzoj1691]挑剔的美食家
考虑将奶牛和牧草放在一起,根据鲜嫩程度排序,那么显然就可以发现一个贪心策略:每一头奶牛一定选择当前剩余的最便宜且符合条件的牧草,然后用一个set维护价格即可 1 #include<bits/st ...
- Python技法1:变长和定长序列拆分
Python中的任何序列(可迭代的对象)都可以通过赋值操作进行拆分,包括但不限于元组.列表.字符串.文件.迭代器.生成器等. 元组拆分 元组拆分是最为常见的一种拆分,示例如下: p = (4, 5) ...
- CF1004D Sonya and Matrix
不要想当然. 考虑到我们一定有存在个数为\(4\)的倍数的数. 否则第一个不是的数即为\(x\). 那么我们设\(b\)为所有的数的最大值. 那么显然有\(|n - x| + |m - y| = b\ ...
- HDU 6987 - Cycle Binary(找性质+杜教筛)
题面传送门 首先 mol 一发现场 AC 的 csy 神仙 为什么这题现场这么多人过啊啊啊啊啊啊 继续搬运官方题解( 首先对于题目中的 \(k,P\),我们有若存在字符串 \(k,P,P'\) 满 ...
- Apollo配置中心中的Namespace
前言:Apollo(阿波罗)是携程研发的开源配置管理中心,能够集中管理应用不同环境.不同集群的配置.同一环境统一集群的配置下有namespace概念,具体信息官方文档如下: namespace是配置项 ...