elizarov


Блог Романа Елизарова


Entries by tag: jpoint

JPoint 2016: Слайды и ссылки
elizarov

JPoint Logo Большое спасибо организаторам конференции JPoint 2016. Конференция получилась отличная, хорошая подборка докладов. Слайды моего доклада "Wait for your fortune without blocking" я уже выложил здесь.

JPoint Student Day тоже получился ничего, хотя и народу было не очень много. Cлайды с доклада "Многопоточное Программирование — Теория и Практика" выложены здесь.

Тем, кто желает углубиться в теорию многопточного программированию, рекомендую ссылки с дополнительным чтением из своего старого обзора на эту тему. Несмотря на то, что этот доклад был более развернутым и содержал интересные практические примеры, теория она вечна — фундаментальные работы Лампорта и Херлихи актуальны и по сей день.


Анонс: JPoint 2016: Снова про многопоточное программирование
elizarov

После продолжительного перерыва я снова появлюсь на публике. Больше года я не выступал ни на каких технических конференциях. Этому была вполне уважительная причина, ибо я занимался изучением Финансовой Математики (aka Quantitative Finance). Более подробно эта тема раскрыта в моем недавнем интервью JUG.RU в цикле "Без Слайдов". Теперь всё это позади. Знания получены, экзамены сданы, я получил официально право "to use the CQF designation letters after my name". Но бросать программирование и идти управлять рисками в какой-нибудь банк я пока не планирую. Теперь я снова буду нести свет знаний многопоточного программирования в массы.

JPoint Logo В этом году на конференции JPoint 2016, которая пройдет в Москве 22-23 апреля, я сделаю не "научно-популярный" доклад, а наоборот. Это будет узко-специализированный доклад про мало известную, но порой очень полезную штуку из области синхронизации без блокировок. А именно, как совместить необходимость "усыплять" потоки до наступления какого-либо события с синхронизацией без блокировки, который мы частенько занимаемся ради пресловутой производительности. Но ведь ожидание чего-либо это и есть блокировка? Так? А вот и не так! Более подробно об этой я и расскажу на 2-м дне конференции в докладе под кодовым названием "Жди своего счастья без блокировки!".

Будет и научно-популярный доклад "Многопоточное программирование — Теория и Практика", по мотивам моего доклада на JPoint 2-х летней давности (но с практическими примерами!). Я его сделаю в рамках JPoint Student Day. Это отдельный день (24 апреля), в который пройдет специальная конференция для студентов, еще лишь открывающих для себя дорогу в мир профессионального программированию. Эта как раз та аудитория, которой нужно не столько дать конкретные знанию про ту или иную технологию (ибо технологии поменяются десяток раз в процессе их будущей профессиональной деятельности), сколько рассказать фундаментальные вещи и факты, которые на всю жизнь. А еще, что более важно, их нужно заинтересовать учиться самим. Именно поэтому, в конце доклада я буду рекомендовать прочитать замечательную книгу M. Herlihy. The Art of Multiprocessor Programming. 2012, про которую я в своем время даже отдельно писал. Жаль, что перевода её на Русский так и нет (может кто-нибудь занимается издательской деятельностью и посодействует это исправить?).


Развернутый комментарий про теоретико-параллельный доклад на JPoint 2014
elizarov

На доклады на конференции JPoint 2014 в Москве было выделено по 45 минут. Что можно рассказать за 45 минут из теоретического курса параллельного программирования, который, по-хорошему, занимает целый семестр? Цель моего доклада заключалась в том, чтобы дать слушателям минимально необходимую теоретическую базу, которая позволит прочитать и понять 17-у главу спецификации языка Java (JLS), которая четко регламентирует допустимое поведение многопоточных программ на Java на любой архитектуре CPU. Это значит, что программисту на Java не обязательно разбираться в подробностях и деталях реализации кэшей, протоколов когерентности, параллелизма на уровне инструкций, специальных инструкций и барьеров, как и других особенностей различных архитектур. Это задача для тех, кто пишет JVM или хочет написать самый быстрый код. Программист на Java может писать корректные многопоточные программы, если он четко понимает, какие исполнения его многопоточного кода допустимы с точки зрения спецификации языка Java.

В качестве основной идеи доклада я выбрал тот неочевидный факт, что, в общем случае, поведение многопоточных программы нельзя изучать путем анализа различных перестановок выполняемых операций. Я отобрал основные определения и объяснил суть последовательной согласованности и линеаризуемости, чтобы подвести к этому факту. Из-за технических накладок с трансляцией организаторы попросили задержать начало доклада, из-за чего на доклад осталось около получаса, и его кульминационная концовка была несколько смазана. В этой записи я еще раз развернуто объясню основную идею и дам ссылки для домашнего чтения тем, кому хочется в этом подробней разобраться. ДальшеCollapse )


Анонс: JPoint 2014: Теоретический минимум, который надо знать, чтобы понять JMM
elizarov

В последнее время на Java конференциях стало появляться множество докладов, которые рассказывать про особенности многопоточного программированию в целом и про Java Memory Model (JMM), которая описана в 17-й главе спецификации языка Java (JLS).

Это не удивительно. В то время как многоядерные процессоры используются уже даже в телефонах, в тех областях программисткой деятельности, где для достижения преимущества над конкурентами надо победить в производительности, без многопоточного программирования не обойтись. И одной передачей сообщений без изменения общей памяти тут не обойтись. Чтобы выжать из современных вычислительных систем всё, что в них заложено, нужно использовать их по максимуму. Это значит, что придется разобраться не только в синтаксисе и семантике вашего языка программирования, как это было всего десять лет назад, но и в его модели памяти. Разобраться, что же происходит, когда несколько потоков одновременно читают или пишут одни и те же участки памяти.

И тут смелого программиста, отправившегося на поиски новых знаний, ждет неприятная новость. В то время, как практически в каждом вузе, будущего программиста обучают основам построения компиляторов, дают необходимый теоритический минимум, который позволяет разобраться в синтаксисе и семантике любого современного языка программирования, практически никто не учит теоритическим основам параллельных вычислений. С такими словами как «произошло до» и «последовательная согласованность» программист первый раз в жизни сталкивается, когда пытается разобраться в том, что такое «гонка данных», почему она происходит в его коде, и почему из-за этого его код не работает. Примерно как если бы, человек севший писать код на новом языке программирования и изучать его синтаксис и семантику, не знал бы что такое «регулярное выражение», «лексический анализ» и «нотация Бэкуса-Наура».

18 Апреля в Москве пройдет конференция JPoint 2014. На ней я сделаю доклад, который призван восполнить этот досадный пробел современной системы образования программистов, не успевшей еще, в своей массе, подстроиться под реалии многопоточного мира. Там будет минимум практики и максимум теории. Определения, понятия, теоремы. Прослушав этот доклад все термины, которые упоминаются в 17-ой главе JLS, обретут для слушателей понятный и законченный смысл.

Этот доклад будет сделан на основе моего доклада 2012 года "Теория параллельного программирования для программистов практиков". Тот доклад наглядно показал, что нельзя объять необъятное. Попытка впихнуть в отведенное слишком много приводит к тому, что большая часть слушателей так и остается в неведении. Я не буду больше пытаться совмещать теорию и практику, а начну с самых базовых теоритических основ. И не просто пробегусь по верхам, создав максимальную плотность определений в единицу времени, а попытаюсь донести до слушателей суть и смысл всех понятий, используя примеры и диаграммы.

UPDATE: А вот и развернутый комментарий о прошедшем докладе со слайдами с ссылками.


?

Log in

No account? Create an account