草庐IT

java - 不稳定的保证和乱序执行

coder 2023-05-14 原文

重要编辑我知道“发生在之前”在两个任务发生的线程中我的问题是 另一个 em> 线程正在读取“b”非空，而“a”仍为空。所以我知道，如果您从与之前调用 setBothNonNull(...) 的线程相同的线程中调用 doIt()，那么它不会抛出 NullPointerException。但是，如果一个调用 doIt() 从另一个线程 而不是调用 setBothNonNull(...) 呢？

请注意，此问题仅与 volatile 关键字有关，而 volatile 保证:它不是与 synchronized 关键字(所以请不要回答“你必须使用同步”，因为我没有任何问题要解决:我只是想了解关于 out 的 volatile 保证(或缺乏保证)顺序执行)。

假设我们有一个包含两个 volatile 字符串引用的对象，这些引用被构造函数初始化为 null，并且我们只有一种方法来修改这两个字符串:通过调用 setBoth(.. .) 并且我们只能在之后将它们的引用设置为非空引用(仅允许构造函数将它们设置为空)。

例如(这只是一个例子，还没有问题):

public class SO {

    private volatile String a;
    private volatile String b;

    public SO() {
        a = null;
        b = null;
    }

    public void setBothNonNull( @NotNull final String one, @NotNull final String two ) {
        a = one;
        b = two;
    }

    public String getA() {
        return a;
    }

    public String getB() {
        return b;
    }

}

在setBothNoNull(...)中，分配非空参数“a”的行出现在分配非空参数“b”的行之前。

那么如果我这样做(再一次，没有问题，问题来了):

doIt() {
    if ( so.getB() != null ) {
        System.out.println( so.getA().length );
    }
}

我的理解是否正确，即由于乱序执行我会得到 NullPointerException？

换句话说:不能保证因为我读到了一个非空的“b”，我就会读到一个非空的“a”？

由于无序(多)处理器和 volatile 的工作方式“b”可以在“a”之前分配？

