024. Модель памяти C++ - Андрей Янковский

Подробнее о С++ Party events.yandex.ru/events/cpp-p...
В докладе Андрей расскажет о моделях памяти различных процессоров, о тонкостях реализации неблокирующих алгоритмов и о том, какое отношение всё это имеет к С++.

[@rajponomarenko9841]

Большое спасибо, Андрей! Уверен, даже Энтони Уильямсу не помешало бы посмотреть это перед тем, как выпускать очередное издание книги "C++ Concurrency in Action" :) Вначале - зачем, и только потом как. После этого всё ложится по полочкам.

[@pro.crastination]

Большое спасибо! Очень помогло в понимании вопроса.

[@UnrealEngine_Master]

Все чотко и понятно. Спасибо за доклад

[@riz1_k]

Наконец-то спикер без деффектов речи и волнуещегося голоса. Топич

[@user-sz7kt8nf1m]

Круто, спасибо. Читал Энтони Уильямса, описание казалось несколько размытым. Здесь все по полочкам.

[@user-zb5pr4wv8d]

Спасибо очень интересная информация

[@ivanalign2048]

очень круто! Помогло, спасибо!! 1 момент: в примере 3 на 20:54 опечатка. подшаманивать надо CPU1, а не CPU0

[@Yury-Baranovskiy]

Спасибо за лекцию

[@andreyyurchenko8802]

да, очень толково

[@jozz3235]

Спасибо за прояснение ;)

[@holy-del]

Доходчиво! Спасибо!

[@vladimir0rus]

32:40 На одноядерных процессорах тоже были проблемы с многопоточностью - процессор так же мог переставить операции, а ОС могла в неудачный момент передать управление другому потоку.

[@grv379]

Из определения Acquire следует что операции после барьера можно перекидывать наверх и ставить после последней операции чтения ? Может быть, оно так не работает, но определение не запрещает этого?

[@nefton001]

соотношение сторон для эстетов?

[@user-sz7kt8nf1m]

Только не понял, почему мъютекс остался даже после описания модели памяти

[@user-tn9pq7bv5h]

19:12 как инструкция может попасть выше, то есть за пределы самого условия IF? это же уже нарушение логики алгоритма

[@user-tx7rp3hb5j]

Я не очень часто пишу на С++, но почему-то смотрю)

[@m110h1986]

это у вас врождённая тяга к истине

[@user-ty1ms9je9s]

Чем отличаются memory_order_seq_cst и memory_order_acq_rel?

[@inbuckswetrust7357]

В первом случае инструкции выполняются в том порядке в котором они в программе, во втором случае блок между акуре-релиз будет выполнятся в том порядке что есть и без забрасывания записи наверх перед акуром. Соответствеено инструкции вне блока могут перемещаться процессором и компилятором

[@Tyn4tyk]

что то я не понимаю, разве программа не выполняется сверху вниз? почему процессор путает местами порядок выполнения команд?

[@assortedbeans]

Если не поставить барьеры то пограмма может выполнится из конца в начало. Закончится выполнение ровно на точке входа main. Будьте осторожны!

[@vladimir0rus]

6:00 Это неправильный singleton, начиная с С++11 его надо делать через static переменную и без мьютексов. Получается это синтетический пример того как делать не надо, что Ок в контексте выступления.

[@user-qz5jz1qe3r]

Аааа как с этим жить..

[@maxrulerootmaxruleroot9916]

очень интересно, но ничего не понял....

[@teastrum]

Савельев:"Компьютерные мальчики"

[@alexgorodecky1661]

просто божественно! дикий контраст с джавистами, которые любят рассказывать свою элитарную муть про memory model по 2 часа с нулевым итогом для понимания!

[@danieltereshchenko6214]

Я более чем уверен что если бы парень писал на джаве, обьяснил бы также ясно. При чём тут язык программирования к стилю ведения доклада?

[@HedgehogInTheCPP]

псс, суть в том что плюсовики обычно досконально понимают низкоуровневые вещи ибо это критично ибо важна производительность. Поэтому у плюсовиков более простым языком изложены вещи про память, кэши процессора, предсказания переходов и прочее прочее, а самое главное при этом не теряется вся высокоуровневая магия.

[@user-iCuaebtAi926]

Меня выгнали из джава, когдя я им начал толковать как написать сборщик мусора в режиме ядра

[@x-path]

@@user-iCuaebtAi926 откуда выгнали?)

[@user-iCuaebtAi926]

@@x-path точнее не смог пройти интервью. Им нужна вера, что джава - это hi performance. А я не уверовал

[@zetaBit]

когда я пишу комментарий я немного чувствую себя многопоточным, пшиешь пишешь много текста, а оказывается некоторые независимые от контектса буквы в слове меняются местами, и замечаешь это не сразу :)

