NB US-15, US-16, US-167, US-168, US-169, US-170, CA-17 P0502R0 Throwing out of a parallel algorithm terminates—but how?

As directed by LWG Motion 21 from 2016-Isaquah.

Author: Dawn Perchik

source/algorithms.tex

@@ -1410,7 +1410,8 @@
 
 \pnum
 During the execution of a parallel algorithm, if the invocation of an element
-access function exits via an uncaught exception, \tcode{terminate()} is called.
+access function exits via an uncaught exception,
+the behavior is determined by the \tcode{ExecutionPolicy}.
 
 \rSec2[algorithms.parallel.overloads]{\tcode{ExecutionPolicy} algorithm overloads}
 

source/exceptions.tex

@@ -1266,6 +1266,8 @@
 an exception~(\ref{thread.thread.constr}), or
 
 \item%
+for parallel algorithms whose \tcode{ExecutionPolicy} specify such
+behavior~(\ref{execpol.seq}, \ref{execpol.par}, \ref{execpol.parunseq}),
 when execution of an element access function~(\ref{algorithms.parallel.defns})
 of a parallel algorithm exits via an exception~(\ref{algorithms.parallel.exceptions}), or
 

source/utilities.tex

@@ -18372,6 +18372,12 @@
 The class \tcode{execution::sequenced_policy} is an execution policy type used
 as a unique type to disambiguate parallel algorithm overloading and require
 that a parallel algorithm's execution may not be parallelized.
+
+\pnum
+During the execution of a parallel algorithm with
+the \tcode{execution::sequenced_policy_policy_policy} policy,
+if the invocation of an element access function exits via an uncaught exception,
+\tcode{terminate()} shall be called.
 \end{itemdescr}
 
 \rSec2[execpol.par]{Parallel execution policy}
@@ -18386,6 +18392,12 @@
 The class \tcode{execution::parallel_policy} is an execution policy type used as
 a unique type to disambiguate parallel algorithm overloading and indicate that
 a parallel algorithm's execution may be parallelized.
+
+\pnum
+During the execution of a parallel algorithm with
+the \tcode{execution::parallel_policy} policy,
+if the invocation of an element access function exits via an uncaught exception,
+\tcode{terminate()} shall be called.
 \end{itemdescr}
 
 \rSec2[execpol.parunseq]{Parallel and unsequenced execution policy}
@@ -18401,6 +18413,12 @@
 used as a unique type to disambiguate parallel algorithm overloading and
 indicate that a parallel algorithm's execution may be parallelized and
 vectorized.
+
+\pnum
+During the execution of a parallel algorithm with
+the \tcode{execution::parallel_policy_policy} policy,
+if the invocation of an element access function exits via an uncaught exception,
+\tcode{terminate()} shall be called.
 \end{itemdescr}
 
 \rSec2[execpol.objects]{Execution policy objects}