new information...x86 allows reads to be reordered with earlier writes to different...
authorbdemsky <bdemsky>
Sat, 2 Apr 2011 22:49:40 +0000 (22:49 +0000)
committerbdemsky <bdemsky>
Sat, 2 Apr 2011 22:49:40 +0000 (22:49 +0000)
commitffd763d97c2462ddc8c67f1b5712e0ad73725a14
treeaaaf82f65d8f1dc7a71895746c8828aba6c5c2b0
parentd7d4559bf53007390adb7113b23be6858328cdfa
new information...x86 allows reads to be reordered with earlier writes to different locations....

add mbarrier for situations where we can't allow this to happen...
Robust/src/Runtime/mlp_lock.h