Тры лаўрэаты прэміі Дэйкстры: як прайшлі 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

А з удзельнікаў Гідры былі заўважаны Вадзім Цасько (incubos) І Андрэй Паньгін (apangin) з кампаніі Аднакласнікі. (Пры гэтым Вадзім яшчэ і дапамог нам зрабіць два выдатныя інтэрв'ю з Марцінам Клепманам — адно для Хабра, а іншае - для гледачоў анлайн-трансляцыі). Былі члены праграмнага камітэта 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 - гэта вельмі важныя падзеі для нас як кампаніі-арганізатара і для ўсёй супольнасці. Гэта шанс зазірнуць у нашу будучыню, выпрацаваць адзіны паняційны апарат для абмеркавання сучасных праблем, прыгледзецца да цікавых напрамкаў. Шматструменнасць з'явілася вельмі даўно, але пасля з'яўлення першага сапраўды шмат'ядравага працэсара запатрабавалася цэлае дзесяцігоддзе, каб з'ява стала масавай. Тое, што мы пачулі за гэты тыдзень на дакладах - гэта не мімалётныя навіны, а дарога да светлай будучыні, па якой мы будзем ісці ў бліжэйшыя гады. У гэтым пасце не будзе ніякіх спойлераў на наступную Гідру, але спадзявацца можна на самае добрае. Калі вас цікавяць падобныя праблемы, магчыма, варта звярнуць увагу на іншыя нашы мерапрыемствы, накшталт хардкорных дакладаў на канферэнцыях Joker 2019 або DotNext 2019 Moscow. Сустрэнемся на наступных канферэнцыях!

Тры лаўрэаты прэміі Дэйкстры: як прайшлі Hydra 2019 і SPTDC 2019

Крыніца: habr.com

Дадаць каментар