Memory barriers.
These primitives have the same semantics as their C counterparts: and the precise definitions of semantics can be found at LKMM.
LKMM