Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Nú síðast, dagana 8. til 12. júlí, áttu sér stað tveir merkir atburðir samtímis - ráðstefnan Hydra og skóla SPTDC. Í þessari færslu langar mig að draga fram nokkra eiginleika sem við tókum eftir á ráðstefnunni.

Stærsta stolt Hydra og skólans eru fyrirlesararnir.

  • Þrír verðlaunahafar Dijkstra verðlaunin: Leslie Lamport, Maurice Herlihy og Michael Scott. Þar að auki fékk Maurice það tvisvar. Leslie Lamport fékk einnig Turing verðlaunin — virtustu ACM verðlaunin í tölvunarfræði;
  • Höfundur Java JIT þýðanda er Cliff Click;
  • Corutin verktaki - Roman Elizarov (elizarov) og Nikita Koval (ndkoval) fyrir Kotlin, og Dmitry Vyukov fyrir Go;
  • Framlag til Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex gagnagrunns (Semyon Checherinda og Vladislav Kuznetsov);
  • Og margir aðrir frægir einstaklingar: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ minnislíkan), Pedro Ramalhete (biðlaus gagnabygging), Alexey Zinoviev (ML), Dmitry Bugaichenko (grafgreining).

Og þetta er nú þegar skóli:

  • Brown háskóli (Maurice Herlihy),
  • Háskólinn í Rochester (Michael Scott),
  • Háskólinn í Waterloo (Trevor Brown),
  • Háskólinn í Nantes (Acour Mostefaoui),
  • David Ben-Gurion háskólinn í Negev (Danny Hendler),
  • Háskólinn í Kaliforníu í Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Fræði og framkvæmd, vísindi og framleiðsla

Ég minni á að SPTDC skólinn er lítill viðburður fyrir eitt og hálft hundrað manns, þar koma saman heimsklassa lýsingarmenn og ræða um nútímamál á sviði dreifðrar tölvunar. Hydra er tveggja daga dreifð tölvuráðstefna sem haldin er samhliða. Hydra hefur meiri verkfræðiáherslu en skólinn hefur meiri vísindalega áherslu.

Eitt af markmiðum Hydra ráðstefnunnar er að sameina vísinda- og verkfræðireglur. Annars vegar er þetta náð með því að velja skýrslur í áætluninni: ásamt Lamport, Herlihy og Scott eru miklu meira notaðar skýrslur eftir Alex Petrov, sem leggur sitt af mörkum til Cassöndru, eða Roman Elizarov frá JetBrains. Það er Martin Kleppman, sem áður smíðaði og seldi sprotafyrirtæki og stundar nú nám í CRDT við Cambridge háskóla. En það flotta er að Hydra og SPTDC eru haldin hlið við hlið - þau hafa mismunandi skýrslur, en sameiginlegan vettvang fyrir samskipti.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Dýfing

Fimm dagar skólans í röð er mjög stór viðburður og mikið álag, bæði fyrir þátttakendur og skipuleggjendur. Það komust ekki allir á síðustu daga. Það voru þeir sem fóru í Hydra og skóla á sama tíma og hjá þeim reyndust síðustu dagarnir viðburðaríkastir. Allt þetta læti er á móti með ótrúlega djúpri niðurdýfingu. Þetta stafar ekki aðeins af rúmmálinu heldur einnig gæðum efnisins. Allar skýrslur og fyrirlestrar á báðum viðburðum áttu ekki að vera kynningarefni, þannig að hvar sem þú ferð kafar þú strax langt og djúpt og er ekki sleppt fyrr en í lokin.

Að sjálfsögðu veltur mikið á undirbúningi þátttakanda í upphafi. Það var fyndið augnablik þegar tveir hópar fólks á ganginum ræddu skýrslu Heidi Howard sjálfstætt: sumum virtist hún vera algjörlega venjuleg, en aðrir þvert á móti hugsuðu djúpt um lífið. Það er athyglisvert að samkvæmt þátttakendum dagskrárnefnda (sem vildu vera nafnlausir) gætu skýrslur Hydra og fyrirlestrar skólans á viðburðum þeirra verið ofhæfir. Til dæmis, ef PHP yngri kæmi á PHP ráðstefnu til að læra lífið, þá væri smá útbrot að gera ráð fyrir að hann hafi djúpa þekkingu á innri hlið Zend Engine. Hér voru fyrirlesararnir ekki að skeiða yngri unglingana heldur gáfu strax í skyn ákveðna þekkingu og skilning. Jæja, reyndar er stig þátttakenda sem reka dreifð kerfi og skrifa keyrslukjarna mjög hátt, þetta er rökrétt. Miðað við viðbrögð þátttakenda var frekar auðvelt að velja skýrslu eftir stigi og efni.

