This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Optimization of conditional access to globals: thread-unsafe?

Hi,

On Mon, 29 Oct 2007, Tomash Brechko wrote:

> Still, I believe the example proves the general idea.  It shows that 
> speculative store is never safe, because every 'if' may be an 'if not 
> read-only'-one.

It is safe if there's another dominating store outside the control region.  
Apart from that I reluctantly agree (i.e. it's not enough if there's any 
dominating access through the pointer in question, it must be a store).


Ciao,
Michael.
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]