I want to add a Phobos module with template mixins for common idioms.

[Diggory]

In your logic you're assuming that the order of operations is 
maintained - without the correct memory barriers or 
synchronisation both the compiler and CPU are free to completely 
reorder any operations you do. That's why it's always a bug to 
access mutable shared data without synchronisation - any read not 
using some form of synchronisation could give you back any value 
that the memory is ever set to during the course of the program.