Wie kann man Memory Reordering bei PowerPC mit Test sichtbar machen?

[hustbaer]

PowerPC hat ja keine "total store order" bzw. macht allgemein viele Reorderings bei Loads und Stores. Wenn man nicht acht gibt, und z.B. ne SpinLock Implementierung mit unlock = relaxed store macht, dann dürfte diese SpinLock zumindest keine release Semantik haben. Und dann sollte ja eigentlich Unsinn passieren wenn man sie als drop-in Replacement für ne Lock=Acquire/Unlock=Release Mutex verwendet.

Kennt jemand nen Test mit dem man so ein Problem halbwegs gut reproduzieren kann? Könnte ich nämlich gerade gut brauchen, aber ich bin mir net sicher wie ich das angehen soll. Und da jeder Versuch relativ lange dauert ... würde ich es gerne vermeiden da raten zu müssen.
(Ich kann auf das PPC System nicht direkt drauf, sondern kann da bloss mittels eines relativ langsamen "remote compile+run scripts" Zeugs bauen + ausführen.)