JUC入门系列（二）-CAS算法

一、JUC简介

    Java 5.0 提供了java.util.concurrent（简称JUC）包，在此包中增加了在并发编程中很常见的实用工具类，用于定义类似于编程的自定义子系统，包括线程池、异步IO和轻量级任务框架。提供可调的、灵活的线程池。还提供了设计用于多线程上下文的Collection实现等。

二、CAS算法

• CAS（Compare-And-Swap）是一种硬件对并发的支持，针对多处理器操作而设计的处理器中的一种特殊指令，用于管理对共享数据的并发访问。
• CAS 是一种无锁的非阻塞算法的实现。
• CAS 包含了3个操作数：
  》 需要读写的内存值 V
  》 进行比较的值 A（预估值）
  》 拟写入的新值 B（更新值）
• 当且仅当V的值等于A时，CAS算法通过原子方式用新值B来更新V的值，否则不会执行任何操作。

三、模拟CAS算法Demo

package com.yuxx.juc;

public class TestCompareAndSwap {
  public static void main(String[] args) {
    CompareAndSwap cas = new CompareAndSwap();
    for(int i=0;i<10;i++) {
      new Thread(new Runnable() {
        @Override
		public void run() {
		  int expectValue = cas.get();
		  boolean b = cas.compareAndSet(expectValue, (int)(Math.random() * 101));
		  System.out.println(b);
		}
	  }).start();
	}
  }
}

class CompareAndSwap {
  private int value;
	
  //获取内存值
  public synchronized int get() {
	return value;
  }
	
  //比较
  public synchronized int compareAndSwap(int expectValue,int newValue) {
	int oldValue = value;
	if(oldValue == expectValue) {
		this.value = newValue;
	}
	return oldValue;
  }
	
  //设置
  public synchronized boolean compareAndSet(int expectValue,int newValue) {
	return expectValue == compareAndSwap(expectValue, newValue);
  }
}

 四、CAS算法的缺点

    ABA问题：变量V初次读取到的时候是A，期间被改成了B，又被改成了A，CAS会误认为V从来没被修改过。

    针对这种情况，Java并发包里提供了一个带有标记的原子引用类AtomicStampedReference。它可以通过控制变量值的版本来保证CAS的正确性。AtomicStampedReference通过包装[E, Integer]的元组来对对象标记版本戳stamp，从而避免ABA问题。

转载于:https://my.oschina.net/alexjava/blog/3082236