Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Зовсім недавно, з 8 по 12 липня, одночасно проходило дві знакові події - конференція гідра та школа 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).

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Теорія та практика, наука та виробництво

Нагадаю, що Школа SPTDC — це невеликий захід на півтори сотні людей, на неї збираються світила світового рівня та розповідають про сучасні питання щодо розподілених обчислень. Гідра - це дводенна конференція з розподілених обчислень, що проводиться паралельно. У Гідри спрямованість більша за інженерну, а у Школи — наукову.

Одна з цілей конференції Hydra – об'єднати наукові та інженерні засади. З одного боку, це досягається підбором доповідей у ​​програмі: поряд з Лемпортом, Херліхи та Скоттом є куди як прикладніші доповіді Алекса Петрова, який контриб'ють у Cassandra, або Романа Єлізарова з JetBrains. Є Мартін Клеппман, який раніше робив та продавав стартапи, а тепер у Кембриджському Університеті вивчає 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

А з учасників Гідри були помічені Вадим Цесько (інкуби) і Андрій Паньгін (апангін) з компанії Однокласники. (При цьому Вадим ще й допоміг нам зробити два чудові інтерв'ю з Мартіном Клеппманом. одне для Хабра, а інше – для глядачів онлайн-трансляції). Були члени програмного комітету DotNext, відомі доповідачі Анатолій Кулаков та Ігор Лабутін. З джавістів були Дмитро Александров и Володимир Іванов. Зазвичай ти бачиш цих людей у ​​різних місцях — дотнетчиків на DotNext, джавістів на Joker і так далі. І ось вони пліч-о-пліч сидять на доповідях Гідри і разом обговорюють проблеми на бофах. Коли зникає цей дещо штучний поділ з мов програмування і технологій, проступають риси предметної області: фахівці з динамічним рантаймам спілкуються коїться з іншими рантаймерами, дослідники теорії розподілених обчислень спекотно сперечаються з іншими дослідниками, інженери движків баз даних натовпом окупували маркерну дошку тощо.

на доповіді за моделлю пам'яті C++ на перших рядах сиділи розробники OpenJDK (принаймні їх я знаю в обличчя, а пітоністів — ні, може, і пітоністи були там же). Насправді, у цій доповіді є щось таке шипілівське… Орі розповідає не просто те саме, але уважний погляд може виявити паралелі. Навіть після всього, що сталося в останніх стандартах C++, такі проблеми, як out of thin air values, так і не відлагодилися, і ось можна було сходити на таку доповідь і послухати, як люди «з іншого боку барикади» намагаються полагодити ці проблеми, як вони міркують, можна було вразитись знайденим підходам до рішення (у Орі є один з варіантів ремонту).

Було дуже багато учасників програмних комітетів та движків спільнот. Усі вирішували свої міжконфесійні проблеми, наводили мости, обростали зв'язками. Я користувався цим де міг, і, наприклад, ми домовилися з Олександром Боргардтом із Moscow C++ User Group разом написати повномасштабну статтю про актори та асинхронність у C++.

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

На фотографії: Леонід Талалаєв (ltalal, зліва) та Олег Анастасьєв (m0nstermind, праворуч), провідні розробники в компанії Однокласники

Вогняні дискусійні зони та бофи

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

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Дискусійний дух часом проривався навіть на доповіді: Микита Коваль влаштував раптову Q&A сесію, поділивши доповідь на кілька секцій.

І навпаки, на BOF-і по багатопоточності згадали про non-volatile пам'ять, затягнули на цей боф Pedro Ramalhete як головного спеціаліста, і він усім усе пояснив (короче, найближчим часом енергонезалежна пам'ять нам не загрожує). Одним із провідних цього бофа, до речі, був Володимир Ситніков, який бере участь у програмних комітетах якоїсь шаленої кількості конференцій… здається, зараз це п'ять штук одночасно. На сусідньому бофі про Modern CS in real world теж обговорювали NVM і прийшли до цього абсолютно самостійно.

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Можу поділитись супер-інсайдом, який могли не помітити навіть безпосередні учасники історії. Eli Gafni виступав увечері першого дня Школи, а наступного дня залишився і почав тролити Лемпорта, і збоку здавалося, що це дичина та Елі неадекватна. Що це якийсь троль, який задався винести мозок Леслі. Насправді факт у тому, що вони чи не найкращі друзі, дружать багато років, і це просто такі дружні підколи. Тобто жарт спрацював - на нього повівся весь народ навколо, прийняв за чисту монету.

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Окремо хочеться відзначити, скільки любові та сил вклали у це доповідачі. Хтось стояв у дискусійній зоні до останнього, майже годинами. Вже давно закінчилася перерва, почалася доповідь, закінчилася, почалася наступна перерва — а Дмитро В'юков продовжував відповідати на запитання. Зі мною теж трапилася цікава історія — застав зненацька Кліффа Кліка, я отримав не тільки чітке і розумне пояснення провокаційної дискусії про відсутність тестів. на певні речі в H2O, але й отримав повний огляд його нової мови AA. I never asked for this: я просто запитав, що можна прочитати про AA (виявилося, можна послухати підкаст), і натомість Кліфф витратив півгодини, щоб розповісти про мову і перевірити, що розказане зрозуміло правильно. Дивно. Потрібно написати хабрапост про AA. Ще один незвичайний досвід – спостерігати процес ревью pull request у Kotlin. Це справді чарівне почуття — коли ти підходиш до різних дискусійних груп, до різних спікерів і поринаєш у зовсім новий світ. Це щось рівня "There, There" від Radiohead.

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Англійська мова

