怎么样才是线程安全的?
多线程程序的运行结果可以保证100%正确性,才算安全
1、多线程之间有共享资源
2、多线程之间有针对共享资源的修改
这两种情况下才会出现线程不安全
回想一下变量的类型
变量有两种类型,一种是基本数据类型,一种是引用数据类型(变量的类型无法决定该变量是否是线程之间共享的)
变量的形态:形态才是决定变量存放位置以及是否是线程共享的主要因素#
a、形参和局部变量存放在栈帧里,它们是线程之间私有的
b、属性存放在对象里,对象存放在堆中,所以是线程之间共享的
c、静态属性:在类中,类在方法区中,是线程之间共享的
那思考一下ArrayList是不是线程安全的?
class ArrayList{
int[] array=new int[100];//共享数据
int size;
void add(int value){
array[size++]=value//操作共享数据
}
}所以它是线程不安全的
三大点影响着线程安全问题
关于线程不安全的点
原子性:它的作用效果不能被中间断开
什么是原子性:我们把一段代码想象成一个房间,每个线程就是要进入这个房间的人。如果没有任何机制保证,A进入房间之后,还没有出来;B 是不是也可以进入房间,打断 A 在房间里的隐私。这个就是不具备原子性的。那我们应该如何解决这个问题呢?是不是只要给房间加一把锁,A 进去就把门锁上,其他人是不是就进不来了。这样就保证了这段代码的原子性了。有时也把这个现象叫做同步互斥,表示操作是互相排斥的。
一条 java 语句不一定是原子的,也不一定只是一条指令
比如n++,其实是由三步操作组成的:
-
从内存把数据读到 CPU
-
进行数据更新
-
把数据写回到 CPU
不保证原子性会给多线程带来什么问题
如果一个线程正在对一个变量操作,中途其他线程插入进来了,如果这个操作被打断了,结果就可能是错误的。
可见性:高速缓存也带来一个问题,你执行的n++的中间值,全部只保留在高速缓存中,内存中是没有及时变化的,这会导致一个问题,如果有多个cpu,(每个CPU都会有自己的高速缓存,而cpu之间共性数据是用内存的,当前计算的结果,其他cpu上看不到)
代码顺序性:指令的最终执行顺序,不是你代码的顺序。目的是提高执行效率
谁会对代码进行重排序?
1.编译器就有可能进行重排序(根据它自己知道的信息,重排序代码)
2.运行阶段,JYM也有可能进行重排序(运行起来之后,JVM知道的信息要比编译器多) - - JIT (Just In Time)
3.运行阶段,CPU指令上也会进行- -定的重排序。