CAS实现乐观锁

数据库中锁存在的问题

悲观锁机制存在以下问题：在多线程竞争下，加锁、释放锁会导致比较多的上下文切换和调度延时，引起性能问题。

而另一个更加有效的锁就是乐观锁。乐观锁（ Optimistic Locking）其实是一种思想，乐观锁假设认为数据一般情况下不会造成冲突，所以在数据进行提交更新的时候，才会正式对数据的冲突与否进行检测，如果发现冲突了，则让返回用户错误的信息，让用户决定如何去做。乐观锁的实现方式中有一种比较典型的就是Compare and Swap(CAS)。

CAS

CAS是项乐观锁技术，当多个线程尝试使用CAS同时更新同一个变量时，只有其中一个线程能更新变量的值，而其它线程都失败，失败的线程并不会被挂起，而是被告知这次竞争中失败，并可以再次尝试。

CAS 操作包含三个操作数 —— 内存位置（V）、预期原值（A）和新值(B)。如果内存位置的值与预期原值相匹配，那么处理器会自动将该位置值更新为新值。否则，处理器不做任何操作。

CAS导致的ABA问题

ABA问题实际上是乐观锁无法解决脏数据读取的一种体现。

CAS并不是一个原子操作，比如说一个线程one从内存位置V中取出A，这时候另一个线程two也从内存中取出A，并且two将A变成了B，然后two又将V位置的数据变成A，这时候线程one进行CAS操作发现内存中仍然是A，然后one操作成功。尽管线程one的CAS操作成功，但是不代表这个过程就是没有问题的。

部分乐观锁的实现是通过版本号（version）的方式来解决ABA问题，乐观锁每次在执行数据的修改操作时，都会带上一个版本号，一旦版本号和数据的版本号一致就可以执行修改操作并对版本号执行+1操作，否则就执行失败。因为每次操作的版本号都会随之增加，所以不会出现ABA问题，因为版本号只会增加不会减少。