volatile 保证在写入之后的读取将始终看到最后写入的值，但是这里有一个无序的“问题”对吗？ (再一次，“问题”是故意试图理解 volatile 关键字和 Java 内存模型的语义，而不是解决问题。

最佳答案

不，您永远不会获得 NPE。这是因为 volatile 还具有引入happens-before 关系的内存效应。换句话说，它将防止重新排序 

a = one;
b = two;

上面的语句，不会被重新排序，如果 b 已经有值 两个。

David Holmes 对此进行了解释:
http://markmail.org/message/j7omtqqh6ypwshfv#query:+page:1+mid:34dnnukruu23ywzy+state:results

编辑(响应后续): Holmes 的意思是，如果只有线程 A，编译器理论上可以进行重新排序。但是，还有其他线程，它们可以检测到重新排序。这就是为什么不允许编译器进行重新排序的原因。 Java 内存模型需要编译器专门确保没有线程会检测到这种重新排序。

But what if one is calling doIt() from another thread than the one calling setBothNonNull(...) ?

不，你永远不会有 NPE。 volatile 语义确实强加了线程间的顺序。这意味着，对于所有现有线程，one 的分配发生在 two 的分配之前。

关于java - 不稳定的保证和乱序执行，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2441279/

java不稳定codesectionvolatilejava-memory-model

有关java - 不稳定的保证和乱序执行的更多相关文章

  1. ruby-openid:执行发现时未设置@socket - 2

    我在使用omniauth/openid时遇到了一些麻烦。在尝试进行身份验证时，我在日志中发现了这一点:OpenID::FetchingError:Errorfetchinghttps://www.google.com/accounts/o8/.well-known/host-meta?hd=profiles.google.com%2Fmy_username:undefinedmethod`io'fornil:NilClass重要的是undefinedmethodio'fornil:NilClass来自openid/fetchers.rb，在下面的代码片段中:moduleNetclass

  2. ruby - Chef 执行非顺序配方 - 2

    我遵循了教程http://gettingstartedwithchef.com/,第1章。我的运行list是"run_list":["recipe[apt]","recipe[phpap]"]我的phpapRecipe默认Recipeinclude_recipe"apache2"include_recipe"build-essential"include_recipe"openssl"include_recipe"mysql::client"include_recipe"mysql::server"include_recipe"php"include_recipe"php::modul

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

  4. ruby - 无法在 60 秒内获得稳定的 Firefox 连接 (127.0.0.1 :7055) - 2

    我使用的是Firefox版本36.0.1和Selenium-Webdrivergem版本2.45.0。我能够创建Firefox实例，但无法使用脚本继续进行进一步的操作无法在60秒内获得稳定的Firefox连接(127.0.0.1:7055)错误。有人能帮帮我吗？ 最佳答案 我遇到了同样的问题。降级到firefoxv33后一切正常。您可以找到旧版本here 关于ruby-无法在60秒内获得稳定的Firefox连接(127.0.0.1:7055)，我们在StackOverflow上找到一个类

  5. ruby - 为什么 Ruby 的 each 迭代器先执行？ - 2

    我在用Ruby执行简单任务时遇到了一件奇怪的事情。我只想用每个方法迭代字母表，但迭代在执行中先进行:alfawit=("a".."z")puts"That'sanalphabet:\n\n#{alfawit.each{|litera|putslitera}}"这段代码的结果是:(缩写)abc⋮xyzThat'sanalphabet:a..z知道为什么它会这样工作或者我做错了什么吗？提前致谢。 最佳答案 因为您的each调用被插入到在固定字符串之前执行的字符串文字中。此外，each返回一个Enumerable，实际上您甚至打印它。试试

  6. java - 从 JRuby 调用 Java 类的问题 - 2

    我正在尝试使用boilerpipe来自JRuby。我看过guide从JRuby调用Java，并成功地将它与另一个Java包一起使用，但无法弄清楚为什么同样的东西不能用于boilerpipe。我正在尝试基本上从JRuby中执行与此Java等效的操作:URLurl=newURL("http://www.example.com/some-location/index.html");Stringtext=ArticleExtractor.INSTANCE.getText(url);在JRuby中试过这个:require'java'url=java.net.URL.new("http://www

  7. java - 我的模型类或其他类中应该有逻辑吗 - 2

    我只想对我一直在思考的这个问题有其他意见，例如我有classuser_controller和classuserclassUserattr_accessor:name,:usernameendclassUserController//dosomethingaboutanythingaboutusersend问题是我的User类中是否应该有逻辑user=User.newuser.do_something(user1)oritshouldbeuser_controller=UserController.newuser_controller.do_something(user1,user2)我

  8. ruby - 检查是否通过 require 执行或导入了 Ruby 程序 - 2

    如何检查Ruby文件是否是通过“require”或“load”导入的，而不是简单地从命令行执行的？例如:foo.rb的内容:puts"Hello"bar.rb的内容require'foo'输出:$./foo.rbHello$./bar.rbHello基本上，我想调用bar.rb以不执行puts调用。 最佳答案 将foo.rb改为:if__FILE__==$0puts"Hello"end检查__FILE__-当前ruby​​文件的名称-与$0-正在运行的脚本的名称。 关于ruby-检查是否

  9. java - 什么相当于 ruby​​ 的 rack 或 python 的 Java wsgi？ - 2

    什么是ruby​​的rack或python的Java的wsgi？还有一个路由库。 最佳答案 来自Python标准PEP333:Bycontrast,althoughJavahasjustasmanywebapplicationframeworksavailable,Java's"servlet"APImakesitpossibleforapplicationswrittenwithanyJavawebapplicationframeworktoruninanywebserverthatsupportstheservletAPI.ht

  10. Observability：从零开始创建 Java 微服务并监控它 （二） - 2

    这篇文章是继上一篇文章“Observability：从零开始创建Java微服务并监控它（一）”的续篇。在上一篇文章中，我们讲述了如何创建一个Javaweb应用，并使用Filebeat来收集应用所生成的日志。在今天的文章中，我来详述如何收集应用的指标，使用APM来监控应用并监督web服务的在线情况。源码可以在地址 https://github.com/liu-xiao-guo/java_observability 进行下载。摄入指标指标被视为可以随时更改的时间点值。当前请求的数量可以改变任何毫秒。你可能有1000个请求的峰值，然后一切都回到一个请求。这也意味着这些指标可能不准确，你还想提取最小/

随机推荐