Алексей Шипилёв - Близкие Контакты JMM-степени
ฝัง
- เผยแพร่เมื่อ 15 ก.ย. 2024
- Ближайшая конференция - Joker 2024, 9 октября (Online), 15-16 октября (Санкт-Петербург + трансляция).
Подробности и билеты: jrg.su/Ypf1HW
- -
. . . . Алексей Шипилёв - Близкие Контакты JMM-степени
Java-конференция Joker 2016, Санкт-Петербург, 14-15.10.2016
Со времён «Прагматики Java Memory Model» прошло больше двух лет. Но даже у изучавших прошлый доклад специалистов остались странные предубеждения, не подкреплённые спецификацией. В этом докладе мы попытаемся разобрать и развенчать часть этих предубеждений: про всемогущие барьеры, про реордеринги, про недосинхронизацию и другое недовелосипедостроение.
Доклад основан на уже опубликованной статье, и будет включать себя наиболее вкусные примеры. Доклад не будет останавливаться на базовых принципах модели и поэтому требует понимания JMM как минимум на уровне «Прагматики JMM».
Слайды (с исправленными опечатками): shipilev.net/t...
Пол года учу Java, но просмотр этого контента ввергло меня в состояние плоского червя........
Да, мозги чуток поплавились. Но начинаешь всё понимать совсем скоро. Что бы понять полностью, надо пересмотреть, мне кажется))
Плюс, 25 кадр повлияет конкретнее)
Спасибо большое)
Крутяяк! Повезло нам с Алексеем!
Хороший доклад!
Чую что теперь собеседования надо проводить так:
- Знаешь про барьеры памяти?
- Нет
- Принят
Чую что следующий доклад должен быть про гонки, потому что раньше было понятно что это такое, а сейчас какое-то переосмысление понадобится, такое ощущение что эти "красные race" откуда-то из ниоткуда берутся и в общем-то говорят о том, что прочитать можете все что угодно. Потому что если насчет PO,SO,SW,HB ребер еще можно понять, то откуда вспыхивает RACE ребро как-то мало понятно, особенно в контексте формализма модели. Еще интересно, warning на "двойные чтение" есть в IDE? И опять же с PO непонятки, я так понимаю он охватывает actions только внутри одного потока (тогда PO-ов несколько), а inter-thread relations уже задаются через SO (ну и SW,HB как более развитые ребра), просто SO накладываются на PO, только вроде PO из разных потоков, т.е. как бы SO выстраивает некий глобальный (тотальный?) PO всей многопоточной программы (просто термин Program как-то не ясен, то ли речь про поток, то ли про всю многопоточную программу идет речь).
Ну туда, куда я собесился, только про модели памяти и конкарренси были вопросы.
офигительный доклад, спасибо!
Судя по всему на слайде с барьерами IRIW опечатка, JMM запрещено выполнение (1,0,1,0)
в слайдах тоже поправлено. 10 минут пытался понять что со мной не так)
30:05 "Приколись! От JMM мозги спеклись!"
Один из любимых докладов.
Очень классная лекция!
Хоть бы объяснил, что за StoreStore, LoadStore, StoreLoad он пишет в квадратных скобках, параллельно коду.
Конечно, софт-навыки при приеме на работу важны. Но это все же лекция. И смысл лекции - предоставить информацию, понятную людям.
Блин, интересно пздц. Только нихрена не понятно )))
Цепочка на 28:46
Когда идет разбор предыдущей цепочки локов мы видим что идет запись в V, после которой идет запись в Supp
Далее мы продолжаем наш случай, котором имеет место ТОЛЬКО ЕСЛИ Supp !E
Исход один, но это законно вообще? Либо я не понял
35:00 В какой вселенной val!=null, а потом val==null? Из какого места вытащено null?
Я правильно понимаю, что на слайде (34:47) в строке
if (val != null) {
есть опечатка в булевой операции и нужно:
if (val == null) {
?
Спасибо
Судя по всему - да, в слайдах вложенный if заменен на троеточия.
th-cam.com/video/C6b_dFtujKo/w-d-xo.html и th-cam.com/video/C6b_dFtujKo/w-d-xo.html опечатка, вместо val=supp.get(); надо v=val=supp.get(); иначе мы не увидим инициализированное значение..
Последний пример не ясен.
Почему if (supp == EMPTY) можно, а if (supp == null) нельзя?
Если я правильно понял, то из-за того, что supp может быть null из-за того, что при инициализиции Lazy он не был final. А если supp будет null в первом случае, то тогда будет NPE на supp.get()?
Нет, get внутри synchronized, что дает HP, там будет значение из конструктора.
довольно запутана JMM на первый взгляд, на второй гораздо лучше :)
Ух ты ! Лекция по превращению людей в дерьмо !
как развидеть все это?) что теперь говорить про хб теперь