1、java内存模型是什么?
java内存模型(JMM)
- 用于屏蔽硬件和操作系统的内存访问差异
- 实现java程序在各个平台都能达到一致的并发效果
2、什么是线程安全?
当多个线程访问一个类时,不管线程的调度方式是怎么样的,同时调用时不需要额外的同步代码,这个类都能能表现成正确的行为,那么就称这个类类是线程安全的。
多线程不安全的例子:
public class JMMDemo {
long count = 0;//放在祝线程中
public void access() {//多个线程执行这个方法
count++;
}
public static void main(String[] args) throws InterruptedException {
JMMDemo jmmDemo = new JMMDemo();
for (int i = 0; i < 10; i++) {
new Thread(() -> {
for (int j = 0; j < 1000; j++) {
jmmDemo.access();
}
}).start();
}
Thread.sleep(1000);//等待所有自线程执行完毕
System.out.println("接口访问次数: " + jmmDemo.count);
}
}
Q: 为什么出现线程不安全的情况?
A: count是存在于主内存中,每个线程操作count时都是将count从主内存读取到线程的工作内存,修改完成后在写入到主内存,在这个过程中,一个线程的写入操作可能会覆盖掉另一个线程的写入。
Q:如何解决?
A:可以使用基于CAS的原子操作类。
3、什么事CAS操作,缺点是什么?
AtomicLong原子类的使用:
public class JMMDemoCAS {
AtomicLong count = new AtomicLong(0);
public void access(){
count.incrementAndGet();//等于i++,线程安全的
}
public static void main(String[] args) throws InterruptedException {
JMMDemoCAS jmmDemo = new JMMDemoCAS();
for (int i = 0; i < 10; i++) {
new Thread(() -> {
for (int j = 0; j < 10000; j++) {
jmmDemo.access();
}
}).start();
}
Thread.sleep(1000);//等待所有自线程执行完毕
System.out.println("接口访问次数: " + jmmDemo.count);
}
}
原理解析:
缺点:
- 只能解决一个简单的共享变量的原子操作,CAS只能操作一个共享变量,如果一个操作涉及多个变量那么CAS就不能使用了,如:JMMDemo类中有count、count0,access方法中count = count+count0
- cpu开销问题:CAS会伴随着一个自旋,运气不好会一直自旋
- ABA问题:
- 针对的是对象类型,原子类除了可以保存八大基本类型意外,还可以保存对象(对象的引用)。
- 问题描述:
- 从内存中获取对象的引用,
- 进行CAS操作,此时在对比的时候其实内存中对象内部某个数据域已经被修改了,但是由比较的是对象的引用,所以当前线程就认为对象没有改变,CAS成功将主内存中数据修改了,也就是将其他线程的修改覆盖了。
如何解决ABA问题?
使用AtomicStampedReference对象引用需要原子操作的对象(作为对比的是AtomicReference)。