🥇Трима лауреати на наградата Дейкстра: как протекоха Hydra 2019 и SPTDC 2019

Съвсем наскоро, от 8 до 12 юли, едновременно се проведоха две значими събития — конференция Hydra и школа SPTDC. В този пост искам да отбележа няколко особености, които забелязахме по време на проведенията конференция.

Най-голямата гордост на Гидра и Школата — това са лекторите.

Тримата носители на награда Дейкстра: Leslie Lamport, Maurice Herlihy и Michael Scott. Освен това, Морис я е получил цели два пъти. Лесли Лампарт получи също и награда Тюринг — най-престижната награда ACM в информатиката;
Създаделят на JIT-компилатора Java — Cliff Click;
Разработчиците на корутини — Роман Елизаров (elizarov) и Никита Коваль (ndkoval) за Kotlin и Дмитрий Вюков за Go;
Приносителите към Cassandra (Алекс Петров), CosmosDB (Денис Рысцов), Yandex Database (Семен Чечеринда и Владислав Кузнецов);
И множество други известни личности: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ memory model), Pedro Ramalhete (wait-free data structures), Алексей Зиновьев (ML), Дмитрий Бугайченко (анализ на графи).

А това вече е Школата:

Браунов университет (Maurice Herlihy),
Университет в Рочестър (Michael Scott),
Университет Уотерлу (Trevor Brown),
Нантски университет (Achour Mostefaoui),
Университет на име Давид Бен-Гурион в Негев (Danny Hendler),
Калифорнийски университет в Лос Анджелис (Eli Gafni),
Institut polytechnique de Paris (Petr Kuznetsov),
Microsoft Research (Leslie Lamport),
VMware Research (Ittai Abraham).

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

Припомням, че Школата SPTDC — това е малко събитие за около сто и петдесет души, на него се събират водещи светила от световно ниво и говорят за съвременните въпроси в областта на разпределените изчисления. Гидра — това е двудневна конференция по разпределени изчисления, която се провежда паралелно. Гидра е ориентирана по-скоро към инженерните аспекти, а Школата — към научните.

Една от целите на конференцията Hydra — да обедини научните и инженерните начала. От една страна, това се постига с подбора на доклади в програмата: наред с Лампарт, Херлихи и Скот има доста по-практически доклади от Алекс Петров, който е приносител в Cassandra, или Роман Елизаров от JetBrains. Има и Мартин Клеппман, който преди е управлявал и продавал стартъпи, а сега в Кеймбриджкия университет изучава CRDT. Но най-интересното е, че Hydra и SPTDC преминават един до друг — имат различни доклади, но общо място за общуване.

Потапяне

Пет дни на Училището подред — това е много голямо събитие и голямо натоварване, както за участниците, така и за организаторите. Не всички стигнаха до последните дни. Имаше и такива, които в същото време участваха и в Хидра, за които последните дни се оказаха най-натоварени. Цялата тази суета се компенсира с невероятно дълбочинно потапяне. Това е свързано не само с обема, но и с качеството на материала. Всички доклади и лекции на двете събития не бяха планирани да бъдат въведителни, затова накъдето и да отидеш — веднага потъваш дълбоко и далеч, и те не пускат до самия край.

Разбира се, много зависи от началната подготовка на участниците. Имаше забавен момент, когато две групи хора в коридора независимо обсъждаха доклада на Хайди Говард: на едните им се стори напълно обикновен, а другите, обратно, сериозно се замислиха за живота. Интересно е, че според твърдения на участниците в програмните комитети (пожелали да останат анонимни), докладите на Хидра и лекциите на Училището на техните събития биха могли да се окажат overqualified. Например, ако на конференция по PHP дойде да се учи на живот PHP-джуниор, е доста прибързано да се предполага, че той има дълбоки познания за вътрешностите на Zend Engine. Тук говорителите не захранваха джуновете с лъжичка, а веднага подразбираха определено ниво на знания и разбиране. И наистина, нивото на участниците, които експлоатират разпределени системи и пишат ядрото на рантаймовете, е доста високо, което е логично. Съдя по реакцията на участниците, беше доста лесно да се избере доклад по ниво и тематика.

Ако говорим за конкретни доклади, те всички бяха добри по свой начин. Судя по това, което говорят хората и какво се вижда от формата на обратната връзка, на Училището един от най-готините доклади се оказа «Nonblocking data structures» на Майкл Скот, той просто разби всички, рейтингът му е аномален около 4.9.

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

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

