什么是伪共享问题以及如何解决

目录

什么是伪共享问题以及如何解决

一、伪共享问题的概念

二、伪共享问题的产生原因

三、解决伪共享问题的方法

（一）手动填充缓存行

（二）使用 JDK8 提供的注解

四、总结

---

在多线程编程中，特别是在多核处理器的环境下，伪共享问题是一个重要的性能问题。本文将详细介绍伪共享问题的概念、产生原因以及解决方法。

一、伪共享问题的概念

在现代处理器中，缓存行是缓存的最小可分配单位，大小为 64 个字节。如果一个数据要放在缓存行上供 CPU 操作，即使这个数据占用的空间小于 64 个字节，也必须分配一个完整的缓存行。例如，一个 long 类型的数据占用 8 个字节，但也必须放在一个 64 个字节的缓存行里面。

假设现在有两个线程 A 和 B，线程 A 要操作一个变量 A，线程 B 要操作一个变量 B。如果变量 A 和变量 B 被分配到了同一个缓存行中，那么当线程 A 修改了变量 A 的值时，根据 CPU 内存模型的规定，整个缓存行中的数据都会被标记为无效。此时，线程 B 如果要读取变量 B 的值，就需要重新从存储介质中加载数据到缓存行中，这就导致了额外的性能开销。这种现象就是伪共享。

二、伪共享问题的产生原因

伪共享问题的产生原因是多线程环境下，不同线程对共享数据的并发访问。当一个线程修改了共享数据中的一部分时，为了保证数据的一致性和并发安全，操作系统会将整个缓存行标记为无效，从而导致其他线程需要重新加载数据。

三、解决伪共享问题的方法

（一）手动填充缓存行

一种解决伪共享问题的方法是手动填充缓存行。具体做法是在要操作的变量周围填充一些无效的数据，使得变量所在的缓存行不会被其他线程的变量占用。例如，以下是一个 Java 示例代码：

class Padding {
    // 定义七个 long 类型的变量在前面填充缓存行
    private long p1, p2, p3, p4, p5, p6, p7;
    private long value;
    // 定义七个 long 类型的变量在后面填充缓存行
    private long p8, p9, p10, p11, p12, p13, p14;
}

在这个示例中，通过在变量value的前后分别定义七个 long 类型的变量，确保了变量value一定是在一个独立的缓存行里面，不会被其他线程的操作影响。

（二）使用 JDK8 提供的注解

在 JDK8 及之后的版本中，提供了一个@Contended注解，可以用来解决伪共享问题。使用这个注解时，需要在启动参数中添加-XX:-RestrictContended参数。以下是一个 Java 示例代码：

@Contended
class ValuePadding {
    private long value;
}

在这个示例中，通过在类上添加@Contended注解，告诉 JVM 这个类中的变量需要避免伪共享。在启动程序时，需要添加-XX:-RestrictContended参数，让 JVM 生效这个注解。

四、总结

伪共享问题是多线程编程中的一个重要性能问题，会导致额外的性能开销。通过手动填充缓存行或者使用 JDK8 提供的注解，可以有效地解决伪共享问题，提高程序的性能。在实际应用中，可以根据具体情况选择合适的方法来解决伪共享问题。