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)