The linux kernel might now be accused of having adopted a memory model, that seems broadly in keeping with latest snapshots. See http://lwn.net/Articles/178090/ This posting is labeled as "Patch: Document Linux's memory barriers [try #7]" You can find previous tries and discussions via google. [Thanks to Dave Dice of Sun for pointing this out to me.] -Doug