草庐IT

java - 为什么不锁定一个基于值(value)的类

coder 2024-03-29 原文

The docs假设您不应该锁定基于值的 Java 类的实例,例如 Optional 因为代码

may produce unpredictable results if it attempts to distinguish two references to equal values of a value-based class ... indirectly via an appeal to synchronization...

Why should Java's value-based classes not be serialized?断言

Because future JVM implementations might not use object headers and reference pointers for value-based classes, some of the limitations are clear. (E.g. not locking on an identity which the JVM must not uphold. A reference on which is locked could be removed and replaced by another later, which makes releasing the lock pointless and will cause deadlocks).

即该禁令是面向 future 的。但该断言没有引用资料。

如果面向 future 是基础,我想要一个引用。如果不是,我想了解基础是什么,因为基于值的对象是 Object

编辑

顺便说一句,我理解不锁定整数和其他原始包装类的原因;它们可能被缓存。但是我找不到任何文档说基于值的类也是如此,而 Integer 等。基于值(value)观,他们are not value-based classes . IE。 JavaDocs of Optional &ETC。明确地说

This is a value-based class

Integer 则不同。 , &等等

最佳答案

这是 Nicolai Parlog 的博文关于基于值的类:

In Java 8 value types are preceded by value-based classes. Their precise relation in the future is unclear but it could be similar to that of boxed and unboxed primitives (e.g. Integer and int). Additionally, the compiler will likely be free to silently switch between the two to improve performance. Exactly that switching back and forth, i.e. removing and later recreating a reference, also forbids identity-based mechanisms to be applied to value-based classes.

Nicolai 的意思是这样的:

  • 在未来,编译器可能以不保留对象身份的方式在值和基于值的类之间透明地转换。

  • 某些事物(“基于身份的机制”)取决于对象身份。示例包括用于引用的 == 语义、身份哈希码、原始锁定和对象序列化。

  • 对于那些事情,透明翻译有可能不透明。

在原始锁定的情况下,担心的是可能会发生类似以下序列的事情。

  1. 创建了一个基于值的类的实例。
  2. 实例在幕后转换为值。
  3. 然后将值转换回来,得到一个不同对象。

如果两个线程然后使用“实例”作为原始锁,它们可能不知道实际上实际上有两个对象(现在)。如果他们随后尝试同步,他们将(可能)锁定不同的对象。这意味着无论锁定旨在保护的状态是什么,都不存在互斥。

如果您不锁定基于值的类,您将不必担心这种潜在的危险......在未来

但请注意,Nicolai 的博文是一个人对 Java 10 或更高版本中可能发生的事情的猜测。


BTW, I understand the reasons not to lock on Integers and other primitive-wrapper classes; they may be cached.

缓存本身不是问题,而是导致问题的机制。真正的问题是很难推断锁定对象的对象标识,因此锁定机制是否合理

对于原始包装器,装箱和拆箱的语义导致了对象身份的不确定性。展望 future ,提出的值类型 <-> 对象转换将是这种不确定性的另一个来源。


以上博客基于"State of the Values" April 2014. John Rose, Brian Goetz, and Guy Steele其中讨论了将值类型添加到 Java 的 future 版本中。本说明是一个立场声明,而不是一个完全规范(和采纳)的提案。然而,该注释确实给了我们这个提示:

"Many of the above restrictions correspond to the restrictions on so-called value-based classes. In fact, it seems likely that the boxed form of every value type will be a value-based class."

这可以理解为暗示值类型和现有的基于值的类之间存在关系。 (特别是如果您阅读了 value-based classes 的 Java 8 描述的字里行间。)


更新 - 2019/05/18

值类型没有进入 Java 12,它们(还)不在 Java 13 的列表中。

但是,已经可以证明与博文所讨论的问题相关的问题:

    public class BrokenSync {
        private final Integer lock = 1;

        public void someMethod() {
            synchronized (lock) {
                // do something
            }
        }
    }

问题是 BrokenSync 的每个实例都会通过自动装箱 1 创建一个 Integer 实例。但是 JLS 表示,自动装箱生成的 Integer 对象不一定是不同的对象。因此,您可以使用相同的 Integer 对象作为锁,从而得到 BrokenSync 的所有实例。

关于java - 为什么不锁定一个基于值(value)的类,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34049186/

有关java - 为什么不锁定一个基于值(value)的类的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法? - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

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

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

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

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

  4. 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=>

  5. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996?但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  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-on-rails - Rails - 乐观锁定总是触发 StaleObjectError 异常 - 2

    我正在学习Rails,并阅读了关于乐观锁的内容。我已将类型为integer的lock_version列添加到我的articles表中。但现在每当我第一次尝试更新记录时,我都会收到StaleObjectError异常。这是我的迁移:classAddLockVersionToArticle当我尝试通过Rails控制台更新文章时:article=Article.first=>#我这样做:article.title="newtitle"article.save我明白了:(0.3ms)begintransaction(0.3ms)UPDATE"articles"SET"title"='dwdwd

  10. ruby - 当使用::指定模块时,为什么 Ruby 不在更高范围内查找类? - 2

    我刚刚被困在这个问题上一段时间了。以这个基地为例:moduleTopclassTestendmoduleFooendend稍后,我可以通过这样做在Foo中定义扩展Test的类:moduleTopmoduleFooclassSomeTest但是,如果我尝试通过使用::指定模块来最小化缩进:moduleTop::FooclassFailure这失败了:NameError:uninitializedconstantTop::Foo::Test这是一个错误,还是仅仅是Ruby解析变量名的方式的逻辑结果? 最佳答案 Isthisabug,or

随机推荐