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

S>...И, прямо в документации по предъявленным ссылкам, написано, что барьеры вставляются при необходимости.

А в коде BCL написано что, там безусловно вставляется барьер, без всяких "по необходимости". Сходи и посмотри.

S>А разве кто-то утверждал обратное? Что они не нужны там, где нужны и нужны там, где не нужны?

В этой теме кто-то говорил, что для volatile полей генерируются барьеры. На деле же барьеры ты должен вставлять сам.