Hydra 2019 – це перша наша конференція, де основна мова – англійська. Це приносить свої переваги, і свої складнощі. Очевидний плюс у тому, що на конференцію приїжджають люди не лише з Росії, тому серед учасників ви можете зустріти інженерів із Європи та вчених із Англії. Доповідачі привозять своїх учнів. Взагалі, у важливих доповідачів набагато більше мотивації їхати на подібну конференцію. Уявіть, що ви доповідач на повністю російськомовній конференції: ось ви відчитали свою доповідь, відстояли дискусійну зону, і що далі? Їздити містом та дивитися туристичні місця? Насправді, справді популярні доповідачі вже надивилися всього на світі, вони не хочуть їхати дивитися левів та розвідні мости, їм нудно. Якщо всі доповіді англійською, вони можуть брати участь у конференції на загальних підставах, отримувати задоволення, включатися до дискусійних зон тощо. Атмосфера досить доброзичлива щодо спікерів.

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Очевидний мінус — не всім зручно спілкуватися англійською мовою. Багато хто добре розуміє, але погано говорить. Загалом звичайні штуки, які вирішувалися по-різному. Наприклад, деякі дискусійні зони починалися російською, але миттєво перемикалися англійською з появою першого ж англомовного учасника.

Мені самому довелося робити включення онлайн-трансляції, що відкривають і закривають, виключно англійською мовою і брати участь у парі інтерв'ю з експертами під запис. І це був для мене реальний челленж, який забудеться нескоро. В якийсь момент Олег Анастасьєв (m0nstermind) просто сказав, щоб я залишався сидіти разом з ними на інтерв'ю, і я надто повільно зрозумів, що це означає.

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

Були всякі дрібниці, які мало хто зауважує, а вони є. Через те, що конференція англомовна, дизайн таких речей як листівки та карти — легший та лаконічніший. Немає необхідності дублювати мови та захаращувати дизайн.

Спонсори та виставка

Дуже сильно допомогли у створенні конференції наші спонсори. Завдяки ним у перервах завжди було чим зайнятися.

На стенді ТехЦентру Дойче Банку можна було поспілкуватися з інженерами багатопоточних систем, вирішити їх завдання «з голови», виграти пам'ятні призи і легко приємно провести час.

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

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

Зверніть увагу, що розбір завдань Контуру опубліковано на Хабре. Розбір хороший, варто глянути.

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Бажаючі могли придбати всілякі книги, обговорити їх із колегами. На автограф-сесію зібрався цілий натовп!

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Підсумки

Конференція Hydra та школа SPTDC – це дуже важливі події для нас як компанії-організатора та для всієї спільноти. Це шанс заглянути у наше майбутнє, виробити єдиний понятійний апарат для обговорення сучасних проблем, придивитися до цікавих напрямків. Багатопотоковість з'явилася дуже давно, але після появи першого дійсно багатоядерного процесора знадобилося ціле десятиліття, щоб явище стало масовим. Те, що ми почули за цей тиждень на доповідях — це не швидкоплинні новини, а дорога до світлого майбутнього, якою ми йтимемо найближчими роками. У цьому пості не буде жодних спойлерів на наступну Гідру, але сподіватися можна на найкраще. Якщо вас цікавлять подібні проблеми, можливо, варто звернути увагу на інші наші заходи, на кшталт хардкорних доповідей на конференціях Джокер 2019 або DotNext 2019 Moscow. Зустрінемось на наступних конференціях!

Три лауреати премії Дейкстри: як пройшли Hydra 2019 та SPTDC 2019

Джерело: habr.com

Додати коментар або відгук