Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Naposledy od 8. do 12. července souběžně proběhly dvě významné události - konference Hydra a škola SPTDC. V tomto příspěvku bych rád zdůraznil několik funkcí, kterých jsme si všimli během konference.

Největší chloubou Hydry a Školy jsou řečníci.

  • Tři laureáti Ceny Dijkstra: Leslie Lamport, Maurice Herlihy a Michael Scott. Maurice ji navíc dostal dvakrát. Leslie Lamport také obdržel Turingova cena — nejprestižnější ocenění ACM v informatice;
  • Tvůrcem kompilátoru Java JIT je Cliff Click;
  • Vývojáři Corutinu - Roman Elizarov (elizarov) a Nikita Koval (ndkoval) pro Kotlina a Dmitrij Vyukov pro Go;
  • Přispěvatelé do Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), databáze Yandex (Semyon Checherinda a Vladislav Kuzněcov);
  • A mnoho dalších slavných lidí: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model paměti C++), Pedro Ramalhete (struktury dat bez čekání), Alexey Zinoviev (ML), Dmitrij Bugaichenko (analýza grafů).

A to už je škola:

  • Brown University (Maurice Herlihy),
  • University of Rochester (Michael Scott),
  • University of Waterloo (Trevor Brown),
  • Univerzita v Nantes (Achour Mostefaoui),
  • David Ben-Gurion University of the Negev (Danny Hendler),
  • Kalifornská univerzita v Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuzněcov),
  • Microsoft Research (Leslie Lamport),
  • Výzkum VMware (Ittai Abraham).

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Teorie a praxe, věda a výroba

Dovolte mi připomenout, že SPTDC School je malá akce pro sto a půl stovky lidí, scházejí se tam světoví významní osobnosti a hovoří o moderních problémech v oblasti distribuovaných počítačů. Hydra je dvoudenní konference o distribuovaných počítačích konaná paralelně. Hydra má více inženýrské zaměření, zatímco škola má více vědecké zaměření.

Jedním z cílů konference Hydra je spojit vědecké a inženýrské principy. Toho je na jedné straně dosaženo výběrem reportů v programu: vedle Lamporta, Herlihyho a Scotta je mnohem více aplikovaných reportů Alexe Petrova, který přispívá Cassandře, nebo Romana Elizarova z JetBrains. Je tu Martin Kleppman, který dříve stavěl a prodával startupy a nyní studuje CRDT na Cambridge University. Ale super je, že Hydra a SPTDC se drží vedle sebe – mají různé reporty, ale společné místo pro komunikaci.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Ponoření

Pět dní Školy v řadě je velmi velká událost a spousta práce, jak pro účastníky, tak pro organizátory. Ne všichni se do posledních dnů dostali. Byli tací, kteří šli na Hydru a Školu současně a poslední dny pro ně byly nejrušnější. Celý tento povyk je kompenzován neuvěřitelně hlubokým ponořením. Je to dáno nejen objemem, ale také kvalitou materiálu. Všechny reportáže a přednášky na obou akcích nebyly plánovány jako úvodní, takže ať se vydáte kamkoli, okamžitě se ponoříte daleko a hluboko a až do úplného konce vás nepustí.

Samozřejmě hodně záleží na prvotní přípravě účastníka. Vtipný moment nastal, když dvě skupiny lidí na chodbě nezávisle na sobě diskutovaly o zprávě Heidi Howardové: někomu se zdála úplně obyčejná, jiní naopak hluboce přemýšleli o životě. Zajímavé je, že podle účastníků programových komisí (kteří si přáli zůstat v anonymitě) mohly být zprávy Hydry a přednášky Školy na jejich akcích překvalifikované. Pokud by například junior PHP přišel na PHP konferenci, aby se naučil život, bylo by trochu unáhlené předpokládat, že má hluboké znalosti o vnitřnostech Zend Engine. Zde řečníci nekrmili juniory lžičkou, ale okamžitě naznačovali určitou úroveň znalostí a porozumění. No, skutečně, úroveň účastníků, kteří provozují distribuované systémy a píší runtime jádra, je velmi vysoká, to je logické. Soudě podle reakcí účastníků bylo celkem snadné vybrat reportáž podle úrovně a tématu.

