<p dir="ltr">Mikael's suggestion was to make mutator check for !clean and then mark dirty.  If it sees stale dirty, it will write dirty again no?  Today's code would have this problem because it's checking for !dirty, but I thought the suggested change would prevent that.</p>
<p dir="ltr">sent from my phone</p>
<div class="gmail_quote">On May 6, 2015 4:53 AM, "Andrew Haley" <<a href="mailto:aph@redhat.com">aph@redhat.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 05/05/15 20:51, Vitaly Davidovich wrote:<br>
> If mutator doesn't see "clean" due to staleness, won't it just mark it<br>
> dirty "unnecessarily" using Mikael's suggestion?<br>
<br>
No.  The mutator may see a stale "dirty" and not write anything.  At least<br>
I haven't seen anything which certainly will prevent that from happening.<br>
<br>
Andrew.<br>
<br>
<br>
</blockquote></div>