<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 8, 2013 at 1:08 PM, Jim Dinan <span dir="ltr"><<a href="mailto:dinan@mcs.anl.gov" target="_blank">dinan@mcs.anl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">However, it will work fine in MPICH.  In MPICH 3.0, I redesigned the synchronization error detection; as of 3.0, this is the only invalid RMA synchronization where we don't flag an error.  This is not so much because we choose to support this as an extension to RMA, but because the flush state needs to change collectively, making this difficult (not O(1)) to detect.</blockquote>
</div><br>If this is really the only instance, it may not be worth it, but in general, it's helpful to have a run-time (or even compile-time, if necessary) option that does the strictest checking you're willing to implement, even when it implies a performance hit. Certainly useful for people trying to determine whether they have interpreted the standard correctly, or when given someone else's code that is failing mysteriously.</div>
</div>