CAS 比较和交换

类似乐观锁

使用原子类保证线程安全

是什么？

它是一条CPU的并发原语

原理

线程A往回写的时候会对比下主内存中的值和自己修改前的值，相等，更新

如果不相等，说明别人动了，要么重头再来一次（自旋），如法炮制。

硬件级别保证

CAS实际上是CPU实现独占，性能比起Synchronized重量级锁好太多

底层调用的其实是Unsafe类，this是当前对象，valueoffset是当前对象内存地址偏移量

Unsafe类

是CAS落地思想的核心类

源码分析

来到Unsafe.java

var1是当前对象，var2是内存地址偏移量，拿到当前主存中的值也就是3

offset参数指定了要操作的字段在对象中的偏移量。通过偏移量，可以准确地定位到对象中的某个字段。需要注意的是，这个偏移量是相对于对象的起始地址的偏移。

此时线程A的进入while判断，发现第三个参数v的旧期望值是3，但是此时已经被线程B修改成4了，不一致，返回false，只能继续自旋。

cmpxchg（compare x change指令）

根据不同系统调用不同的重载函数

LOCK_IF_MP(mp)

LOCK_IF_MP（Lock if Multi-Processor）是一个汇编指令，用于在多处理器系统中给总线加锁。这个指令通常用于确保在多处理器环境下，对共享数据的并发访问是互斥的，从而实现线程安全。

在多处理器系统中，多个处理器可以同时访问共享内存，如果不采取同步机制，可能会导致数据的不一致性。为了解决这个问题，可以使用LOCK_IF_MP指令，它会在执行期间给总线上的锁信号线发送一个请求，使得其他处理器无法同时访问共享内存，从而保证了数据的一致性。

当一个处理器执行LOCK_IF_MP指令时，其他处理器会检测到锁信号并等待，直到持有锁的处理器释放锁。这样可以确保在同一时刻只有一个处理器能够访问共享内存，保证了数据的完整性和一致性。

需要注意的是，LOCK_IF_MP指令会导致性能开销，并且只在多处理器系统中才会真正发挥作用。在单处理器系统中，这个指令通常会被优化为普通的指令，不会真正产生锁的效果。

总结

原子引用

可以把自己定义的类包装成原子类型

CAS与自旋锁

借助CAS思想自己实现自旋锁🔐

lock：比如我现在想上厕所，我当然希望坑位没人，所以期望值是null，然后把自己写进去，成功了跳出循环，所以这里取反。

unlock：比如我现在上完厕所，想出来我的期望值肯定是自己，然后把null写进去。

main函数：

此时B过来也想上厕所，但B的lock期望是null，肯定不可能A在用呢，B只能在这里自旋。

CAS缺点

循环时间长，开销大

ABA问题

这时候AtomicReference是远远不够的，就要用到AtomicStampedReference

stamp:邮戳，版本号

版本号时间戳原子引用

单线程环境：

多线程环境：

异常模拟：

这里t1先把100改成101，然后反悔了，又改回100.

但是t2不知情，不知道t1改过101这件事。

此时发生了ABA问题

多线程下解决ABA：

t3发生了ABA问题

t4想把原先的100改成2022，但是t3发生了ABA了，修改失败，版本号检测到和一开始不想等，有人动过。

结果