草庐IT

java - 假设我知道我将在 x64 cpus 上运行，我可以忽略哪些 JVM 同步实践？

coder 2023-09-03 原文

我知道 JVM 内存模型是为 CPU 的最低公分母设计的，因此它必须假设 JVM 可以在其上运行的 cpu 的最弱模型(例如 ARM)。

现在，考虑到 x64 具有相当强大的内存模型，假设我知道我的程序将仅在 64 位 x86 CPU 上运行，我可以忽略哪些同步实践？当我的程序通过虚拟化运行时，这也适用吗？

示例:
众所周知，JVM 的内存模型需要同步对 long 和 double 的读/写访问，但可以假设其他 32 位基元(如 int、float 等)的读/写是原子的。

但是，如果我知道我在 64 位 x86 机器上运行，我是否可以忽略在 longs/double 上使用锁，因为我知道 cpu 将自动读/写 64 位值并且只是让它们保持 volatile (就像我会整数/ float )？

最佳答案

I know that the JVM memory model is made for lowest common denominator of CPUs, so it has to assume the weakest possible model of a cpu on which the JVM can run (eg ARM).

这是不正确的。 JMM 是各种竞争力量之间妥协的结果:希望使用较弱的内存模型，以便程序可以在内存模型较弱的硬件上运行得更快；希望允许某些优化的编译器编写者的愿望；以及希望并行 Java 程序的结果是正确的和可预测的，并且如果可能(!)是 Java 程序员可以理解的。参见 Sarita Adve's CACM article内存模型问题的一般概述。

Considering that x64 has a fairly strong memory model, what synchronization practices can I ignore assuming I know my program will only run on [x64] CPUs?

没有。问题在于，内存模型不仅适用于底层硬件，还适用于执行程序的 JVM，并且在实践中主要适用于 JVM 的 JIT 编译器。编译器可能会决定应用内存模型中允许的某些优化，但如果您的程序根据底层硬件对内存行为做出无根据的假设，您的程序将会中断。

您询问了 x64 和原子 64 位写入。可能在 x64 机器上永远不会发生单词撕裂。我怀疑任何 JIT 编译器都会将 64 位值分解为 32 位写入作为优化，但你永远不知道。但是，您似乎不太可能使用此功能来避免程序中的同步或可变字段。如果没有这些，对这些变量的写入可能永远不会对其他线程可见，或者它们可能会根据其他写入任意重新排序，这可能会导致您的程序出现错误。

我的建议是首先正确应用同步以使您的程序正确。你可能会感到惊喜。同步操作已经过大量优化，在一般情况下可以非常快。如果您发现存在瓶颈，请考虑使用锁拆分等优化、使用 volatile 或转换为非阻塞算法。

更新

OP 已将问题更新为更具体一些关于使用 volatile 而不是锁和同步。

事实证明，volatile 不仅具有内存可见性语义。它还使 long 和 double 访问原子化，而对于这些类型的非 volatile 变量则不是这样。查看JLS section 17.7 .您应该能够依靠 volatile 在任何硬件上提供原子性，而不仅仅是 x64。

虽然我在这里，但有关 Java 内存模型的更多信息，请参阅 Aleksey Shipilev 的 JMM Pragmatics talk transcript . (Aleksey 也是 JMH 人。)这次演讲中有很多细节，还有一些有趣的练习来测试一个人的理解力。谈话的一个总体要点是，依赖一个人对内存模型如何工作的直觉通常是错误的，例如在高速缓存行或写缓冲区方面。 JMM 是一种关于内存操作和各种约束(同步、发生在 等)的形式主义，这些约束决定了这些操作的顺序.这可能会产生非常违反直觉的结果。试图通过考虑特定的硬件属性来超越 JMM 是不明智的。它会回来咬你的。

关于java - 假设我知道我将在 x64 cpus 上运行，我可以忽略哪些 JVM 同步实践？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24918252/

javacpuscodesection的concurrencyjvmjava-memory-model

有关java - 假设我知道我将在 x64 cpus 上运行，我可以忽略哪些 JVM 同步实践？的更多相关文章

  1. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  2. ruby-on-rails - 使用 Ruby on Rails 进行自动化测试 - 最佳实践 - 2

    很好奇，就使用ruby​​onrails自动化单元测试而言，你们正在做什么？您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您？git中的预提交Hook？只是手动调用？我完全理解测试，但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的，并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您？ 最佳答案 不确定您到底想听什么，但是有几个级别的自动代码库控制:在处理某项功能时，您可以使用类似autotest的内容获得关于哪些有效，哪些无效的即时反馈。要确保您的提

  3. ruby - 在 64 位 Snow Leopard 上使用 rvm、postgres 9.0、ruby 1.9.2-p136 安装 pg gem 时出现问题 - 2

    我想为Heroku构建一个Rails3应用程序。他们使用Postgres作为他们的数据库，所以我通过MacPorts安装了postgres9.0。现在我需要一个postgresgem并且共识是出于性能原因你想要pggem。但是我对我得到的错误感到非常困惑当我尝试在rvm下通过geminstall安装pg时。我已经非常明确地指定了所有postgres目录的位置可以找到但仍然无法完成安装:$envARCHFLAGS='-archx86_64'geminstallpg--\--with-pg-config=/opt/local/var/db/postgresql90/defaultdb/po

  4. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  5. ruby - 如何每月在 Heroku 运行一次 Scheduler 插件？ - 2

    在选择我想要运行操作的频率时，唯一的选项是“每天”、“每小时”和“每10分钟”。谢谢!我想为我的Rails3.1应用程序运行调度程序。 最佳答案 这不是一个优雅的解决方案，但您可以安排它每天运行，并在实际开始工作之前检查日期是否为当月的第一天。 关于ruby-如何每月在Heroku运行一次Scheduler插件？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/8692687/

  6. 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您的程序将作为解释器的子进程执行。除

  7. ruby - 无法运行 Rails 2.x 应用程序 - 2

    我尝试运行2.x应用程序。我使用rvm并为此应用程序设置其他版本的ruby​​:$rvmuseree-1.8.7-head我尝试运行服务器，然后出现很多错误:$script/serverNOTE:Gem.source_indexisdeprecated,useSpecification.Itwillberemovedonorafter2011-11-01.Gem.source_indexcalledfrom/Users/serg/rails_projects_terminal/work_proj/spohelp/config/../vendor/rails/railties/lib/r

  8. ruby - Sinatra:运行 rspec 测试时记录噪音 - 2

    Sinatra新手；我正在运行一些rspec测试，但在日志中收到了一堆不需要的噪音。如何消除日志中过多的噪音？我仔细检查了环境是否设置为:test，这意味着记录器级别应设置为WARN而不是DEBUG。spec_helper:require"./app"require"sinatra"require"rspec"require"rack/test"require"database_cleaner"require"factory_girl"set:environment,:testFactoryGirl.definition_file_paths=%w{./factories./test/

  9. 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/

  10. ruby-on-rails - 无法让 rspec、spork 和调试器正常运行 - 2

    GivenIamadumbprogrammerandIamusingrspecandIamusingsporkandIwanttodebug...mmm...let'ssaaay,aspecforPhone.那么，我应该把“require'ruby-debug'”行放在哪里，以便在phone_spec.rb的特定点停止处理？(我所要求的只是一个大而粗的箭头，即使是一个有挑战性的程序员也能看到:-3)我已经尝试了很多位置，除非我没有正确测试它们，否则会发生一些奇怪的事情:在spec_helper.rb中的以下位置:require'rubygems'require'spork'

随机推荐