乐观锁,悲观锁:
一个锁很乐观,一个锁很悲观。
乐观锁:
觉得自己正在拿数据的时候,别人不会修改数据,所以不会对数据上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用版本号机制和CAS算法实现
悲观锁:
觉得自己正在拿数据的时候,别人肯定也会修改数据,所以会把数据锁起来,这样别人想拿这个数据就会阻塞直到它拿到锁(共享资源每次只给一个线程使用,其它线程阻塞,用完后再把资源转让给其它线程)。
用哪个好呢?
根据不同的场景使用不同的锁:
1、乐观锁:适合读多写少的场景,就是很少会发生冲突,这样可以提高系统的吞吐量
2、悲观锁:刚好相反,适合写多读少的场景,这样可以防止数据冲突,频繁retry,导致系统的下降
乐观锁常见的两种实现方式:
1、数据版本号:
提交版本号必须大于当前数据版本号:杨过和小龙女共用一张饭卡,饭卡里当前有20元,此时versionId=1,杨过和小龙女同时往卡里充钱,杨过先充钱500,成功,versionId+=1,此时versionId=2,饭卡有520元;随后小龙女也去准备去充500,想凑520,versionId+=1,此时versionId=2,饭卡余额=20+500,提交更新失败。
这样就可以避免小龙女的操作覆盖杨过的操作。
2、CAS算法:
compare and swap(比较和替换),是一种有名的无锁算法。CAS涉及到三个数
V表示要更新的变量
E表示预期的值
N表示新值
当且仅当V=A时,才进行操作。上面的第一步,对于杨过和小龙女来说旧的预期值就是20,一开始写入内存的值是20,所以杨过充钱时,预期值A和内存值V相等,所以更新成功,这时内存的值V就变成了520,小龙女充钱时,第一次会失败,因为V不等于E,这个时候预期值变成520,然后继续尝试更新,如果在小龙女之前又有更新,则还是会失败,直至更新成功。
CAS的缺点:
CAS虽然很高效的解决了原子操作问题,但是CAS仍然存在三大问题。
循环时间长开销很大。
只能保证一个共享变量的原子操作。
ABA问题。