在进程之间移动 STL 对象

Question

我知道这很奇怪，但我只是玩得开心。

我正在尝试通过两台机器之间的套接字在两个进程之间传输 std::map （使用固定内存区域中的放置新实例化）：Master 和 奴隶。我使用的地图具有以下 typedef：

   // A vector of Page objects
   typedef
      std::vector<Page*,
           PageTableAllocator<Page*> >
      PageVectorType;

   // A mapping of binary 'ip address' to a PageVector
   typedef
      std::map<uint32_t,
           PageVectorType*,
           std::less<uint32_t>,
           PageTableAllocator<std::pair<uint32_t, PageVectorType*> > >
      PageTableType;

PageTableAllocator 类负责将 STL 容器可能想要/需要的任何内存分配到内存中的固定位置。例如，所有Page对象和STL内部结构都在这个固定的内存区域中实例化。这确保了 std::map 对象和分配器都放置在固定的内存区域中。我使用 GDB 来确保映射和分配器行为正确（使用的所有内存都在固定区域中，应用程序的正常堆上没有任何内容）。

假设 Master 启动，初始化所有 STL 结构和特殊内存区域，会发生以下情况。 Slave 启动，打印出其页表版本，然后查找Master。 Slave 找到一个 master，删除它的页表版本，复制 Master 的页表版本（以及特殊内存区域），然后成功< /strong> 将其打印出Master 的页表版本。根据我在 GDB 中所做的操作，我可以执行许多只读操作。

当尝试添加到新复制的 PageTableType 对象时，Slave 在分配器的 void 构造（指针 p，const T& value） 方法中出错。作为 p 传入的值指向已分配的内存区域（根据 Master 的 std::map 版本）。

我对 C++ 对象结构一无所知，但我猜测即使在我替换所有内容之后，Slave 版本的 PageTableType 中的对象状态也必须保留下来PageTableType 及其分配器使用的内存。 我的问题是这是否是一个合理的担忧。 C++ 是否在对象实例化的内存区域之外维护某种对象状态？

映射中使用的所有对象都是非 POD。对于分配器来说也是如此。

Answer 1

回答您的具体问题：

C++ 是否在实例化对象的内存区域之外维护某种对象状态？

答案是否。没有设置其他数据结构来“跟踪”对象或任何类似的东西。 C++ 使用显式内存分配模型，因此如果您选择负责分配和释放，那么您就拥有完全的控制权。

我怀疑您的代码中的某个地方有问题，但既然您相信代码是正确的，您就发明了代码可能失败的其他原因，并遵循该路径。我会退后一步，仔细检查有关代码当前工作方式的所有内容，看看是否可以确定问题所在。尽管 STL 类很复杂（尤其是 std::map），但它们最终只是代码，并且其中没有隐藏的魔法。