Currently the teams proposal requires that teams resulting from split are numbered with the same ordering as global PE numbers. In other words, PE number order is always preserved from split.
Ordering is not explicitly required to be the same in SHMEM_TEAM_WORLD and SHMEM_TEAM_SHARED since all of the requirements stated are applied to only results of team splits.
What are the pros and cons of allowing renumbering?
Currently the teams proposal requires that teams resulting from split are numbered with the same ordering as global PE numbers. In other words, PE number order is always preserved from split.
Ordering is not explicitly required to be the same in SHMEM_TEAM_WORLD and SHMEM_TEAM_SHARED since all of the requirements stated are applied to only results of team splits.
What are the pros and cons of allowing renumbering?