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

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

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

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

  • Трима лауреати на наградата Дейкстра: 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++), Pedro Ramalhete (структури за данни без блокировки), Алексей Зиновьев (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).

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

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

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

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

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

Потапяне

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

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

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

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

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

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

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

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

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

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

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

да напишем заедно пълномащабна статия за актьорите и асинхронността в C++.На снимката: Леонид Талалаев (ltalalm0nstermind, вляво) и Олег Анастасьев (

, вдясно), водещи разработчици в компанията Однокласники. Огнени дискусионни зони и бофове.

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

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

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

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

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

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

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

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

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

Английский язык

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Итог

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

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

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

Купете надежден хостинг за сайтове със защита от DDoS, VPS и VDS сървъри 🔥 Купете надежден хостинг за сайтове със защита от DDoS, VPS и VDS сървъри | ProHoster