java中的++i是线程安全的吗?为什么?怎么使它线程安全呢?

先说答案:

非线程安全

先说下为什么是非线程安全的?

从Java内存模型说起

Java内存模型规定了所有的便利都存储在主内存中,每个线程还有自己的工作内存,工作内存中保存了该线程使用到的变量的主内存副本拷贝,线程对变量的所有操作都必须在工作内存中进行,不能直接读写主内存中的变量。不同的线程之间的也无法直接访问对方的工作内存中的变量。

下图是线程、主内存、工作内存三者的交互关系  (考虑到java内存模型跟物理机类似,故放在这里作对比)

  

另Java内存模型定义了8中操作来表述主内存与工作内存之间具体的交互协议

  1. lock(锁定):作用于主内存的变量,它把主内存的某一个变量标示为一个线程独占
  2. unlock(解锁):作用于主内存的变量,变量从锁定的状态释放出来,释放后的变量可以被其他线程锁定
  3. read(读取):作用于主内存的变量,它把一个变量的值从主内存传输到线程的工作内存中,以便随后的load命令动作使用。
  4. load(载入):作用于工作内存的变量,它把read操作从主内存中得到的变量值放到工作内存的变量副本中
  5. use(使用):作用于工作内存的变量,它把工作内存的变量的值传递给执行引擎
  6. assign(赋值):作用于工作内存的变量,它把一个从执行引擎接收到的值赋给工作内存中的变量
  7. store(存储):作用于工作内存的变量,它把工作内存中的一个变量的值传送到主内存中,以便随后的write操作使用
  8. 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是线程安全的吗?的更多相关文章

  1. Java中的进程和线程

     Java中的进程与线程 一:进程与线程 概述:几乎任何的操作系统都支持运行多个任务,通常一个任务就是一个程序,而一个程序就是一个进程.当一个进程运行时,内部可能包括多个顺序执行流,每个顺序执行流就是 ...

  2. Java中的进程与线程(总结篇)

    详细文档: Java中的进程与线程.rar 474KB 1/7/2017 6:21:15 PM 概述: 几乎任何的操作系统都支持运行多个任务,通常一个任务就是一个程序,而一个程序就是一个进程.当一个进 ...

  3. JAVA 中无锁的线程安全整数 AtomicInteger介绍和使用

    Java 中无锁的线程安全整数 AtomicInteger,一个提供原子操作的Integer的类.在Java语言中,++i和i++操作并不是线程安全的,在使用的时候, 不可避免的会用到synchron ...

  4. JAVA中管道通讯(线程间通讯)例子

    Java I/O系统是建立在数据流概念之上的,而在UNIX/Linux中有一个类似的概念,就是管道,它具有将一个程序的输出当作另一个程序的输入的能力.在Java中,可以使用管道流进行线程之间的通信,输 ...

  5. (转)java中的进程与线程

    (转自地址http://www.ibm.com/developerworks/cn/java/j-lo-processthread/) Java 进程的建立方法 在 JDK 中,与进程有直接关系的类为 ...

  6. Java中primitive type的线程安全性

    Java中primite type,如char,integer,bool之类的,它们的读写操作都是atomic的,但是有几个例外: long和double类型不是atomic的,因为long和doub ...

  7. java中的进程与线程及java对象的内存结构【转】

    原文地址:http://rainforc.iteye.com/blog/2039501   1.实现线程的三种方式:   使用内核线程实现     内核线程(Kernel Thread, KLT)就是 ...

  8. java中那些类是线程安全的?

    Java中各种集合(字符串类)的线程安全性!!! 一.概念: 线程安全:就是当多线程访问时,采用了加锁的机制:即当一个线程访问该类的某个数据时,会对这个数据进行保护,其他线程不能对其访问,直到该线程读 ...

  9. Java中的I/O 线程 网络

    Java学习总结--I/O,线程,网络题目整理 I/O 1.有什么理由必须要用字符流? 答:处理字符数据的语法更方便.自动化字符编码 2.插入哪些代码可以让下面的代码正确编译? Console con ...

随机推荐

  1. mysql-5.7部署总从同步

    主从部署方案: https://blog.csdn.net/mrbuffoon/article/details/103082295 主从数据库不同步处理方案: https://blog.csdn.ne ...

  2. Spring Cache 带你飞(二)

    接着上一篇讲了 Spring Cache 如何被 Spring Aop 代理加载对应的代码,以及何如注入相关界面逻辑. Spring Cache 带你飞(一) 本篇我们围绕两个要点展开: 一个数据是如 ...

  3. CSS学习笔记:flex布局

    目录 一.Flex布局简介 1. Flex布局的主要作用 2. Flex布局应用场景 二.Flex布局的使用 1. Flex布局的两种相关元素 2. 父项属性 2.1 flex- direction ...

  4. RabbitMQ Network Partitions 处理策略

    欢迎支持笔者新作:<深入理解Kafka:核心设计与实践原理>和<RabbitMQ实战指南>,同时欢迎关注笔者的微信公众号:朱小厮的博客. 网络分区的意义 RabbitMQ的模型 ...

  5. 生产服务GC调优实践基本流程总结

    Photo by Pixabay from Pexels 本文作者:夜色微光 - 博客园 (cnblogs.com) 前言 对Java虚拟机进行性能调优是一个非常宽泛的话题,在实践上也是非常棘手的过程 ...

  6. [loj6051]PATH

    (不妨将下标改为从1开始) 参考loj2265中关于杨表的相关知识 构造一个$n$行且第$i$行有$a_{i}$个格子的杨表,依次记录其每一次增加的时间(范围为$[1,\sum_{i=1}^{n}a_ ...

  7. Docker 之 Dockerfile 常用语法与实战

    1. 概述 老话说的好:超越别人,不如超越自我,每天比昨天的自己更强就好. 言归正传,之前聊了 Docker 的相关知识,今天来聊聊如何编辑 Dockerfile 脚本,来创建我们自己的镜像. 2. ...

  8. 第08章 MySQL聚合函数

    第08章 MySQL聚合函数 我们上一章讲到了 SQL 单行函数.实际上 SQL 函数还有一类,叫做聚合(或聚集.分组)函数,它是对一组数据进行汇总的函数,输入的是一组数据的集合,输出的是单个值. 1 ...

  9. 7.1 k8s使用configmapg 给pod内的程序提供配置文件

    ConfigMap 是一种 API 对象,用来将非机密性的数据保存到键值对中.使用时, Pods 可以将其用作环境变量.命令行参数或者存储卷中的配置文件. 以下以nginx镜像提供配置文件为例镜像演示 ...

  10. Redis 持久化方案

    目录 持久化简介 什么是持久化? Redis 持久化方案 RDB RDB 简介 save 指令 操作与配置 工作原理 bgsave 指令 操作与配置 工作原理 bgsave 配置执行 相关配置 工作原 ...