collectives: clarify src buffer entry requirements

content/shmem_alltoall.tex

@@ -100,12 +100,16 @@
     If \VAR{team} compares equal to \LibConstRef{SHMEM\_TEAM\_INVALID} or is
     otherwise invalid, the behavior is undefined.
 
-    Before any \ac{PE} calls a \FUNC{shmem\_alltoall} routine,
-    the following conditions must be ensured:
+    Before any \ac{PE} calls a \FUNC{shmem\_alltoall} routine, the following
+    conditions must be ensured, otherwise the behavior is undefined:
     \begin{itemize}
-    	\item The \VAR{dest} data object on all \acp{PE} in the team is
-    	ready to accept the \FUNC{shmem\_alltoall} data.
+        \item The \dest{} array on all \acp{PE} in the team is ready to
+            accept the result of the operation.
+        \item The \source{} array at the local \ac{PE} is ready to be
+            read by any \ac{PE} in the team.
     \end{itemize}
+    The application does not need to synchronize to ensure that the \source{}
+    array is ready across all \acp{PE} prior to calling this routine.
 
     Upon return from a \FUNC{shmem\_alltoall} routine, the following is true for
     the local PE:

content/shmem_broadcast.tex

@@ -85,13 +85,16 @@
       the team.
     \end{itemize}
 
-    Before any \ac{PE} calls a broadcast routine, the following
-    conditions must be ensured:
+    Before any \ac{PE} calls a broadcast routine, the following conditions
+    must be ensured, otherwise the behavior is undefined:
     \begin{itemize}
-    \item The \dest{} array on all \acp{PE} participating in the broadcast
-      is ready to accept the broadcast data.
-	\end{itemize}
-    Otherwise, the behavior is undefined. 
+        \item The \dest{} array on all \acp{PE} in the team is ready to
+            accept the result of the operation.
+        \item The \source{} array at the local root \ac{PE} is ready to be
+            read by any \ac{PE} in the team.
+    \end{itemize}
+    The application does not need to synchronize to ensure that the \source{}
+    array is ready across all \acp{PE} prior to calling this routine.
 
 	Upon return from a team-based broadcast routine, the following are true for the local
     \ac{PE}:

content/shmem_collect.tex

@@ -88,6 +88,17 @@
     If \VAR{team} compares equal to \LibConstRef{SHMEM\_TEAM\_INVALID} or is
     otherwise invalid, the behavior is undefined.
 
+    Before any \ac{PE} calls a collect routine, the following conditions must
+    be ensured, otherwise the behavior is undefined:
+    \begin{itemize}
+        \item The \dest{} array on all \acp{PE} in the team is ready to
+            accept the result of the operation.
+        \item The \source{} array at the local \ac{PE} is ready to be read
+            by any \ac{PE} in the team.
+    \end{itemize}
+    The application does not need to synchronize to ensure that the \source{}
+    array is ready across all \acp{PE} prior to calling this routine.
+
 \begin{DeprecateBlock}
     \openshmem \FUNC{collect} and \FUNC{fcollect} routines perform a collective
     operation to concatenate \VAR{nelems}

content/shmem_reductions.tex

@@ -295,12 +295,16 @@ \subsubsubsection{PROD}
     If \VAR{team} compares equal to \LibConstRef{SHMEM\_TEAM\_INVALID} or is
     otherwise invalid, the behavior is undefined.
 
-    Before any \ac{PE} calls a reduction routine, the following conditions must be ensured:
+    Before any \ac{PE} calls a reduction routine, the following conditions
+    must be ensured, otherwise the behavior is undefined:
     \begin{itemize}
-    \item The \dest{} array on all \acp{PE} participating in the reduction
-      is ready to accept the results of the \OPR{reduction}.
+        \item The \dest{} array on all \acp{PE} in the team is ready to
+            accept the results of the operation.
+        \item The \source{} array at the local \ac{PE} is ready to be read by
+            any \ac{PE} in the team.
     \end{itemize}
-    Otherwise, the behavior is undefined.
+    The application does not need to synchronize to ensure that the \source{}
+    array is ready across all \acp{PE} prior to calling this routine.
 
     Upon return from a reduction routine, the following are true for the local
     \ac{PE}:

content/shmem_scan.tex

@@ -86,9 +86,16 @@
   \LibConstRef{SHMEM\_TEAM\_INVALID} or is otherwise invalid, the
   behavior is undefined.
 
-  Before any \ac{PE} calls a scan routine, the \dest{} array on all
-  \acp{PE} participating in the operation must be ready to accept the
-  results of the operation.  Otherwise, the behavior is undefined.
+  Before any \ac{PE} calls a scan routine, the following conditions must be
+  ensured, otherwise the behavior is undefined:
+  \begin{itemize}
+      \item The \dest{} array on all \acp{PE} in the team is ready to accept
+          the result of the operation.
+      \item The \source{} array at the local \ac{PE} is ready to be read by
+          any \ac{PE} in the team.
+  \end{itemize}
+  The application does not need to synchronize to ensure that the \source{}
+  array is ready across all \acp{PE} prior to calling this routine.
 
   Upon return from a scan routine, the following are true for the
   local \ac{PE}: the \dest{} array is updated, and the \source{} array