«Выполняется прежде» (англ. happens before) — отношение строгого частичного порядка (антирефлексивное, антисимметричное, транзитивное), введённое между атомарными командами (++ и -- не атомарны), придуманное Лесли Лэмпортом и не означающее «физически прежде». Оно значит, что вторая команда будет «в курсе» изменений, проведённых первой.
1) A happens before B (A hb B), если все записи выполненные до точки A(включительно), видны в любой операции чтения после точки B (включительно)
2) (A hb B) и (B hb C) => (A hb C)