Pokud se budeme bavit o konkrétních zprávách, všechny byly svým způsobem dobré. Soudě podle toho, co lidé říkají a co lze vidět z formuláře zpětné vazby, byla jedna z nejlepších zpráv na škole "Neblokující datové struktury" Michael Scott, ten prostě všechny roztrhal, má abnormální hodnocení kolem 4.9.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Metakonference

Dlouho před začátkem Hydry a školy, Ruslane ARG89 předpokládali, že se bude konat nějaká „metakonference“ – konference konferencí, kde budou všichni vrcholní účastníci jiných akcí automaticky vtaženi jako do černé díry. A tak se také stalo! Například mezi studenty školy to bylo zaznamenáno Ruslan Čeremin od DeutscheBank, známého specialisty na multithreading.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

A členů Hydry si všimli Vadim Tsesko (upír) A Andrej Pangin (apangin) od společnosti Odnoklassniki. (Zároveň nám Vadim také pomohl udělat dva vynikající rozhovory s Martinem Kleppmanem - jeden pro Habra druhý pro diváky online vysílání). Byli tam členové Programový výbor DotNext, slavní řečníci Anatolij Kulakov a Igor Labutin. Z Javistů tam byli Dmitrij Alexandrov и Vladimír Ivanov. Obvykle tyto lidi vidíte na úplně jiných místech – dotnetisté na DotNext, javaisté na Jokeru a tak dále. A tak sedí vedle sebe u zpráv Hydry a společně diskutují o problémech s buffy. Když toto mírně umělé dělení podle programovacích jazyků a technologií zmizí, objeví se rysy předmětné oblasti: specialisté na dynamické runtime komunikují s jinými runtimery, výzkumníci teorie distribuovaných počítačů se bouřlivě hádají s ostatními výzkumníky, inženýři databázových strojů se tlačí na tabuli atd. .

Na hlášení podle paměťového modelu C++ vývojáři OpenJDK seděli v první řadě (alespoň je znám od vidění, ale ne Pythonisté, možná tam byli i Pythonisté). Ve skutečnosti je v této zprávě něco tak Shipilevského... Ori neříká přesně to samé, ale pozorný pohled dokáže odhalit paralely. I po tom všem, co se stalo v nejnovějších standardech C++, stále nebyly vyřešeny problémy, jako jsou hodnoty mimo dosah, a tak jste mohli jít na takovou zprávu a poslechnout si, jak jsou lidé „na druhé straně barikády“ při pokusu o nápravu těchto problémů, jak z toho vyplývá, jeden by mohl být ohromen přístupy k nalezenému řešení (Ori má jednu z možností opravy).

V programových výborech a komunitních motorech bylo mnoho účastníků. Všichni řešili své mezináboženské problémy, stavěli mosty a získávali spojení. Toho jsem používal, kde se dalo, a dohodli jsme se například s Alexandrem Borgardtem z Moskevská uživatelská skupina C++ společně napsat úplný článek o hercích a asynchronii v C++.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Na fotografii: Leonid Talalaev (ltalal, vlevo) a Oleg Anastasyev (m0nstermin, vpravo), přední vývojáři v Odnoklassniki

Oheň diskusní zóny a buffy

Na konferencích jsou vždy účastníci, kteří znají předmět stejně dobře jako řečníci (a někdy dokonce lépe než řečníci - například když je mezi účastníky vývojář jádra nějaké technologie). Takových vysoce odborných účastníků bylo na Hydra spousta. Například v určitém okamžiku kolem Alex Petrov vyprávění o Cassandře, vytvořilo se tolik lidí, že nemohl odpovědět všem. V určitém okamžiku byl Alex hladce odsunut na stranu a začal být trhán otázkami, ale padající vlajku zvedl známý vývojář Rust v kruzích Tyler Neely a dokonale vyrovnal zátěž. Když jsem požádal Tylera o pomoc s online rozhovorem, jediné, co se zeptal, bylo: "Kdy začneme?"

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Občas do zpráv dokonce pronikl duch diskuse: Nikita Koval uspořádal náhlé setkání otázek a odpovědí, které rozdělilo zprávu do několika sekcí.

