如何解决C ++标准库和Boehm垃圾收集器
为了部分回答我自己的问题,以下代码
// 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_allocator
和,new(GC)
我显然可以确保在我不知情的情况下使用普通::opertor
new
或malloc
不使用,并且不需要重新定义::operator new
附录(2017年1月)
对于未来的参考(感谢谢尔盖·祖布科夫为提它的Quora在评论),也见n2670和<memory>
和垃圾收集的支持(如性病::
declare_reachable,性病::
declare_no_pointers,标准::
pointer_safety等)。但是,至少在当前的GCC或Clang中,尚未实现该功能(以琐碎但可接受的方式使其成为空操作)。
解决方法
我想在Linux / AMD64 / Debian和GCC 4.6上开发一个多线程C 应用程序(最终大多数C
代码将由应用程序本身生成,可以将其视为高级领域特定语言)。可能是最新的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的成员吗?
还是应该将所有收集模板与显式分配器模板参数设置为some一起使用gc_allocator
?我不完全了解std ::
vector的第二个模板参数(分配器)的作用?它是用于分配矢量内部数据,还是用于分配每个单独的元素?
那std::string
-s呢?如何使他们的数据GC分配?我应该使用带basic_string
模板的字符串gc_allocator
吗?有什么方法可以让char的内部数组分配为GC_malloc_atomic
not
GC_malloc
?
还是建议不要将Boehm GC与g ++编译的应用程序一起使用?
问候。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。