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

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.