А от участниците в Хидра бяха забелязани Вадим Цесько (incubos) и Андрей Паньгин (apangin) от компанията Одноклассники. (Вадим също така помогна да проведем две отлични интервюта с Мартин Клеппман — едното за Хабра, а другото — за зрителите на онлайн транслацията). Присъстваха членове на програмния комитет DotNext, известните лектори Анатолий Кулаков и Игор Лабутин. От джавистите бяха Дмитрий Александров и Владимир Иванов. Обикновено виждаш тези хора на съвсем различни места — дотнетчици на DotNext, джависти на Joker и т.н. И ето, те седят рамо до рамо на презентации на Гидра и заедно обсъждат проблеми на бофовете. Когато изчезне това малко изкуствено разделение по програмни езици и технологии, излизат наяве чертите на предметната област: специалисти по динамични рантайми общуват с други рантаймери, изследователи в теорията на разпределените изчисления страстно спорят с други изследователи, инженери от бази данни обсаждат маркерната дъска и т.н.

На презентацията по модел на паметта C++ на първия ред седяха разработчици от OpenJDK (поне тях познавам в лице, а питонистите — не, може би и те бяха там). Всъщност, в тази презентация има нещо шипилевско… Ори говори не точно същото, но внимателното око може да открие паралели. Дори след всичко, което се случи в последните стандарти на C++, проблеми като out of thin air values не са били оправени, и ето, можеше да се отиде на такава презентация и да се чуе как хората “от другата страна на барикадата” се опитват да решат тези проблеми, как разсъждават, можеше да се впечатлим от намерените подходи за решение (Ори предлага един от вариантите за поправка).

Имаше много участници от програмни комитети и форуми на общности. Всички решаваха своите междуконфесионални проблеми, строяха мостове, изграждани мрежи от връзки. Аз използвах възможността където мога и, например, се уговорих с Александър Боргардт от Moscow C++ User Group да напишем съвместно цялостна статия за акторите и асинхронността в C++.

На снимката: Леонид Талалаев (ltalal, вляво) и Олег Анастасьев (m0nstermind, вдясно), водещи разработчици в компанията Одноклассники

Огнени дискусионни зони и бофове

На конференциите винаги има участници, които разбират темата наравно с докладчиците (а понякога дори и по-добре от тях — например, когато сред участниците има разработчик на ядрото на някаква технология). На Гидра имаше много такива високоекспертни участници. Например, в един момент около Алекс Петров, който разказваше за Cassandra, се събра толкова много хора, че той не можа да отговори на всички. В един момент Алекс беше плавно изтеснен настрани и започнаха да го разпитват с въпроси, но падащото знаме бе хванато от известния в кръговете на Rust-разработчиците Tyler Neely , който отлично балансирова натоварването. Когато помолих Тайлър да помогне с онлайн-интервюто, той попита само: „Кога започваме?“

Дискусионният дух понякога пробиваше дори на докладите: Никита Коваль устрои внезапна Q&A-сесия, разделяйки доклада на няколко секции.

И обратно, на BOF-а по многопоточност споменаха за non-volatile памет, и се задържаха на този BOF Pedro Ramalhete като главен специалист, и той обясни на всички (накратко, в близко бъдеще енергонезависимата памет не ни грози). Един от водещите на този BOF, между другото, беше Владимир Ситников, който участва в програмни комитети на безумно множество конференции… изглежда, че в момента това са пет едновременно. На съседния BOF за „Modern CS in real world“ също обсъждаха NVM и стигнаха до това напълно самостоятелно.

Мога да споделя супер-инсайд, който дори непосредствените участници в историята не можеха да забележат. Eli Gafni изнесе лекция вечерта на първия ден на Школата, а на следващия ден остана и започна да троли Лампорта, и отстрани изглеждаше, че това е лудост и Ели е неадекватен. Че е някакъв трол, който е решил да изнесе мозъка на Лесли. Всъщност, фактът е, че те почти не са най-добри приятели, приятелстват от много години, и това просто са такива дружески закачки. Тоест шегата сработи — на нея се хванаха всички около, приеха я за чиста монета.

Отделно искам да отбележа колко любов и усилия вложиха в това докладчиците. Някой стоеше в дискусионната зона до последния момент, почти часове. Вече отдавна е приключила паузата, започна лекцията, приключи, започна следващата пауза — а Дмитрий Вьюков продължаваше да отговаря на въпроси. И при мен се случи интересна история — изненадвайки Клиффа Клика, получих не само ясно и разумно обяснение на провокативната дискусия относно липсата на тестове за определени неща в H2O, но и получих пълен преглед на неговия нов език AA. Никога не съм искал това: просто попитах какво мога да прочета за AA (оказва се, че може да се слуша подкаст), и вместо това Клифф прекара половин час, за да говори за езика и да провери дали казаното е разбрано правилно. Удивително. Трябва да напиша хабрапост за AA. Още един необичаен опит — да наблюдавам процеса на преглед на pull request в Kotlin. Това наистина е вълшебно усещане — когато се приближаваш до различни дискусионни групи, до различни говорители и потапяш се в напълно нов свят. Това е на ниво «There, There» от Radiohead.

