最近在看java线程的相关知识，关于java线程atomic等类cas问题的认识。

乐观锁被体现的机制，compare and swap。

cas：内存值v，旧的预期值a，要修改的新值b。只有当内存值v与旧的预期值a相等时才会改成新的值b，否则则判定暂时有其他线程在做操作，不是线程安全的。内部没有使用synchronized来实现，使用了volitile原语去直接读内存中的值，没有实现操作的原子性，只保证了操作的可见性，在atomic等类中被使用。 

private volatile int value;
public final int get() {
    return value;
}
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);
}

java.util.concurrent包中应用。

cas虽然没有用同步就实现了线程安全，提升了并发的效率，但是容易导致aba问题。

aba问题就是当你在cas去操作数据的时候，另一个线程去操作这个数据，先将他从a改为b，又从b改为了a，这样虽然他也操作了这个数据，但是数据看起来并没有改变，cas去操作并不会认为这个值是危险的，但是实际上这个值确实被其他的线程所操作过，这是可以用atomicStampedReference等去进行操作，stamp是带有时间戳的操作，在进行数据更新的时候可以使用时间戳来区分数据是否是最新的，是否有可操作性，但是这种情况应该使用的场景不是很多吧，暂时没有研究。