CAS乐观锁原理

1.乐观锁介绍

程序完成并发操作时，访问数据时每次不加锁，假设没有冲突去完成某项操作，如果因为冲突失败就重试，直到成功为止。就是当去做某个修改或其他操作的时候它认为不会有其他线程来做同样的操作（竞争），这是一种乐观的态度，通常是基于CAS 原子指令来实现的。

2.CAS介绍

当多个线程尝试使用CAS同时更新同一个变量时，只有其中一个线程能更新变量的值，而其它线程都失败，失败的线程并不会被挂起，而是被告知这次竞争中失败，并可以再次尝试。CAS是一种非阻塞式的同步方式

乐观锁一般会使用版本号机制或CAS算法实现。

3. CAS算法

采取CAS访问变量时，为该变量添加一个内存位置V与它对应，V中放入数据A,当多个线程进行访问变量时，读取数据的同时也会读取到内存V中的A,若某个线程要更新了变量，它会比较该线程中和内存中V的值，若一致，修改成功，并更新内存中V的值，若不一致，则 被告知这次竞争中失败，并可以再次尝试。当多个线程尝试使用CAS同时更新同一个变量时，只有其中一个线程能更新变量的值，而其它线程都失败，失败的线程并不会被挂起，而是被告知这次竞争中失败，并可以再次尝试。CAS是一种非阻塞式的同步方式。

4.ABA问题

若两个以上的线程读取到内存V中的值A,其中一个线程先进行更新操作,更新内存V中的值也为A，其它线程更新时，比对内存V中A时，发现一致，也进行了更新操作,但是此时对变量的操作已经不符合原来的期望了，这就是ABA问题

 

解决办法——版本号控制

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