文章目录
Java并发JUC原子类
线程安全的实现方法有哪些?
线程安全的实现方法包含:
互斥同步:synchronized和ReentrantLock
非阻塞同步:CAS,AtomicXXXX
无同步方案:栈封闭,ThreadLocal,可重入代码
可重入代码:所谓可重入是指一个可以被多个任务调用的过程,任务在调用时不必担心数据是否会出错。又称为“纯代码”,是一种允许多个进程访问的代码。
ThreadLocal的代码示例:
public class SolveDemoQuestionByThreadLocal {
private ThreadLocal<String> name = new ThreadLocal<>();
private int age;
public static void main(String[] args) {
SolveDemoQuestionByThreadLocal demoQuestion = new SolveDemoQuestionByThreadLocal();
for (int i = 0; i < 5; i++) {
new Thread(() ->{
demoQuestion.setName(Thread.currentThread().getName() + "的数据");
System.out.println("=================");
System.out.println(Thread.currentThread().getName() + "--->" + demoQuestion.getName());
},"t" + i).start();
}
}
public String getName() {
return name.get();
}
private void setName(String content) {
name.set(content);
}
public int getAge() {
return age;
}
public void setAge(int age) {
this.age = age;
}
}
什么是CAS?
CAS的全称为Compare-And-Swap,直译就是对比交换。是一条CPU的原子指令,其作用是让CPU先进行比较两个值是否相等,然后原子地更新某个位置的值,经过调查发现,其实现方式是基于硬件平台的汇编指令,就是说CAS是靠硬件实现的,JVM只是封装了汇编调用,那些AtomicInteger类便是使用了这些封装后的接口。简单解释:CAS操作需要输入两个数值,一个旧值(期望操作前的值)和一个新值,在操作期间先比较下旧值有没有发生变化,如果没有发生变化,才交换成新值,发生了变化则不交换。
CAS操作是原子性的,所以多线程并发使用CAS更新数据时,可以不使用锁。JDK中大量使用了CAS来更新数据而防止加锁(synchronized重量级锁)来保持原子更新。
CAS会有哪些问题?
CAS 方式为乐观锁,synchronized 为悲观锁。因此使用 CAS 解决并发问题通常情况下性能更优。
但使用 CAS 方式也会有几个问题:
1、ABA问题:
因为CAS需要在操作值的时候,检查值有没有发生变化,比如没有发生变化则更新,但是如果一个值原来是A,变成了B,又变成了A,那么使用CAS进行检查时则会发现它的值没有发生变化,但是实际上却变化了。
ABA问题的解决思路就是使用版本号。在变量前面追加上版本号,每次变量更新的时候把版本号加1,那么A->B->A就会变成1A->2B->3A。
从Java 1.5开始,JDK的Atomic包里提供了一个类AtomicStampedReference来解决ABA问题。这个类的compareAndSet方法的作用是首先检查当前引用是否等于预期引用,并且检查当前标志是否等于预期标志,如果全部相等,则以原子方式将该引用和该标志的值设置为给定的更新值。
2、循环时间长开销大:
自旋CAS如果长时间不成功,会给CPU带来非常大的执行开销。如果JVM能支持处理器提供的pause指令,那么效率会有一定的提升。
3、只能保证一个共享变量的原子操作:
当对一个共享变量执行操作时,我们可以使用循环CAS的方式来保证原子操作,但是对多个共享变量操作时,循环CAS就无法保证操作的原子性,这个时候就可以用锁。
还有一个取巧的办法,就是把多个共享变量合并成一个共享变量来操作。比如,有两个共享变量i = 2,j = a,合并一下ij = 2a,然后用CAS来操作ij。
从Java 1.5开始,JDK提供了AtomicReference类来保证引用对象之间的原子性,就可以把多个变量放在一个对象里来进行CAS操作。
AtomicInteger底层实现?
CAS+volatile
1、volatile保证线程的可见性,多线程并发时,一个线程修改数据,可以保证其它线程立马看到修改后的值.
2、CAS保证数据更新的原子性。
说说你对Java原子类的理解?
包含13个,4组分类,说说作用和使用场景。
原子更新基本类型
AtomicBoolean:原子更新布尔类型。
AtomicInteger:原子更新整型。
AtomicLong:原子更新长整型。
原子更新数组
AtomicIntegerArray:原子更新整型数组里的元素。
AtomicLongArray:原子更新长整型数组里的元素。
AtomicReferenceArray:原子更新引用类型数组里的元素。
原子更新引用类型
AtomicIntegerFieldUpdater:原子更新整型的字段的更新器。
AtomicLongFieldUpdater:原子更新长整型字段的更新器。
AtomicStampedFieldUpdater:原子更新带有版本号的引用类型。
AtomicReferenceFieldUpdater:上面已经说过此处不在赘述
原子更新字段类
AtomicReference:原子更新引用类型。
AtomicStampedReference:原子更新引用类型, 内部使用Pair来存储元素值及其版本号。AtomicMarkableReferce:原子更新带有标记位的引用类型。
AtomicStampedReference是怎么解决ABA的?
AtomicStampedReference主要维护包含一个对象引用以及一个可以自动更新的整数"stamp"的pair对象来解决ABA问题。