Тёмный

Алексей Шипилёв - Близкие Контакты JMM-степени 

Подписаться
Просмотров 38 тыс.
% 669

Ближайшая конференция - Joker 2024, 9 октября (Online), 15-16 октября (Санкт-Петербург + трансляция).
Подробности и билеты: jrg.su/Ypf1HW
- -
. . . . Алексей Шипилёв - Близкие Контакты JMM-степени
Java-конференция Joker 2016, Санкт-Петербург, 14-15.10.2016
Со времён «Прагматики Java Memory Model» прошло больше двух лет. Но даже у изучавших прошлый доклад специалистов остались странные предубеждения, не подкреплённые спецификацией. В этом докладе мы попытаемся разобрать и развенчать часть этих предубеждений: про всемогущие барьеры, про реордеринги, про недосинхронизацию и другое недовелосипедостроение.
Доклад основан на уже опубликованной статье, и будет включать себя наиболее вкусные примеры. Доклад не будет останавливаться на базовых принципах модели и поэтому требует понимания JMM как минимум на уровне «Прагматики JMM».
Слайды (с исправленными опечатками): shipilev.net/talks/joker-Oct2016-jmm-close-encounters.pdf

Наука

Опубликовано:

 

8 сен 2017

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 24   
@elenazelenaya6783
@elenazelenaya6783 4 года назад
Да, мозги чуток поплавились. Но начинаешь всё понимать совсем скоро. Что бы понять полностью, надо пересмотреть, мне кажется)) Плюс, 25 кадр повлияет конкретнее) Спасибо большое)
@user-ki2ec6bn7h
@user-ki2ec6bn7h 8 месяцев назад
Пол года учу Java, но просмотр этого контента ввергло меня в состояние плоского червя........
@deckardlundgren1438
@deckardlundgren1438 3 года назад
Крутяяк! Повезло нам с Алексеем!
@TaranovskiAlex
@TaranovskiAlex 6 лет назад
офигительный доклад, спасибо!
@khvastov.maksym
@khvastov.maksym Год назад
30:05 "Приколись! От JMM мозги спеклись!" Один из любимых докладов.
@andreyzubkov629
@andreyzubkov629 3 года назад
Я правильно понимаю, что на слайде (34:47) в строке if (val != null) { есть опечатка в булевой операции и нужно: if (val == null) { ? Спасибо
@VADemon
@VADemon 3 года назад
Судя по всему - да, в слайдах вложенный if заменен на троеточия.
@PaulEfremoff
@PaulEfremoff 8 месяцев назад
35:00 В какой вселенной val!=null, а потом val==null? Из какого места вытащено null?
@user-cv9tz2gs4i
@user-cv9tz2gs4i Год назад
Хоть бы объяснил, что за StoreStore, LoadStore, StoreLoad он пишет в квадратных скобках, параллельно коду. Конечно, софт-навыки при приеме на работу важны. Но это все же лекция. И смысл лекции - предоставить информацию, понятную людям.
@omnesio
@omnesio 2 года назад
Блин, интересно пздц. Только нихрена не понятно )))
@razmus89dragovich20
@razmus89dragovich20 4 года назад
довольно запутана JMM на первый взгляд, на второй гораздо лучше :)
@oleksandrsankin9637
@oleksandrsankin9637 5 лет назад
Очень классная лекция!
@waffleboot
@waffleboot 6 лет назад
Хороший доклад! Чую что теперь собеседования надо проводить так: - Знаешь про барьеры памяти? - Нет - Принят Чую что следующий доклад должен быть про гонки, потому что раньше было понятно что это такое, а сейчас какое-то переосмысление понадобится, такое ощущение что эти "красные race" откуда-то из ниоткуда берутся и в общем-то говорят о том, что прочитать можете все что угодно. Потому что если насчет PO,SO,SW,HB ребер еще можно понять, то откуда вспыхивает RACE ребро как-то мало понятно, особенно в контексте формализма модели. Еще интересно, warning на "двойные чтение" есть в IDE? И опять же с PO непонятки, я так понимаю он охватывает actions только внутри одного потока (тогда PO-ов несколько), а inter-thread relations уже задаются через SO (ну и SW,HB как более развитые ребра), просто SO накладываются на PO, только вроде PO из разных потоков, т.е. как бы SO выстраивает некий глобальный (тотальный?) PO всей многопоточной программы (просто термин Program как-то не ясен, то ли речь про поток, то ли про всю многопоточную программу идет речь).
@alexsyrotenko9981
@alexsyrotenko9981 9 месяцев назад
Ну туда, куда я собесился, только про модели памяти и конкарренси были вопросы.
@Goodloot
@Goodloot 7 лет назад
Судя по всему на слайде с барьерами IRIW опечатка, JMM запрещено выполнение (1,0,1,0)
@landaumanify
@landaumanify 5 лет назад
в слайдах тоже поправлено. 10 минут пытался понять что со мной не так)
@oxotAzapivom
@oxotAzapivom 6 лет назад
Цепочка на 28:46 Когда идет разбор предыдущей цепочки локов мы видим что идет запись в V, после которой идет запись в Supp Далее мы продолжаем наш случай, котором имеет место ТОЛЬКО ЕСЛИ Supp !E Исход один, но это законно вообще? Либо я не понял
@masyaman
@masyaman 6 лет назад
Последний пример не ясен. Почему if (supp == EMPTY) можно, а if (supp == null) нельзя? Если я правильно понял, то из-за того, что supp может быть null из-за того, что при инициализиции Lazy он не был final. А если supp будет null в первом случае, то тогда будет NPE на supp.get()?
@fedoresko
@fedoresko Год назад
Нет, get внутри synchronized, что дает HP, там будет значение из конструктора.
@user-dk2xo9hj2m
@user-dk2xo9hj2m 6 лет назад
ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-C6b_dFtujKo.html и ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-C6b_dFtujKo.html опечатка, вместо val=supp.get(); надо v=val=supp.get(); иначе мы не увидим инициализированное значение..
@TheGrubian
@TheGrubian 6 лет назад
Ух ты ! Лекция по превращению людей в дерьмо !
@landaumanify
@landaumanify 5 лет назад
как развидеть все это?) что теперь говорить про хб теперь