Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Najnovšie, od 8. do 12. júla, sa súčasne konali dve významné udalosti - konferencia Hydra a škola SPTDC. V tomto príspevku by som rád zdôraznil niekoľko funkcií, ktoré sme si všimli počas konferencie.

Najväčšou pýchou Hydry a Školy sú rečníci.

  • Traja laureáti Cena Dijkstra: Leslie Lamport, Maurice Herlihy a Michael Scott. Maurice ju navyše dostal dvakrát. Dostala aj Leslie Lamportová Turingovu cenu — najprestížnejšie ocenenie ACM v informatike;
  • Tvorcom kompilátora Java JIT je Cliff Click;
  • Vývojári Corutin - Roman Elizarov (elizarov) a Nikita Koval (ndkoval) pre Kotlina a Dmitrij Vyukov pre Go;
  • Prispievatelia do Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), databázy Yandex (Semyon Checherinda a Vladislav Kuznetsov);
  • A mnoho ďalších slávnych ľudí: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model pamäte C++), Pedro Ramalhete (údajové štruktúry bez čakania), Alexey Zinoviev (ML), Dmitrij Bugaichenko (analýza grafov).

A toto je už škola:

  • Brown University (Maurice Herlihy),
  • University of Rochester (Michael Scott),
  • University of Waterloo (Trevor Brown),
  • Univerzita v Nantes (Achour Mostefaoui),
  • Univerzita Davida Ben-Guriona v Negeve (Danny Hendler),
  • Kalifornská univerzita v Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznecov),
  • Microsoft Research (Leslie Lamport),
  • Výskum VMware (Ittai Abraham).

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Teória a prax, veda a výroba

Dovoľte mi pripomenúť, že škola SPTDC je malým podujatím pre jeden a pol sto ľudí, stretávajú sa na nej svetoví prominenti a rozprávajú sa o moderných problémoch v oblasti distribuovaných počítačov. Hydra je dvojdňová konferencia o distribuovaných počítačoch, ktorá sa koná paralelne. Hydra má viac inžinierske zameranie, zatiaľ čo Škola má viac vedecké zameranie.

Jedným z cieľov konferencie Hydra je spojiť vedecké a inžinierske princípy. Na jednej strane je to dosiahnuté výberom reportov v programe: popri Lamportovi, Herlihym a Scottovi je oveľa viac aplikovaných reportov Alexa Petrova, ktorý prispieva Cassandre, alebo Romana Elizarova z JetBrains. Je tu Martin Kleppman, ktorý kedysi staval a predával startupy a teraz študuje CRDT na Cambridge University. Ale super je, že Hydra a SPTDC sa držia vedľa seba – majú rôzne správy, ale spoločné miesto na komunikáciu.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Ponorenie

Päť dní Školy za sebou je veľmi veľká udalosť a veľa práce pre účastníkov aj organizátorov. Nie všetci sa dostali do posledných dní. Boli takí, ktorí išli do Hydry a Školy súčasne a posledné dni boli pre nich najrušnejšie. Všetok tento rozruch je kompenzovaný neskutočne hlbokým ponorom. Je to dané nielen objemom, ale aj kvalitou materiálu. Všetky reportáže a prednášky na oboch podujatiach neboli plánované ako úvodné, takže kamkoľvek sa vyberiete, okamžite sa ponoríte ďaleko a hlboko a nepustia vás až do úplného konca.

Samozrejme, veľa závisí od počiatočnej prípravy účastníka. Vtipný moment nastal, keď dve skupiny ľudí na chodbe nezávisle na sebe diskutovali o správe Heidi Howardovej: niekomu sa zdala úplne obyčajná, iní, naopak, hlboko premýšľali o živote. Zaujímavé je, že podľa účastníkov programových komisií (ktorí si želali zostať v anonymite) mohli byť správy Hydry a prednášky školy na ich podujatiach prekvalifikované. Napríklad, ak PHP junior prišiel na PHP konferenciu, aby sa naučil život, bolo by trochu unáhlené predpokladať, že má hlboké znalosti o vnútornostiach Zend Engine. Tu prednášajúci nekŕmili juniorov lyžičkou, ale okamžite implikovali určitú úroveň vedomostí a porozumenia. No, skutočne, úroveň účastníkov, ktorí prevádzkujú distribuované systémy a píšu runtime jadrá, je veľmi vysoká, to je logické. Súdiac podľa reakcií účastníkov, bolo celkom jednoduché vybrať reportáž podľa úrovne a témy.

