Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Meast resint, fan 8 oant 12 july, fûnen twa wichtige eveneminten tagelyk plak - de konferinsje Hydra en skoalle SPTDC. Yn dizze post wol ik ferskate funksjes markearje dy't wy opmurken hawwe tidens de konferinsje.

De grutste grutskens fan Hydra en de Skoalle binne de sprekkers.

  • Trije laureaten Dijkstra Prizen: Leslie Lamport, Maurice Herlihy en Michael Scott. Boppedat krige Maurice it twa kear. Leslie Lamport krige ek Turing Award - de meast prestizjeuze ACM-priis yn kompjûterwittenskip;
  • De makker fan 'e Java JIT-kompiler is Cliff Click;
  • Corutin ûntwikkelders - Roman Elizarov (elizarov) en Nikita Koval (ndkoval) foar Kotlin, en Dmitry Vyukov foar Go;
  • Meiwurkers oan Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda en Vladislav Kuznetsov);
  • En in protte oare ferneamde minsken: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C ++ ûnthâld model), Pedro Ramalhete (wachtfrije gegevens struktueren), Alexey Zinoviev (ML), Dmitry Bugaichenko (grafyk analyze).

En dit is al Skoalle:

  • Brown University (Maurice Herlihy),
  • Universiteit fan Rochester (Michael Scott),
  • Universiteit fan Waterloo (Trevor Brown),
  • Universiteit fan Nantes (Achour Mostefaoui),
  • David Ben-Gurion University of the Negev (Danny Hendler),
  • Universiteit fan Kalifornje yn Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Teory en praktyk, wittenskip en produksje

Lit my jo herinnerje dat de SPTDC-skoalle in lyts evenemint is foar oardelhûndert minsken; ljochtlju fan wrâldklasse sammelje dêr en prate oer moderne problemen op it mêd fan ferdielde kompjûters. Hydra is in twa-dagen ferspraat computing konferinsje hâlden parallel. Hydra hat in mear technyske fokus, wylst de skoalle in mear wittenskiplike fokus hat.

Ien fan 'e doelen fan' e Hydra-konferinsje is it kombinearjen fan wittenskiplike en technyske prinsipes. Oan 'e iene kant wurdt dit berikt troch de seleksje fan rapporten yn it programma: tegearre mei Lamport, Herlihy en Scott binne d'r folle mear tapaste rapporten fan Alex Petrov, dy't bydraacht oan Cassandra, of Roman Elizarov fan JetBrains. D'r is Martin Kleppman, dy't eartiids startups boude en ferkocht en no CRDT studearret oan Cambridge University. Mar it koele ding is dat Hydra en SPTDC njonken inoar hâlden wurde - se hawwe ferskate rapporten, mar in mienskiplik plak foar kommunikaasje.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Immersion

Fiif dagen fan de Skoalle op rige is in hiel grut barren en in soad wurk, sawol foar de dielnimmers as de organisatoaren. Net elkenien hat it de lêste dagen helle. D'r wiene dejingen dy't tagelyk nei Hydra en Skoalle giene, en foar har wiene de lêste dagen it meast barren. Al dit gedoe wurdt kompensearre troch in ongelooflijk djippe ûnderdompeling. Dit komt net allinich troch it folume, mar ek troch de kwaliteit fan it materiaal. Alle rapporten en lêzingen by beide eveneminten wiene net pland om ynliedend te wêzen, dus wêr't jo ek hinne geane, dûke jo fuortendaliks fier en djip, en jo wurde net loslitten oant it heule ein.

In protte hinget fansels ôf fan de earste tarieding fan de dielnimmer. Der wie in grappich momint doe't twa groepen minsken yn 'e gong selsstannich bepraten it rapport fan Heidi Howard: foar guon like it folslein gewoan, wylst oaren, krekt oarsom, djip oer it libben tochten. It is nijsgjirrich dat neffens de dielnimmers fan de programmakommisjes (dy’t anonym bliuwe wolle), de ferslaggen fan Hydra en de lêzingen fan de Skoalle op harren eveneminten oerkwalifisearre wurde kinne. Bygelyks, as in PHP-junior nei in PHP-konferinsje kaam om it libben te learen, soe it in bytsje útslach wêze om oan te nimmen dat hy djippe kennis hat oer de ynterne fan Zend Engine. Hjir hawwe de sprekkers de junioaren net mei leppelfeed, mar fuortdaliks in beskaat nivo fan kennis en begryp ymplisearre. No, yndie, it nivo fan dielnimmers dy't ferspraat systemen operearje en runtime kernels skriuwe is heul heech, dit is logysk. Nei de reaksje fan de dielnimmers te oardieljen wie it frij maklik om in ferslach te kiezen op basis fan nivo en ûnderwerp.

