As far as I google, D has not specified a memory model. However, I assume it should basically be the same as the C++ memory model: Sequential consistency for data-race-free programs.