[@user-iCuaebtAi926]

судя по докладу программы вообще не должны работать, так как процессор постоянно путает порядок выполнения

[@pasol8928]

Кроме x86))

[@woodlandfantomas2044]

Ребята, почитайте литературу Pentium IV, работа с конвеером хеш (там некоторые команды выполняются на перед, там используются вероятностные методы выполнения операций бинарных и унарных .... т... действий , потом обратная польская нотация, но это старый процессор. В новых, как это работает я не видел.

[@dmitry6123]

Ведение атомиков в цпп было ошибкой. Контроль когерентности памяти не решает всех проблем связанных с "атомарными операциями" в многопроцессорных системах. Натянули сову на глобус как всегда.

[@ValentinNechayev]

Не решает всех проблем - да. "Атомики были ошибкой" - безусловно нет. Глобус - только в вашем воображении, у атомиков есть своя важная роль, даже когда они не решают всё.

[@fio6951]

Сначала добивались самой оптимальной оптимизации, теперь ломают голову, как же ее отключить. Идиёты

[@tohaya123]

А вы знали, что ++ оператор есть в чистом С? :)

[@addressmodel2121]

Интересно, а чем новеньким порадуют нас разработчики стандарта С++ 20 ? Очень не терпится узнать ! C++ 17 большинство разработчиков уже освоили, это вчерашний день, это школоте мозги разминать перед контрольной по информатике ... . Может быть в C++ 20 наконец то появится что-нибудь для настоящих матёрых программистов, а не для школоты ?

[@addressmodel2121]

Это я прикалываюсь, конечно ... . А если серьёзно, что то C++ сильно разогнался с новыми стандартами в языковом синтаксическом сахаре, как бы "с рельс не сошёл" на такой скорости ... .

[@addressmodel2121]

Ладно, прикалываемся дальше ... . C++ 11 это уже позавчерашний день, этот стандарт уже старушки на лавочках днём обсуждают ... ! А по вечерам 10-ти летних внуков C++ 11 обучают ! А ВЫ хорошо знаете C++ 11 ?

[@user-xd2fi1us5t]

@@addressmodel2121 мы еще третий используем, лет через двадцать на 11 перейдем

[@dmitryponyatov2158]

Общая теория типов, и интерпретатор Haskell в compile time

[@addressmodel2121]

А Вы знаете что .net framework написан на языке C, а не на C++ ? А знаете что основная часть кода ядра, и 80 % кода системных сервисов Windows 10 - это тоже на чистом СИ без плюсОв ? А знаете что если принять на работу психологически вменяемых людей с реальным высшим образованием в области информатики и программирования, то они на СИ пишут быстрее и качественнее чем на C++ ?

[@Pafnut01]

верится с трудом

[@addressmodel2121]

@@Pafnut01, вы шутите что ли про то что вам "верится с трудом" ? Информация о языке "Си без плюсов" как основном языке программирования базовых системных модулей есть в интернете в широком доступе. В Википедии про это много написано, и на других ресурсах тоже. Ну вообщем, захотите - найдёте информацию про это.

[@Pafnut01]

@@addressmodel2121 Что какая-то часть ядра и сервисов написана на чистом Си, это факт. Я просто про > 80% не уверен и инфы про это в Википедии не нашёл. Может, Вы дадите ссылочку?

[@addressmodel2121]

@@Pafnut01 , давайте сначала определимся, что считать за ядро: - код реализации Native API - это ядро ? - системные сервисы - это ядро ? - фоновый процесс "бездействие системы" - это ядро ? + обработчики прерываний - это точно ядро ! + программные прерывания и их планировщик - это точно ядро ! + механизмы отложенных процедур - это точно ядро ! (это такая реал-тайм корпоративная многозадачность внутри ядра) Ответ на ваш вопрос про проценты будет зависеть от того, что МЫ договоримся считать ядром ... .

[@addressmodel2121]

@@Pafnut01 , ссылочка на другом компе, пока не могу дать ...

[@user-oq9xr8dj1b]

Вижу яндекс и ставлю сразу дизлайк.

[@Airaleais]

наверное ты дурачок просто =)

[@user-oq9xr8dj1b]

@@Airaleais ты сам кто? Почему на ютубе отвечают только на самые неважные для меня комментарии, а на важные, не для дураков, реакции никакой?))

[@user-oq9xr8dj1b]

@@Airaleais Распределение памяти я доверяю компилятору. Бред этот слушать надобности не вижу. С памятью я могу работать и со своих программ.

[@Airaleais]

@@user-oq9xr8dj1b ну вот видишь какое ты глупое ламо, и судя по всем даже ролик не посмотрел, а уже все решил, я такой же был =) лет в 6