[concurrency-interest] Fences and card tables

Andrew Haley aph at redhat.com
Fri Aug 28 04:13:37 EDT 2015


On 08/28/2015 01:27 AM, Gil Tene wrote:
> For two specific "bad thing" examples:
> 
> 1) Imagine the sequence was: ref_store; StoreStore_fence; card_store;
> 
> The ref_store is free to float back across a previous safepoint polling opportunity.

I don't see how.  Any safepoint poll which actually traps is a full barrier; if
it doesn't trap it doesn't matter.  I must be missing something...

Andrew.



More information about the Concurrency-interest mailing list