Ef við tölum um sérstakar skýrslur voru þær allar góðar á sinn hátt. Miðað við það sem fólk segir og það sem sjá má á athugasemdaeyðublaðinu var ein flottasta skýrslan í skólanum „Gagnauppbygging sem ekki hindrar“ Michael Scott, hann reif alla í sundur, hann er með óeðlilega einkunn í kringum 4.9.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Metaráðstefna

Löngu fyrir upphaf Hydra and the School, Ruslan ARG89 gert ráð fyrir að það yrði einhvers konar „meta-ráðstefna“ - ráðstefna þar sem allir efstu þátttakendur annarra atburða myndu sogast sjálfkrafa inn í hana, eins og inn í svarthol. Og svo gerðist það! Til dæmis var tekið eftir því meðal nemenda skólans Ruslan Cheremin frá DeutscheBank, þekktum sérfræðingi í fjölþráðum.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Og eftir Hydra-meðlimum var tekið Vadim Tsesko (incubus) Og Andrey Pangin (apangin) frá Odnoklassniki fyrirtækinu. (Á sama tíma hjálpaði Vadim okkur líka að taka tvö frábær viðtöl við Martin Kleppman - einn fyrir Habr, og hitt fyrir áhorfendur á netútsendingunni). Þar voru félagar DotNext dagskrárnefnd, frægir ræðumenn Anatoly Kulakov og Igor Labutin. Af Javistum voru Dmitry Alexandrov и Vladimir Ivanov. Venjulega sérðu þetta fólk á allt öðrum stöðum - dotnetists á DotNext, javaists á Joker, og svo framvegis. Og svo sitja þeir hlið við hlið á Hydra skýrslum og ræða saman vandamál á buffs. Þegar þessi dálítið tilbúna skipting í forritunarmál og tækni hverfur, koma eiginleikar viðfangsefnisins í ljós: kraftmiklir keyrslutímasérfræðingar eiga samskipti við aðra tímaritara, vísindamenn í dreifðri tölvufræði rífast harkalega við aðra vísindamenn, verkfræðingar gagnagrunnsvéla fjölmenna á töfluna o.s.frv. .

Við skýrsluna samkvæmt C++ minni líkaninu OpenJDK forritararnir sátu í fremstu röð (ég þekki þá allavega í sjón, en ekki Pythonists, kannski voru Pythonists þarna líka). Reyndar er eitthvað svo Shipilevsky í þessari skýrslu... Ori segir ekki nákvæmlega það sama, en vandlega yfirferð getur greint hliðstæður. Jafnvel eftir allt sem gerðist í nýjustu C++ stöðlunum, voru vandamál eins og gildi úr þurru lofti enn ekki leyst, og svo þú gætir farið í slíka skýrslu og hlustað á hvernig fólk "hinum megin við barricade" er að reyna að laga þessi vandamál, Eins og þau rökræða, gæti maður verið hrifinn af aðferðum við lausnina sem fannst (Ori hefur einn af lagfæringum).

Fjöldi þátttakenda var í dagskrárnefndum og samfélagsvélum. Allir leystu sín þvertrúarlegu vandamál, byggðu brýr og öðluðust tengsl. Ég notaði þetta hvar sem ég gat og til dæmis sömdum við Alexander Borgardt frá Moskvu C++ notendahópur skrifa saman grein um leikara og ósamstillingu í C++.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Á myndinni: Leonid Talalaev (ltalal, til vinstri) og Oleg Anastasyev (m0nstermind, til hægri), leiðandi verktaki hjá Odnoklassniki

Eld umræðusvæði og buff

Á ráðstefnum eru alltaf þátttakendur sem þekkja efnið jafn vel og fyrirlesarar (og stundum jafnvel betur en fyrirlesarar - t.d. þegar verktaki á kjarna einhverrar tækni er meðal þátttakenda). Það var fullt af svo mjög sérfróðum þátttakendum á Hydra. Til dæmis, á einhverjum tímapunkti í kringum Alex Petrov að segja um Cassöndru, svo margir mynduðust að hann gat ekki svarað öllum. Á einhverjum tímapunkti var Alex ýtt mjúklega til hliðar og byrjaði að rífast af spurningum, en fallandi fáninn var tekinn upp af þekktum Rust verktaki í hringjunum Tyler Neely og jafnaði álagið fullkomlega. Þegar ég bað Tyler um hjálp við netviðtalið spurði hann bara: „Hvenær byrjum við?“

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Stundum sló andi umræðunnar meira að segja í gegn í skýrslunum: Nikita Koval skipulagði skyndilega spurningu og svörum og skipti skýrslunni í nokkra hluta.

