C 块扩展 (libBlocksRuntime) - 为 Block_copy() 使用自定义内存分配器 (Boehm GC)

Question

我正在编写一个 C 程序，它使用 Apple 的 Blocks 扩展来提供词法闭包。我也在使用 Boehm 垃圾收集器。我想要的是 Block_copy() 在堆上分配块时使用 GC_MALLOC，以便它们被垃圾收集。

#include <stdio.h>
#include <Block.h>
#include <GC.h>
int main()
{
  int i = 42;
  void(^test)(void) = Block_copy(^{printf("Hello %d\n", i);});
  test();
}

我使用 -DREDIRECT_MALLOC=GC_MALLOC -DREDIRECT_REALLOC=GC_REALLOC -DIGNORE_FREE 从源代码编译了 libBlocksRuntime (https://github.com/mackyle/blocksruntime)，以便让 Boehm 覆盖 malloc() 和 realloc() 调用。

然后我用 -fblocks -lBlocksRuntime -l:libgc.so -fsanitize=address 编译了上面的 c 程序，但它显示内存泄漏，因此 Block_copy() 未使用 Boehm 的分配器。

Hello 42
==5885==WARNING: invalid path to external symbolizer!
==5885==WARNING: Failed to use and restart external symbolizer!

=================================================================
==5885==ERROR: LeakSanitizer: detected memory leaks

Direct leak of 36 byte(s) in 1 object(s) allocated from:
    #0 0x4961ed  (/home/finn/test+0x4961ed)
    #1 0x7ff40c7e0c04  (/lib/x86_64-linux-gnu/libBlocksRuntime.so.0+0xc04)
    #2 0x7ff40c436cc9  (/lib/x86_64-linux-gnu/libc.so.6+0x26cc9)

SUMMARY: AddressSanitizer: 36 byte(s) leaked in 1 allocation(s).

如何强制 libBlocksRuntime 使用 Boehm 的内存分配器？

编辑：我试图通过使用 malloc 钩子来解决这个问题，然后使用 LD_PRELOAD，但这些似乎都不与 libBlocksRuntime（或一般的块）合作。

Answer 1

好的，我终于解决了。可能有更好的方法来做到这一点，但我能找到的唯一文档是源代码。首先，您需要 #include Block_private.h header 以及 Block.h。这允许访问 _Block_use_GC() 函数。 Debian 存储库中的 libBlocksRuntime 版本不适合这个，因为 _Block_use_GC() 没有编译到它的 libBlocksRuntime.so 中。然后您需要定义这 5 个函数：

BLOCK_EXPORT void* blk_alloc(const unsigned long size, __attribute__((unused)) const _Bool _, __attribute__((unused)) const _Bool __) { return GC_MALLOC(size); }
BLOCK_EXPORT void blk_setHasRefcount(__attribute__((unused)) const void* _, __attribute__((unused)) const _Bool __) {}
BLOCK_EXPORT void blk_gc_assign_strong(void* src, void** dst) { *dst = src; }
BLOCK_EXPORT void blk_gc_assign_weak(const void* src, void* dst) { *(void**)dst = (void*)src; }
BLOCK_EXPORT void blk_gc_memmove(void* dst, void* src, unsigned long size) { memmove(dst, src, size); }

这些是 libBlocksRuntime 将用来访问垃圾收集器的函数。在这种情况下重要的是 blk_alloc()，它只调用 GC_MALLOC()。然而，其他垃圾收集器可能会使用其他函数，您可能可以利用它们来获得更好的性能。现在我们必须告诉 libBlocksRuntime 像这样使用这些函数：

  _Block_use_GC(blk_alloc, blk_setHasRefcount, blk_gc_assign_strong, blk_gc_assign_weak, blk_gc_memmove);

这会通知 libBlocksRuntime 我们正在使用垃圾收集器，这就是与之交互的方式。

C 块扩展 (libBlocksRuntime) - 为 Block_copy() 使用自定义内存分配器 (Boehm GC)

C blocks extension (libBlocksRuntime) - use custom memory allocator (Boehm GC) for Block_copy()

c

c++

clang

boehm-gc

objective-c-blocks