Typemap规则令人困惑

Question

根据MPI 2.2标准第4.1节：要创建新的数据类型，我们必须定义一个类型映射，它是（类型，位移）对的序列。 流离失所不需要是积极的，增加的，也不是明显的。

• 假设我按以下顺序定义了一个类型映射：{（double，0），（char，0）}这没有道理，但是可能，一个标准如何提供这么多的灵活性？

Answer 1

如果这是你发现混淆版图的唯一事情，那么你比我更聪明。 但至于这个特殊的例子 - C联盟就是这样; 为什么不应该让打字机允许呢？

Answer 2

我开始写评论但是空间不足，所以这里就是这样。 首先，此代码编译并运行我可以访问的HP-MPI实现：

#include <mpi.h>

int main(int argc, char* argv[])
{
  MPI_Init(&argc, &argv);
  int count = 2;
  int lengths[] = { 1, 1 };
  MPI_Aint disp[] = { 0, 0 };
  MPI_Datatype types[] = { MPI_DOUBLE, MPI_CHAR };
  MPI_Datatype weird_type;

  MPI_Type_struct(count, lengths, disp, types, &weird_type);
  MPI_Type_commit(&weird_type);
  MPI_Finalize();
  return 0;
}

但是， { (double, 0), (char,0) }映射的行为不会像联合：如果使用此类型映射发送数据，则相同的内存地址将首先被解释为double ，然后被解释为char ，并且两个值都将被发送（假设实现不会崩溃）。

我只能想到这种行为的一个似是而非的用例：考虑类型{ (MPI_CHAR, 0), (MPI_BYTE,0) } 。 使用此类型发送char变量将在第一种情况下执行表示转换，但不在第二种情况下执行：这样，您可以检查发送方和接收方计算机上的字符编码是否相同。 当然，还有其他方法可以执行此操作，但是仍然存在该选项。 尽管更有可能的情况是该标准根本不涉及特殊的特殊情况。

此外，关于负位移：我实际上在使用链接数据结构（例如图表）传递数据之前使用过这些位移。 这不是出于胆小，但这是我算法的伪代码：

std::vector<MPI_Aint> displacements;
for (each node n in the graph)
{
    if ( n needs to be sent )
    {
        displacements.push_back(<MPI address of n>);
    }
}
for (int i=0; i<displacements.size(); i++)
{
    // compute the element #i's offset from the first one
    displacements[i] -= displacements[0];
}

// create HIndexed datatype where blocks consist of one node,
// and begin at the memory addresses in 'displacements'

// send nodes as one element of the previously defined type,
// beginning at the address of the first node

希望您能从那里看到负位移的重要性：不知道各个节点在内存中的位置，因此，完全有可能某些节点的位置比我们开始遍历图的位置早。