happens-before

RU: happens-before

A formal ordering guarantee between two operations: if A happens-before B, then B is guaranteed to observe A's effects. Synchronisation primitives establish these edges.