原子操作:
Compare And Set
cas(V,Expected,NewValue)
在执行原子操作时,会先去比较一下操作的对象,如果取到的对象和期望对象的值是一致的(意味着值没有被其他线程更改),则进行set操作,将newValue赋值进去;否则(意味着值已经被其他线程更改过)重试或者操作失败
-cpu原语支持,即执行的过程不会被打断。
**ABA问题:**即在进行原子操作的时候,其中V被另一个线程set多次,但是其中一次的操作之后正好满足此次原子操作的期望值,故执行了原子操作,故会影响另一个线程
解决:加version,即原子操作不仅比较值与期望值,且检查当值值得版本(AtomicStampedReference类);
如果是数据类型 ABA不会有什么问题
如果是引用类型,引用地址虽然没变,但是引用地址所指向的对象可能已经发生了变化。
//尽管线程1的CAS操作成功,但线程1并不知道内存位置V的数据发生过改变
private static AtomicReference<Integer> atomicReference = new AtomicReference<Integer>(100);
public static void main(String[] args) {
new Thread(() -> {
atomicReference.compareAndSet(100, 101);
atomicReference.compareAndSet(101, 100);
},"t1").start();
new Thread(() -> {
try {
TimeUnit.SECONDS.sleep(1);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println(atomicReference.compareAndSet(100, 2019) + "\t修改后的值:" + atomicReference.get());
},"t2").start();
}
原子操作类:
使用原子的方式更新基本类型,Atomic包提供了以下3个
·AtomicBoolean:原子更新布尔类型。
·AtomicInteger:原子更新整型。
·AtomicLong:原子更新长整型
通过原子的方式更新数组里的某个元素,Atomic包提供了以下4个类。
·AtomicIntegerArray:原子更新整型数组里的元素。
·AtomicLongArray:原子更新长整型数组里的元素。
·AtomicReferenceArray:原子更新引用类型数组里的元素
/**
* volatile能保证线程的可见性,但是不能保证线程的原子性 见count
* @author Ancaeus
*
*/
public class T02 {
/* volatile */ int count = 0; //volatile能保证线程的可见性,但是不能保证线程的原子性,此测试中,count的值最后仍然是错误的
AtomicInteger count2 = new AtomicInteger();
void m () {
for(int i = 0; i < 10000; i++) {
count++;
count2.incrementAndGet();
}
}
public static void main(String[] args) {
// TODO 自动生成的方法存根
T02 t = new T02();
List<Thread> threads = new ArrayList<>();
for(int i =0;i < 10;i++) {
threads.add(new Thread(t::m,"thread"+i));
}
threads.forEach(x->{
x.start();
});
threads.forEach(x->{
try {
x.join();
} catch (InterruptedException e) {
// TODO 自动生成的 catch 块
e.printStackTrace();
}
});
System.out.println(t.count);
System.out.println(t.count2);
}
}