草庐IT

java - 在某些表达式中，JIT 能否将两个 volatile 读取合并为一个？

coder 2023-05-16 原文

假设我们有一个 volatile int a .一个线程可以

while (true) {
    a = 1;
    a = 0;
}

另一个线程可以
while (true) {
    System.out.println(a+a);
}

现在，JIT 编译器发出对应于 2*a 的程序集是否违法？而不是 a+a ?

一方面， volatile 读取的真正目的是它应该始终从内存中读取。

另一方面，两次读取之间没有同步点，所以我看不出处理 a+a 是非法的。原子地，在这种情况下，我看不到诸如 2*a 之类的优化如何会打破规范。

引用 JLS 将不胜感激。

最佳答案

简短的回答:

是的，这种优化是允许的。折叠两个顺序读取操作会产生原子序列的可观察行为，但不会显示为操作的重新排序。在单个执行线程上执行的任何操作序列都可以作为一个原子单元执行。通常，很难确保一系列操作以原子方式执行，并且很少会带来性能提升，因为大多数执行环境都会引入开销以原子方式执行项目。

在原始问题给出的示例中，所讨论的操作顺序如下:

read(a)
read(a)

以原子方式执行这些操作可保证在第一行读取的值等于在第二行读取的值。此外，这意味着在第二行读取的值是 a 中包含的值。在执行第一次读取时(反之亦然，因为根据程序的可观察执行状态，原子性的两次读取操作同时发生)。有问题的优化，即为第二次读取重用第一次读取的值，相当于编译器和/或 JIT 原子地执行序列，因此是有效的。

原来更长的答案:

Java 内存模型使用happens-before 偏序来描述操作。为了表达第一次阅读的限制r1第二次阅读 r2的 a不能折叠，您需要表明在语义上需要在它们之间出现某些操作。
r1线程上的操作和 r2如下:
--> r(a) --> r(a) --> add -->

表达某些东西(比如 y )介于 r1 之间的要求和 r2 ，您需要要求 r1发生在 y 和 y发生在 r2 .碰巧的是，没有规则出现在happens-before 关系的左侧的读操作。你能得到的最接近的是说 y发生在 r2 ，但偏序允许 y也发生在 r1 之前，从而折叠读取操作。

如果不存在需要操作介于 r1 之间的场景和 r2 ，那么您可以声明在 r1 之间不会出现任何操作和 r2并且不违反语言所需的语义。使用单个读取操作将等同于此声明。

编辑 我的答案被否决了，所以我将进入更多细节。

以下是一些相关问题:
  • 是否需要 Java 编译器或 JVM 来折叠这些读取操作？

    不。表达式a和 a add 表达式中使用的不是常量表达式，因此不需要折叠它们。
  • JVM 是否会折叠这些读取操作？

    对此，我不确定答案。通过编译程序并使用 javap -c ，很容易看出Java编译器并没有折叠这些读取操作。不幸的是，要证明 JVM 不会破坏操作(甚至更难的是处理器本身)并不容易。
  • JVM 应该折叠这些读取操作吗？

    可能不是。每个优化都需要时间来执行，因此在分析代码所需的时间和您期望获得的好处之间存在平衡。一些优化，例如消除数组边界检查或检查空引用，已被证明对实际应用程序具有广泛的好处。这种特定优化有可能提高性能的唯一情况是两个相同的读取操作顺序出现的情况。

    此外，如对此答案的响应以及其他答案所示，此特定更改将导致用户可能不希望的某些应用程序的意外行为更改。

    • 编辑 2:关于 Rafael 对无法重新排序的两个读取操作的声明的描述。此语句旨在突出缓存 a 的读取操作这一事实。按照以下顺序可能会产生不正确的结果:
    a1 = read(a)
b1 = read(b)
a2 = read(a)
result = op(a1, b1, a2)

    假设最初 a和 b有它们的默认值 0。然后你只执行第一个 read(a) .

    现在假设另一个线程执行以下序列:
    a = 1
