Здравствуйте, vsb, Вы писали:

vsb>Если использовать синхронизацию, дополнительно никакие барьеры действительно не нужны.

Это если любая синхронизация автоматически создает барьер для всего, что еще не дозаписано в память. В типовых системах именно так и делается, чтобы не морочиться с отслеживанием того, какие данные действительно нужно записывать, а какие нет. Но строгая модель параллельных вычислений требует явно указывать каждую зависимость по данным, иначе правильность не гарантируется.