Characteristics of Procedures

 

The SHADOW and DYNAMIC attributes, if present, are HPF-characteristics of dummy arguments and procedure return values. To be precise, the definitions in Section 4.7 are rewritten as follows;

additions are in bold-face type:

• A processor arrangement has one HPF-characteristic: its shape.
• A template has up to three HPF-characteristics:
  1. its shape;
  2. its distribution, if explicitly stated;
  3. the HPF-characteristic (i.e., the shape) of the processor arrangement onto which it is distributed, if explicitly stated.
• A dummy data object has the following HPF-characteristics:
  1. its alignment, if explicitly stated, as well as all HPF-characteristics of its align target;
  2. its distribution, if explicitly stated, as well as the HPF-characteristic (i.e., the shape) of the processor arrangement onto which it is distributed, if explicitly stated;
  3. its SHADOW attribute, if explicitly stated.
  4. its DYNAMIC attribute, if explicitly stated.
• A function result has the same HPF-characteristics as a dummy data object. Specifically, it has the following HPF-characteristics:
  1. its alignment, if explicitly stated, as well as all HPF-characteristics of its align target;
  2. its distribution, if explicitly stated, as well as the HPF-characteristic (i.e., the shape) of the processor arrangement onto which it is distributed, if explicitly stated;
  3. its SHADOW attribute, if explicitly stated.
  4. its DYNAMIC attribute, if explicitly stated.