Aliasing issue with TAILQ on ppc64 ?

Poul-Henning Kamp phk at phk.freebsd.dk
Tue Sep 18 17:03:23 UTC 2012


In message <20120918164826.GI37286 at deviant.kiev.zoral.com.ua>, Konstantin Belou
sov writes:

>[...] compiler must not reorder accesses which
>provably causes change in the behaviour.

As I said, I'm not entirely sure why this goes wrong, and I didn't
feel like learning PPC64 assembler constraints just now to find out.

My understanding is that the cast from entry->head effectively
obscures from the compiler what goes on in this case, making that
optimization fair game.


-- 
Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk at FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    
Never attribute to malice what can adequately be explained by incompetence.


More information about the freebsd-arch mailing list