From 6d0a0eef7eb7c8996a3e750226187e1bf6917f92 Mon Sep 17 00:00:00 2001 From: David Ozog Date: Fri, 1 Nov 2024 13:03:34 -0400 Subject: [PATCH 1/5] backmatter: add team wraparound to undefined list --- content/backmatter.tex | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/content/backmatter.tex b/content/backmatter.tex index 8ce3956b..d64b1b91 100644 --- a/content/backmatter.tex +++ b/content/backmatter.tex @@ -190,6 +190,20 @@ \chapter{Undefined Behavior in OpenSHMEM}\label{sec:undefined} with the \LibConstRef{SHMEM\_CTX\_PRIVATE} option enabled; otherwise, the behavior is undefined.\tabularnewline \hline +Creating a team that implies a wrap-around sequence & +If the triplet provided to \FUNC{shmem\_team\_split\_strided} implies a +wrap-around sequence, the input is considered invalid and the behavior is +undefined. +In other words, when $stride$ is nonzero, a newly created team must only +include \acp{PE} whose subsequent parent \ac{PE} values are either all +increasing (for positive $stride$) or all decreasing (for negative +$stride$). +That is, \textit{wrap-around} with respect to the parent team's \ac{PE} values +is not permitted. +For example, the list of \acp{PE} in the parent team should not start at a high +number and then continue to include \acp{PE} in the lower end of the parent +team's \ac{PE} range. \tabularnewline +\hline \end{longtable} From 0a325efe1024e279793ccd3740cdb76fdc55153a Mon Sep 17 00:00:00 2001 From: David Ozog Date: Fri, 1 Nov 2024 13:58:55 -0400 Subject: [PATCH 2/5] backmatter: add team split w/ 0 stride to undefined --- content/backmatter.tex | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/content/backmatter.tex b/content/backmatter.tex index d64b1b91..09cd560b 100644 --- a/content/backmatter.tex +++ b/content/backmatter.tex @@ -190,6 +190,10 @@ \chapter{Undefined Behavior in OpenSHMEM}\label{sec:undefined} with the \LibConstRef{SHMEM\_CTX\_PRIVATE} option enabled; otherwise, the behavior is undefined.\tabularnewline \hline +Creating a team with a $stride$ value equal to 0 and the $size$ value not equal to 1 & +If a $stride$ value equal to 0 is passed to \FUNC{shmem\_team\_split\_strided}, +then the $size$ argument passed must be 1, or the behavior is undefined. \tabularnewline +\hline Creating a team that implies a wrap-around sequence & If the triplet provided to \FUNC{shmem\_team\_split\_strided} implies a wrap-around sequence, the input is considered invalid and the behavior is From 8d82fb849023d09972fad20c9f839c74f59a0b9d Mon Sep 17 00:00:00 2001 From: David Ozog Date: Fri, 1 Nov 2024 15:08:27 -0400 Subject: [PATCH 3/5] backmatter: include latest rewording from v1.6-rc2 --- content/backmatter.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/content/backmatter.tex b/content/backmatter.tex index 09cd560b..07519473 100644 --- a/content/backmatter.tex +++ b/content/backmatter.tex @@ -204,9 +204,9 @@ \chapter{Undefined Behavior in OpenSHMEM}\label{sec:undefined} $stride$). That is, \textit{wrap-around} with respect to the parent team's \ac{PE} values is not permitted. -For example, the list of \acp{PE} in the parent team should not start at a high -number and then continue to include \acp{PE} in the lower end of the parent -team's \ac{PE} range. \tabularnewline +For example, given a parent team with a size of 8 \acp{PE}, a call to +\FUNC{shmem\_team\_split\_strided} with the following arguments would +be invalid: $start$ equal to 3, $stride$ equal to 3, and $size$ equal to 3. \tabularnewline \hline \end{longtable} From 01ea152d18d940dfbda84c83937d6c245bff42fd Mon Sep 17 00:00:00 2001 From: James Dinan Date: Fri, 1 Nov 2024 17:26:04 -0400 Subject: [PATCH 4/5] Fix argument formatting --- content/backmatter.tex | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/content/backmatter.tex b/content/backmatter.tex index 07519473..2c7100b5 100644 --- a/content/backmatter.tex +++ b/content/backmatter.tex @@ -190,9 +190,9 @@ \chapter{Undefined Behavior in OpenSHMEM}\label{sec:undefined} with the \LibConstRef{SHMEM\_CTX\_PRIVATE} option enabled; otherwise, the behavior is undefined.\tabularnewline \hline -Creating a team with a $stride$ value equal to 0 and the $size$ value not equal to 1 & -If a $stride$ value equal to 0 is passed to \FUNC{shmem\_team\_split\_strided}, -then the $size$ argument passed must be 1, or the behavior is undefined. \tabularnewline +Creating a team with a \VAR{stride} value equal to 0 and the \VAR{size} value not equal to 1 & +If a \VAR{stride} value equal to 0 is passed to \FUNC{shmem\_team\_split\_strided}, +then the \VAR{size} argument passed must be 1, or the behavior is undefined. \tabularnewline \hline Creating a team that implies a wrap-around sequence & If the triplet provided to \FUNC{shmem\_team\_split\_strided} implies a @@ -200,13 +200,13 @@ \chapter{Undefined Behavior in OpenSHMEM}\label{sec:undefined} undefined. In other words, when $stride$ is nonzero, a newly created team must only include \acp{PE} whose subsequent parent \ac{PE} values are either all -increasing (for positive $stride$) or all decreasing (for negative -$stride$). +increasing (for positive \VAR{stride}) or all decreasing (for negative +\VAR{stride}). That is, \textit{wrap-around} with respect to the parent team's \ac{PE} values is not permitted. For example, given a parent team with a size of 8 \acp{PE}, a call to \FUNC{shmem\_team\_split\_strided} with the following arguments would -be invalid: $start$ equal to 3, $stride$ equal to 3, and $size$ equal to 3. \tabularnewline +be invalid: \VAR{start} equal to 3, \VAR{stride} equal to 3, and \VAR{size} equal to 3. \tabularnewline \hline \end{longtable} From 8c1e19b305675dcfdecb291d582fabd0e5e8dce4 Mon Sep 17 00:00:00 2001 From: James Dinan Date: Fri, 1 Nov 2024 17:26:31 -0400 Subject: [PATCH 5/5] Fix argmuent formatting --- content/backmatter.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/backmatter.tex b/content/backmatter.tex index 2c7100b5..78cb0a47 100644 --- a/content/backmatter.tex +++ b/content/backmatter.tex @@ -198,7 +198,7 @@ \chapter{Undefined Behavior in OpenSHMEM}\label{sec:undefined} If the triplet provided to \FUNC{shmem\_team\_split\_strided} implies a wrap-around sequence, the input is considered invalid and the behavior is undefined. -In other words, when $stride$ is nonzero, a newly created team must only +In other words, when \VAR{stride} is nonzero, a newly created team must only include \acp{PE} whose subsequent parent \ac{PE} values are either all increasing (for positive \VAR{stride}) or all decreasing (for negative \VAR{stride}).