乐观锁与悲观锁(java)

参考博客乐观锁悲观锁

悲观锁

在针对于数据的更新时都认为是不安全的，即认为当前同时有别的线程在进行更新操作，所以每次操作都会上锁，在java中通常synchronized和ReentrantLock等独占锁就是悲观锁思想的实现。

乐观锁

总是假设最好的情况，每次去拿数据的时候都认为别人不会修改，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据，可以使用版本号机制和CAS算法实现。乐观锁适用于多读的应用类型，这样可以提高吞吐量，像数据库提供的类似于write_condition机制，其实都是提供的乐观锁。在Java中java.util.concurrent.atomic包下面的原子变量类就是使用了乐观锁的一种实现方式CAS实现的。

下面看一下java.util.concurrent.atomic.AtomicInteger中的乐观锁使用。

 /**
     * Atomically updates the current value with the results of
     * applying the given function, returning the updated value. The
     * function should be side-effect-free, since it may be re-applied
     * when attempted updates fail due to contention among threads.
     *
     * @param updateFunction a side-effect-free function
     * @return the updated value
     * @since 1.8
     */
     //这是一个乐观锁的更新操作，返回的是更新后的值，参数是需要的操作，这个操作
     //需要自己定义的操作，如增加1
    public final int updateAndGet(IntUnaryOperator updateFunction) {
        int prev, next;
        do {
            prev = get();
            //预更新操作
            next = updateFunction.applyAsInt(prev);
            //比较和更新，prev（期待值）,next(更新值)
        } while (!compareAndSet(prev, next));
        return next;
    }

//然后我们看一下compareAndSet(prev, next)函数

 public final boolean compareAndSet(int expect, int update) {
 //这个操作从名字可以看出是比较交换
        return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
    }

在参考的博客中提到的乐观锁的cas算法和版本号机制其实总的来说就是在写入钱，对比之前的变量是否被是被改变的。关于cas中aba的问题其实解决办法的原理应该类似于版本号（即不重复的值，如自增）