AtomicInteger原子变量与CAS算法

我会带着你远行 2021-11-05 02:46 394阅读 0赞

### \--------> [CAS原理][CAS] ###

> i++ 的原子性问题：i++ 的操作实际上分为三个步骤“读-改-写”
> 
> 从变量i中读取读取i的值->值+1 ->将+1后的值写回i中

程序：开启10个线程，打印 serialNumber

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQxNTY2Nzcy_size_16_color_FFFFFF_t_70][]

结果：在多次执行情况下，可能出现

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQxNTY2Nzcy_size_16_color_FFFFFF_t_70 1][]

尽管serialNumber加上了valotile，因为volatile无法保证原子性，所以程序（serialNumber++）不能保证线程安全。

线程 5 执行 int temp = i，线程6也执行到这一步，两个线程获取了相同的值

> java.util.concurrent.atomic 包下------AtomicInteger 使用CAS保证数据变量的原子性
> 
> CAS（Compare-And-Swap） 算法保证数据变量的原子性
> 
>  *  CAS 算法是硬件对于并发操作的支持
>  *  CAS 包含了三个操作数：
>  *  ①内存值  V
>  *  ②预估值  A
>  *  ③更新值  B
>  *  当且仅当 V == A 时， V = B; 否则，不会执行任何操作。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQxNTY2Nzcy_size_16_color_FFFFFF_t_70 2][]

两个线程都尝试去改同一个值，当一个线程先改完，另一个线程发现新的值和原来的不一样了，此时放弃操作。

[CAS]: https://blog.csdn.net/qq_41566772/article/details/99688444
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQxNTY2Nzcy_size_16_color_FFFFFF_t_70]: /images/20211104/d1ad05326eb84477ba752fd30aee2dcb.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQxNTY2Nzcy_size_16_color_FFFFFF_t_70 1]: /images/20211104/4846f852d8e4458282a3c749530565f9.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQxNTY2Nzcy_size_16_color_FFFFFF_t_70 2]: /images/20211104/7deb8913566e411db345d51a496bb1d9.png