Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Nedávno, od 8. do 12. července, se současně konaly dvě významné akce — konference Hydra a škola SPTDC. V tomto příspěvku bych chtěl zmínit několik zvláštností, které jsme si všimli během konference.

Naší největší hrdostí Hydry a Školy jsou řečníci.

  • Tři laureáti Ceny Dijkstra: Leslie Lamport, Maurice Herlihy a Michael Scott. Maurice ji získal dokonce dvakrát. Leslie Lamport navíc obdržel Cenu Turinga — nejprestižnější cenu ACM v informatice;
  • Tvůrce JIT kompilátoru Java — Cliff Click;
  • Vývojáři korutin — Roman Elizarov (elizarov) a Nikita Koval (ndkoval) pro Kotlin, a Dmitrij Vjukov pro Go;
  • Přispěvatelé do Cassandra (Alex Petrov), CosmosDB (Denis Rycov), Yandex Database (Semen Ččerjinda a Vladislav Kuzněcov);
  • A mnoho dalších známých osobností: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model paměti C++), Pedro Ramalhete (wait-free datové struktury), Alexej Zinovjev (ML), Dmitrij Bugajenko (analýza grafů).

A to už je Škola:

  • Brownova univerzita (Maurice Herlihy),
  • Rochesterova univerzita (Michael Scott),
  • Univerzita Waterloo (Trevor Brown),
  • Nanteská univerzita (Achour Mostefaoui),
  • Univerzita Davida Ben-Guriona v Negevu (Danny Hendler),
  • Kalifornská univerzita v Los Angeles (Eli Gafni),
  • Polytechnický institut Paříže (Petr Kuzněcov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Teorie a praxe, věda a výroba.

Připomínám, že Škola SPTDC je malá akce pro přibližně sto padesát lidí, na kterou se scházejí celebrita světové úrovně a vyprávějí o aktuálních otázkách v oblasti distribuovaných výpočtů. Hydra je dvoudenní konference o distribuovaných výpočtech, která se koná souběžně. Hydra má spíše inženýrskou orientaci, zatímco Škola má orientaci vědeckou.

Jedním z cílů konference Hydra je spojit vědecké a inženýrské aspekty. Na jednu stranu je to dosaženo volbou přednášek v programu: vedle Lamporta, Herlihye a Scotta jsou zde také mnohem praktičtější přednášky od Alexe Petrova, který přispívá do Cassandra, nebo Romana Elizarova z JetBrains. Je zde Martin Kleppmann, který dříve zakládal a prodával startupy, a nyní na Cambridgeské univerzitě zkoumá CRDT. Ale hlavní věc je, že Hydra a SPTDC probíhají vedle sebe — mají různé přednášky, ale společné místo pro komunikaci.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Ponoření

Pět dní celodenní školy je opravdu velká událost a velké zatížení jak pro účastníky, tak pro organizátory. Ne všichni vydrželi až do posledních dní. Někteří se účastnili jak Hydry, tak Školy současně, a pro ně byly poslední dny nejintenzivnější. Celá tato horečka je vyvážena neuvěřitelně hlubokým ponořením. To je spojeno nejen s objemem, ale také s kvalitou materiálu. Všechny přednášky a přednášky na obou akcích nebyly plánovány jako úvodní, takže kamkoli šel, okamžitě se ponoříš hluboko a drží tě to až do konce.

Samozřejmě, hodně záleží na počáteční přípravě účastníka. Byl vtipný moment, kdy dvě skupinky lidí na chodbě nezávisle diskutovaly o přednášce Heidi Howard: jedné se zdála zcela obyčejná, zatímco jiní se nad ní hluboce zamysleli. Zajímavé je, že podle tvrzení (které si přály zůstat anonymní) účastníků programových výborů by mohly být přednášky Hydry a přednášky Školy na jejich akcích overqualified. Například pokud přišel PHP junior na konferenci o PHP učit se o životě, bylo by trochu neopatrné předpokládat, že má hluboké znalosti o vnitřnostech Zend Engine. Zde však mluvčí nenakrmili juniory lžičkou, ale hned předpokládali určitou úroveň znalostí a porozumění. A skutečně, účastníci, kteří provozují distribuované systémy a píší jádra běhových prostředí, mají velmi vysokou úroveň, to je logické. Podle reakcí účastníků bylo snadné si vybrat přednášku podle úrovně a tématu.

Pokud mluvíme o konkrétních přednáškách, všechny byly skvělé ve svém druhu. Podle toho, co lidé říkají a co je vidět ze zpětné vazby, byla na Škole jednou z nejzajímavějších přednáškou „Nonblocking data structures“ Majkla Scotta, ten jednoduše všechny ohromil, měl neobvyklé hodnocení kolem 4.9.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Metakonference

Dlouho před startem Hydry a Školy, Ruslan ARG89 předpokládal, že vznikne jakási „metakonference“ – konference konferencí, kam se automaticky, jako do černé díry, stáhnou všichni top účastníci z jiných akcí. A tak se stalo! Například mezi posluchači Školy byl zaznamenán Ruslan Čerjonin z DeutscheBank, známý odborník na multithreading.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

A mezi účastníky Hydry byli zaznamenáni Vadim Cěsko (incubos) a Andrej Paněgin (apangin) z firmy Odnoklassniki. (Kromě toho Vadim pomohl vytvořit dvě skvělá interview s Martinem Kleppmannem — jedno pro Habr, a druhé — pro diváky online přenosu). Byli tam členové programového výboru DotNext, známí přednášející Anatolij Kulakov a Igor Labutin. Mezi javisty byli Dmitrij Alexandrov a Vladimir Ivanov. Obvykle tyto lidi vidíš na úplně jiných místech — .NET vývojáře na DotNext, javisty na Jokeru a tak dále. A nyní sedí bok po boku na přednáškách Hydry a společně diskutují o problémech na bofoch. Když zmizí toto poněkud umělé dělení podle programovacích jazyků a technologií, vynikají rysy dané oblasti: specialisté na dynamické runtime komunikují s jinými runtime, badatelé v oblasti teorie distribuovaných výpočtů vášnivě diskutují s dalšími badateli, inženýři databázových enginů hromadně obsadili flipchart a tak dále.

Na přednášce o paměťovém modelu C++ v prvních řadách seděli vývojáři OpenJDK (alespoň ty znám, a pythonisty ne, možná byli také tam). Opravdu, v této přednášce je něco takového šipiljevského... Ori vypráví ne přímo totéž, ale pozorné oko může objevit paralely. I po všem, co se stalo v posledních standardech C++, takové problémy, jako hodnoty

Na přednášce bylo velmi mnoho účastníků programových výborů a komunitních enginů. Všichni řešili své interkonfesní problémy, budovali mosty, získávali nové vazby. Využil jsem toho, kde jsem mohl, a například jsme se dohodli s Alexandrem Borgardtem z Moscow C++ User Group napsat společně rozsáhlý článek o aktorech a asynchronnosti v C++.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Na fotografii: Leonid Talalaev (ltalal, vlevo) a Oleg Anastasjev (m0nstermind, vpravo), vedoucí vývojáři ve firmě Odnoklassniki

Ohnivé diskuzní zóny a bofo

Na konferencích vždy existují účastníci, kteří znají téma na stejné úrovni jako přednášející (a někdy i lépe než přednášející — například když se mezi účastníky objeví vývojář jádra nějaké technologie). Na Hydře bylo takových vysoce odborných účastníků velmi mnoho. Například v jednom okamžiku se kolem Alexe Petrova, který vyprávěl o Cassandře, vytvořilo tolik lidí, že nedokázal odpovídat všem. V jednom okamžiku byl Alex plynule zatlačen stranou a začali ho přerušovat otázkami, ale padající vlajku převzal známý mezi Rust vývojáři Tyler Neely a skvěle vybalancoval zátěž. Když jsem požádal Tylera o pomoc s online rozhovorem, zeptal se pouze: „Kdy začneme?“

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Diskusní duch občas pronikal i do přednášek: Nikita Koval uspořádal náhlou Q&A seanci a rozdělil svou přednášku na několik sekcí.

A naopak, na BOF o vícevláknovosti si vzpomněli na non-volatile paměť, protáhli to na tomto BOF-u Pedro Ramalhete , jako hlavního specialistu, a vše vysvětlil (zkrátka, v blízké budoucnosti nám energie nedeponující paměť nehrozí). Jedním z vedoucích tohoto BOF-u, mimochodem, byl Vladimir Sitnikov, který se účastní programových výborů nějakého šíleného množství konferencí… zdá se, že nyní je to pět najednou. Na vedlejším BOF-u o „Modern CS v reálném světě“ se také diskutovalo o NVM a dospěli k tomu zcela samostatně.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Mohu se podělit o super insider, který mohli ani bezprostřední účastníci příběhu nezaznamenat. Eli Gafni vystupoval večer prvního dne Školy a druhý den zůstal a začal trollit Lamporta, a z dálky to vypadalo, že je to šílenství a Eli je neadekvátní. Měl to být jakýsi troll, který se snaží vyvést Lesliho z rovnováhy. Ve skutečnosti, pravda je taková, že jsou skoro nejlepší přátelé, mají přátelství řadu let a to jsou jen takové přátelské narážky. To znamená, že vtip zabral — okolo něj se nachytal celý dav a vzal to za čistou minci.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Zvlášť chci zdůraznit, kolik lásky a úsilí vložili do těchto přednášek. Někdo stál v diskusní zóně až do poslední chvíle, téměř hodiny. Už dávno skončila pauza, začala přednáška, skončila, začala další pauza — a Dmitrij Vjukov pokračoval odpovídat na otázky. I mně se stala zajímavá historka — když jsem překvapil Cliffa Clicka, dostal jsem nejen jasné a rozumné vysvětlení té provokativní diskuse o absenci testů na určité věci v H2O, ale také jsem získal úplný přehled jeho nového jazyka AA. Nikdy jsem to nechtěl: jen jsem se zeptal, co si mohu přečíst o AA (ukázalo se, že si mohu poslechnout podcast), a místo toho Cliff strávil půl hodiny tím, aby mi vyprávěl o jazyce a zkontroloval, zda jsem správně pochopil, co říkal. Úžasné. Musím napsat příspěvek na Habr o AA. Další nezvyklý zážitek — pozorovat proces revize pull requestů v Kotlinu. Je to opravdu kouzelné pocit — když přistupuješ k různým diskuzním skupinám, k různým řečníkům a ponoříš se do úplně nového světa. Je to něco na úrovni „There, There“ od Radiohead.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Anglický jazyk

Hydra 2019 — je naše první konference, kde je hlavním jazykem angličtina. To přináší jak své výhody, tak své obtížnosti. Zjevný přínos je v tom, že na konferenci přicházejí lidé nejen z Ruska, takže mezi účastníky můžete potkat inženýry z Evropy a vědce z Anglie. Řečníci si přiváží své studenty. Vůbec, důležití řečníci mají mnohem více motivace jet na takovou konferenci. Představte si, že jste řečník na zcela rusky mluvící konferenci: teď jste přednesli svůj příspěvek, zúčastnili se diskuzní zóny, a co dál? Chodit po městě a koukat na turistická místa? Ve skutečnosti už opravdu populární řečníci všechno viděli, nechtějí jet koukat na lvy a zdvižené mosty, je to pro ně nudné. Pokud jsou však všechny prezentace v angličtině, mohou se účastnit konference na stejné úrovni, užívat si to, zapojovat se do diskuzních zón a tak dále. Atmosféra je k řečníkům docela přátelská.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Zjevný nedostatek je, že ne všem je pohodlné komunikovat v angličtině. Mnozí dobře rozumějí, ale špatně mluví. Obecně jsou to běžné záležitosti, které se řešily různým způsobem. Například některé diskuzní zóny začínaly v ruštině, ale okamžitě přecházely do angličtiny, jakmile se objevil první anglicky hovořící účastník.

Musel jsem sám provádět zahajovací a závěrečné přenosy online výstav pouze v angličtině a účastnit se několika rozhovorů s odborníky na záznam. A to pro mě byla skutečná výzva, na kterou dlouho nezapomenu. V určitém okamžiku Oleg Anastasyev (m0nstermind) mi jednoduše řekl, abych zůstal sedět s nimi během rozhovoru, a já jsem to příliš pomalu pochopil, co to znamená.

Na druhou stranu, je velmi příjemné, že lidé na prezentacích kladli otázky bez obtíží. Nejen rodilí mluvčí, ale vůbec všichni, to fungovalo skvěle. Na jiných konferencích je často vidět, že se lidé stydí klást otázky z auditoria v lámané angličtině a něco ze sebe vydolují jen v diskusní zóně. Tady to bylo úplně jinak. Řekněme, že Cliff Click zakončil prezentace trochu dříve, a poté otázky plynuly nepřetržitě, rozhovor přecházel do diskusní zóny — bez trapných pauz a přestávek. To se týká i Q&A session Leslieho Lamporta, moderátorovi téměř nebylo třeba pokládat vlastní otázky, vše přišli s účastníci.

Bylo tu spoustu drobností, které téměř nikdo nezaznamená, ale existují. Vzhledem k tomu, že konference byla anglicky mluvená, design takových věcí, jako jsou letáky a mapy, byl lehčí a stručnější. Není potřeba duplikovat jazyky a zaplevelovat design.

Sponzoři a výstava

Našim sponzorům velmi pomohli při organizaci konference. Díky nim bylo během přestávek vždy co dělat.

Na stánku TechCentra Deutsche Bank bylo možné komunikovat s inženýry vícejádrových systémů, vyřešit jejich úkoly „z hlavy“, vyhrát pamětní ceny a jednoduše si příjemně užít čas.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Na stánku Kontur se mohli lidé bavit o jejich vlastních systémech, jak otevřených, tak open source: o distribuované in-memory databázi, distribuovaném binárním logu, systému orchestraci mikroslužeb, univerzální dopravě pro telemetrii a tak dále. No a samozřejmě úkoly a soutěže, samolepky s binárním kočkem a Trpícím Středověkem, dárky jako kniha Martin Kleppmana a LEGO figurky.

Všimněte si, že rozbor úkolů Konturu již byl publikován na Habr. Rozbor je dobrý, stojí za to se podívat.

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Zájemci mohli zakoupit různé knihy a diskutovat o nich s kolegy. Na autogramiádu se sešla celá skupina!

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Závěry

Konference Hydra a škola SPTDC jsou pro nás jako pořadatele velmi důležité události a pro celé společenství. Je to příležitost nahlédnout do naší budoucnosti, vytvořit společný jazyk pro diskusi o současných problémech, a zaměřit se na zajímavé směry. Vícefázovost existuje již dlouho, ale po vzniku prvního skutečně vícejádrového procesoru trvalo celé desetiletí, než se tento jev stal masovým. To, co jsme slyšeli během tohoto týdne na přednáškách, nejsou přechodné zprávy, ale cesta ke světlé budoucnosti, po které budeme kráčet v příštích letech. V tomto příspěvku nebudou žádné spoilery na další Hydru, ale doufat lze v to nejlepší. Pokud máte zájem o podobné problémy, možná byste měli věnovat pozornost našim dalším akcím, jako jsou hardcore přednášky na konferencích. Joker 2019 nebo DotNext 2019 Moskva. Uvidíme se na dalších konferencích!

Tři laureáti ceny Dijkstra: jak proběhly Hydra 2019 a SPTDC 2019

Zdroj: habr.com

Koupit spolehlivý hosting pro webové stránky s ochranou proti DDoS, VPS VDS servery 🔥 Koupit spolehlivý hosting pro webové stránky s ochranou proti DDoS, VPS VDS servery | ProHoster