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

preview_player
Показать описание
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.
  1. jeeconf
  2. Java Memory Model
  3. JMM
  4. Java (Programming Language)
  5. JEEConf
  6. JVM
Рекомендации по теме
Java Memory Model 0:49:30

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

Алексей Шипилёв — 1:55:22

Алексей Шипилёв — Прагматика Java Memory Model

Java Memory Model 0:46:26

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

GeeCON 2018: Aleksey 0:56:59

GeeCON 2018: Aleksey Shipilëv - Java Memory Model Unlearning Experience

Java Memory Model 2:40:31

Java Memory Model Pragmatics

JavaDay Kiev 2014: 0:22:23

JavaDay Kiev 2014: Java Memory Model

The Java memory 0:48:01

The Java memory model explained, Rafael Winterhalter

Vadym Kazulkin, Rodion 1:10:17

Vadym Kazulkin, Rodion Alukhanov: Java Memory Model (JMM) für Anfänger und Fortgeschrittene

A practical approach 0:46:23

A practical approach to Java Memory Model with Andrzej Czarny

WJUG #118 - 1:22:12

WJUG #118 - Java Memory Model - Michał Warecki

Benchmarking for Good 0:51:14

Benchmarking for Good with Aleksey Shipilev

JDD 2022: Maciej 0:40:26

JDD 2022: Maciej Przepióra - Java memory model for mere mortals

Aleksey Shipilev - 0:09:07

Aleksey Shipilev - String Enhancements in JDK 9

JVM Benchmarking with 0:43:16

JVM Benchmarking with Aleksey Shipilev

Java Tutorial #3: 0:08:42

Java Tutorial #3: Java Memory Model

2022 - Krzysztof 0:35:32

2022 - Krzysztof Ślusarski - Concurrency - Java memory model - nie tylko dla orłów

Андрей Паньгин — 0:59:20

Андрей Паньгин — Память Java процесса по полочкам

Aleksey Shipilev — 1:19:56

Aleksey Shipilev — Workshop: Java Concurrency Stress (JCStress). Part 1

2014-02 Java Memory 0:26:25

2014-02 Java Memory Model

Introduction to the 0:48:06

Introduction to the Java Memory Model

JVM Memory Model 0:47:50

JVM Memory Model and Garbage Collection by Fairoz Matte

JVM Memory Model 0:47:50

JVM Memory Model and Garbage Collection by Fairoz Matte

Przemek Grzędzielski: Java 1:23:15

Przemek Grzędzielski: Java Memory Model - back to basics

An Interview with 0:54:26

An Interview with Aleksey Shipilev

Комментарии
Автор

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

Das.Kleine.Krokodil
Автор

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

КсенияСидельникова-ог
Автор

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

Morrado