CUJ:标准库:调试用的Allocator

The Standard Librarian :A Debugging Allocator

Matt Austern

http://www.cuj.com/experts/1912/austern.htm?topic=experts

--------------------------------------------------------------------------------

    C++标准库中的Allocator有一个复杂而低层次的接口[注1]。和new与delete不同,它们将内存分配与对象构造解耦。和malloc与free不同,它们要求你明确正在分配的内存的数据类型和对象数目。

    通常,这不成为问题。Allocator拥有低层次的接口是因为它们是低层次的概念:它们通常隐藏在容器类内部,而不属于普通用户的代码。然而,有时你可能不得不关心allocator:当你自己写一个新的容器类的时候。Allocator比new/delete难用多了,因此,更容易发生错误。如果你写的代码不得不使用allocator,如何确保代码正确?运行期的测试不能证明不存在错误,只能证明错误的存在。尽管如此,测试还是很重要--你越快发现bug,它就越早被修正。

    所有的标准容器类都接受一个allocator类作为其模板参数;这个参数有一个默认值,比如std::vector<int>是vector<int,std:: allocator<int> >的简写。如果我们写了一个有额外正确性检查的alocator类,那就可以用它代替std::allocator<int>来作为vector的第二模板参数。如果没有bug的话,vector的行为将会和以前一样。(当然,除了额外的检查将使它变慢。)

    这篇文章将展示这样一个debugging allocator类。它在其适用范围内是有价值的,并且实现它也是使用allocator的一个有趣练习。

 

测试

    我们想检查什么种类的错误?最重要的是:

l         传给的deallocate()的内存确实是这个allocator分配的。

l         deallocate()一块内存时,归还了与分配时相同的字节数。(和malloc与free不同,allocator不为自己记录这些信息。)

l         deallocate()的内存,其类型与分配时相同。(虽然 allocator将内存分配与对象构造解耦了,但内存仍然是为某个特定数据类型分配的。)

l         当在一块内存中写入数据时,我们不会越界。

l         从不试图在同一位置构造两个对象,并且也不会试图销毁同一对象两次。

l         deallocate()一块内存时,确保先销毁了其中的所有对象。

    如我们将要看到的,我们的debugging allocator不会满足所有要求。我们能检查其中的一部分错误,而不是全部。

    在debugging allocator背后的主意很简单[注2]:每当allocate()一块内存时,多分配一些,并在最初几个字节中记录一些额外信息。用户看不到这块debug区域;我们传给用户的指针指向在此之后的内存。当传回给我们一个指向我们分配的内存块的指针时,我们可以减小其值以查看debug区域,并确认内存块是被正确使用的。

    这样的设计有两个隐藏问题。首先,不可能相当可移植地实现它。我们必须保持对齐:假设用户数据的地址需要对齐,我们保留了一些字节而还要维持对齐。我们如何知道该加多少?理论上,我们无法知道;语言没有提供判断对齐要求的机制。(也许这将会增加到未来的标准中)。实践中,它不是一个严重的可移植性议题:在double word上对齐所有东西,在目前绝大部分平台上都足够好了,并且在要求更严格的平台上作相应修改也很容易。

    第二问题是,在这个设计里,有一部分错误很容易检查,而其它的就不行了。用户通过allocate()获得一块内存,并把它传给deallocate(),于是,这个设计很容易检查allocate()和deallocate()是被一致使用的。不幸的是,很难检验construct()和destory()是被一致使用的。

    问题是通常传给construct()和destory()的参数不是从allocate()返回的指针。如果写下a.construct(p,x),那么p必须指向通过a分配出的内存块内部--是指向内部,而不是指向(其开头)。也许用户通过p1 = a.allocate(1000)分配了足够1000个元素的内存。这种情况下,我们不知道construc()的第一个参数是p1,p1 + 5,还是p1 + 178。我们无法找到需要的debugging信息,因为没法找到分配出的内存块的开始地址。

    这个问题有两个可能的解决方案,但都不是工作得很好。首先,明显,我们可以放弃所有的debugging信息都一定要放在内存块开始处的主意。但是,这不怎么能行,因为我们将不得不将我们的信息与用户数据混合存储。这会破坏指针的运算法则:用户无法在不知道我们的debugging信息的情况下从一个元素步进到下一个元素。另外一个选择是,我们可以另外维护一个额外的数据结构:比如,我们可以维护一个保存活动对象信息的std::set,用户每用construct()创建一个对象,就在set中增加一个地址,用户每用destory()销毁一个对象就移除这个地址。

    这个技术简单而优雅,而它不能工作的理由很微妙。问题是用户不是必须使用相同的allocator来创建和销毁对象:用户只需要使用一个等价的allocator。思考一下下面的一系列操作:

l         用户被给予了一个allocator, a1,然后作了它的一个拷贝,a2 。

l         用户用a1.construct(p,x)创建了一个新对象。

l         用户用a2.destroy()销毁对象。

    这个序列是合法的,但是维护活动对象列表的allocator会指出它是一个错误:我们将新的对象加入到a1的活动对象列表中,而当用a2销毁对象时将找不到它。

    可以通过在所有给定的allocator的拷贝间共享列表来绕过这个问题吗?也许吧,但是我们将会陷入定义上的问题。如果:

my_allocator<int> a1;

my_allocator<double> a2(a1);

    然后a1和a2应该共享相同的活动对象列表吗?(答案看起来可能是“不”,那么再my_allocator<int>(a2)时怎么办?) 我们也陷入实现上问题:在幕后被共享的对象需特别处理,尤其是在有并发问题时。

    因为这些问题,我已经简单地放弃了在construct()和destory()上作实质性检查的主意。这个版本的debugging allocator只在它们的参数上作最小程度的检查,并不试图确保destory()的参数被构造过,或这个对象只销毁一次。

    这个debugging allocator的主要目的是确保allocate()和deallocate()被一致使用。当分配内存时,我们在每块内存开始处保留了两个word的内存,并在其中记录了内存块中元素的数目,和一个起源于类型的hash码(从类型的名字,特别是如typeid(T).name()所给出的)。然后我们在内存块结束的地方还保留了另外一个word,并存入了hash码的另一个拷贝作为哨兵。然后当deallocate()内存块时,我们检查已经储存的元素数目与传入的参数相同,已及两个hash码都是正确的。我们调用assert()以便一个不一致的行为将导致程序失败。

    这没有给予我们所期望的所有检查,但它让我们确保传给deallocate()的内存是这个allocator分配的,并且是对相同的类型进行的分配和归还,数目也是一致的。它也对越界给予了有限的保护:在任一方向的越界一个的错误都会覆盖哨兵,而这个错误将会在归还时被检测到。

一个Allocator Adaptor

    到现在为止我都没有展示任何代码,因为我还没有描述debugging allocator的任何精确形式。一个简单的选择是基于malloc或std::allocator来实现debugging allocator。这样的话,只需要一个模板参数:将要分配的对象的类型。这不如我们所期望得那么通用:用户无法使用一个自定义的allocator来配合测试。为了更通用,最好将debugging allocator写成一个allocator adaptor。(这样做的另外一个动机,我承认,是为了教学目的:于是我们可以探索allocator adaptor的通用特征。)

    写一个allocator adaptor产生了两个新的问题。第一是我们不能对正在适配的东西作任何假设。我们不能想当然地认为Allocator::pointer的类型是T *,也不能认为可以将东西放入未初始化的内存中(即使是内建数据类型的东西,如char和int)。我们必须虔诚地使用construct()和destroy()。虽然讨厌,但只要加些注意就行了。

    第二个问题是一个设计问题:我们的debugging allocator的模板参数看起来应该是什么样子?第一个想法可能是应该仅有一个模板参数:一个模板的模板参数。然而,这不足够通用:模板的模板参数只对特定数目的实参来说才比较好,而allocator没有这样的限定。模板的模板参数对默认allocator(std::allocator<T>)是够了,但对有额外参数的用户自定义allocator就不行了,如my_allocator<T,flags>。

    那么一个普通的模板参数怎么样?我们可能想写:

template <class Allocator>

class debug_allocator;

    快了。用户只需写debug_allocator<std:: allocator<int> >。不幸的是,还有一个问题。allocator的value_type可能是void,某些情况下这很有用、很重要(我在以前的文章中描述过)。如果用户这么写了,会发生什么?

typedef debug_allocator<std::allocator<int> > A;

typedef typename A::template rebind<void>::other A2;

问题是A2的value_type是void,而allocator内部的一些东西对void是不成立的。例如,有一个reference的typedef,而void &是没有意义的;它会导致编译错误。默认的allocator有一个特化,std::allocator<void>。没有理由地,我们也需要一个特化。

    我们没法明确地表示出在Allocator的value_type是void时,我们需要debug_allocator<Allocator>的一个特化版本。但有一个次好的方法。我们可以给debug_allocator第二个模板参数,它默认是Allocator::value_type,于是可以在第二模板参数是void时写一个特化了。第二个模板参数完全是实现细节:用户不需要显式写出来,通过写下(例如)debug_allocator<std:: allocator<int> >能推导出来。

    当我们有了这个方法后,将所有的东西集在一起就不难了:完整的 debug allocator见于List 1。 你可能会发现debug_allocator在需要检查你的容器类对内存的使用时颇有用处,但更重要的是你能把它作为原型。debug_allocator上使用的实现技巧对你自己的allocator adaptor很有用处。

 