As wy prate oer spesifike rapporten, se wiene allegear goed op har eigen manier. Te oardieljen nei wat minsken sizze en wat te sjen is út it feedbackformulier, wie ien fan de coolste reportaazjes op de Skoalle "Net-blokkearjende gegevensstruktueren" Michael Scott, hy skuorde gewoan elkenien útinoar, hy hat in abnormale wurdearring fan sawat 4.9.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Metakonferinsje

Lang foar it begjin fan Hydra en de Skoalle, Ruslan ARG89 oannommen dat d'r in soarte fan "meta-konferinsje" wêze soe - in konferinsje fan konferinsjes, wêrby't alle top dielnimmers fan oare eveneminten automatysk ynsûge wurde, as yn in swart gat. En sa barde it! Bygelyks by de learlingen fan de Skoalle waard it opmurken Ruslan Cheremin fan DeutscheBank, in bekende spesjalist yn multithreading.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

En fan de Hydra leden waarden opmurken Vadim Tsesko (incubi) en Andrey Pangin (apangin) fan it bedriuw Odnoklassniki. (Tagelyk holp Vadim ús ek mei twa treflike ynterviews mei Martin Kleppman - ien foar Habr, en de oare foar sjoggers fan 'e online útstjoering). Der wiene leden DotNext programmakommisje, ferneamde sprekkers Anatoly Kulakov en Igor Labutin. Fan de Javisten wiene der Dmitry Alexandrov и Vladimir Ivanov. Normaal sjogge jo dizze minsken op folslein oare plakken - dotnetisten op DotNext, javaisten op Joker, ensfh. En sa sitte se njonkeninoar by Hydra-rapporten en beprate tegearre problemen op de buffs. As dizze wat keunstmjittige ferdieling troch programmeartalen en technologyen ferdwynt, komme de skaaimerken fan it fakgebiet nei foaren: dynamyske runtime-spesjalisten kommunisearje mei oare runtimers, ûndersikers fan ferspraat komputerteory stride fûleindich mei oare ûndersikers, yngenieurs fan databankmotoren folje it whiteboard, ensfh. .

By it rapport neffens de C ++ ûnthâld model de OpenJDK-ûntwikkelders sieten op 'e foarste rige (ik ken se teminsten fan sicht, mar net de Pythonisten, miskien wiene de Pythonisten der ek). Yn feite is d'r wat sa Shipilevsky yn dit rapport ... Ori fertelt net krekt itselde ding, mar in foarsichtige blik kin parallellen ûntdekke. Sels nei alles wat barde yn 'e lêste C++-standerts, waarden problemen lykas wearden út 'e loft noch net fêst, en dus koene jo nei sa'n rapport gean en harkje nei hoe't minsken "oan 'e oare kant fan' e barrikade" binne besykje te lossen dizze problemen, As se reden, men koe wurde ûnder de yndruk fan de oanpak fan de oplossing fûn (Ori hat ien fan de fix opsjes).

Der wiene in soad dielnimmers yn programmakommisjes en mienskipsmotoren. Elkenien lost har ynterreligieuze problemen op, boude brêgen en krige ferbinings. Ik brûkte dit wêr't ik koe, en, bygelyks, wy ôfpraat mei Alexander Borgardt út Moskou C++ Brûkersgroep skriuw tegearre in folsleine artikel oer akteurs en asynchrony yn C++.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Op de foto: Leonid Talalaev (ltalal, links) en Oleg Anastasyev (m0nstermind, rjochts), liedende ûntwikkelders by Odnoklassniki

Fire diskusje sônes en buffs

Op konferinsjes binne der altyd dielnimmers dy't it ûnderwerp likegoed as de sprekkers kenne (en soms sels better as de sprekkers - bygelyks as in ûntwikkelder fan 'e kearn fan guon technology ûnder de dielnimmers is). Der wiene in protte fan sokke tige saakkundige dielnimmers op Hydra. Bygelyks, op in stuit om Alex Petrov te fertellen oer Cassandra, safolle minsken foarme dat hy koe net beäntwurdzje elkenien. Op in stuit waard Alex soepel oan 'e kant skood en begon te skuorre mei fragen, mar de fallende flagge waard oppakt troch in bekende Rust-ûntwikkelder yn' e sirkels Tyler Neely en balansearre de lading perfekt. Doe't ik Tyler frege om help mei it online ynterview, wie alles wat hy frege: "Wannear begjinne wy?"

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Soms bruts de geast fan diskusje sels troch yn 'e rapporten: Nikita Koval organisearre in hommelse Q&A-sesje, en ferdielde it rapport yn ferskate seksjes.

