c – std :: unordered_map与共享内存中的boost :: interprocess分配器 – 缺点？

我现在正在使用boost :: interprocess进入共享内存.

我已经定义了一些std :: unordered_map和std :: unordered_set类型,如下所示：

#include <boost/interprocess/allocators/allocator.hpp>

#include <unordered_map> // NOT the boost implementation ...

...

namespace ipc = boost::interprocess;

 /**
 * allocator type needed to construct maps in shared memory
 */
typedef ipc::allocator<std::pair<const size_t, std::string>,
           ipc::managed_shared_memory::segment_manager> OBJ_MAP_ALLOCATOR;

/**
 * map type to construct maps in shared memory
 */
typedef std::unordered_map<size_t,
               std::string,
               std::hash<size_t>,
               std::equal_to<size_t>,
               OBJ_MAP_ALLOCATOR> OBJ_MAP_TYPE;

我把它们初始化为：

ipc::managed_shared_memory segment;

// allocate segment etc ... 

OBJ_MAP_ALLOCATOR alloc_inst(segment.get_segment_manager());
objMap = segment.find_or_construct<OBJ_MAP_TYPE> (ipc::unique_instance)(alloc_inst);

这似乎工作正常,我没有在编译或运行时发现任何问题(使用C14标准的macOS,Apple LLVM版本9.1.0(clang-902.0.39.1)).

在Boost文档中,仅提到了Boost容器或特定于进程间的实现.不幸的是,它们似乎不包含无序版本.

那么,我想知道使用默认STL容器与Boost分配器有什么问题吗？也许在不同的平台上？

任何暗示赞赏！

更新：

我想知道它是否在不同的环境中工作,所以我在Coliru上写了一个最小的例子(令人惊讶的是它与std :: string一起工作)：

http://coliru.stacked-crooked.com/a/91d1a143778cf3e9

解决方法:

unordered_map将处理Boost进程间分配器IFF你的库实现支持使用非原始指针类型的有状态分配器¹和分配​​器.

即便如此,就像@rustyx提到的那样,如果你真的与另一个进程共享内存,你将陷入深深的麻烦.另一个进程可能会将段映射到不同的基址,使存储在内存区域内的所有指针都无效.

☞ You need to use a Interprocess allocator with the string too!

这是我通常喜欢写的内容：

#include <boost/interprocess/allocators/allocator.hpp>
#include <boost/interprocess/containers/string.hpp>
#include <boost/interprocess/managed_shared_memory.hpp>

#include <unordered_map>

namespace ipc = boost::interprocess;

namespace Shared {
    using Segment = ipc::managed_shared_memory;
    using Manager = Segment::segment_manager;
    template <typename T> using Alloc = ipc::allocator<T, Manager>;
    template <typename K, typename V, typename KH = std::hash<K>, typename KEq = std::equal_to<K> >
        using HashMap = std::unordered_map<K, V, KH, KEq, Alloc<std::pair<const K, V>> >;

    using String = ipc::basic_string<char, std::char_traits<char>, Alloc<char> >;
}

using OBJ_MAP_TYPE = Shared::HashMap<size_t, Shared::String>;

int main() {
    Shared::Segment msm(ipc::open_or_create, "test", 10ul<<20);

    Shared::Manager* mgr = msm.get_segment_manager();
    OBJ_MAP_TYPE& m = *msm.find_or_construct<OBJ_MAP_TYPE>("aname")(msm.get_segment_manager());

    m.emplace(42, Shared::String("LtUaE", msm.get_segment_manager()));
}

值得注意的细节：

>这一点：

Shared::Manager* mgr = msm.get_segment_manager();
OBJ_MAP_TYPE& m = *msm.find_or_construct<OBJ_MAP_TYPE>("aname")(mgr);

这是一个方便的捷径：

Shared::Alloc<OBJ_MAP_TYPE::value_type> alloc_inst(msm.get_segment_manager());
OBJ_MAP_TYPE& m = *msm.find_or_construct<OBJ_MAP_TYPE>("aname")(alloc_inst);

这是有效的,因为允许从段管理器指针到分配器实例的隐式转换.

输入MAGIC

您会注意到嵌套分配器使用起来很笨拙：

m.emplace(42, Shared::String("LtUaE", msm.get_segment_manager()));

这就是scoped_allocator_adaptor的设计者试图解决的问题.如果将分配器更改为：

template <typename T> using Alloc = std::scoped_allocator_adaptor<ipc::allocator<T, Manager> >;

你可以突然写下：

m.emplace(42, "LtUaE");

这是因为就地建筑是根据用途而定义的 –
分配器构造(见[allocator.uses.construction])

见它Live On Coliru

¹准备惊讶,@ SergeyA.我最后一次检查时Libstdc不支持这个,但是自从GCC 4.9.0以来它的unordered_map支持它,并且OP似乎有证据证明libc有(尽管我们甚至不知道是否有一个typedef的实例： ))

标签：interprocess,c,containers,boost,stl
来源： https://codeday.me/bug/20190828/1747781.html