Og öfugt, á BOF fyrir multi-threading mundu þeir um óstöðugt minni, þeir voru dregnir að þessu bof Pedro Ramalhete sem yfirsérfræðingur, og hann útskýrði allt fyrir öllum (í stuttu máli, óstöðugt minni er ekki ógn við okkur í náinni framtíð). Einn af gestgjöfum þessa bof, við the vegur, var Vladimir Sitnikov, sem situr í dagskrárnefndum á einhverjum brjálæðislega mörgum ráðstefnum... það virðist vera fimm í einu núna. Á næsta buffi um „Modern CS in real world“ ræddu þeir líka NVM og komust að þessu algjörlega á eigin spýtur.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Ég get deilt ofurinnsýn sem jafnvel þeir sem taka beinan þátt í sögunni hafa kannski ekki tekið eftir. Eli Gafni kom fram að kvöldi fyrsta skóladags og daginn eftir dvaldi hann og byrjaði að trolla Lamport og að utan virtist þetta vera leikur og Eli var ófullnægjandi. Að þetta sé einhvers konar tröll sem ætlaði að taka út heilann á Leslie. Reyndar er staðreyndin sú að þeir eru næstum því bestu vinir, þeir hafa verið vinir í mörg ár, og þetta er bara svo vingjarnlegt bull. Það er að segja, brandarinn virkaði - allt fólkið í kring féll fyrir því, tók því á nafn.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Sérstaklega vil ég taka fram hversu mikla ást og ást fyrirlesarar lögðu í þetta. Einhver stóð á umræðusvæðinu fram á síðustu stundu, næstum tímunum saman. Hléinu lauk fyrir löngu, skýrslan hófst, endaði, næsta hlé hófst - og Dmitry Vyukov hélt áfram að svara spurningum. Áhugaverð saga gerðist líka fyrir mig - eftir að hafa komið Cliff Click í opna skjöldu fékk ég ekki aðeins skýra og skynsamlega útskýringu á þeirri ögrandi umræðu um skort á prófum fyrir ákveðna hluti í H2O, en fékk líka fulla umsögn um það nýtt tungumál AA. Ég bað aldrei um þetta: Ég spurði bara hvað þú getur lesið um AA (það kom í ljós að þú getur hlustað podcast), og í staðinn eyddi Cliff hálftíma í að tala um tungumálið og athuga hvort það sem hann var að segja væri rétt skilið. Dásamlegt. Við þurfum að skrifa habrapost um AA. Önnur óvenjuleg reynsla var að fylgjast með endurskoðunarferlinu fyrir beiðni um aðdrátt í Kotlin. Það er sannarlega töfrandi tilfinning þegar þú gengur inn í mismunandi umræðuhópa, mismunandi ræðumenn og er steypt inn í nýjan heim. Þetta er eitthvað á planinu "There, There" eftir Radiohead.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Enska

Hydra 2019 er fyrsta ráðstefnan okkar þar sem aðaltungumálið er enska. Þetta hefur bæði kosti þess og áskoranir. Augljós kostur er að fólk kemur ekki bara frá Rússlandi á ráðstefnuna, þannig að meðal þátttakenda getur þú hitt verkfræðinga frá Evrópu og vísindamenn frá Englandi. Ræðumenn koma með nemendur sína. Almennt séð hafa mikilvægir fyrirlesarar miklu meiri hvata til að fara á slíka ráðstefnu. Ímyndaðu þér að þú sért ræðumaður á ráðstefnu algjörlega á rússnesku: þú hefur gefið skýrslu þína, varið umræðusvæðið og hvað þá? Ferðast um borgina og sjá ferðamannastaði? Reyndar hafa mjög vinsælir fyrirlesarar þegar séð nóg af öllu í heiminum, þeir vilja ekki fara að sjá ljón og vindbrýr, þeim leiðist. Ef allar skýrslur eru á ensku geta þeir tekið þátt í ráðstefnunni almennt, skemmt sér, tekið þátt í umræðusvæðum og svo framvegis. Andrúmsloftið er nokkuð vingjarnlegt í garð ræðumanna.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Augljósi ókosturinn er sá að ekki allir eru sáttir við að eiga samskipti á ensku. Margir skilja vel, en tala illa. Almennt venjulegir hlutir sem voru leystir á mismunandi hátt. Sum umræðusvæði hófust til dæmis á rússnesku en skiptu strax yfir í ensku þegar fyrsti enskumælandi þátttakandinn birtist.