b = 1

    最后，假设第一个线程执行行 read(b) .如果您要缓存 a 的原始读取值，你会得到以下调用:
    op(0, 1, 0)

    这是不正确的。自更新值a在写入 b 之前已存储，没有办法读取值b1 = 1然后读取值 a2 = 0 .如果没有缓存，正确的事件顺序会导致以下调用。
    op(0, 1, 1)

    但是，如果您问“是否有任何方法可以缓存 a 的读取？”，答案是肯定的。如果您可以将第一个线程序列中的所有三个读取操作作为原子单元执行，则允许缓存该值。虽然跨多个变量进行同步很困难并且很少提供机会优化优势，但遇到异常当然是可以想象的。例如，假设 a和 b每个是 4 个字节，它们以 a 顺序出现在内存中在 8 字节边界上对齐。 64 位进程可以实现序列 read(a) read(b)作为原子 64 位加载操作，这将允许值 a被缓存(有效地将所有三个读取操作视为原子操作，而不仅仅是前两个)。

    关于java - 在某些表达式中，JIT 能否将两个 volatile 读取合并为一个？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/27566938/

    volatilejavacodebrstrongjitmemory-modeljava-memory-model

    有关java - 在某些表达式中，JIT 能否将两个 volatile 读取合并为一个？的更多相关文章

    1. ruby - 使用 Vim Rails，您可以创建一个新的迁移文件并一次性打开它吗？ - 2

      使用带有Rails插件的vim，您可以创建一个迁移文件，然后一次性打开该文件吗？textmate也可以这样吗？ 最佳答案 你可以使用rails.vim然后做类似的事情::Rgeneratemigratonadd_foo_to_bar插件将打开迁移生成的文件，这正是您想要的。我不能代表textmate。 关于ruby-使用VimRails，您可以创建一个新的迁移文件并一次性打开它吗？，我们在StackOverflow上找到一个类似的问题： https://sta

    2. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

      我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何

    3. ruby-on-rails - 渲染另一个 Controller 的 View - 2

      我想要做的是有2个不同的Controller，client和test_client。客户端Controller已经构建，我想创建一个test_clientController，我可以使用它来玩弄客户端的UI并根据需要进行调整。我主要是想绕过我在客户端中内置的验证及其对加载数据的管理Controller的依赖。所以我希望test_clientController加载示例数据集，然后呈现客户端Controller的索引View，以便我可以调整客户端UI。就是这样。我在test_clients索引方法中试过这个:classTestClientdefindexrender:template=>

    4. ruby-on-rails - 如何在 ruby​​ 中使用两个参数异步运行 exe？ - 2

      exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby​​中使用两个参数异步运行exe吗？我已经尝试过ruby​​命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe，无需等待进程完成是否有任何ruby​​gems会支持我的问题？ 最佳答案 您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除

    5. ruby 正则表达式 - 如何替换字符串中匹配项的第 n 个实例 - 2

      在我的应用程序中，我需要能够找到所有数字子字符串，然后扫描每个子字符串，找到第一个匹配范围(例如5到15之间)的子字符串，并将该实例替换为另一个字符串“X”。我的测试字符串s="1foo100bar10gee1"我的初始模式是1个或多个数字的任何字符串，例如，re=Regexp.new(/\d+/)matches=s.scan(re)给出["1","100","10","1"]如果我想用“X”替换第N个匹配项，并且只替换第N个匹配项，我该怎么做？例如，如果我想替换第三个匹配项“10”(匹配项[2])，我不能只说s[matches[2]]="X"因为它做了两次替换“1fooX0barXg

    6. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象，为什么它会起作用？ - 2

      如果您尝试在Ruby中的nil对象上调用方法，则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而，有一个tryRails中的方法，如果它被发送到一个nil对象，它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常？ 最佳答案 像Ruby中的所有其他对象

    7. ruby - 为什么 SecureRandom.uuid 创建一个唯一的字符串？ - 2

      关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗？通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串？SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复？

    8. java - 等价于 Java 中的 Ruby Hash - 2

      我真的很习惯使用Ruby编写以下代码:my_hash={}my_hash['test']=1Java中对应的数据结构是什么？ 最佳答案 HashMapmap=newHashMap();map.put("test",1);我假设？ 关于java-等价于Java中的RubyHash，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/22737685/

    9. ruby - 如果指定键的值在数组中相同，如何合并哈希 - 2

      我有一个这样的哈希数组:[{:foo=>2,:date=>Sat,01Sep2014},{:foo2=>2,:date=>Sat,02Sep2014},{:foo3=>3,:date=>Sat,01Sep2014},{:foo4=>4,:date=>Sat,03Sep2014},{:foo5=>5,:date=>Sat,02Sep2014}]如果:date相同，我想合并哈希值。我对上面数组的期望是:[{:foo=>2,:foo3=>3,:date=>Sat,01Sep2014},{:foo2=>2,:foo5=>5:date=>Sat,02Sep2014},{:foo4=>4,:dat

    10. ruby-on-rails - 在 Rails 和 ActiveRecord 中查询时忽略某些字段 - 2

      我知道我可以指定某些字段来使用pluck查询数据库。ids=Item.where('due_at但是我想知道，是否有一种方法可以指定我想避免从数据库查询的某些字段。某种反拔？posts=Post.where(published:true).do_not_lookup(:enormous_field) 最佳答案 Model#attribute_names应该返回列/属性数组。您可以排除其中一些并传递给pluck或select方法。像这样:posts=Post.where(published:true).select(Post.attr

    随机推荐