clarification on incorrect example of flushing

OpenMP 5.0 will be the next version of the OpenMP specification, which we expect will be officially released in 2018. This technical report is the latest draft of the 5.0 specs for public discussion.

clarification on incorrect example of flushing

Postby sfsiegel » Mon Sep 03, 2018 7:37 am

In the incorrect example on p. 238:

Are the flush statements all strong flushes? I assume this is the case,
since they use variable lists, but the use of pseudocode rather than
the more precise actual code made me a little unsure. It would be nice
to state this explicitly.

Adding to this confusion is the fact that there are implicit strong
flushes upon entering and exiting each atomic operation. So what is the point
of the "flush(b)" in thread 1, since it follows an atomic operation
on b, which already includes a strong flush on b upon exit? Isn't it
redundant? Again, that doesn't mean it is wrong, but it would be nice
to clarify that in the text.

The preceding text states "The atomic notation in the pseudocode in
the following two examples indicates that the accesses to a and b are
ATOMIC writes and captures". There are four atomic statements, so which
are writes and which are captures? And why captures instead of reads?
sfsiegel
 
Posts: 9
Joined: Mon Mar 24, 2014 4:47 pm

Return to TR7 - OpenMP 5.0 Draft Discussion

Who is online

Users browsing this forum: No registered users and 1 guest

cron