Sjálfur þurfti ég að taka upphafs- og lokaútsendingar netútsendingarinnar eingöngu á ensku og taka þátt í nokkrum skriflegum viðtölum við sérfræðinga. Og þetta var algjör áskorun fyrir mig, sem ég mun ekki gleyma seint. Á einhverjum tímapunkti Oleg Anastasyev (m0nstermind) sagði mér einfaldlega að sitja hjá þeim meðan á viðtalinu stóð og ég var of sein til að skilja hvað það þýddi.

Hins vegar var mjög ánægjulegt að fólk spurði spurninga við skýrslurnar með látum. Ekki bara með móðurmál heldur alla almennt, það virkaði vel. Á öðrum ráðstefnum sést oft að fólk skammast sín fyrir að spyrja spurninga úr sal á brotinni ensku og getur bara kreist eitthvað út á umræðusvæðinu. Þetta var allt öðruvísi hér. Tiltölulega séð kláraði einhver Cliff Click skýrslur sínar aðeins fyrr og eftir það fylgdu spurningarnar í samfelldri röð, samtalið færðist inn á umræðusvæðið - án óþægilegra hléa eða truflana. Sama á við um spurningu og svör Leslie Lamport; kynnirinn þurfti nánast ekki að spyrja spurninga sinna, þátttakendur komust upp með allt.

Það voru alls konar smáhlutir sem fáir taka eftir, en þeir eru til. Vegna þess að ráðstefnan fer fram á ensku er hönnun blaða og korta léttari og hnitmiðaðri. Það er engin þörf á að afrita tungumál og ringulreið hönnunina.

Styrktaraðilar og sýning

Styrktaraðilar okkar hjálpuðu okkur mikið við að búa til ráðstefnuna. Þökk sé þeim var alltaf eitthvað að gera í frímínútum.

Á básnum Deutsche Bank TechCenter þú gætir spjallað við verkfræðinga fjölþráðra kerfa, leyst vandamál þeirra út úr hausnum á þér, unnið eftirminnileg verðlaun og bara haft það gott.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Á básnum Útlínur við gætum talað um þeirra eigin kerfi, bæði opinn og opinn: Dreifðan gagnagrunn í minni, dreifðan tvíundarskrá, örþjónustukerfi, alhliða flutning fyrir fjarmælingar, og svo framvegis. Og auðvitað þrautir og keppnir, límmiðar með tvíkynja kött og þjáningar miðaldir, gjafir eins og bók Martins Kleppmanns og LEGO fígúrur.

Vinsamlegast athugaðu að greining á Kontur vandamálum er nú þegar birt á Habré. Góð greining, þess virði að skoða.

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Þeir sem vildu gátu keypt alls kyns bækur og rætt þær við samstarfsfólk. Allur mannfjöldi safnaðist saman fyrir eiginhandaráritanir!

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Niðurstöður

Hydra ráðstefnan og SPTDC skólinn eru mjög mikilvægir viðburðir fyrir okkur sem skipuleggjandi fyrirtæki og fyrir allt samfélagið. Þetta er tækifæri til að líta inn í framtíð okkar, þróa sameinaðan hugmyndaramma til að ræða nútíma vandamál og skoða nánar áhugaverðar leiðbeiningar. Multithreading hefur verið til í mjög langan tíma, en það tók heilan áratug eftir að fyrsti raunverulega fjölkjarna örgjörvinn birtist þar til fyrirbærið náði útbreiðslu. Það sem við heyrðum í vikunni í skýrslunum eru ekki hverfular fréttir, heldur leiðin til bjartrar framtíðar sem við munum fylgja á næstu árum. Það verða engir spoilerar fyrir næstu Hydra í þessari færslu, en þú getur vonað það besta. Ef þú hefur áhuga á málum eins og þessum, gætirðu viljað kíkja á aðra viðburði okkar, eins og harðkjarna ráðstefnuræður Joker 2019 eða DotNext 2019 Moskvu. Sjáumst á næstu ráðstefnum!

Þrír Dijkstra-verðlaunahafar: hvernig gekk Hydra 2019 og SPTDC 2019

Heimild: www.habr.com

Bæta við athugasemd