A naopak, na BOF pro multi-threading si pamatovali na energeticky nezávislou paměť, byli přitahováni k tomuto BOF Pedro Ramalhete jako hlavní specialista a všem vše vysvětlil (zkrátka energeticky nezávislá paměť nám v blízké budoucnosti nehrozí). Jedním z hostitelů tohoto bof, mimochodem, byl Vladimír Sitnikov, který slouží v programových výborech jakéhosi šíleného počtu konferencí... teď to vypadá na pět najednou. V dalším buffu o „Moderní CS v reálném světě“ také diskutovali o NVM a přišli na to úplně sami.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Mohu se podělit o superpostřeh, kterého si možná nevšimli ani ti, kteří se přímo účastní příběhu. Eli Gafni vystoupil večer prvního dne školy a další den zůstal a začal trollit Lamporta a zvenčí se zdálo, že to byla hra a Eli byl nedostatečný. Že je to nějaký druh trolla, který se rozhodl vyjmout Lesliemu mozek. Faktem je, že jsou skoro nejlepší kamarádi, jsou kamarádi už mnoho let a tohle je jen takové přátelské žertování. To znamená, že vtip fungoval - všichni lidé kolem toho propadli, vzali to za nominální hodnotu.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Samostatně bych rád poznamenal, kolik lásky a úsilí do toho vložili řečníci. Někdo stál v diskusním prostoru do poslední chvíle, skoro celé hodiny. Přestávka už dávno skončila, hlášení začalo, skončilo, začala další přestávka – a Dmitrij Vyukov pokračoval v odpovídání na otázky. Také se mi stal zajímavý příběh - když jsem Cliff Click překvapil, dostalo se mi nejen jasného a rozumného vysvětlení té provokativní diskuse o nedostatku testů pro určité věci v H2O, ale také získal úplnou recenzi nový jazyk AA. Nikdy jsem se na to neptal: Jen jsem se zeptal, co si můžete přečíst o AA (ukázalo se, že můžete poslouchat podcast), a místo toho Cliff strávil půl hodiny mluvením o jazyce a kontrolou, zda tomu, co říká, správně rozumí. Úžasné. Musíme napsat habrapost o AA. Dalším neobvyklým zážitkem bylo sledování procesu kontroly žádosti o stažení v Kotlinu. Je to opravdu kouzelný pocit, když vstoupíte do různých diskusních skupin, různých řečníků a jste ponořeni do zcela nového světa. Tohle je něco na úrovni "Tam, tam" od Radiohead.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Anglický jazyk

Hydra 2019 je naše první konference, kde hlavním jazykem je angličtina. To přináší své výhody i výzvy. Zjevnou výhodou je, že na konferenci nejezdí lidé pouze z Ruska, takže mezi účastníky můžete potkat inženýry z Evropy i vědce z Anglie. Řečníci přivedou své studenty. Obecně platí, že významní řečníci mají mnohem větší motivaci na takovou konferenci jít. Představte si, že jste řečníkem na zcela ruskojazyčné konferenci: předložili jste svou zprávu, obhájili diskusní prostor a co potom? Cestovat po městě a vidět turistická místa? Ve skutečnosti opravdu populární řečníci už viděli všeho na světě dost, nechtějí se jít dívat na lvy a padací mosty, nudí se. Pokud jsou všechny zprávy v angličtině, mohou se konference zúčastnit obecně, bavit se, zapojit se do diskusních oblastí atd. Atmosféra je vůči řečníkům docela přátelská.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Zjevnou nevýhodou je, že ne každému vyhovuje komunikace v angličtině. Mnozí dobře rozumí, ale špatně mluví. Obecně obyčejné věci, které se řešily různými způsoby. Některé diskusní oblasti například začínaly v ruštině, ale jakmile se objevil první anglicky mluvící účastník, okamžitě přešly do angličtiny.