En oarsom, op BOF foar multi-threading ûnthâlden se oer net-flechtich ûnthâld, se waarden oanlutsen troch dizze bof Pedro Ramalhete as de haadspesjalist, en hy ferklearre alles oan elkenien (koartsein, net-flechtich ûnthâld is gjin bedriging foar ús yn 'e heine takomst). Ien fan 'e hosts fan dizze bof wie trouwens Vladimir Sitnikov, dy't tsjinnet yn 'e programma kommisjes fan guon gekke oantal konferinsjes ... it liket as fiif tagelyk op dit stuit. By de folgjende buff oer "Modern CS in real world" bepraten se ek NVM en kamen hjir folslein op harsels ta.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Ik kin in super-ynsjoch diele dat sels de direkte belutsenen by it ferhaal miskien net opfallen hawwe. Eli Gafni trede op 'e jûn fan' e earste dei fan 'e Skoalle, en de oare deis bleau hy en begon Lamport te trollen, en fan bûten like it dat dit spultsje wie en Eli wie net genôch. Dat dit in soarte fan troll is dy't útsteld is om Leslie's harsens út te nimmen. Yn feite, it feit is dat se binne hast bêste freonen, se hawwe west freonen foar in protte jierren, en dit is krekt sa'n freonlik banter. Dat is, de grap wurke - alle minsken rûnom foelen derop, namen it op 'e hichte.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Apart wol ik opmerke hoefolle leafde en muoite de sprekkers hjir yn stekke. Immen stie oant de lêste minút yn it oerlisgebiet, hast oerenlang. De pauze einige in lange tiid lyn, it rapport begûn, einige, de folgjende pauze begûn - en Dmitry Vyukov bleau fragen beantwurdzje. In nijsgjirrich ferhaal barde my ek - nei't ik Cliff Click ferrassing naam, krige ik net allinich in dúdlike en ridlike útlis fan dy provosearjende diskusje oer it gebrek oan tests foar bepaalde dingen yn H2O, mar ek krige in folsleine resinsje fan it nije taal AA. Ik frege dit noait: ik frege gewoan wat jo kinne lêze oer AA (it die bliken dat jo harkje kinne podcast), en ynstee bestege Cliff in healoere oer de taal te praten en te kontrolearjen dat wat er sei goed begrepen waard. Wûnderlik. Wy moatte in habrapost skriuwe oer AA. In oare ûngewoane ûnderfining wie it besjen fan it proses foar beoardieling fan pull-oanfragen yn Kotlin. It is wirklik in magysk gefoel as jo yn ferskate diskusjegroepen, ferskate sprekkers rinne en yn in heule nije wrâld binne dompele. Dit is wat op it nivo "Dêr, dêr" troch Radiohead.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Ingelske taal

Hydra 2019 is ús earste konferinsje dêr't de haadtaal Ingelsk is. Dit bringt sawol syn foardielen as syn útdagings. In fanselssprekkend foardiel is dat minsken net allinich út Ruslân nei de konferinsje komme, dus kinne jo ûnder de dielnimmers yngenieurs út Europa en wittenskippers út Ingelân moetsje. Sprekkers bringe harren learlingen. Yn 't algemien hawwe wichtige sprekkers folle mear motivaasje om nei sa'n konferinsje te gean. Stel jo foar dat jo in sprekker binne op in folslein Russysktalige konferinsje: jo hawwe jo rapport jûn, it diskusjegebiet ferdigene, en wat dan? Reizgje troch de stêd en sjoch toeristyske plakken? Eins hawwe echt populêre sprekkers al genôch sjoen fan alles op 'e wrâld, se wolle gjin liuwen en ophaalbrêgen sjen, se ferfele har. As alle rapporten yn it Ingelsk binne, kinne se op algemiene basis meidwaan oan de konferinsje, wille hawwe, meidwaan oan diskusjegebieten, ensfh. De sfear is frij freonlik foar de sprekkers.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

It foar de hân lizzende neidiel is dat net elkenien noflik is om yn it Ingelsk te kommunisearjen. In protte begripe goed, mar prate min. Yn 't algemien gewoane dingen dy't op ferskate manieren oplost waarden. Guon diskusjegebieten begûnen bygelyks yn it Russysk, mar gongen daliks oer nei it Ingelsk doe't de earste Ingelsktalige dielnimmer ferskynde.

Ik sels moast de iepenings- en ôfslutings fan 'e online útstjoering eksklusyf yn it Ingelsk dwaan en meidwaan oan in pear op-record ynterviews mei saakkundigen. En dit wie in echte útdaging foar my dy't net gau fergetten wurde sil. Op in stuit Oleg Anastasyev (m0nstermind) fertelde my gewoan om by har sitten te bliuwen tidens it ynterview, en ik wie te stadich om te begripen wat dat betsjutte.

Oan de oare kant wie it tige noflik dat minsken mei in knal fragen stelden by de rapporten. Net allinnich memmetaalsprekkers, mar elkenien yn it algemien, it wurke goed. Op oare konferinsjes is gauris te sjen dat minsken har skamje om fragen te stellen út it publyk yn stikken Ingelsk, en allinnich wat útdrukke kinne yn it oerlisgebiet. Dit wie hjir folslein oars. Relatyf sjoen makken guon Cliff Click syn reportaazjes wat earder ôf, en dêrnei folgen de fragen yn in trochgeande folchoarder, it petear ferhuze yn 'e diskusjesône - sûnder ûnhandige pauzes of ûnderbrekkings. Itselde jildt foar de Q&A-sesje fan Leslie Lamport; de presintator hoegde syn fragen praktysk net te stellen, de dielnimmers kamen mei alles.

Der wiene allerhanne lytse dingen dy't in pear minsken fernimme, mar se besteane. Troch it feit dat de konferinsje yn it Ingelsk is, is it ûntwerp fan saken as folders en kaarten lichter en bondiger. D'r is gjin ferlet om talen te duplikearjen en it ûntwerp te rommeljen.

Sponsors en útstalling

Us sponsors hawwe ús in protte holpen by it meitsjen fan de konferinsje. Mei tank oan harren wie der yn de pauzes altyd wat te dwaan.

By de tribune Deutsche Bank TechCenter do koe petear mei yngenieurs fan multi-threaded systemen, oplosse harren problemen út dyn holle, win memorabele prizen en gewoan hawwe in goede tiid.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

By de tribune Kontur wy koenen prate oer har eigen systemen, sawol iepen as iepen boarne: in ferspraat yn-ûnthâld databank, in ferspraat binêre log, in microservice orkestraasje systeem, in universele ferfier foar telemetry, ensafuorthinne. En fansels, puzels en kompetysjes, stickers mei in binêre kat en de lijende midsieuwen, kado's lykas it boek fan Martin Kleppmann en LEGO-figueren.

Tink derom dat de analyze fan Kontur-problemen al is publisearre op Habré. Goede analyze, it besjen wurdich.

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Wa’t woe koe allerhanne boeken keapje en mei kollega’s beprate. In hiele mannichte sammele foar de hantekening sesje!

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Resultaten

De Hydra Konferinsje en SPTDC Skoalle binne tige wichtige eveneminten foar ús as it organisearjende bedriuw en foar de hiele mienskip. Dit is in kâns om yn ús takomst te sjen, in unifoarm konseptueel ramt te ûntwikkeljen foar it besprekken fan moderne problemen, en in tichterby te sjen nei nijsgjirrige rjochtingen. Multithreading bestiet al in hiel lange tiid, mar it duorre in hiele desennia nei't de earste wirklik multi-core processor ferskynde foar it ferskynsel wiidferspraat te wurden. Wat wy dizze wike by de rapporten hearden is gjin flechtich nijs, mar de wei nei in ljochte takomst dy't wy de kommende jierren folgje. D'r sille gjin spoilers wêze foar de folgjende Hydra yn dizze post, mar jo kinne hoopje op it bêste. As jo ​​​​ynteressearre binne yn problemen lykas dizze, wolle jo miskien ús oare eveneminten besjen, lykas hardcore konferinsjepetearen Joker 2019 of DotNext 2019 Moskou. Oant sjen op de folgjende konferinsjes!

Trije Dijkstrapriiswinners: hoe Hydra 2019 en SPTDC 2019 gongen

Boarne: www.habr.com

Add a comment