Ak hovoríme o konkrétnych správach, všetky boli svojím spôsobom dobré. Súdiac podľa toho, čo ľudia hovoria a čo možno vidieť z formulára spätnej väzby, jedna z najlepších správ na škole bola "Neblokujúce dátové štruktúry" Michael Scott, všetkých len roztrhal, má abnormálne hodnotenie okolo 4.9.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Metakonferencia

Dlho pred začiatkom Hydry a školy, Ruslan ARG89 predpokladali, že bude akási „metakonferencia“ – konferencia konferencií, kde budú všetci vrcholní účastníci iných podujatí automaticky vtiahnutí ako do čiernej diery. A tak sa aj stalo! Všimli si to napríklad medzi študentmi školy Ruslan Čeremin od DeutscheBank, známeho špecialistu na multithreading.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

A členov Hydry si všimli Vadim Tsesko (incubi) A Andrej Pangin (apangin) od spoločnosti Odnoklassniki. (Zároveň nám Vadim pomohol urobiť dva vynikajúce rozhovory s Martinom Kleppmanom - jeden pre Habra druhý pre divákov online vysielania). Boli tam členovia Programový výbor DotNext, známi rečníci Anatolij Kulakov a Igor Labutin. Z Javistov tam boli Dmitrij Alexandrov и Vladimír Ivanov. Zvyčajne týchto ľudí vidíte na úplne iných miestach – dotnetistov na DotNext, javaistov na Jokeri atď. A tak sedia bok po boku pri správach Hydry a spolu diskutujú o problémoch na buffoch. Keď toto trochu umelé rozdelenie na programovacie jazyky a technológie zmizne, objavia sa vlastnosti predmetnej oblasti: špecialisti na dynamické runtime komunikujú s inými runtimermi, výskumníci teórie distribuovaných výpočtov sa vášnivo hádajú s inými výskumníkmi, inžinieri databázových strojov sa tlačia na tabuľu atď. .

V správe podľa pamäťového modelu C++ vývojári OpenJDK sedeli v prvom rade (aspoň ich poznám z videnia, ale nie Pythonisti, možno tam boli aj Pythonisti). V skutočnosti je v tejto správe niečo také Shipilevsky... Ori nehovorí presne to isté, ale pozorný pohľad dokáže odhaliť paralely. Dokonca aj po tom všetkom, čo sa stalo v najnovších štandardoch C++, problémy, ako napríklad hodnoty z ničoho nič, stále neboli opravené, a tak ste mohli ísť na takúto správu a vypočuť si, ako sú na tom ľudia „na druhej strane barikády“. pri pokuse o nápravu týchto problémov, ako sa zdá, na človeka by mohli zapôsobiť prístupy k nájdenému riešeniu (Ori má jednu z možností opravy).

V programových výboroch a motoroch komunity bolo veľa účastníkov. Každý riešil svoje medzináboženské problémy, staval mosty a získaval spojenia. To som používal všade, kde sa dalo, a napríklad sme sa dohodli s Alexandrom Borgardtom z Moskovská používateľská skupina C++ spolu napíšte úplný článok o hercoch a asynchrónii v C++.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Na fotografii: Leonid Talalaev (ltalal, vľavo) a Oleg Anastasyev (m0nstermind, vpravo), vedúci vývojári v Odnoklassniki

Oheň diskusné zóny a buffov

Na konferenciách sú vždy účastníci, ktorí poznajú danú tému rovnako dobre ako prednášajúci (a niekedy dokonca lepšie ako prednášajúci – napríklad keď je medzi účastníkmi vývojár jadra nejakej technológie). Na Hydre bolo veľa takýchto vysoko odborných účastníkov. Napríklad v určitom okamihu okolo rozprávania Alexa Petrova o Cassandre, tvorilo sa toľko ľudí, že nemohol odpovedať všetkým. V určitom okamihu bol Alex hladko odsunutý na stranu a začal byť trhaný otázkami, ale padajúcu vlajku zdvihol známy vývojár Rust v kruhoch Tyler Neely a dokonale vyrovnal záťaž. Keď som požiadal Tylera o pomoc s online rozhovorom, všetko, čo sa opýtal, bolo: "Kedy začneme?"

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Občas sa v správach dokonca objavil duch diskusie: Nikita Koval zorganizoval náhle stretnutie otázok a odpovedí, ktoré rozdelilo správu do niekoľkých sekcií.