Sám jsem musel udělat úvodní a závěrečné zařazení online vysílání výhradně v angličtině a zúčastnit se několika nahrávek rozhovorů s odborníky. A to pro mě byla opravdová výzva, na kterou se hned tak nezapomene. V určitém okamžiku Oleg Anastasyev (m0nstermin) mi jednoduše řekl, abych s nimi zůstal sedět během rozhovoru, a byl jsem příliš pomalý, abych pochopil, co to znamená.

Na druhou stranu bylo velmi příjemné, že se lidé na reportážích s rachotem ptali. Nejen rodilým mluvčím, ale všem obecně to fungovalo dobře. Na jiných konferencích je často vidět, že se lidé stydí klást otázky z publika lámanou angličtinou a dokážou něco vymáčknout jen v diskusním prostoru. Tady to bylo úplně jiné. Relativně řečeno, nějaký Cliff Click dokončil své zprávy o něco dříve a poté následovaly otázky v nepřetržitém pořadí a konverzace se přesunula do diskusní zóny - bez nepříjemných pauz a přerušení. Totéž platí pro Q&A session Leslieho Lamporta, moderátor prakticky nemusel klást své otázky, na všechno přišli účastníci.

Byly tam nejrůznější drobnosti, kterých si málokdo všimne, ale existují. Vzhledem k tomu, že konference je v angličtině, je design takových věcí, jako jsou letáky a mapy, lehčí a výstižnější. Není třeba duplikovat jazyky a nepořádek v designu.

Sponzoři a výstava

Při tvorbě konference nám velmi pomohli naši sponzoři. Díky nim bylo o přestávkách stále co dělat.

Na stánku TechCenter Deutsche Bank můžete chatovat s inženýry vícevláknových systémů, řešit jejich problémy z vlastní hlavy, vyhrát nezapomenutelné ceny a prostě se dobře bavit.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Na stánku Obrys mohli bychom hovořit o jejich vlastních systémech, jak open source, tak open source: distribuované in-memory databázi, distribuovaném binárním logu, systému orchestrace mikroslužeb, univerzálním přenosu pro telemetrii a tak dále. A samozřejmě hádanky a soutěže, samolepky s binární kočkou a utrpením středověku, dárky jako kniha Martina Kleppmanna a LEGO figurky.

Vezměte prosím na vědomí, že analýza problémů Kontur již existuje zveřejněno na Habré. Dobrá analýza, stojí za shlédnutí.

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Kdo chtěl, mohl si zakoupit všechny druhy knih a diskutovat o nich s kolegy. Na autogramiádu se sešel celý dav!

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Výsledky

Konference Hydra a škola SPTDC jsou pro nás jako pořadatelskou společnost i pro celou komunitu velmi důležité akce. Je to šance nahlédnout do naší budoucnosti, vytvořit jednotný koncepční rámec pro diskusi o moderních problémech a podívat se blíže na zajímavé směry. Multithreading existuje již velmi dlouho, ale trvalo celou dekádu poté, co se objevil první skutečně vícejádrový procesor, než se tento fenomén rozšířil. To, co jsme tento týden slyšeli ve zprávách, nejsou pomíjivé zprávy, ale cesta do světlé budoucnosti, kterou budeme v následujících letech následovat. V tomto příspěvku nebudou žádné spoilery pro příští Hydru, ale můžete doufat v to nejlepší. Pokud vás zajímají podobné problémy, možná se budete chtít podívat na naše další akce, jako jsou tvrdé konferenční rozhovory Joker 2019 nebo DotNext 2019 Moskva. Uvidíme se na dalších konferencích!

Tři vítězové ceny Dijkstra: jak probíhaly Hydra 2019 a SPTDC 2019

Zdroj: www.habr.com

Přidat komentář