推荐订阅源

在多线程环境下，如果某个类是有状态的，那我们在使用前，需要保证所有该类的实例对象状态一致，否则会出现意向不到的bug。下面是通用线程安全状态机的实现方法。

public class ThreadSaveState{
    private int x;
    private int y;

    private enum State {NEW, INITIALIZING, INITIALIZED};

    private final AtomicReference<State> init = new AtomicReference<State>(State.NEW);

    public ThreadSaveState() {
    };

    public ThreadSaveState(int x, int y) {
        initialize(x, y);
    }

    private void initialize(int x, int y) {
        if (!init.compareAndSet(State.NEW, State.INITIALIZING)) {
            throw new IllegalStateException("Already initialized");
        }
        this.x = x;
        this.y = y;
        

这种模式利用compareAndSet方法来操作枚举的原子引用，关于compareAndSet方法，其内部是CAS算法，即：Compare and Swap, 翻译成比较并交换，源码如下：

java.util.concurrent包中借助CAS实现了区别于synchronouse同步锁的一种乐观锁，使用这些类在多核CPU的机器上会有比较好的性能.

结合compareAndSet源码我们看下：

/**
     * Atomically sets the value to the given updated value
     * if the current value {@code ==} the expected value.
     * @param expect the expected value
     * @param update the new value
     * @return true if successful. False return indicates that
     * the actual value was not equal to the expected value.
     */
    public final boolean compareAndSet(V expect, V update) {
        return unsafe.compareAndSwapObject(this, valueOffset, expect, update);
    }

根据注释，CAS有3个操作数，内存值V，旧的预期值A，要修改的新值B。当且仅当预期值A和内存值V相同时，将内存值V修改为B，返回True，否则返回false。

再看看我们初始化的代码：

 if (!init.compareAndSet(State.NEW, State.INITIALIZING)) {
            throw new IllegalStateException("Already initialized");
        }

只有当state是New的时候，才开始初始化，否则直接报错。这就保证了对象的完整性，因为如果没有这样的防范机制，万一有个线程要在某个实例上调用initialize()，而另一个线程又要企图使用这个实例，第二个线程就有可能看到这个实例处于不一致的状态。

转载：http://blog.csdn.net/qq_27258799