The Mill is strong sequentially consistent throughout. There are no membar operations, and the Linux macroes for that purpose are empty.

This design choice had two motivations: 1) membar is fabulously expensive; and 2) weaker consistency models are incomprehensible to mere mortals.