[J3] FORM TEAM statement NEW_INDEX= specifier & failed images

[John Reid]

Bill Long via J3 wrote:
> 
>> On May 12, 2019, at 6:30 AM, John Reid via J3 <j3 at mailman.j3-fortran.org> wrote:
>>
>>
>> Anyway, 11.1.5.2, para 5 says
>>
>> 5 Successful execution of a CHANGE TEAM statement performs an implicit synchronization of all images of the new team that is identified by team-value. All active images of the new team shall execute the same CHANGE TEAM statement. On each image of the new team, execution of the segment following the CHANGE TEAM statement is delayed until all other images of that team have executed the same statement the same number of times in the original team.
>>
>> It is clearly expected that all images of the team are active. The adjective "active" is not used in the first and third sentences. It should be deleted from the second, for consistency.
> 
> In the first instance, “successful execution of a CHANGE TEAM statement” already implies that only the active images are involved.  Images that are not active do not execute CHANGE TEAM (or any other ) statements.  In the second sentence, the “active” is needed, or the “shall execute” requirement could apply to inactive images which is a clear contradiction.  

If all the images of the new team are active, the the “active” is not 
needed. There are no inactive images in the new team.

Cheers,

John.


  The last sentence might be clearer with the addition of “active”, 
though the concept of segment ordering is moot for images that are not 
active.
> 
> Cheers,
> Bill
> 
> 
> 
> Bill Long                                                                       longb at cray.com
> Principal Engineer, Fortran Technical Support &   voice:  651-605-9024
> Bioinformatics Software Development                      fax:  651-605-9143
> Cray Inc./ 2131 Lindau Lane/  Suite 1000/  Bloomington, MN  55425
> 
>