Boehm 垃圾收集器中的精确模式

Question

我在 Mono 的网页上读到他们在精确模式下使用 Boehm GC。 我也将 Boehm GC 与 C++ 一起使用，但是，我在其文档或标题中没有发现任何表明精确模式的内容，更不用说如何打开它了。

任何信息是否它实际上具有默认的精确模式以及如何打开它，或者它只是 Mono 开发人员的某种修改？

Answer 1

Mono 下的 Boehm GC 中的精确模式不仅仅是GC_MALLOC_ATOMIC 。 这仅适用于基本类型的 arrays。

对于托管类型，使用GC_gcj_malloc 。 Mono 的编译器为每个托管类型生成一个 object 描述符，然后它简单地使用大小参数调用GC_gcj_malloc和指向托管类型描述符的指针。 Boehm GC 然后在标记阶段引用描述符以跟踪托管指针。

您最终只会将根指针作为原始指针放在堆栈上（ GC_gcj_malloc返回一个 void* 并且无法通过 GC 收集之前的某种堆栈描述符告诉 GC 指针在堆栈上的位置）。 这就是 Mono（在 SGen 之前）说他们以保守模式扫描堆栈的原因。

如果您想在 C++ 下实现此功能，您将无法简单地依赖 C++ 编译器为您生成 object 描述符。 What I envisioned a long time ago was to write an intermediate compiler that parses all your C++ header files for class definitions that have been marked as managed class (eg _ref class MyManagedObject where _ref is simply a #define to nothing) and generate a header file包含那些 object 描述符。 然后，您将使用GC_make_descriptor和GC_malloc_explicitly_typed函数以精确模式而不是GC_gcj_malloc分配对象，因为您无法控制 C++ 编译器如何分配其 vtable。

*编辑：有关GCC（开源 GPL v3），请参阅托管 C++ 。

Answer 2

来自垃圾收集器（此处存档）的文件 doc/gcinterface.html 指出：

void * GC_MALLOC_ATOMIC(size_t nbytes) 分配 nbytes 的存储空间。 需要与 nbytes 成比例的（摊销）时间。 生成的 object 将在未引用时自动释放。 客户端承诺生成的 object 永远不会包含任何指针。 memory 未被清除。 这是分配字符串、浮点 arrays、位图等的首选方式。有关指针位置的更精确信息可以使用分发中的 gc_typed.h 中的接口传达给收集器。

看起来有一个可以使用的“精确”界面。

Answer 3

我相信精确模式需要编译器的支持才能准确指示指针的存储位置。 C 和 C++ 中的类型转换使得这几乎是不可能的。

具有内置反射的托管语言将使这变得容易得多。