我想在Linux / AMD64 / Debian和GCC 4.6上开发一个多线程C 应用程序(最终大多数C 代码将由应用程序本身生成,可以将其视为高级领域特定语言)。可能是最新的C ++ 11标准)。
我真的想对我的所有堆分配使用Boehm的保守垃圾收集器,因为我想分配new(GC)而不用担心delete。我假设Boehm的GC运行良好。
new(GC)
delete
使用(而不是C)C 的主要动机是所有的算法和集合std::map… std::vector由C 标准库提供。
std::map
std::vector
Boehm的GC提供了一个gc_allocator<T>模板(在其文件gc / gc_allocator.h中)。
gc_allocator<T>
我应该重新定义operator ::new为Boehm的成员吗?
operator ::new
还是应该将所有收集模板与显式分配器模板参数设置为some一起使用gc_allocator?我不完全了解std :: vector的第二个模板参数(分配器)的作用?它是用于分配矢量内部数据,还是用于分配每个单独的元素?
gc_allocator
那std::string-s呢?如何使他们的数据GC分配?我应该使用带basic_string模板的字符串gc_allocator吗?有什么方法可以让char的内部数组分配为GC_malloc_atomicnot GC_malloc?
std::string
basic_string
GC_malloc_atomic
GC_malloc
还是建议不要将Boehm GC与g ++编译的应用程序一起使用?
问候。
为了部分回答我自己的问题,以下代码
// 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生成的代码中。
::operator new
因此,通过使用gc_allocator和,new(GC)我显然可以确保在我不知情的情况下使用普通::opertor new或malloc不使用,并且不需要重新定义::operator new
::opertor new
malloc
对于未来的参考(感谢谢尔盖·祖布科夫为提它的Quora在评论),也见n2670和<memory>和垃圾收集的支持(如性病:: declare_reachable,性病:: declare_no_pointers,标准:: pointer_safety等)。但是,至少在当前的GCC或Clang中,尚未实现该功能(以琐碎但可接受的方式使其成为空操作)。
<memory>