c++ - 我如何使用微软的 C++ 分配器

Question

我在 http://msdn.microsoft.com/en-us/library/ee292117.aspx 上看到和 http://msdn.microsoft.com/en-us/library/ee292134.aspx Microsoft 为专用分配器提供了宏和类，但我不确定每种缓存策略是什么以及如何使用它们。有人可以解释何时使用这些部分吗？

• 缓存模板
  • cache_freelist - cache_freelist模板类维护一个大小为 Sz 的内存块空闲列表.当空闲列表已满时，它使用 operator delete释放内存块。当空闲列表为空时，它使用 operator new分配新的内存块。空闲列表的最大大小由类决定max class通过了 Max范围。每个内存块保存 Sz可用内存的字节数和 operator new 的数据和 operator delete要求。
  • cache_suballoc - cache_suballoc模板类使用 freelist<sizeof(Type), max_unbounded> 将释放的内存块存储在一个无限长度的空闲列表中, 并从用 operator new 分配的较大块中再分配内存块当空闲列表为空时。每个 block 包含 Sz * Nelts可用内存的字节数和 operator new 的数据和 operator delete要求。分配的 block 永远不会被释放。
  • cache_chunklist - 此模板类使用 operator new分配原始内存块，子分配 block 以在需要时为内存块分配存储；它将释放的内存块存储在每个 block 的单独空闲列表中，并使用 operator delete在没有任何内存块在使用时释放 block 。每个内存块保存 Sz可用内存的字节数和指向它所属 block 的指针。每个 block 包含 Nelts内存块、三个指针、一个 int 和 operator new 的数据和 operator delete要求。

我自己写了几个分配器，但这个文档只是......令人困惑。

Answer 1

哇，他们真的把文档弄乱了，不是吗？ (那段代码是我在 Dinkumware 的时候写的)

此处的分配器是基于策略的:您可以指定缓存策略和同步策略。

基本思想是使编写使用内部缓存并可以跨线程同步的分配器变得更容易。有六个预定义的分配器；它们的名字都以 allocator_ 开头。如果它们符合您的需要，请使用它们。在 MSDN 的东西中，查看特定分配器描述的第一段；不要阅读“备注”，他们在那里谈论 ALLOCATOR_DECL;.

您还可以使用该代码创建自己的分配器，这些分配器使用预定义的缓存策略(名称以 cache_ 开头的模板)和同步策略(名称以 sync_ 开头的模板) )，或者使用您自己的缓存模板和同步模板。从这些部分获取可用的分配器有点乏味，因此 header 提供了 ALLOCATOR_DECL 作为生成所有必要样板的便捷方式，而无需您自己编写。 ALLOCATOR_DECL 采用三个参数:要使用的缓存模板的名称、要使用的同步模板的名称以及您正在创建的分配器的名称。所以不是写

template <class T> class name
    : public Dinkum::allocators::allocator_base<T, sync<cache > >
    {
    public:
        name() {}
        template <class U> name(const name<U>&) {}
        template <class U> name& operator = (const name<U>&)
            {return *this; }
        template <class U> struct rebind
            {    /* convert a name<T> to a name<U> */
            typedef name<U> other;
            };
    };

你会写 ALLOCATOR_DECL(cache, sync, name);。 allocator_base 负责繁重的工作；分配器本身必须是派生类型，以便它可以正确处理 rebind。 (该代码中的 Dinkum 来自 Dinkumware 文档；我不知道 Microsoft 的东西将这些名称放入哪个命名空间，但大概是宏将正确的名称放在那里)。

对于缓存模板:

• cache_freelist 维护节点大小块的链表；列表的最大大小由模板参数 Sz 设置，节点分配由 operator new 和 operator delete 管理。
• cache_suballoc 添加另一个层来管理 Nelts 节点 block ，所有这些节点 block 都分配为单个 blob；分配新元素首先查看空闲列表，如果没有空闲列表，则分配一个新的 blob。在分配器被销毁之前，内存块不会被删除。
• cache_chunklist 在 blob 中分配内存(如 cache_suballoc)，但不使用公共(public)空闲列表；当一个 block 被释放时，它会回到它的 blob 的空闲列表中。当所有 blob block 都被释放后，blob 本身将被删除。