Listing 1: Complete implementation of the debugging allocator

template <class Allocator, class T = typename Allocator::value_type>

class debug_allocator {

public:                        // Typedefs from underlying allocator.

  typedef typename Allocator::size_type       size_type;

  typedef typename Allocator::difference_type difference_type;

  typedef typename Allocator::pointer         pointer;

  typedef typename Allocator::const_pointer   const_pointer;

  typedef typename Allocator::reference       reference;

  typedef typename Allocator::const_reference const_reference;

  typedef typename Allocator::value_type      value_type;

 

  template <class U> struct rebind {

   typedef typename Allocator::template rebind<U>::other A2;

   typedef debug_allocator<A2, typename A2::value_type> other;

  };

 

public:                        // Constructor, destructor, etc.

  // Default constructor.

  debug_allocator()

   : alloc(), hash_code(0)

   { compute_hash(); }

 

  // Constructor from an underlying allocator.

  template <class Allocator2>

  debug_allocator(const Allocator2& a)

   : alloc(a), hash_code(0)

   { compute_hash(); }

 

  // Copy constructor.

  debug_allocator(const debug_allocator& a)

   : alloc(a.alloc), hash_code(0)

   { compute_hash(); }

 

  // Generalized copy constructor.

  template <class A2, class T2>

  debug_allocator(const debug_allocator<A2, T2>& a)

   : alloc(a.alloc), hash_code(0)

   { compute_hash(); }

 

  // Destructor.

  ~debug_allocator() {}

 

 

public:                        // Member functions.

                               // The only interesting ones

                               // are allocate and deallocate.

  pointer allocate(size_type n, const void* = 0);

  void deallocate(pointer p, size_type n);

 

  pointer address(reference x) const { return a.address(x); }

  const_pointer address(const_reference x) const {

    return a.address(x);

  }

 

  void construct(pointer p, const value_type& x);

  void destroy(pointer p);

 

  size_type max_size() const { return a.max_size(); }

 

  friend bool operator==(const debug_allocator& x,

                         const debug_allocator& y)

   { return x.alloc == y.alloc; }

 

  friend bool operator!=(const debug_allocator& x,

                         const debug_allocator& y)

   { return x.alloc != y.alloc; }

 

private:

  typedef typename Allocator::template rebind<char>::other

    char_alloc;

  typedef typename Allocator::template rebind<std::size_t>::other

    size_alloc;

 

  // Calculate the hash code, and store it in this->hash_code.

  // Only used in the constructor.

  void compute_hash();

 

  const char* hash_code_as_bytes()

   { return reinterpret_cast<const char*>(&hash_code); }

 

  // Number of bytes required to store n objects of type value_type.

  // Does not include the overhead for debugging.

  size_type data_size(size_type n)

   { return n * sizeof(value_type); }

 

  // Number of bytes allocated in front of the user-visible memory

  // block. Must be large enough to store two objects of type

  // size_t, and to preserve alignment.

  size_type padding_before(size_type)

   { return 2 * sizeof(std::size_t); }

 

  // Number of bytes from the beginning of the block we allocate

  // until the beginning of the sentinel.

  size_type sentinel_offset(size_type n)

   { return data_size(n) + padding_before(n); }

 

  // Number of bytes in the sentinel.

  size_type sentinel_size()

   { return sizeof(std::size_t); }

 

  // Size of the area we allocate to store n objects,

  // including overhead.

  size_type total_bytes(size_type n)

  { return data_size(n) + padding_before(n) + sentinel_size(); }

 

  Allocator alloc;

  std::size_t hash_code;

};

 

 

// Specialization when the value type is void. We provide typedefs

// (and not even all of those), and we save the underlying allocator

// so we can convert back to some other type.

 

template <class Allocator>

class debug_allocator<Allocator, void> {

public:

  typedef typename Allocator::size_type       size_type;

  typedef typename Allocator::difference_type difference_type;

  typedef typename Allocator::pointer         pointer;

  typedef typename Allocator::const_pointer   const_pointer;

  typedef typename Allocator::value_type      value_type;

 

