Java Memory Model Pragmatics (Aleksey Shipilёv, Russia), part 1

Java Memory Model (JMM) specification tries to be very concise yet complete. Because JMM tries to embrace a very large set of phenomenon, its formalism is very heavy, which unfortunately resulted in losing the “humanity” of the spec.
In this talk, we will follow the logic of the model; review what pragmatic results the model was trying to achieve; look closely at the real world limitations the model had to endure; see how JMM tries to balance between developers’ needs and runtime/hardware maintainers requests.

[@Das.Kleine.Krokodil]

00:00 Введение 06:20 Access atomicity 15:41 Word tearing (Разрыв слова) 23:39 SC-DRF Sequential Consistency - Data Race Free Последовательная согласованность - без гонки за данными

[@nkondusov]

Думал, я знаю Java

[@manOfPlanetEarth]

учиться никогда не поздно😉

[@manOfPlanetEarth]

а оказалось?)

[@user-cn3zn4gi8o]

Но ведь volatile нужен же не только для атомарности, это слово используют и с int к примеру. Для того чтобы поток не держал значение у себя в локальном кэше, чтобы оно гарантировано появлялось и считывалось из общей памяти, или я ошибаюсь?

[@Morrado]

Почему на слайде с "волшебным флажком": "double уже давно атомарен", а "long на живых векторных инструкциях"? Они же оба 64-битные, почему один из них "уже атомарен"?

[@overwave2]

из-за разной природы арифметики FP и Int

[@dark_evil77]

Много воды

[@Das.Kleine.Krokodil]

по мне так наоборот плотность высокая