- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在开发一些处理引用对象的并发算法。我正在使用 Java 17。
问题是我不知道 get、clear 或 refersTo 等操作的内存语义是什么。它没有记录在 Javadoc 中。
查看OpenJdk的源代码,referent没有修饰符,比如volatile(而引用队列的next指针是volatile)。此外,get 实现是微不足道的,但它是一个内在的候选者。 clear 和 refersTo 是原生的。所以我不知道他们到底在做什么。
当 GC 清除引用时,我必须假设所有线程都会看到它被清除,否则它们会看到对对象(正在处理中)的引用被垃圾收集,但这只是一个非正式的猜测。
所有这些操作的内存语义是否有任何保证?
如果没有,是否有办法通过在调用其中一个操作之前和/或之后调用例如栅栏操作来获得对 volatile 访问的相同保证?
最佳答案
当您调用 clear()
时在引用对象上,它只会清除这个特定的 Reference
对象对应用程序的其余部分没有任何影响,也没有特殊的内存语义。就像您在代码中看到的一样,赋值 null
。到没有 volatile
的字段修饰符。
心灵the documentation of clear()
:
This method is invoked only by Java code; when the garbage collector clears references it does so directly, without invoking this method.
因此这与 GC 清除引用的事件无关。当 GC 清除引用时,您的假设“所有线程都会看到它被清除”是正确的。 documentation of WeakReference
状态:
Suppose that the garbage collector determines at a certain point in time that an object is weakly reachable. At that time it will atomically clear all weak references to that object and all weak references to any other weakly-reachable objects from which that object is reachable through a chain of strong and soft references.
所以在这一点上,不仅所有的线程都会同意一个弱引用已经被清除,它们也会同意对同一个对象的所有弱引用都已经被清除。可以在 SoftReference
找到类似的声明。和 PhantomReference
.
The Java Language Specification, §12.6.2. Interaction with the Memory Model将可能发生此类原子清除的点称为可达性决策点。它根据“先于 di”和“后于 ”关系指定这些点与其他程序操作之间的交互,最重要的是:
If r is a read that sees a write w and r comes-before di, then w must come-before di.
If x and y are synchronization actions on the same variable or monitor such that so(x, y) (§17.4.4) and y comes-before di, then x must come-before di.
因此,GC 操作将被插入到同步顺序中,即使是快速读取也无法破坏它,但重要的是要记住,应用程序不知道可达性决策点的确切位置。很明显,它介于最后一点 get()
之间。返回了一个非 null
引用或 refersTo(null)
返回 false
第一点 get()
返回 null
或 refersTo(null)
返回 true
.
对于实际应用,一旦引用报告对象被垃圾回收,您就可以确定它不会再出现在任何地方¹,这一事实就足够了。只需将引用对象保密,以确保没有人调用 clear()
在上面。
¹ 抛开“终结器复活”之类的事情
关于java - java.lang.ref.Reference 方法的内存语义,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/71255376/
我想了解 Ruby 方法 methods() 是如何工作的。 我尝试使用“ruby 方法”在 Google 上搜索,但这不是我需要的。 我也看过 ruby-doc.org,但我没有找到这种方法。
Test 方法 对指定的字符串执行一个正则表达式搜索,并返回一个 Boolean 值指示是否找到匹配的模式。 object.Test(string) 参数 object 必选项。总是一个
Replace 方法 替换在正则表达式查找中找到的文本。 object.Replace(string1, string2) 参数 object 必选项。总是一个 RegExp 对象的名称。
Raise 方法 生成运行时错误 object.Raise(number, source, description, helpfile, helpcontext) 参数 object 应为
Execute 方法 对指定的字符串执行正则表达式搜索。 object.Execute(string) 参数 object 必选项。总是一个 RegExp 对象的名称。 string
Clear 方法 清除 Err 对象的所有属性设置。 object.Clear object 应为 Err 对象的名称。 说明 在错误处理后,使用 Clear 显式地清除 Err 对象。此
CopyFile 方法 将一个或多个文件从某位置复制到另一位置。 object.CopyFile source, destination[, overwrite] 参数 object 必选
Copy 方法 将指定的文件或文件夹从某位置复制到另一位置。 object.Copy destination[, overwrite] 参数 object 必选项。应为 File 或 F
Close 方法 关闭打开的 TextStream 文件。 object.Close object 应为 TextStream 对象的名称。 说明 下面例子举例说明如何使用 Close 方
BuildPath 方法 向现有路径后添加名称。 object.BuildPath(path, name) 参数 object 必选项。应为 FileSystemObject 对象的名称
GetFolder 方法 返回与指定的路径中某文件夹相应的 Folder 对象。 object.GetFolder(folderspec) 参数 object 必选项。应为 FileSy
GetFileName 方法 返回指定路径(不是指定驱动器路径部分)的最后一个文件或文件夹。 object.GetFileName(pathspec) 参数 object 必选项。应为
GetFile 方法 返回与指定路径中某文件相应的 File 对象。 object.GetFile(filespec) 参数 object 必选项。应为 FileSystemObject
GetExtensionName 方法 返回字符串,该字符串包含路径最后一个组成部分的扩展名。 object.GetExtensionName(path) 参数 object 必选项。应
GetDriveName 方法 返回包含指定路径中驱动器名的字符串。 object.GetDriveName(path) 参数 object 必选项。应为 FileSystemObjec
GetDrive 方法 返回与指定的路径中驱动器相对应的 Drive 对象。 object.GetDrive drivespec 参数 object 必选项。应为 FileSystemO
GetBaseName 方法 返回字符串,其中包含文件的基本名 (不带扩展名), 或者提供的路径说明中的文件夹。 object.GetBaseName(path) 参数 object 必
GetAbsolutePathName 方法 从提供的指定路径中返回完整且含义明确的路径。 object.GetAbsolutePathName(pathspec) 参数 object
FolderExists 方法 如果指定的文件夹存在,则返回 True;否则返回 False。 object.FolderExists(folderspec) 参数 object 必选项
FileExists 方法 如果指定的文件存在返回 True;否则返回 False。 object.FileExists(filespec) 参数 object 必选项。应为 FileS
我是一名优秀的程序员,十分优秀!