Тројца добитници на наградата Dijkstra: како поминаа Hydra 2019 и SPTDC 2019

Неодамна, од 8 до 12 јули, истовремено се случија два значајни настани - конференцијата Хидра и училиштето SPTDC. Во овој пост би сакал да истакнам неколку карактеристики што ги забележавме за време на конференцијата.

Најголемата гордост на Хидра и на Школата се говорниците.

• Тројца лауреати Награди Дијкстра: Лесли Лампорт, Морис Херлихи и Мајкл Скот. Згора на тоа, Морис го доби двапати. Доби и Лесли Лампорт Турингова награда — најпрестижната ACM награда за компјутерски науки;
• Креатор на Java JIT компајлерот е Cliff Click;
• Програмери на Корутин - Роман Елизаров (елизаров) и Никита Ковал (ндковал) за Котлин и Дмитриј Вјуков за Го;
• Соработници на Касандра (Алекс Петров), КосмосДБ (Денис Ристсов), База на податоци на Јандекс (Семјон Чечеринда и Владислав Кузнецов);
• И многу други познати луѓе: Мартин Клепман (ЦРДТ), Хајди Хауард (Паксос), Ори Лахав (модел на меморија C++), Педро Рамалхете (структури на податоци без чекање), Алексеј Зиновиев (МЛ), Дмитриј Бугаиченко (анализа на графикони).

И ова е веќе училиште:

• Универзитетот Браун (Морис Херлихи),
• Универзитетот во Рочестер (Мајкл Скот),
• Универзитетот во Ватерло (Тревор Браун),
• Универзитетот во Нант (Achour Mostefaoui),
• Универзитетот Дејвид Бен-Гурион во Негев (Дени Хендлер),
• Универзитетот во Калифорнија во Лос Анџелес (Ели Гафни),
• Политехнички институт во Париз (Петр Кузњецов),
• Microsoft Research (Лесли Лампорт),
• VMware Research (Ittai Abraham).

Теорија и практика, наука и производство

Дозволете ми да ве потсетам дека SPTDC School е мал настан за стотина луѓе од светска класа кои се собираат таму и зборуваат за современите прашања од областа на дистрибуирани компјутери. Hydra е дводневна дистрибуирана компјутерска конференција која се одржува паралелно. Хидра има повеќе инженерски фокус, додека Школата има повеќе научен фокус.

Една од целите на конференцијата Хидра е да ги комбинира научните и инженерските принципи. Од една страна, тоа се постигнува со изборот на извештаи во програмата: заедно со Лампорт, Херлихи и Скот, има многу повеќе применети извештаи од Алекс Петров, кој придонесува за Касандра, или Роман Елизаров од JetBrains. Тука е Мартин Клепман, кој порано градеше и продаваше стартапи, а сега студира CRDT на Универзитетот во Кембриџ. Но, кул работа е што Hydra и SPTDC се држат рамо до рамо - тие имаат различни извештаи, но заедничко место за комуникација.

Потопување

Пет дена по ред Школата е многу голем настан и голем обем на работа, како за учесниците така и за организаторите. Не сите стигнаа до последните денови. Имаше и такви кои одеа во Хидра и Училиште во исто време, а за нив последните денови се покажаа како најслучајни. Целата оваа гужва се компензира со неверојатно длабоко потопување. Ова се должи не само на волуменот, туку и на квалитетот на материјалот. Сите извештаи и предавања на двата настана не беа планирани да бидат воведни, па каде и да одиш веднаш се нурнуваш далеку и длабоко и не те пуштаат до самиот крај.

