C ++標准庫和Boehm垃圾收集器

Question

我想開發一個多線程C ++應用程序（最終大部分C ++代碼將由應用程序本身生成，可以被視為高級域特定語言）在Linux / AMD64 / Debian上使用GCC 4.6（和可能是最新的C ++ 11標准）。

我真的想在我的所有堆分配中使用Boehm的保守垃圾收集器 ，因為我想用new(GC)分配並且從不打擾delete 。 我假設Boehm的GC工作得很好。

使用C ++（而不是C）的主要動機是由C ++標准庫提供的所有算法和集合std::map ... std::vector 。

Boehm的GC提供了一個gc_allocator<T>模板（在其文件gc / gc_allocator.h中）。

我應該重新定義operator ::new作為Boehm的那個嗎？

或者我應該使用所有集合模板，並將顯式的allocator模板參數設置為某些gc_allocator嗎？ 我不完全理解第二個模板參數（分配器）對std :: vector的作用 ？ 它是用來分配矢量內部數據，還是分配每個單獨的元素？

那么std::string -s呢？ 如何使他們的數據GC分配？ 我應該使用帶有gc_allocator basic_string模板嗎？ 有沒有辦法獲得用GC_malloc_atomic而不是GC_malloc分配的內部數組char？

或者您是否建議不要將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編譯時， 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_allocator和new(GC)我顯然可以確定在我不知情的情況下不使用plain ::opertor new或malloc ，而且我不需要重新定義::operator new

---

附錄（2017年1月）

供將來參考（感謝Sergey Zubkov在評論中提到Quora ），另請參閱n2670和<memory>以及垃圾收集支持 （如std :: declare_reachable ， std :: declare_no_pointers ， std :: pointer_safety等...） 。 然而，至少在目前的GCC或Clang中，尚未實施（除了以微不足道但可接受的方式使其成為無操作）。