参考博客乐观锁悲观锁
悲观锁
在针对于数据的更新时都认为是不安全的,即认为当前同时有别的线程在进行更新操作,所以每次操作都会上锁,在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的问题其实解决办法的原理应该类似于版本号(即不重复的值,如自增)