  template <class U> struct rebind {

   typedef typename Allocator::template rebind<U>::other A2;

   typedef debug_allocator<A2, typename A2::value_type> other;

  };

 

  debug_allocator() : alloc() { }

 

  template <class A2>

  debug_allocator(const A2& a) : alloc(a) { }

 

  debug_allocator(const debug_allocator& a) : alloc(a.alloc) { }

 

  template <class A2, class T2>

  debug_allocator(const debug_allocator<A2, T2>& a) :

    alloc(a.alloc) { }

 

  ~debug_allocator() {}

 

private:

  Allocator alloc;

};

 

 

// Noninline member functions for debug_allocator. They are not defined

// for the void specialization.

 

template <class Allocator, class T>

typename debug_allocator<Allocator, T>::pointer

debug_allocator<Allocator, T>::allocate

  (size_type n, const void* = 0) {

  assert(n != 0);

 

  // Allocate enough space for n objects of type T, plus the debug

  // info at the beginning, plus a one-byte sentinel at the end.

  typedef typename char_alloc::pointer char_pointer;

  typedef typename size_alloc::pointer size_pointer;

  char_pointer result = char_alloc(alloc).allocate(total_bytes(n));

 

  // Store the size.

  size_pointer debug_area = size_pointer(result);

  size_alloc(alloc).construct(debug_area + 0, n);

 

  // Store a hash code based on the type name.

  size_alloc(alloc).construct(debug_area + 1, hash_code);

 

  // Store the sentinel, which is just the hash code again.

  // For reasons of alignment, we have to copy it byte by byte.

  typename char_alloc::pointer sentinel_area =

    result + sentinel_offset(n);

  const char* sentinel = hash_code_as_bytes();

  {

   char_alloc ca(alloc);

   int i = 0;

   try {

     for ( ; i < sentinel_size(); ++i)

       ca.construct(sentinel_area + i, sentinel[i]);

   }

   catch(...) {

     for (int j = 0; j < i; ++j)

       ca.destroy(&*(sentinel_area + j));

     throw;

   }

  }

 

  // Return a pointer to the user-visible portion of the memory.

  pointer data_area = pointer(result + padding_before(n));

  return data_area;

}

 

template <class Allocator, class T>

void debug_allocator<Allocator, T>::deallocate

  (pointer p, size_type n) {

  assert(n != 0);

 

  // Get a pointer to the space where we put the debugging information.

  typedef typename char_alloc::pointer char_pointer;

  typedef typename size_alloc::pointer size_pointer;

  char_pointer cp = char_pointer(p);

  size_pointer debug_area = size_pointer(cp - padding_before(n));

 

  // Get the size request and the hash code, and check for consistency.

  size_t stored_n    = debug_area[0];

  size_t stored_hash = debug_area[1];

  assert(n == stored_n);

  assert(hash_code == stored_hash);

 

  // Get the sentinel, and check for consistency.

  char_pointer sentinel_area =

    char_pointer(debug_area) + sentinel_offset(n);

  const char* sentinel = hash_code_as_bytes();

  assert(std::equal(sentinel, sentinel + sentinel_size(),

    sentinel_area));

 

  // Destroy our debugging information.

  size_alloc(alloc).destroy(debug_area + 0);

  size_alloc(alloc).destroy(debug_area + 1);

  for (size_type i = 0; i < sentinel_size(); ++i)

    char_alloc(alloc).destroy(sentinel_area + i);

 

  // Release the storage.

  char_alloc(alloc).deallocate(cp - padding_before(n), total_bytes(n));

}

 

template <class Allocator, class T>

void debug_allocator<Allocator, T>::construct(pointer p, const

value_type& x)

{

  assert(p);

  a.construct(p, x);

}

 

template <class Allocator, class T>

void debug_allocator<Allocator, T>::destroy(pointer p)

{

  assert(p);

  a.destroy(p);

}

 

template <class Allocator, class T>

void debug_allocator<Allocator, T>::compute_hash() {

  const char* name = typeid(value_type).name();

  hash_code = 0;

  for ( ; *name != '/0'; ++name)

   hash_code = hash_code * (size_t) 37 + (size_t) *name;

 

注:

[1] Matt Austern. "The Standard Librarian: What Are Allocators Good For?" C/C++ Users Journal C++ Experts Forum, December 2000, <www.cuj.com/experts/1812/austern.htm>.

 

[2] This debugging allocator is based on the one in the SGI library, <www.sgi.com/tech/stl>. The original version was written by Hans-J. Boehm.

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值