CAS:乐观锁实现

java乐观锁实现总结

unsafe.compareAndSwapInt(this,valueOffset,except,update)
valueOffset:表示value值在内存地址中的偏移量，CAS需要操作内存的位置，valueOffset就是这个位置。

CAS底层实现

在X86中，通过指令cmpxchg，程序会根据当前处理器的类型类决定是否在cmpxchg指令前添加lock前缀。
lock前缀确保对内存的读-改-写操作原子执行。

CAS的ABA问题

CAS算法的实现是把一个期望值跟内存中的值进行比较，这可能会存在一个问题。
比如说一个线程one从内存位置v中取出A,这时候另一线程two也从内存中取出A,并且two进行一些操作变成了B,然后two又将V位置的数据变成A,这时候线程one进行CAS操作发现内存中仍然是A,然后one操作成功，尽管线程one的CAS操作成功。但不代表这个过程没有问题的，如果链表在变化了两次后恢复了原值，但是不代表链表没有变化。
解决办法：通过标记版本戳stamped加以解决
AtomicStampedReference /AutomicMarkableReference

automicStampedReference.comparedAndSet(100,101,stamp,stamp+1)