Секако, многу зависи од првичната подготовка на учесникот. Имаше смешен момент кога две групи луѓе во ходникот независно разговараа за извештајот на Хајди Хауард: на некои тоа им изгледаше сосема обично, додека други, напротив, длабоко размислуваа за животот. Интересно е што според учесниците на програмските комитети (кои сакаа да останат анонимни), извештаите на Хидра и предавањата на Школата на нивните настани може да бидат преквалификувани. На пример, ако некој помлад PHP дојде на PHP конференција за да го научи животот, би било малку непромислено да се претпостави дека има длабоко познавање за внатрешните работи на Zend Engine. Овде говорниците не ги хранеа помладите со лажица, туку веднаш имплицираа одредено ниво на знаење и разбирање. Па, навистина, нивото на учесници кои работат со дистрибуирани системи и пишуваат кернели за траење е многу високо, ова е логично. Судејќи според реакцијата на учесниците, беше прилично лесно да се избере извештај врз основа на нивото и темата.

Ако зборуваме за конкретни извештаи, сите тие беа добри на свој начин. Судејќи според она што луѓето го кажуваат и што може да се види од формуларот за повратни информации, еден од најкул извештаите во училиштето беше „Неблокирачки структури на податоци“ Мајкл Скот, само што ги распарчи сите, има ненормален рејтинг од околу 4.9.

Метаконференција

Долго пред почетокот на Хидра и училиштето, Руслан ARG89 претпоставуваше дека ќе има некаква „мета-конференција“ - конференција на конференции, каде што сите врвни учесници на други настани автоматски ќе бидат вовлечени во неа, како во црна дупка. И така се случи! На пример, кај учениците на Училиштето беше забележано Руслан Черемин од DeutscheBank, познат специјалист за мултинишки.

И од Хидра членовите беа забележани Вадим Цеско (инкубо) И Андреј Пангин (апангин) од компанијата Однокласници. (Во исто време, Вадим ни помогна и да направиме две одлични интервјуа со Мартин Клепман - еден за Хабр, а другото за гледачите на онлајн преносот). Имаше членови Програмски комитет DotNext, познати говорници Анатолиј Кулаков и Игор Лабутин. Од јавистите имаше Дмитриј Александров и Владимир Иванов. Обично ги гледате овие луѓе на сосема различни места - дотнетисти на DotNext, javaists на Џокер итн. И така тие седат рамо до рамо на извештаите на Хидра и заедно разговараат за проблемите на љубителите. Кога оваа малку вештачка поделба по програмски јазици и технологии ќе исчезне, карактеристиките на предметната област се појавуваат: специјалисти за динамично време на работа комуницираат со други тајмери, истражувачите на теоријата на дистрибуирани компјутери жестоко се расправаат со други истражувачи, инженерите на моторите на базата на податоци ја преполнуваат таблата итн. .

На извештајот според моделот на меморија C++ програмерите на OpenJDK седеа во првиот ред (барем јас ги знам од видување, но не и питонистите, можеби и питонистите беа таму). Всушност, има нешто толку Шипилевски во овој извештај... Ори не го кажува точно истото, но внимателен поглед може да открие паралели. Дури и по сè што се случи во најновите стандарди C++, проблемите како што се вредностите без воздух, сè уште не беа поправени, и така можете да отидете на таков извештај и да слушате како се луѓето „од другата страна на барикадата“. обидувајќи се да ги поправат овие проблеми, како што тие размислуваат, човек може да биде импресиониран од пристапите кон најденото решение (Ори има една од опциите за поправка).

Имаше многу учесници во програмските комитети и моторите на заедницата. Сите ги решаваа своите меѓуверски проблеми, градеа мостови и стекнаа врски. Го користев ова каде што можев, и, на пример, се договоривме со Александар Боргард од Москва C++ Корисничка група заедно напишете статија од целосен размер за актерите и асинхронијата во C++.

На фотографијата: Леонид Талалаев (лталал, лево) и Олег Анастасиев (m0nstermind, десно), водечки програмери во Однокласници

Пожар дискусија зони и buffs

