C++标准库和Boehm垃圾收集器

Question

我想开发一个多线程C++应用程序(最终大部分C++代码将由应用程序本身生成,可以被视为高级域特定语言)在Linux/AMD64/Debian上使用GCC 4.6(和可能是最新的C++ 11标准).

我真的想在我的所有堆分配中使用Boehm的保守垃圾收集器,因为我想分配new(GC)并且从不打扰delete.我假设Boehm的GC工作得很好.

使用(而不是C)C++的主要动机是在所有的算法和集合std::map... std::vector由C++标准库提供.

Boehm的GC提供了一个gc_allocator<T>模板(在其文件gc/gc_allocator.h中).

我应该重新定义operator ::new为Boehm吗？

或者我应该使用所有集合模板,并将显式的allocator模板参数设置为某些gc_allocator？我不完全理解第二个模板参数(分配器)对std :: vector的作用？它是用来分配矢量内部数据,还是分配每个单独的元素？

什么是std::string-s？如何使他们的数据GC分配？我应该使用basic_string模板gc_allocator吗？有没有办法让内部数组的char分配GC_malloc_atomic不GC_malloc？

或者您是否建议不要将Boehm GC与g ++编译的应用程序一起使用？

问候.

Answer 1

为了部分回答我自己的问题，以下代码

// file myvec.cc
#include <gc/gc.h>
#include <gc/gc_cpp.h>
#include <gc/gc_allocator.h>
#include <vector>

class Myvec {
  std::vector<int,gc_allocator<int> > _vec;
public:
  Myvec(size_t sz=0) : _vec(sz) {};
  Myvec(const Myvec& v) : _vec(v._vec) {};
  const Myvec& operator=(const Myvec &rhs) 
    { if (this != &rhs) _vec = rhs._vec; return *this; };
  void resize (size_t sz=0) { _vec.resize(sz); };
  int& operator [] (size_t ix) { return _vec[ix];};
  const int& operator [] (size_t ix) const { return _vec[ix]; };
  ~Myvec () {};
};

extern "C" Myvec* myvec_make(size_t sz=0) { return new(GC) Myvec(sz); }
extern "C" void myvec_resize(Myvec*vec, size_t sz) { vec->resize(sz); }
extern "C" int myvec_get(Myvec*vec, size_t ix) { return (*vec)[ix]; }
extern "C" void myvec_put(Myvec*vec, size_t ix, int v) { (*vec)[ix] = v; }

当编译时g++ -O3 -Wall -c myvec.cc产生一个目标文件

 % nm -C myvec.o
                 U GC_free
                 U GC_malloc
                 U GC_malloc_atomic
                 U _Unwind_Resume
0000000000000000 W std::vector<int, gc_allocator<int> >::_M_fill_insert(__gnu_cxx::__normal_iterator<int*, std::vector<int, gc_allocator<int> > >, unsigned long, int const&)
                 U std::__throw_length_error(char const*)
                 U __gxx_personality_v0
                 U memmove
00000000000000b0 T myvec_get
0000000000000000 T myvec_make
00000000000000c0 T myvec_put
00000000000000d0 T myvec_resize

所以没有普通的 malloc 或::operator new在生成的代码中。

因此，通过使用gc_allocatorandnew(GC)我显然可以确定在我不知情的情况下使用普通::opertor new或malloc不使用，并且我不需要重新定义::operator new

增编（2017 年 1 月）

对于未来的参考（感谢谢尔盖·祖布科夫为提它的Quora在评论），也见n2670和<memory>和垃圾收集的支持（如性病:: declare_reachable，性病:: declare_no_pointers，标准:: pointer_safety等）。但是，至少在当前的 GCC 或 Clang 中还没有实现（除非以微不足道但可接受的方式使其成为无操作）。