Java CAS 原理分析，Java集合类中绝对占有一席之地的List

最新推荐文章于 2024-07-07 20:46:40 发布

Java技术开源

最新推荐文章于 2024-07-07 20:46:40 发布

阅读量168

点赞数

分类专栏：程序员文章标签： java 面试后端

本文链接：https://blog.csdn.net/m0_63099094/article/details/120984414

版权

本文深入分析了Java CAS（Compare and Swap）原理，探讨了多核环境下并发问题，解释了Intel处理器的LOCK#信号在确保原子性操作中的作用。通过源码解析，展示了CAS在Java中的实现，包括Unsafe类和compareAndSet方法，以及其在Windows平台下的cmpxchg指令实现，揭示了如何在多核CPU中保证内存操作的正确性。

摘要由CSDN通过智能技术生成

前面说了 CAS 操作的流程，并不是很难。但仅有上面的说明还不够，接下来我将会再介绍一点其他的背景知识。有这些背景知识，才能更好的理解后续的内容。

2.背景介绍

我们都知道，CPU 是通过总线和内存进行数据传输的。在多核心时代下，多个核心通过同一条总线和内存以及其他硬件进行通信。如下图：

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-rqVO50dY-1635265565566)(https://blog.csdn.net/)]

图片出处：《深入理解计算机系统》

上图是一个较为简单的计算机结构图，虽然简单，但足以说明问题。在上图中，CPU 通过两个蓝色箭头标注的总线与内存进行通信。大家考虑一个问题，CPU 的多个核心同时对同一片内存进行操作，若不加以控制，会导致什么样的错误？这里简单说明一下，假设核心1经32位带宽的总线向内存写入64位的数据，核心1要进行两次写入才能完成整个操作。若在核心1第一次写入32位的数据后，核心2从核心1写入的内存位置读取了64位数据。由于核心1还未完全将64位的数据全部写入内存中，核心2就开始从该内存位置读取数据，那么读取出来的数据必定是混乱的。

不过对于这个问题，实际上不用担心。通过 Intel 开发人员手册，我们可以了解到自奔腾处理器开始，Intel 处理器会保证以原子的方式读写按64位边界对齐的四字（quadword）。

根据上面的说明，我们可总结出，Intel 处理器可以保证单次访问内存对齐的指令以原子的方式执行。但如果是两次访存的指令呢？答案是无法保证。比如递增指令inc dword ptr [...]，等价于DEST = DEST + 1。该指令包含三个操作读->改->写，涉及两次访存。考虑这样一种情况，在内存指定位置处，存放了一个为1的数值。现在 CPU 两个核心同时执行该条指令。两个核心交替执行的流程如下：

核心1 从内存指定位置出读取数值1，并加载到寄存器中
核心2 从内存指定位置出读取数值1，并加载到寄存器中
核心1 将寄存器中值递减1
核心2 将寄存器中值递减1
核心1 将修改后的值写回内存
核心2 将修改后的值写回内存

经过执行上述流程，内存中的最终值时2，而我们期待的是3，这就出问题了。要处理这个问题，就要避免两个或多个核心同时操作同一片内存区域。那么怎样避免呢？这就要引入本文的主角 - lock 前缀。关于该指令的详细描述，可以参考 Intel 开发人员手册 Volume 2 Instruction Set Reference，Chapt