A naopak, na BOF pre multi-threading si pamätali na energeticky nezávislú pamäť, boli priťahovaní k tomuto bof Pedro Ramalhete ako hlavný špecialista a každému všetko vysvetlil (v blízkej budúcnosti nám skrátka energeticky nezávislá pamäť nehrozí). Jedným z prednášateľov tohto bof, mimochodom, bol Vladimír Sitnikov, ktorý pôsobí v programových výboroch nejakého šialeného počtu konferencií... zdá sa, že momentálne je to päť naraz. V ďalšom buffe o „Modernom CS v reálnom svete“ diskutovali aj o NVM a prišli na to úplne sami.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Môžem sa podeliť o super postreh, ktorý si možno nevšimli ani tí, ktorí sú priamo zapojení do príbehu. Eli Gafni vystúpil večer v prvý deň Školy a na druhý deň zostal a začal trollovať Lamporta a zvonku sa zdalo, že to bola hra a Eli bol neadekvátny. Že toto je nejaký druh trolla, ktorý sa rozhodol vybrať Lesliemu mozog. Faktom je, že sú takmer najlepší priatelia, sú kamaráti dlhé roky a toto je len taká priateľská žartovnosť. To znamená, že vtip fungoval - všetci ľudia naokolo mu prepadli, vzali to za nominálnu hodnotu.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Samostatne by som chcel poznamenať, koľko lásky a úsilia do toho vložili rečníci. V diskusnom priestore niekto stál do poslednej chvíle, takmer celé hodiny. Prestávka už dávno skončila, hlásenie začalo, skončilo, začala ďalšia prestávka – a Dmitrij Vyukov pokračoval v odpovedaní na otázky. Tiež sa mi stal zaujímavý príbeh - keď som Cliff Click prekvapil, dostal som nielen jasné a rozumné vysvetlenie tejto provokatívnej diskusie o nedostatku testov. pre určité veci v H2O, ale dostal aj jeho úplnú recenziu nový jazyk AA. Nikdy som sa nepýtal na toto: Len som sa spýtal, čo si môžete prečítať o AA (ukázalo sa, že môžete počúvať podcast) a Cliff namiesto toho strávil pol hodiny rozprávaním o jazyku a overovaním, či tomu, čo hovorí, rozumie správne. Podivuhodný. Musíme napísať habrapost o AA. Ďalším nezvyčajným zážitkom bolo sledovanie procesu kontroly žiadosti o stiahnutie v Kotline. Je to skutočne magický pocit, keď vstúpite do rôznych diskusných skupín, rôznych rečníkov a ponoríte sa do úplne nového sveta. Toto je niečo na úrovni "Tam, tam" od Radiohead.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Anglický jazyk

Hydra 2019 je naša prvá konferencia, kde hlavným jazykom je angličtina. To prináša svoje výhody aj výzvy. Samozrejmou výhodou je, že na konferenciu neprichádzajú ľudia len z Ruska, takže medzi účastníkmi možno stretnúť inžinierov z Európy a vedcov z Anglicka. Rečníci privedú svojich študentov. Vo všeobecnosti majú významní rečníci oveľa väčšiu motiváciu ísť na takúto konferenciu. Predstavte si, že ste rečníkom na úplne ruskojazyčnej konferencii: predložili ste svoju správu, obhajovali diskusnú oblasť a čo potom? Cestovať po meste a vidieť turistické miesta? V skutočnosti populárni rečníci už videli všetkého na svete dosť, nechcú ísť vidieť levy a padacie mosty, nudia sa. Ak sú všetky správy v angličtine, môžu sa zúčastniť na konferencii vo všeobecnosti, zabávať sa, zapojiť sa do diskusných oblastí atď. Atmosféra je voči prednášajúcim celkom priateľská.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Zjavnou nevýhodou je, že nie každému vyhovuje komunikácia v angličtine. Mnohí dobre rozumejú, ale hovoria zle. Vo všeobecnosti bežné veci, ktoré sa riešili rôznymi spôsobmi. Niektoré diskusné oblasti sa napríklad začali v ruštine, ale keď sa objavil prvý anglicky hovoriaci účastník, okamžite prešli do angličtiny.

