[Cplex] Cplex: suggested topics for discussion on the next teleconf.
tom at scogland.com
Tue Jun 18 18:46:38 CEST 2013
Clark, your answer here, as well as some statements in the call yesterday,
imply that you believe there is a case where parallelism is mandatory in
OpenMP applications. To my understanding, there is no such case for a
conforming application, is there one I am missing?
To the point of the pragmas being "hints" however, I completely agree.
While both the Cilk and OpenMP constructs can be safely ignored as a
whole, if one is honored, they all must be or correctness is highly
On Tue, Jun 18, 2013 at 6:20 PM, Nelson, Clark <clark.nelson at intel.com>wrote:
> > Are we defining compiler instructions or hints?: The proposal points out
> > that Cilk uses keywords, whilst OpenMP is based on pragmas, so presumably
> > OpenMP is providing 'hints' to the compiler that it is free or accept, or
> > not. If one of our objectives is to support both approaches, does this
> > mean that the Cilk-like keywords also have to be treated as 'optional',
> > at least in the sense of having an agreed semantics expressible in the
> > language without the parallelism extensions?
> That's a very good question. The answer is kind of subtle; it depends on
> *exactly* what is considered "optional".
> The semantics of Cilk are defined such that actual parallel execution is
> never guaranteed/mandatory, so all parallelism could be considered
> in that sense even the Cilk keywords could be considered to be hints.
> But from a different perspective, the keywords are interpreted as a
> guarantee by the programmer that it is safe to do certain things in
> in other words, that the compiler is free to transform things in a way that
> might otherwise cause undefined behavior. In that sense, the keywords are
> semantically significant: putting one in the wrong place causes a program
> to be broken.
> The fact that OpenMP constructs are expressed as pragmas does not mean that
> any OpenMP pragma can be taken as hint when a program is interpreted as an
> OpenMP program. The intention is that it is OK to ignore all of them, but
> any of them are honored, they should all be. So it can also be misleading
> call OpenMP pragmas hints.
> But it's very important to keep in mind the exact sense in which any given
> construct is or is not a hint.
> Cplex mailing list
> Cplex at open-std.org
"A little knowledge is a dangerous thing.
So is a lot."
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Cplex