E
вроде же рослин анализатор это как то детектит
там по ссылке написано - это невозможно определить же
Size: a a a
2020 December 24
Dv
Pavel
Всем привет! Подскажите про кэши ядер, актуальность локальных кэшей ядра гарантируется аппаратно? Или они могут быть не актуальны (отличаться от актуального значения в памяти)?
Там есть всякие хитрые протоколы когерентности кэшей. В общем случае гарантируется в пределах модели памяти соответствующего устройства.
Dv
Pavel
volatile только запрещает оптимы компилятору чтоб реюзать результат чтения филда или генерит какуюто спец инструкцию чтоб кэши ядра сбрость / вынудить явно читать память ?
Dv
Прям охуенные статьи про модель памяти.
Dv
Pavel
А зачем если когерентность кэшей на x86 гарантирована аппаратно?
Затем, что атомарный инкремент ты на этой гарантии не сделаешь.
P
Затем, что атомарный инкремент ты на этой гарантии не сделаешь.
Дак вопрос был про volatile, не для инкремента
Dv
Pavel
Дак вопрос был про volatile, не для инкремента
Я ответил на пост в треде, где вы обсуждаете
Interlocked.MemoryBarrier.Dv
Конкретно барьер нужен, чтобы перестановок не было. Которые бывают не только аппаратные, если чо
Dv
Но ты рили почитай статьи, там прям очень доступно и по делу изложено.
P
Спс почитаю. Мне интересно было в коде типа
public bool Disposed => _disposed !=0
есть ли смысл в volatile для филда _disposed ?
public bool Disposed => _disposed !=0
есть ли смысл в volatile для филда _disposed ?
Dv
Pavel
Спс почитаю. Мне интересно было в коде типа
public bool Disposed => _disposed !=0
есть ли смысл в volatile для филда _disposed ?
public bool Disposed => _disposed !=0
есть ли смысл в volatile для филда _disposed ?
Зависит от политики доступа к этому полю — кто его выставляет, кто его проверяет и зачем.
Dv
Если у тебя возможен многопоточный диспоз, то, возможно, есть смысл. Но также возможно, что простым
volatile ты проблему его корректности (если таковая есть) не решишь.Dv
Может статься, тебе в этом объекте просто не нужно давать гарантий, что он хорошо работает и диспозится в многопоточном режиме. А вместо этого пусть вызыватель обеспечивает эти гарантии 🤷♂️
P
Если волатиле только приводит к тому что оптимизации чтения в жирном методе не происходят, то смысла нет. Если что и (как утверждают некоторые) принуждает явно читать из памяти (освежать кэши) то есть
Dv
Pavel
Если волатиле только приводит к тому что оптимизации чтения в жирном методе не происходят, то смысла нет. Если что и (как утверждают некоторые) принуждает явно читать из памяти (освежать кэши) то есть
Серьёзно, чел, почитай сраные статьи
GK
Pavel
Если волатиле только приводит к тому что оптимизации чтения в жирном методе не происходят, то смысла нет. Если что и (как утверждают некоторые) принуждает явно читать из памяти (освежать кэши) то есть
погугли про слабую и сильную модель памяти и барьеры. Наверняка поймёшь, что даст и не даст тебе volatile после этого
GK
о, уже советовали, соре) не прочитал тред