На конференциите секогаш има учесници кои ја знаат темата исто како и говорниците (а понекогаш дури и подобро од говорниците - на пример, кога меѓу учесниците е развивач на јадрото на некоја технологија). Имаше многу такви високо стручни учесници на Хидра. На пример, во одреден момент околу раскажувањето на Алекс Петров за Касандра, се формираа толку многу луѓе што не можеше да одговори на сите. Во одреден момент, Алекс непречено беше турнат на страна и почна да се кине со прашања, но знамето што паѓаше го подигна добро познат развивач на Rust во круговите. Тајлер Нили и совршено го избалансираа товарот. Кога побарав помош од Тајлер за онлајн интервјуто, сè што праша беше: „Кога да почнеме?

Понекогаш духот на дискусија се пробиваше дури и во извештаите: Никита Ковал организираше ненадејна сесија за прашања и одговори, поделувајќи го извештајот на неколку делови.

И обратно, на BOF за мулти-нишки се сеќаваа на неиспарлива меморија, беа привлечени кон овој боф Педро Рамалхете како главен специјалист, и на сите им објасни сè (накратко, нестабилната меморија не е закана за нас во блиска иднина). Еден од домаќините на овој боф, инаку, беше Владимир Ситников, кој служи во програмските комисии на некој луд број конференции... се чини како пет одеднаш. На следниот интерес за „Модерен CS во реалниот свет“, тие исто така разговараа за NVM и дојдоа до ова целосно сами.

Можам да споделам супер увид што дури и оние директно вклучени во приказната можеби не го забележале. Ели Гафни настапи вечерта на првиот ден од Школата, а следниот ден остана и почна да го трола Лампорт, а однадвор се чинеше дека ова е игра и Ели е неадекватна. Дека ова е некој вид трол кој тргнал да го извади мозокот на Лесли. Всушност, факт е дека тие се речиси најдобри пријатели, се дружат долги години, а ова е само таква пријателска заебанција. Односно, шегата успеа - сите луѓе наоколу паднаа на неа, ја земаа по номинална вредност.

Одделно, би сакал да забележам колку љубов и труд вложуваат звучниците во ова. Некој стоеше во полето за дискусија до последен момент, речиси со часови. Паузата заврши одамна, извештајот почна, заврши, почна следната пауза - и Дмитриј Вјуков продолжи да одговара на прашања. И мене ми се случи интересна приказна - изненадив Cliff Click, добив не само јасно и разумно објаснување за таа провокативна дискусија за недостатокот на тестови за одредени работи во H2O, но доби и целосна рецензија за тоа нов јазик АА. Никогаш не го побарав ова: само прашав што можете да прочитате за АА (испадна дека можете да слушате подкаст), а наместо тоа, Клиф помина половина час зборувајќи за јазикот и проверувајќи дали тоа што го кажува е правилно разбрано. Прекрасно. Треба да напишеме хабрапост за АА. Друго необично искуство беше гледањето на процесот на прегледување на барањето за повлекување во Котлин. Навистина е магично чувство кога влегувате во различни групи за дискусија, различни говорници и ќе бидете втурнати во сосема нов свет. Ова е нешто на ниво „Таму, таму“ од Radiohead.

Англиски јазик

Hydra 2019 е нашата прва конференција каде главен јазик е англискиот. Ова ги носи и неговите предности и предизвици. Очигледна предност е што луѓето не само што доаѓаат на конференцијата од Русија, така што меѓу учесниците може да се сретнете инженери од Европа и научници од Англија. Говорниците ги носат своите ученици. Генерално, важните говорници имаат многу поголема мотивација да одат на ваква конференција. Замислете дека сте говорник на конференција на целосно руски јазик: го дадовте вашиот извештај, ја одбранивте областа за дискусија, а потоа што? Патувајте низ градот и гледате туристички места? Всушност, навистина популарните говорници веќе виделе доволно од сè на светот, не сакаат да одат да гледаат лавови и мостови, им е здодевно. Ако сите извештаи се на англиски јазик, тие можат да учествуваат на конференцијата на општа основа, да се забавуваат, да се приклучат на области за дискусија итн. Атмосферата е доста пријателска кон звучниците.

