Changes between Version 23 and Version 24 of OpenMPTransformation

Timestamp:

04/21/14 11:13:49 (12 years ago)

Author:

siegel

Comment:

--

OpenMPTransformation

@@ -128 +128 @@
 The constructs are a lot like MPI collective operations, and are modeled similarly.
 
-When a thread arrives at one of these constructs, it invokes the relevant arrival function.  At this point you can determine whether this thread is the first to arrive at that construct.  If its queue is empty, it is the first, otherwise it is now, and the oldest entry in its queue will be the entry corresponding to this construct.
+When a thread arrives at one of these constructs, it invokes the relevant arrival function.  At this point you can determine whether this thread is the first to arrive at that construct.  If its queue is empty, it is the first, otherwise it is not first, and the oldest entry in its queue will be the entry corresponding to this construct.
 
 When a thread is the first thread to arrive at a construct, a distribution is chosen for every thread and a record is created and enqueued in each thread queue (including the caller).   The distributions can be chosen nondeterministically, possibly with some restrictions to achieve some tractability/soundness compromise.  The record for this thread is then dequeued and the iterator returned.