happens-before

EN: happens-before

Формальная гарантия порядка между двумя операциями: если A happens-before B, то B гарантированно видит эффекты A. Примитивы синхронизации устанавливают эти связи.