7.13　映射集合上的等价和偏序 BACKWARD FORWARD

我们对4.5节进行了修改以容纳新的分配方式,SHADOW属性以及派生类型部件的映射，所有这些都是所认可的扩展中引入的。有关内容如下所示；蓝字表示新增的：

首先，我们为dist-format说明定义等价的概念：

  1. 每个dist-format与其自身等价。
  2. 我们使用=来表示术语“等价于”，

　　BLOCK(n)=BLOCK(m)　当且仅当m和n具有相同的值。
　　CYCLIC(n)=CYCLIC(m)　当且仅当m和n具有相同的值。
　　CYCLIC=CYCLIC(1)
　　GEN_BLOCK(V)=GEN_BLOCK(W)当且仅当V和W相应元素值相等。
　　INDIRECT(V)=INDIRECT当且仅当V和W相应元素值相等。

  1. 除此之外，没有任何两个词法上不同的dist-format说明是等价的。

这样定义的等价是一般意义上的等价关系。

类似地，两个SHADOW属性（见7.12节的语法）是等价的，当且仅当其中一个的shadow-spec-list在元素方面等价于另一个的shadow-spec-list。

下面定义基于映射的偏序：令S（“特殊的”）和G（“一般的”）是两个数据对象。

S的映射是G的映射的特殊化当且仅当或者

  1. G具有INHERIT属性，或者
  2. S不具有INHERIT属性，且满足下列所有约束：

    3. (a)S是一个命名对象或结构部件，且

    (b)S和G的根本对准目标的形状相同，且

    (c)S和G的每一维对应于它们各自根本对准目标的相同维，且S和G的对应元素与它们各自根本对准目标的同一元素相对准，且

    (d)或者

    　　i. 不对S和G所根本对准的目标进行显式分配，或者

    　　ii.将S和G所根本对准的目标都显式分配。在这种情况下，为G所根本对准目标指定的分配指令必须满足下列条件之一：

    　　　A.它没有dist-onto子句，或

    　　　B.它有一个“ONTO *”形式的的dist-onto子句，或

    　　　C.它所具有的dist-onto子句指明处理器排列的形状同某个分配指令所显式指定的形状相同，该指令用于S所根本对准的目标。

    　　　并且用于G所根本对准目标的分配指令还必须满足下列条件之一：

    　　　A.它没有dist-format子句，或

    　　　B.它有一个“*”形式的dist-format子句，或

    　　　C.每个dist-format等价于（在上面所定义的意义上）某个显式分配指令中dist-format子句的相应位置上的dist-format，该指令用于S所根本对准的目标。

    (e)S和G或者都没有SHADOW属性或者具有等价的SHADOW属性。

Copyright: NPACT BACKWARD FORWARD