- r - 以节省内存的方式增长 data.frame
- ruby-on-rails - ruby/ruby on rails 内存泄漏检测
- android - 无法解析导入android.support.v7.app
- UNIX 域套接字与共享内存(映射文件)
我读到 GC(垃圾收集器)出于性能原因在堆中移动数据,我不太明白为什么,因为它是随机存取内存,可能是为了更好的顺序访问,但我想知道堆栈中的引用是否在这种情况下得到更新堆中发生移动。但也许偏移地址保持不变,但数据的其他部分被垃圾收集器移动,不过我不确定。
我认为这个问题与实现细节有关,因为并非所有垃圾收集器都可以执行此类优化,或者它们可以执行但不会更新引用(如果这是垃圾收集器实现中的常见做法)。但是我想得到一些特定于 CLR(公共(public)语言运行时)垃圾收集器的总体答案。
我还阅读了 Eric Lippert 的“引用不是地址”一文 here ,下面的段落让我有点困惑:
If you think of a reference is actually being an opaque GC handle then it becomes clear that to find the address associated with the handle you have to somehow "fix" the object. You have to tell the GC "until further notice, the object with this handle must not be moved in memory, because someone might have an interior pointer to it". (There are various ways to do that which are beyond the scope of this screed.)
对于引用类型,我们不想移动数据。那么我们在堆中还存储了什么,我们可以为了性能优化而四处移动?也许我们存储在那里的类型信息?顺便说一下,如果你想知道那篇文章是关于什么的,那么 Eric Lippert 将引用与指针进行了一点比较,并试图解释说引用只是地址可能是错误的,尽管 C# 是这样实现它的。
另外,如果我上面的任何假设是错误的,请纠正我。
最佳答案
是的,引用在垃圾回收期间得到更新。必然如此,当堆被压缩时对象被移动。压缩有两个主要目的:
不管 Eric 怎么说,对象引用实际上只是一个地址。指针,与您在 C 或 C++ 程序中使用的类型完全相同。非常有效,必然如此。移动对象后 GC 要做的就是更新存储在该指针中的地址到移动的对象。 CLR 还允许为对象分配句柄,额外 引用。在 .NET 中公开为 GCHandle 类型,但仅当 GC 需要帮助确定对象是否应保持事件状态或不应移动时才需要。仅当您与非托管代码互操作时才相关。
找到那个指针并不是那么简单。 CLR 投入了大量资金以确保能够可靠且高效地完成这项工作。这样的指针可以存储在许多不同的地方。更容易找回的是存储在对象字段、静态变量或 GCHandle 中的对象引用。硬的是存储在处理器堆栈或 CPU 寄存器中的指针。例如,发生在方法参数和局部变量上。
要实现这一点,CLR 需要提供的一个保证是 GC 始终可以可靠地遍历线程的堆栈。所以它可以找到存储在堆栈帧中的局部变量。然后它需要知道在哪里查看这样的堆栈帧,这是 JIT 编译器的工作。当它编译一个方法时,它不仅会为该方法生成机器代码,还会构建一个表来描述这些指针的存储位置。您将在 this post 中找到更多详细信息.
关于c# - 当垃圾收集器在堆中移动数据时,引用是否会更新?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27616910/
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: template pass by value or const reference or…? 以下对于将函数
我用相同的参数列表重载了一个运算符两次。但返回类型不同: T& operator()(par_list){blablabla} const T& operator()(par_list){bla
假设我有实现接口(interface) I 的 Activity A。我的 ViewModel 类 (VM) 持有对实现接口(interface) I 的对象的引用: class A extends
PHP 如何解释 &$this ?为什么允许? 我遇到了以下问题,这看起来像是 PHP 7.1 和 7.2 中的错误。它与 &$this 引用和跨命名空间调用以及 call_user_func_arr
谁能解释一下下面“&”的作用: class TEST { } $abc =& new TEST(); 我知道这是引用。但是有人可以说明我为什么以及什么时候需要这样的东西吗?或者给我指向一个对此有很好解
引用变量是一个别名,也就是说,它是某个已存在变量的另一个名字。一旦把引用初始化为某个变量,就可以使用该引用名称或变量名称来指向变量。 C++ 引用 vs 指针 引用很容易与指针混淆,它们之间有三
目录 引言 背景 结论 引言 我选择写C++中的引用是因为我感觉大多数人误解了引用。而我之所以有这个感受是因为我主持过很多C++的面试,并且我很少
Perl 中的引用是指一个标量类型可以指向变量、数组、哈希表(也叫关联数组)甚至函数,可以应用在程序的任何地方 创建引用 定义变量的时候,在变量名前面加个 \,就得到了这个变量的一个引用 $sc
我编写了一个将从主脚本加载的 Perl 模块。该模块使用在主脚本中定义的子程序(我不是维护者)。 对于主脚本中的一个子例程,需要扩展,但我不想修补主脚本。相反,我想覆盖我的模块中的函数并保存对原始子例
我花了几个小时试图掌握 F# Quotations,但我遇到了一些障碍。我的要求是从可区分的联合类型中取出简单的函数(只是整数、+、-、/、*)并生成一个表达式树,最终将用于生成 C 代码。我知道使用
很多时候,问题(尤其是那些标记为 regex 的问题)询问验证密码的方法。似乎用户通常会寻求密码验证方法,包括确保密码包含特定字符、匹配特定模式和/或遵守最少字符数。这篇文章旨在帮助用户找到合适的密码
我想通过 MIN 函数内的地址(例如,C800)引用包含文本的最后一个单元格。你能帮忙吗? Sub Set_Formula() ' ----------------------------- Dim
使用常规的 for 循环,我可以做类似的事情: for (let i = 0; i < objects.length; i++) { delete objects[i]; } 常规的 for-
在 Cucumber 中,您定义了定义 BDD 语法的步骤;例如,您的测试可能有: When I navigate to step 3 然后你可以定义一个步骤: When /^I navigate t
这是什么UnaryExpression的目的,以及应该怎样使用? 最佳答案 它需要一个 Expression对象并用另一个 Expression 包裹它.例如,如果您有一个用于 lambda 的表达式
给出以下内容 $("#identifier div:first, #idetifier2").fadeOut(300,function() { // I need to reference jus
我不知道我要找的东西的正确术语,但我要找的是一个完整的引用,可以放在双引号之间的语句,比如 *, node()、@* 以及所有列出的 here加上任何其他存在的。 我链接到的答案提供了一些细节,但还
This question's answers are a community effort。编辑现有答案以改善此职位。它当前不接受新的答案或互动。 这是什么? 这是常见问答的集合。这也是一个社区Wi
Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。 想改善这个问题吗?更新问题,以便将其作为on-topic
考虑下一个代码: fn get_ref(slice: &'a Vec, f: fn(&'a Vec) -> R) -> R where R: 'a, { f(slice) } fn m
我是一名优秀的程序员,十分优秀!