草庐IT

java - 初始化非最终字段

coder 2023-08-30 原文

我目前正在阅读 JSR-133(Java 内存模型)，我不明白为什么 f.y 可能未初始化(可以看到 0)。谁能给我解释一下？

class FinalFieldExample {
    final int x;
    int y;
    static FinalFieldExample f;

    public FinalFieldExample() {
        x = 3;
        y = 4;
    }

    static void writer() {
        f = new FinalFieldExample();
    }

    static void reader() {
        if (f != null) {
            int i = f.x; // guaranteed to see 3
            int j = f.y; // could see 0
        }
    }
}

最佳答案

这称为“过早发布”效应。

简单来说，如果这种重新排序不违反 JMM 的限制，则允许 JVM 重新排序程序指令(出于性能原因)。

您希望代码 f = new FinalFieldExample(); 像这样运行:

1.创建 FinalFieldExample
的实例 2. 将3赋值给x
3. 将 4 赋值给 y
4. 将创建的对象赋值给变量f

但在提供的代码中，没有什么可以阻止 JVM 重新排序指令，因此它可以运行如下代码:

1.创建 FinalFieldExample
的实例 2. 将3赋值给x
3. 将未完全初始化的原始对象分配给变量 f
4. 将 4 赋值给 y

如果重新排序发生在单线程环境中，我们甚至不会注意到它。那是因为我们期望，对象将在我们开始使用它们之前被完全创建，并且 JVM 尊重我们的期望。现在，如果多个线程同时运行这段代码会发生什么？在下一个示例中，Thread1 正在执行方法 writer() 和 Thread2 - 方法 reader():

线程 1:创建 FinalFieldExample
的实例 线程 1:将 3 赋值给 x
线程 1:将未完全初始化的原始对象分配给变量 f
线程2:读取f，不为空
线程2:读f.x，是3
线程2:读取f.y，还是0
线程 1:将 4 赋值给 y

绝对不好。为了防止 JVM 这样做，我们需要给它关于程序的额外信息。对于这个特定的例子，有一些方法可以修复内存一致性:

  • 将y 声明为final 变量。这将导致“freeze”效果。简而言之，final 变量将始终在您访问它们的那一刻被初始化，如果在构造期间没有泄漏对对象的引用。
  • 将f 声明为volatile 变量。这将创建“synchronization order”并解决问题。简而言之，指令不能在 volatile 写入之下和 volatile 读取之上重新排序。分配给 f 变量是 volatile 写入，这意味着 new FinalFieldExample() 指令不能在分配后重新排序和执行。从f变量读取是volatile读取，所以读取f.x不能在它之前执行。 v-write 和 v-read 的组合称为同步顺序，可提供所需的内存一致性。

Here是一个很好的博客，可以回答您关于 JMM 的所有问题。

关于java - 初始化非最终字段，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/31223219/

java初始化codeFinalFieldExamplesectionmultithreadingjava-memory-model

有关java - 初始化非最终字段的更多相关文章

  1. ruby-on-rails - 未初始化的常量 Psych::Syck (NameError) - 2

    在我的gem中，我需要yaml并且在我的本地计算机上运行良好。但是在将我的gem推送到ruby​​gems.org之后，当我尝试使用我的gem时，我收到一条错误消息=>"uninitializedconstantPsych::Syck(NameError)"谁能帮我解决这个问题？附言RubyVersion=>ruby1.9.2,GemVersion=>1.6.2,Bundlerversion=>1.0.15 最佳答案 经过几个小时的研究，我发现=>“YAML使用未维护的Syck库，而Psych使用现代的LibYAML”因此，为了解决

  2. ruby-on-rails - 如何验证非模型(甚至非对象)字段 - 2

    我有一个表单，其中有很多字段取自数组(而不是模型或对象)。我如何验证这些字段的存在？solve_problem_pathdo|f|%>... 最佳答案 创建一个简单的类来包装请求参数并使用ActiveModel::Validations。#definedsomewhere,atthesimplest:require'ostruct'classSolvetrue#youcouldevencheckthesolutionwithavalidatorvalidatedoerrors.add(:base,"WRONG!!!")unlesss

  3. ruby-on-rails - form_for 中不在模型中的自定义字段 - 2

    我想向我的Controller传递一个参数，它是一个简单的复选框，但我不知道如何在模型的form_for中引入它，这是我的观点:{:id=>'go_finance'}do|f|%>Transferirde:para:Entrada:"input",:placeholder=>"Quantofoiganho?"%>Saída:"output",:placeholder=>"Quantofoigasto?"%>Nota:我想做一个额外的复选框，但我该怎么做，模型中没有一个对象，而是一个要检查的对象，以便在Controller中创建一个ifelse，如果没有检查，请帮助我，非常感谢,谢谢

  4. ruby-on-rails - 未在 Ruby 中初始化的对象 - 2

    我在Rails工作并有以下类(class):classPlayer当我运行时bundleexecrailsconsole然后尝试:a=Player.new("me",5.0,"UCLA")我回来了:=>#我不知道为什么Player对象不会在这里初始化。关于可能导致此问题的操作/解释的任何建议？谢谢，马里奥格 最佳答案 havenoideawhythePlayerobjectwouldn'tbeinitializedhere它没有初始化很简单，因为你还没有初始化它!您已经覆盖了ActiveRecord::Base初始化方法，但您没有调

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

  6. 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

  7. ruby-on-rails - ActionController::RoutingError: 未初始化常量 Api::V1::ApiController - 2

    我有用于控制用户任务的Rails5API项目，我有以下错误，但并非总是针对相同的Controller和路由。ActionController::RoutingError:uninitializedconstantApi::V1::ApiController我向您描述了一些我的项目，以更详细地解释错误。应用结构路线scopemodule:'api'donamespace:v1do#=>Loginroutesscopemodule:'login'domatch'login',to:'sessions#login',as:'login',via::postend#=>Teamroutessc

  8. ruby - 这两个 Ruby 类初始化定义有什么区别？ - 2

    我正在阅读一本关于Ruby的书，作者在编写类初始化定义时使用的形式与他在本书前几节中使用的形式略有不同。它看起来像这样:classTicketattr_accessor:venue,:datedefinitialize(venue,date)self.venue=venueself.date=dateendend在本书的前几节中，它的定义如下:classTicketattr_accessor:venue,:datedefinitialize(venue,date)@venue=venue@date=dateendend在第一个示例中使用setter方法与在第二个示例中使用实例变量之间是

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

  10. 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)我

随机推荐