并发(2) 原子类

  java并发包中提供了一些原子变量类,这些原子变量类提供的方法本身就是一个原子操作。

例如

public class CountingFactorizer implements Servlet{

          private final AtomicLong count = new AtomicLong(0);

          public void service(ServletRequest req,ServletResponse resp){

                    count.incrementAndGet();

          }

}

  上例实现了对访问的计数,这是一个线程安全的类,因为它的计算是一个原子操作。java并发包中还提供了各种类型的原子变量类。

  那么原子变量类是如何实现计算的原子性的呢?

public final int incrementAndGet() {

 for (;;) {

  int current = get();

  int next = current + 1;

   if (compareAndSet(current, next))

    return next; } } public final boolean compareAndSet(int expect, int update) { return unsafe.compareAndSwapInt(this, valueOffset, expect, update); }

  上面的方法中,首现获取了当前的值,然后对当前值进行加1操作,然后通过unsafe的compareAndSet方法来设置改值。

  unsafe的compareAndSet方法做了什么呢?他首先会去比较当前值是不是预期的值,如果不是返回false,如果是设置新值并返回true。

  这种方式也叫做CAS,他不仅是原子类的底层实现方式,也是java锁的底层实现方式。就是在设置新值之前判断当前是否还是老值,如果是则设置新值,如果不是则重新计算新值后再尝试设置。当人CAS实现原子性的基础是compareAndSet本身是一个原子操作

原子类

原子类 说明
AtomicBoolean boolean原子类 
AtomicInteger int原子类
AtomicLong long原子类
AtomicReference 引用原子类
AtomicIntegerArray int原子类数组
AtomicLongArray long原子类数组
AtomicReferenceArray 引用原子类数组
AtomicIntegerFieldUpdater int原子类对象字段
AtomicLongFieldUpdater long原子类对象字段
AtomicReferenceFieldUpdater 引用原子类对象字段
AtomicMarkableReference AtomicReference在使用时会出现aba问题,通过一个标识符号判断是否被改过
AtomicStampedReference AtomicReference在使用时会出现aba问题,通过一个int标识是否被改过

 

扫描二维码关注公众号,回复: 4634433 查看本文章

 

猜你喜欢

转载自www.cnblogs.com/zhangwanhua/p/10170782.html