Sám som musel urobiť úvodné a záverečné zaradenie online vysielania výlučne v angličtine a zúčastniť sa niekoľkých nahrávok rozhovorov s odborníkmi. A to bola pre mňa skutočná výzva, na ktorú tak skoro nezabudnem. V určitom okamihu Oleg Anastasyev (m0nstermind) mi jednoducho povedal, aby som s nimi počas rozhovoru zostal sedieť, a bol som príliš pomalý na to, aby som pochopil, čo to znamená.

Na druhej strane bolo veľmi príjemné, že ľudia na reportážach kládli otázky. Fungovalo to dobre nielen pre rodených hovorcov, ale aj pre všetkých vo všeobecnosti. Na iných konferenciách je často vidieť, že ľudia sa hanbia klásť otázky z publika lámanou angličtinou a dokážu niečo vyžmýkať len v diskusnej zóne. Tu to bolo úplne iné. Relatívne povedané, nejaký Cliff Click dokončil svoje správy o niečo skôr a potom nasledovali otázky v nepretržitom slede a konverzácia sa presunula do diskusnej zóny - bez nepríjemných prestávok alebo prerušení. To isté platí pre reláciu Otázky a odpovede Leslie Lamportovej, moderátor prakticky nemusel klásť otázky, na všetko prišli účastníci.

Boli tam všelijaké drobnosti, ktoré si málokto všimne, no existujú. Vzhľadom na to, že konferencia je v angličtine, dizajn takých vecí, ako sú letáky a mapy, je ľahší a výstižnejší. Nie je potrebné duplikovať jazyky a neporiadok dizajnu.

Sponzori a výstava

Pri tvorbe konferencie nám veľmi pomohli naši sponzori. Vďaka nim bolo počas prestávok stále čo robiť.

Na stánku TechCenter Deutsche Bank mohli ste chatovať s inžiniermi viacvláknových systémov, riešiť ich problémy z hlavy, vyhrať nezabudnuteľné ceny a jednoducho sa baviť.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Na stánku Obrys mohli by sme hovoriť o ich vlastných systémoch, otvorených aj otvorených: distribuovaná databáza v pamäti, distribuovaný binárny protokol, systém orchestrácie mikroslužieb, univerzálny prenos pre telemetriu atď. A samozrejme hádanky a súťaže, nálepky s binárnou mačkou a Utrpeným stredovekom, darčeky ako kniha Martina Kleppmanna a LEGO figúrky.

Upozorňujeme, že analýza problémov Kontur už existuje uverejnené na Habré. Dobrá analýza, oplatí sa pozrieť.

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Kto chcel, mohol si kúpiť všetky druhy kníh a diskutovať o nich s kolegami. Na autogramiáde sa zišiel celý dav!

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Výsledky

Konferencia Hydra a škola SPTDC sú pre nás ako organizačnú spoločnosť a pre celú komunitu veľmi dôležité podujatia. Toto je šanca nahliadnuť do našej budúcnosti, vytvoriť jednotný koncepčný rámec pre diskusiu o moderných problémoch a bližšie sa pozrieť na zaujímavé smery. Multithreading je tu už veľmi dlho, no po objavení prvého skutočne viacjadrového procesora trvalo celé desaťročie, kým sa tento fenomén rozšíril. To, čo sme počuli tento týždeň v správach, nie sú prchavé správy, ale cesta do svetlej budúcnosti, po ktorej pôjdeme v najbližších rokoch. V tomto príspevku nebudú žiadne spoilery pre ďalšiu Hydru, ale môžete dúfať v to najlepšie. Ak vás podobné problémy zaujímajú, možno by ste si chceli pozrieť naše ďalšie podujatia, ako sú napríklad tvrdé konferenčné rozhovory Joker 2019 alebo DotNext 2019 Moskva. Vidíme sa na ďalších konferenciách!

Traja víťazi ceny Dijkstra: ako dopadli Hydra 2019 a SPTDC 2019

Zdroj: hab.com

Pridať komentár