[英]C++ standard library and Boehm garbage collector
我想开发一个多线程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 ++编译的应用程序一起使用?
问候。
部分回答我自己的问题,以下代码
// 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
供将来参考(感谢Sergey Zubkov在评论中提到Quora ),另请参阅n2670和<memory>
以及垃圾收集支持 (如std :: declare_reachable , std :: declare_no_pointers , std :: pointer_safety等...) 。 然而,至少在目前的GCC或Clang中,尚未实施(除了以微不足道但可接受的方式使其成为无操作)。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.