Английски език

Hydra 2019 — това е нашата първа конференция, където основният език е английски. Това носи както свои предимства, така и свои трудности. Очевидният плюс е, че на конференцията идват хора не само от Русия, така че сред участниците може да срещнете инженери от Европа и учени от Англия. Докладчиците водят своите ученици. Всъщност, важните докладчици имат много по-голяма мотивация да идват на подобна конференция. Представете си, че сте докладчик на изцяло рускоезична конференция: ето, изнесохте своя доклад, отбрахте за дискусионната зона, и после какво? Да обикаляте града и да разглеждате туристически забележителности? Всъщност, наистина популярен докладчик вече е видял всичко на света, не иска да отиде да гледа лъвове и подвижни мостове, скучно му е. Ако обаче всички доклади са на английски, те могат да участват в конференцията на равноправни начала, да се забавляват, да се включват в дискусионните зони и така нататък. Атмосферата е доста приятелска към говорителите.

Очевидният минус обаче е, че не всем удобно да общуват на английски. Много добре разбират, но трудно говорят. Общо взето, обичайните неща, които се решават по различни начини. Например, някои дискусионни зони започваха на руски, но мигновено се превключваха на английски при появата на първия англоговорещ участник.

На мен самият ми се наложи да правя откриващи и затварящи включвания на онлайн трансляцията изцяло на английски език и да участвам в няколко интервюта с експерти на запис. И това беше истинско предизвикателство за мен, което няма да забравя скоро. В един момент Олег Анастасьев (m0nstermind) просто каза, да остана да седя заедно с тях на интервюто, и аз твърде бавно разбрах какво означава това.

От друга страна, много приятно бе, че хората задаваха въпроси по време на докладите с ентусиазъм. Не само носителите на езика, а всъщност всички, работеше чудесно. На други конференции често се вижда, че хората се срамуват да задават въпроси на счупен английски, и могат да изкарат нещо от себе си само в дискусионната зона. Тук съвсем не беше така. Условно казано, Клифф Клик завършваше докладите малко по-рано и след това въпросите следваха без прекъсване, разговорът преминаваше в дискусионната зона — без неловки паузи и прекъсвания. Това важи и за Q&A сесията на Лесли Лъмпорт, който почти не се налагаше да задава свои въпроси, всичко беше измислено от участниците.

Имаше различни детайли, които малко хора забелязват, а те съществуват. Поради факта, че конференцията е на английски, дизайнът на неща като флаери и карти е по-лек и лаконичен. Няма нужда да се дублират езици и да се пренасищат дизайна.

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

Нашите спонсори значително помогнаха в създаването на конференцията. Благодарение на тях по време на почивките винаги имаше с какво да се занимаваме.

На щанда ТехЦентъра на Дойче Банк можеше да се разговаря с инженери на многонишкови системи, да се решават техните задачи "от главата", да се спечелят паметни награди и просто приятно да се прекара времето.

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

Обърнете внимание, че разбора на задачите на Контур вече е публикуван на Хабра. Разборът е добър, струва си да се погледне.

Желаещите можеха да закупят всякакви книги и да ги обсъдят с колегите си. На сесията за автографи се събра цяла тълпа!

Резюме

Конференцията Hydra и училището SPTDC са много важни събития за нас като компания-организатор и за цялата общност. Това е шанс да надникнем в нашето бъдеще, да създадем единен понятиен апарат за обсъждане на съвременните проблеми, да се запознаем с интересни направления. Многопоточността се появи преди много време, но след като се появи първият наистина многоядрен процесор, отне цяло десетилетие, за да стане явлението масово. Това, което чухме през тази седмица по време на докладите, не са мимолетни новини, а пътят към светлото бъдеще, по който ще вървим в близките години. В този пост няма да има никакви спойлери за следващата Гидра, но можем да се надяваме на най-доброто. Ако се интересувате от подобни проблеми, може би си струва да обърнете внимание на другите ни събития, като хардкорните доклади на конференциите. Joker 2019 или DotNext 2019 Москва. Срещнем се на следващите конференции!

Източник: habr.com