Если поток делает недействительным свой кеш после получения блокировки и очищает свой кеш перед снятием блокировки, почему необходимо делать переменную изменчивой в одноэлементном шаблоне, поскольку поток, который получает блокировку позже, в идеале должен сделать недействительным свой кеш после получения блокировки и получить новую значение из памяти.
Более того, это изменчивое ключевое слово необходимо только для примитивного типа или объектов, которые изначально будут иметь значение NULL, поскольку на уже инициализированные объекты будут ссылаться по адресу памяти в куче и значению Present будет обновляться всегда.
Подробнее здесь: https://stackoverflow.com/questions/787 ... che-before
