请解释什么是 ABA问题?
ABA 问题是多线程环境下的一种常见问题，通常出现在使用 CAS（Compare-And-Swap）操作的场景中。CAS 操作是一种无锁（lock-free）的原子操作，它通过比较内存值和预期值是否相等来决定是否更新内存值。当多个线程同时使用 CAS 操作访问共享数据时，可能会出现 ABA 问题。
ABA 问题的产生过程如下：
- 线程 1 读取共享数据的值 A。
- 线程 2 也读取共享数据的值 A。
- 线程 1 将共享数据的值从 A 修改为 B，然后又将其修改回 A，即 A->B->A。
- 线程 2 执行 CAS 操作，发现共享数据的值仍然为 A，然后将其修改为 C。
在这个例子中，线程 2 的 CAS 操作实际上是基于一个过时的数据 A 进行的，但由于线程 1 将数据修改回了 A，线程 2 的 CAS 操作仍然成功。这可能导致错误的结果或者不一致的状态。