Очигледниот недостаток е тоа што не на сите им е удобно да комуницираат на англиски јазик. Многумина добро разбираат, но зборуваат лошо. Во принцип, обични работи кои беа решени на различни начини. На пример, некои области за дискусија започнаа на руски, но веднаш се префрлија на англиски кога се појави првиот учесник што зборуваше англиски.

Самиот морав да ги направам приклучоците за отворање и затворање на онлајн емитувањето исклучиво на англиски јазик и да учествувам во неколку интервјуа на снимање со експерти. И ова беше вистински предизвик за мене кој нема да биде заборавен наскоро. Во одреден момент Олег Анастасиев (m0nstermind) едноставно ми кажа да останам да седам со нив за време на интервјуто, а јас бев премногу бавен за да разберам што значи тоа.

Од друга страна, беше многу пријатно што луѓето со бурно поставуваа прашања на извештаите. Не само говорители на мајчин јазик, туку сите воопшто, добро функционираше. На други конференции, често се гледа дека луѓето се срамат да поставуваат прашања од публиката на скршен англиски јазик и можат само да истиснат нешто во областа за дискусија. Овде беше сосема поинаку. Релативно кажано, некој Клиф Клик ги заврши своите извештаи малку порано, а потоа прашањата следеа во континуиран редослед, разговорот се префрли во зоната за дискусија - без незгодни паузи или прекини. Истото важи и за сесијата Q&A на Лесли Лампорт, презентерот практично не мораше да ги поставува своите прашања, учесниците смислија сè.

Имаше секакви ситници кои ретко кој ги забележува, но тие постојат. Поради фактот што конференцијата е на англиски јазик, дизајнот на работи како летоци и мапи е полесен и поконцизен. Нема потреба да се дуплираат јазици и да се натрупува дизајнот.

Спонзори и изложба

Во креирањето на конференцијата многу ни помогнаа нашите спонзори. Благодарение на нив, секогаш имало што да се прави на паузите.

На штандот Технолошки центар на Дојче банка би можеле да разговарате со инженери на системи со повеќе нишки, да ги решавате нивните проблеми од глава, да освоите незаборавни награди и едноставно да се забавувате.

На штандот Контура би можеле да зборуваме за нивните сопствени системи, и отворени и со отворен код: дистрибуирана база на податоци во меморијата, дистрибуиран бинарен дневник, систем за оркестрација на микросервис, универзален транспорт за телеметрија итн. И, се разбира, загатки и натпревари, налепници со бинарна мачка и Страданиот среден век, подароци како книгата на Мартин Клепман и LEGO фигури.

Ве молиме имајте предвид дека анализата на проблемите на Контур е веќе објавено на Хабре. Добра анализа, вреди да се погледне.

Оние кои сакаа можеа да купат секакви книги и да разговараат за нив со колегите. Цела толпа се собра на сесијата за автограм!

Резултатите од

Конференцијата Hydra и SPTDC School се многу важни настани за нас како компанија организатор и за целата заедница. Ова е шанса да погледнеме во нашата иднина, да развиеме унифицирана концептуална рамка за дискусија за современите проблеми и одблизу да погледнеме интересни насоки. Multithreading постои многу долго време, но беше потребна цела деценија откако се појави првиот вистински мулти-јадрен процесор за феноменот да стане широко распространет. Она што го слушнавме на извештаите оваа недела не е минлива вест, туку патот до светла иднина што ќе го следиме во наредните години. Нема да има спојлери за следната Hydra во оваа објава, но можете да се надевате на најдоброто. Ако ве интересираат прашања како овие, можеби ќе сакате да ги проверите нашите други настани, како хардкор разговори на конференции Џокер 2019 или DotNext 2019 Москва. Се гледаме на следните конференции!

Извор: www.habr.com