Правильно ли следующее описание заказа памяти C ++? ⇐ C++

[Anonymous]

Indiviual События памяти < /em> - это запуска и концы счетов памяти, заборы, запуска и концы потока, или некоторая комбинация
из них. Доступ к местоположению памяти - это загрузка, хранилище или как нагрузка, так и хранилище. Все остальные события памяти
(номинально) во всех выполнениях потоков. Выполнение потока имеет ровно одно начало и конец в нем. Если s -
, начало и E - это конец выполнения потока T, не может быть события памяти x в t, где x e. < /P>
Нотация (x, y) означает, что событие y отличается от события x, в том же выполнении потока, что и x, и не y> x. Y, отличается от них обоих. Если z y, или нет пары в частичном обращении, содержащем z и
x или y, то z перекрывает < /em> (x, y). Для (u, v) в том же выполнении потока, что и (x, y), с
all of x, y, u, v взаимно различаемые, если V
Доступ на местоположение памяти имеет начало и конечное событие, для того, чтобы в память, доступа к памяти, в конечном итоге. Доступ к местоположению A можно назвать (A START, A END).
Если доступ к памяти A1 и A2 находятся в одном и том же потоке, и получают доступ к одному и тому же местоположению памяти, они говорят, что
IF (A1 Start, A1 END) и (A2 Start, A2 END). Пусть S1 и S2 - два хранилища в одном и том же месте памяти
в одном и том же выполнении потока. Если они перекрываются, они оба терпят неудачу, в противном случае они оба преуспевают. Предположим, что S является хранилищем в том же местоположении памяти
, что и L нагрузка, в том же поток выполнения потока, что и L, и S End
Существует также глобальный частичный порядок, который применяется ко всем выполнению потока. Если x и y являются событиями памяти, и x

Подробнее здесь: https://stackoverflow.com/questions/797 ... ng-correct