Пошёл ты с батей в разные магазины купить хлеб. Если ты купишь, то он не должен этого делать, и наоборот - нужен один хлеп. Перед тем как зайти в магазин вы решили созвониться - оба сказали, что не купили. Закэшировали isBought = false. Батя зашёл, вызвал купитьХлебЕслиНикемНеКуплен - батя купил хлеб, ведь isBought==false, стал true.
Теперь зашёл ты, вызвал купитьХле.. и чтобы не проверять и не тратить время на созвон делаешь оптимизацию взяв старое значение(звонил же батя, сказал, что не купил) с локального для тебя(ты - тред) кеша. Думаешь, батя не купил хлеб, ты берёшь. А на самом деле нужно было позвонить. Ты этого не сделал, хлеб у двух.

Это только от перестановок инструкций

Пошёл ты с батей в разные магазины купить хлеб. Если ты купишь, то он не должен этого делать, и наоборот - нужен один хлеп. Перед тем как зайти в магазин вы решили созвониться - оба сказали, что не купили. Закэшировали isBought = false. Батя зашёл, вызвал купитьХлебЕслиНикемНеКуплен - батя купил хлеб, ведь isBought==false, стал true.
Теперь зашёл ты, вызвал купитьХле.. и чтобы не проверять и не тратить время на созвон делаешь оптимизацию взяв старое значение(звонил же батя, сказал, что не купил) с локального для тебя(ты - тред) кеша. Думаешь, батя не купил хлеб, ты берёшь. А на самом деле нужно было позвонить. Ты этого не сделал, хлеб у двух.

В мозгу что-то треснуло при чтении второго абзаца. И я ничего не понял из того, что произошло в конце.
Это был пример без использования volatile?

В мозгу что-то треснуло при чтении второго абзаца. И я ничего не понял из того, что произошло в конце.
Это был пример без использования volatile?

Вы с батей созвонились, и узнали, что хлеб ещё никто не купил. Когда приходишь в магазин, вспоминаешь, что хлеб никто не купил, значит надо купить. То же самое и у бати

Ага! Т.е. без volatile переменная isBought становится для каждого треда личной?

Кэш у них свой, да

Пошёл ты с батей в разные магазины купить хлеб. Если ты купишь, то он не должен этого делать, и наоборот - нужен один хлеп. Перед тем как зайти в магазин вы решили созвониться - оба сказали, что не купили. Закэшировали isBought = false. Батя зашёл, вызвал купитьХлебЕслиНикемНеКуплен - батя купил хлеб, ведь isBought==false, стал true.
Теперь зашёл ты, вызвал купитьХле.. и чтобы не проверять и не тратить время на созвон делаешь оптимизацию взяв старое значение(звонил же батя, сказал, что не купил) с локального для тебя(ты - тред) кеша. Думаешь, батя не купил хлеб, ты берёшь. А на самом деле нужно было позвонить. Ты этого не сделал, хлеб у двух.

А с volatile - глобальной для всех тредов. Понял

Спасибо!