java 内存模型-01-JSR 133

2023年5月14日 346次阅读来源: java内存模型

Java Memory Model

简介

在多处理器系统中，处理器通常有一个或多个内存缓存层，通过加速对数据的访问(因为数据离处理器更近)和减少共享内存总线上的流量(因为许多内存操作可以由本地缓存来满足)，提高性能。内存缓存可以极大地提高性能，但是它们带来了许多新的挑战。

例如，当两个处理器同时检查相同的内存位置时，会发生什么?在什么条件下它们会看到相同的值?

在处理器级别，内存模型定义了必要和充分的条件，以便知道其他处理器对内存的写操作对当前处理器是可见的，而当前处理器对其他处理器的写操作是可见的。

有些处理器显示了强内存模型，在这种模型中，所有处理器在任何给定的内存位置上看到的值都是完全相同的。

其他处理器表现出较弱的内存模型，其中需要特殊指令(称为内存屏障)来刷新或使本地处理器缓存无效，以查看其他处理器所做的写操作，或使此处理器的写操作对其他人可见。

这些内存屏障通常在采取锁和解锁动作时执行;在高级语言中，它们是不可见的。

有时为强内存模型编写程序更容易，因为内存障碍的需求减少了。

然而，即使在一些最强大的记忆模型中，记忆障碍也常常是必要的;他们的位置常常是违反直觉的。

处理器设计的最新趋势鼓励了较弱的内存模型，因为它们对缓存一致性的放宽允许跨多个处理器和更大的内存量有更大的可伸缩性。

当写入对另一个线程可见时，编译器对代码的重新排序会加剧这个问题。

例如，编译器可能认为在程序的后面移动写操作更有效;只要这个代码动作不改变程序的语义，它就可以自由地这么做。

如果编译器对操作进行了修改，那么在执行之前，另一个线程将不会看到它;这反映了缓存的效果。

此外，对内存的写入可以在程序中更早地移动;在这种情况下，其他线程在程序中实际发生写操作之前可能会看到写操作。

所有这些灵活性都是通过设计来实现的——通过给编译器、运行时或硬件以最佳的顺序执行操作的灵活性，在内存模型的范围内，我们可以实现更高的性能。

实例

这方面的一个简单例子可以在以下代码中看到:

Class Reordering {
  int x = 0, y = 0;
  public void writer() {
    x = 1;
    y = 2;
  }

  public void reader() {
    int r1 = y;
    int r2 = x;
  }
}

假设这段代码同时在两个线程中执行，y的读取将看到值2。因为这个写入是在对x的写入之后进行的，所以程序员可能会假设x的读取必须看到值1。

但是，写入可能被重新排序。如果发生这种情况，那么对y的写就会发生，两个变量的读也会随之发生，然后对x的写也会发生。结果是r1的值是2，而r2的值是0。

Java内存模型描述了在多线程代码中哪些行为是合法的，以及线程如何通过内存交互。它描述了程序中的变量与在真实计算机系统中存储和从内存或寄存器中存取变量的底层细节之间的关系。它以一种可以正确使用各种硬件和各种编译器优化的方式实现。

Java包含几个语言结构，包括 volatile、final 和 synchronized，它们旨在帮助程序员向编译器描述程序的并发需求。

Java内存模型定义了 volatile 和 synchronized 的行为，更重要的是确保在所有处理器体系结构上正确地运行同步Java程序。

C++ 有 Memory Model 吗？

大多数其他编程语言，如 C 和 C++，都没有直接支持多线程。

这些语言针对编译器和体系结构中发生的各种重排序提供的保护在很大程度上依赖于所使用的线程库(如pthreads)、所使用的编译器和运行代码的平台提供的保证。

JSR 133

自1997年以来，在Java语言规范第17章中定义的Java内存模型中发现了几个严重的缺陷。

这些缺陷允许混淆行为(例如被观察到的最终字段来更改它们的值)，并且破坏了编译器执行常见优化的能力。

Java内存模型是一项雄心勃勃的工作;这是编程语言规范第一次尝试合并内存模型，该模型可以为跨各种体系结构的并发性提供一致的语义。

不幸的是，定义一个既一致又直观的记忆模型比预期的要困难得多。

JSR 133为Java语言定义了一个新的内存模型，它修复了早期内存模型的缺陷。

为了做到这一点，需要更改 final 和 `volatile 的语义。

完整的语义可以在 http://www.cs.umd.edu/users/pugh/java/memoryModel 上找到，但是形式语义并不适合胆小的人。

发现像同步这样看似简单的概念到底有多复杂是令人惊讶和发人深省的。

幸运的是，您不需要了解形式语义的细节——JSR 133的目标是创建一组形式语义，为变化无常、同步和最终工作提供直观的框架。

目标

JSR 133的目标包括:

保护现有的安全保证，比如类型安全，加强其他的。

例如，变量值可能不会“凭空”创建: 某些线程观察到的变量的每个值必须是一个值，该值可以被某些线程合理地放置在那里。

正确同步程序的语义应该尽可能简单和直观。
应该定义不完全或不正确同步的程序的语义，从而最小化潜在的安全风险。
程序员应该能够自信地推断多线程程序如何与内存交互。
应该可以跨广泛的流行硬件体系结构设计正确、高性能的JVM实现。
应该提供一个新的初始化安全性保证。如果一个对象被正确构造(这意味着在构造过程中对它的引用不会转义)，那么所有看到对该对象的引用的线程也会看到在构造函数中设置的最终字段的值，而不需要同步。
对现有代码的影响应该是最小的。