原子更新基本类型
- AtomicBoolean
- AtomicInteger
- AtomicLong
以AtomicInteger为例,主要的几个方法:
- int addAndGet(int delta):以原子方式将输入的数值与实例中的值相加并返回结果;
- int getAndIncrement():以原子方式将当前值+1,并返回之前的值
- int incrementAndGet():以原子方式将当前值+1,并返回更新之后的值
- boolean compareAndSet(int expect, int update):如果输入的数值等于预期值,则以原子方式将她设置为输入值
- int getAndSet(int newValue):以原子的方式设置为newValue的值,并返回旧值
以下几个方法为1.8新增:
- int updateAndGet(IntUnaryOperator updateFunction):传入操作的函数,对值进行操作,一直使用循环+cas操作达到正确同步的效果,并返回操作之后的值
- int getAndUpdate(IntUnaryOperator updateFunction) :同上,只是返回操作之前的值
- int accumulateAndGet(int x,IntBinaryOperator accumulatorFunction):传入二元操作函数的第二个参数以及二元操作函数,返回操作之前的值
- int getAndAccumulate(int x, IntBinaryOperator accumulatorFunction):传入二元操作函数的第二个参数以及二元操作函数,返回操作之后的值
以下是其中一个函数的源码:
public final int getAndUpdate(IntUnaryOperator updateFunction) { int prev, next; do { prev = get(); next = updateFunction.applyAsInt(prev); } while (!compareAndSet(prev, next)); return prev; }
其中的具体的值使用volatile修饰保证每一次都是从内存中读取。利用volatile+相关CAS操作取代synchronized重量级锁实现并发环境的下正确同步
private volatile int value;
其中AtomicBoolean,利用int的0/1的方式代替了boolean,所以同样的可以利用AtomicInteger的相关操作以原子的方式操作char等类型。
AtomicLong类型与AtomicInteger类似,故不再赘述。
现在来说一下其中的几个特别的方法:
public final void set(int newValue) {
value = newValue;
}
public final void lazySet(int newValue) {
unsafe.putOrderedInt(this, valueOffset, newValue);
}
两个都是对value的值进行一个设置,第一个是利用volatile的一个可见性完成的线程安全,那lazySet有事什么意思呢?查找资料的大概意思是:volatile的写操作使用的是比较慢的存储-加载(store-load)barrier,而使用putOrderedInt方法是对低延时代码很有用,可以实现非堵塞的写入,这些写入不会被java的JIT重排序指令,这样它使用快速的存储-存储(store-store)barrier,但是性能的提升是有代价的,结果就是写后的结果并不会被其他线程看到,甚至是自己的线程,通常是几纳秒后被其他线程看到,这个时间比较短,代价可以接受。