(j3.2006) (SC22WG5.4954) AW: AW: [ukfortran] AW: Thoughts on Reinhold's thoughts

[N.M. Maclaren]

On Mar 30 2013, Bader, Reinhold wrote:
>
> Note that since your suggestion also involves relaxation of the CHANGE 
> TEAM synchronization semantics, you're under obligation of providing 
> proof of correctness as well ...

Accepted :-)

That suggestion (and it's most definitely inchoate) was because of all
of the fundamental objections I had to the facility proposed in the
draft TS.  That definitely won't work.

I can see three approaches, in various levels of severity:

    1) To forbid ALL communication from inside or outside a team to the
other, even for coarrays that are used only in one place

    2) To forbid any synchronisation between inside and outside, though
to permit the outside to access inside coarrays not used inside

    3) To allow limited synchronisation between inside and outside,
whether by using atomics and SYNC MEMORY or otherwise

(1) is easy to validate, (2) doesn't introduce any consistency problems
though it might introduce deadlock, and (3) is the one I get twitchy
about.



Regards,
Nick Maclaren.