<div dir="ltr"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span style="font-size:12.8000001907349px">But I'm at a loss to understand how that helps with the problem of<br></span><span style="font-size:12.8000001907349px">reading an old value for the card mark.  There still has to be some<br></span><span style="font-size:12.8000001907349px">sort of happens-before relationship between something and the read of<br></span><span style="font-size:12.8000001907349px">the card mark.  What good would a store-store do here?</span></blockquote><div><span style="font-size:12.8000001907349px"><br></span></div><div><span style="font-size:12.8000001907349px">My understanding was that the card can be in 1 of 3 states: clean, dirty, precleaned.  Right now if mutator's read of the card floats above the store and it sees "dirty" (e.g. it read "precleaned"), it will not mark the card as dirty and the write is lost.  I think Mikael's idea was that by changing the mutator to check for "!= clean", it will automatically cover either "dirty" or "precleaned", and the 3rd state ("clean") can't happen since CMS preclean thread does not set it to such.  So although you're right in the general sense of there needing to be a happens-before relationship, I think this is a targeted suggestion given the protocol involved.  Or, of course, I misunderstood Mikael's rationale/suggestion.</span></div><div><span style="font-size:12.8000001907349px"><br></span></div><div><span style="font-size:12.8000001907349px">As for performance, I don't know the impact, hence "possibly defeat" in my email.  Intuitively, putting a store-load after every ref write (well, ones not elided) doesn't sound cheap, even if it's a core-local operation.</span></div><div><span style="font-size:12.8000001907349px"><br></span></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 5, 2015 at 11:18 AM, Andrew Haley <span dir="ltr"><<a href="mailto:aph@redhat.com" target="_blank">aph@redhat.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<span class=""><br>
On 05/05/2015 04:02 PM, Vitaly Davidovich wrote:<br>
<br>
> I realize this is a correctness fix, but isn't this going to possibly<br>
> defeat any perf gain from using conditional card marking in the first place<br>
> (for CMS)?<br>
<br>
</span>It shouldn't do.  The idea of the UseCondCardMark AIUI is to reduce<br>
thrashing of card table cache lines across cores.  StoreLoad, while<br>
possibly slow, should still be a local operation.  So it all depends<br>
on what we're trying to optimize: it's still the right thing to use<br>
on a many-core machine, perhaps not for something smaller.<br>
<span class=""><br>
> Didn't someone suggest a different approach that allows<br>
> store-store to be used still?<br>
<br>
</span>Mikael wrote:<br>
<br>
> For UseCondCardMark to be correct with CMS with precleaning it would<br>
> require a StoreLoad between the field write and the card table load.<br>
><br>
> Another approach to solve this partially would be to change the<br>
> condition for the conditional card mark from an equality test aginst 0x0<br>
> (dirty_card_val)<br>
> to a negated equality test of 0xff (clean_card_val)<br>
><br>
> In that case we would slightly reduce the number of false-sharing<br>
> inducing card writes and still survive the precleaning phase since<br>
> precleaning sets the card to 0x1 (precleaned_card_val).<br>
<br>
But I'm at a loss to understand how that helps with the problem of<br>
reading an old value for the card mark.  There still has to be some<br>
sort of happens-before relationship between something and the read of<br>
the card mark.  What good would a store-store do here?<br>
<span class="HOEnZb"><font color="#888888"><br>
Andrew.<br>
</font></span></blockquote></div><br></div>