Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Viimeksi 8.-12. heinäkuuta järjestettiin samanaikaisesti kaksi merkittävää tapahtumaa - konferenssi tursas ja kouluun SPTDC. Tässä postauksessa haluan korostaa useita piirteitä, jotka huomasimme konferenssin aikana.

Hydran ja koulun suurin ylpeys ovat kaiuttimet.

  • Kolme palkittua Dijkstra-palkinnot: Leslie Lamport, Maurice Herlihy ja Michael Scott. Lisäksi Maurice sai sen kahdesti. Leslie Lamport sai myös Turing-palkinto — arvostetuin tietojenkäsittelytieteen ACM-palkinto;
  • Java JIT -kääntäjän luoja on Cliff Click;
  • Corutinin kehittäjät - Roman Elizarov (Elizarov) ja Nikita Koval (ndkoval) Kotlinille ja Dmitri Vyukov Golle;
  • Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semjon Tšetšerinda ja Vladislav Kuznetsov) avustajat;
  • Ja monet muut kuuluisat henkilöt: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++-muistimalli), Pedro Ramalhete (odotusvapaat tietorakenteet), Alexey Zinovjev (ML), Dmitry Bugaichenko (graafianalyysi).

Ja tämä on jo Koulu:

  • Brownin yliopisto (Maurice Herlihy),
  • Rochesterin yliopisto (Michael Scott),
  • Waterloon yliopisto (Trevor Brown),
  • Nantesin yliopisto (Achour Mostefaoui),
  • David Ben-Gurion University of the Negev (Danny Hendler),
  • Kalifornian yliopisto Los Angelesissa (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Teoria ja käytäntö, tiede ja tuotanto

Muistutan, että SPTDC School on puolentoistasadan hengen pieni tapahtuma, johon kokoontuu maailmanluokan johtajia keskustelemaan hajautetun laskennan alan moderneista asioista. Hydra on kaksipäiväinen hajautettu laskentakonferenssi, joka järjestetään rinnakkain. Hydrassa on enemmän insinööripainotteista, kun taas koululla on enemmän tieteellistä painopistettä.

Yksi Hydra-konferenssin tavoitteista on yhdistää tieteelliset ja tekniset periaatteet. Toisaalta tämä saavutetaan ohjelman raporttien valinnalla: Lamportin, Herlihyn ja Scottin ohella Cassandraan osallistuvan Alex Petrovin tai JetBrainsin Roman Elizarovin raportteja on paljon soveltavampia. Siellä on Martin Kleppman, joka rakensi ja myi startup-yrityksiä ja opiskelee nyt CRDT:tä Cambridgen yliopistossa. Mutta siistiä on, että Hydraa ja SPTDC:tä pidetään vierekkäin - niillä on erilaiset raportit, mutta yhteinen paikka kommunikoida.

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Upotus

Viisi koulupäivää peräkkäin on erittäin iso tapahtuma ja paljon työtaakkaa sekä osallistujille että järjestäjille. Kaikki eivät päässeet viimeisiin päiviin. Oli niitä, jotka kävivät Hydrassa ja Koulussa samaan aikaan, ja heille viimeiset päivät osoittautuivat tapahtumarikkaimmiksi. Kaiken tämän hälinän tasoittaa uskomattoman syvä uppoutuminen. Tämä ei johdu vain tilavuudesta, vaan myös materiaalin laadusta. Kaikkia raportteja ja luentoja kummassakaan tilaisuudessa ei suunniteltu johdattavaksi, joten minne ikinä menetkin, sukellat heti kauas ja syvälle, eikä sinua päästetä irti aivan loppuun asti.

Tietysti paljon riippuu osallistujan alustavasta valmistelusta. Oli hauska hetki, kun käytävällä kaksi ryhmää keskusteli itsenäisesti Heidi Howardin raportista: joillekin se tuntui täysin tavalliselta, kun taas toiset päinvastoin ajattelivat syvästi elämää. On mielenkiintoista, että ohjelmatoimikuntien osallistujien (jotka halusivat pysyä nimettömänä) mukaan Hydran raportit ja koulun luennot heidän tilaisuuksissaan saattoivat olla ylikelpoisia. Jos esimerkiksi PHP-juniori tulee PHP-konferenssiin oppimaan elämää, olisi hieman hätkähdyttävää olettaa, että hänellä on syvällinen tieto Zend Enginen sisäisistä ominaisuuksista. Täällä puhujat eivät ruokkineet junioreita, vaan merkitsivät välittömästi tietyn tason tietämystä ja ymmärrystä. No, todellakin, hajautettuja järjestelmiä käyttävien ja ajonaikaisia ​​ytimiä kirjoittavien osallistujien määrä on erittäin korkea, tämä on loogista. Osallistujien reaktioista päätellen oli melko helppoa valita raportti tason ja aiheen perusteella.

Jos puhumme yksittäisistä raporteista, ne olivat kaikki hyviä omalla tavallaan. Sen perusteella, mitä ihmiset sanovat ja mitä palautelomakkeesta voi nähdä, yksi koulun siisteimmistä raporteista oli "Eivät estävät tietorakenteet" Michael Scott, hän vain repi kaikki osiin, hänellä on epänormaali arvosana noin 4.9.

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Metakonferenssi

Kauan ennen Hydra ja koulun alkua, Ruslan ARG89 oletti, että siellä olisi jonkinlainen "metakonferenssi" - konferenssien konferenssi, johon kaikki muiden tapahtumien huippuosallisuudet imetään automaattisesti sisään, ikään kuin mustaan ​​aukkoon. Ja niin kävi! Esimerkiksi koulun opiskelijoiden keskuudessa se huomattiin Ruslan Cheremin DeutscheBankilta, joka on tunnettu monisäikeisen asiantuntijan.

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Ja Hydran jäsenistä huomattiin Vadim Tsesko (incubus) Ja Andrei Pangin (apangin) Odnoklassniki-yhtiöltä. (Samaan aikaan Vadim auttoi meitä myös tekemään kaksi erinomaista haastattelua Martin Kleppmanin kanssa - yksi Habrja toinen verkkolähetyksen katsojille). Jäseniä oli DotNext-ohjelmakomitea, kuuluisat puhujat Anatoli Kulakov ja Igor Labutin. Javisteista siellä oli Dmitry Alexandrov и Vladimir Ivanov. Yleensä näet nämä ihmiset täysin eri paikoissa - dotnetisteja DotNextissä, javaisteja Jokerissa ja niin edelleen. Ja niin he istuvat vierekkäin Hydran raporteissa ja keskustelevat yhdessä harrastajien ongelmista. Kun tämä hieman keinotekoinen ohjelmointikielien ja tekniikoiden jako katoaa, esiin tulee aihealueen piirteitä: dynaamiset ajonaikaiset asiantuntijat kommunikoivat muiden ajonaikaisten kanssa, hajautetun laskennan teoriatutkijat väittelevät kiivaasti muiden tutkijoiden kanssa, tietokantakoneinsinöörit tunkeutuvat taululle ja niin edelleen. .

Raportissa C++-muistimallin mukaan OpenJDK-kehittäjät istuivat eturivissä (ainakin minä tunnen heidät silmästä, mutta en pythonistit, ehkä myös pythonistit olivat siellä). Itse asiassa tässä raportissa on jotain niin Shipilevskyä... Ori ei kerro aivan samaa asiaa, mutta huolellinen tarkastelu voi löytää yhtäläisyyksiä. Kaiken sen jälkeen mitä viimeisimmissä C++-standardeissa tapahtui, ongelmia, kuten tyhjästä ilmasta saatuja arvoja, ei vieläkään saatu korjattua, joten voit mennä sellaiseen raporttiin kuuntelemaan kuinka ihmiset "barrikadin toisella puolella" ovat yrittää korjata näitä ongelmia, Heidän perustelunsa mukaan ratkaisun lähestymistavat voisivat olla vaikuttuneita (Orilla on yksi korjausvaihtoehdoista).

Ohjelmakomiteoissa ja yhteisön moottoreissa oli paljon osallistujia. Kaikki ratkaisivat uskontojen väliset ongelmansa, rakensivat siltoja ja hankkivat yhteyksiä. Käytin tätä siellä missä pystyin, ja sovimme esimerkiksi Alexander Borgardtin kanssa Moskovan C++ -käyttäjäryhmä kirjoittaa yhdessä täysimittainen artikkeli näyttelijöistä ja asynkronisuudesta C++:ssa.

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Kuvassa: Leonid Talalaev (ltalal, vasen) ja Oleg Anastasjev (m0nstermind, oikealla), johtavat kehittäjät Odnoklassnikissa

Palokeskustelualueet ja harrastajat

Konferensseissa on aina osallistujia, jotka tuntevat aiheen yhtä hyvin kuin puhujat (ja joskus jopa paremmin kuin puhujat - esimerkiksi kun osallistujien joukossa on jonkin tekniikan ytimen kehittäjä). Hydrassa oli paljon niin erittäin asiantuntevia osallistujia. Esimerkiksi jossain vaiheessa noin Alex Petrov kertoo Cassandrasta, niin paljon ihmisiä muodostui, ettei hän voinut vastata kaikille. Jossain vaiheessa Alex työnnettiin sujuvasti sivuun ja sitä alettiin repiä kysymyksillä, mutta putoavan lipun nappasi piireissä tunnettu Rust-kehittäjä. Tyler Neely ja tasapainotti kuorman täydellisesti. Kun pyysin Tyleriltä apua verkkohaastattelussa, hän kysyi vain: "Milloin aloitamme?"

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Välillä keskustelun henki tunkeutui jopa raportteihin: Nikita Koval järjesti äkillisen Q&A-istunnon jakaen raportin useisiin osiin.

Ja päinvastoin, monisäikeisen BOF:n kohdalla he muistivat haihtumattomasta muistista, he vetivät vetoa tähän bof:iin. Pedro Ramalhete pääasiantuntijana, ja hän selitti kaiken kaikille (lyhyesti sanottuna haihtumaton muisti ei ole meille uhka lähitulevaisuudessa). Muuten, yksi tämän bofin isännistä oli Vladimir Sitnikov, joka palvelee joidenkin hullujen konferenssien ohjelmakomiteoissa... tällä hetkellä näyttää siltä kuin viisi kerrallaan. Seuraavassa "Modern CS in real world" -harrastajassa he keskustelivat myös NVM:stä ja päätyivät tähän täysin itsenäisesti.

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Voin jakaa supernäkemyksen, jota edes tarinaan suoraan osallistuneet eivät ehkä ole huomanneet. Eli Gafni esiintyi ensimmäisen koulupäivän iltana, ja seuraavana päivänä hän jäi ja alkoi uistella Lamportia, ja ulkopuolelta näytti siltä, ​​että tämä oli peliä ja Eli oli riittämätön. Että tämä on jonkinlainen peikko, joka aikoo viedä Leslien aivot. Itse asiassa tosiasia on, että he ovat melkein parhaita ystäviä, he ovat olleet ystäviä monta vuotta, ja tämä on vain niin ystävällistä pilaa. Eli vitsi toimi - kaikki ympärillä olevat ihmiset rakastuivat siihen, ottivat sen nimellisarvolla.

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Haluaisin erikseen huomauttaa, kuinka paljon rakkautta ja vaivaa puhujat panivat tähän. Joku seisoi keskustelualueella viime hetkeen asti, melkein tuntikausia. Tauko päättyi kauan sitten, raportti alkoi, päättyi, seuraava tauko alkoi - ja Dmitri Vyukov jatkoi kysymyksiin vastaamista. Mielenkiintoinen tarina tapahtui myös minulle - yllättäneeni Cliff Clickin, sain paitsi selkeän ja järkevän selityksen tuosta provokatiivisesta keskustelusta testien puutteesta. tietyille asioille H2O:ssa, mutta sain siitä myös täydellisen arvostelun uusi kieli AA. En koskaan kysynyt tätä: kysyin vain, mitä voit lukea AA:sta (kävi ilmi, että voit kuunnella podcast), ja sen sijaan Cliff käytti puoli tuntia puhumalla kielestä ja tarkistaen, että hänen sanomansa ymmärrettiin oikein. Ihmeellistä. Meidän täytyy kirjoittaa habrapost AA:sta. Toinen epätavallinen kokemus oli vetopyynnön tarkistusprosessin katsominen Kotlinissa. Se on todella maaginen tunne, kun kävelet erilaisiin keskusteluryhmiin, eri puhujiin ja uppoat aivan uuteen maailmaan. Tämä on jotain tasoa Radioheadin "There, There"..

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Englanninkielinen

Hydra 2019 on ensimmäinen konferenssimme, jossa pääkieli on englanti. Tämä tuo sekä etunsa että haasteensa. Ilmeinen etu on, että konferenssiin ei tule vain Venäjältä, joten osallistujien joukossa voi tavata insinöörejä Euroopasta ja tiedemiehiä Englannista. Kaiuttimet tuovat oppilaansa. Yleisesti ottaen tärkeillä puhujilla on paljon enemmän motivaatiota mennä sellaiseen konferenssiin. Kuvittele, että olet puhuja täysin venäjänkielisessä konferenssissa: olet antanut raporttisi, puolustanut keskustelualuetta ja mitä sitten? Matkustaa ympäri kaupunkia ja nähdä turistikohteita? Itse asiassa todella suositut kaiuttimet ovat jo nähneet tarpeeksi kaikkea maailmassa, he eivät halua mennä katsomaan leijonia ja laskusiltoja, he ovat kyllästyneitä. Jos kaikki raportit ovat englanninkielisiä, he voivat osallistua konferenssiin yleisesti, pitää hauskaa, liittyä keskustelualueille ja niin edelleen. Tunnelma on varsin ystävällinen puhujia kohtaan.

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Ilmeinen haittapuoli on, että kaikki eivät ole mukavia kommunikoimaan englanniksi. Monet ymmärtävät hyvin, mutta puhuvat huonosti. Yleensä tavallisia asioita, jotka ratkaistiin eri tavoilla. Esimerkiksi jotkut keskustelualueet alkoivat venäjäksi, mutta vaihtuivat heti englanniksi, kun ensimmäinen englanninkielinen osallistuja ilmestyi.

Itse jouduin tekemään verkkolähetyksen avaus- ja päätöslausekkeet yksinomaan englanniksi ja osallistumaan pariin levyhaastatteluun asiantuntijoiden kanssa. Ja tämä oli minulle todellinen haaste, joka ei unohdu pian. Jossain vaiheessa Oleg Anastasjev (m0nstermind) käski vain istua heidän kanssaan haastattelun aikana, ja olin liian hidas ymmärtämään, mitä se tarkoitti.

Toisaalta oli erittäin mukavaa, että raporteissa kysyttiin räjähdysmäisesti. Ei vain äidinkielenään puhuville, vaan kaikille yleensä, se toimi hyvin. Muissa konferensseissa nähdään usein, että ihmiset hämmentyvät kysymään yleisöltä rikkinäisellä englannin kielellä ja voivat vain puristaa jotain esiin keskustelualueella. Tämä oli täysin erilaista täällä. Suhteellisesti sanottuna joku Cliff Click lopetti raporttinsa hieman aikaisemmin, ja sen jälkeen kysymykset seurasivat jatkuvassa järjestyksessä, keskustelu siirtyi keskustelualueelle - ilman kiusallisia taukoja tai keskeytyksiä. Sama pätee Leslie Lamportin Q&A-istuntoon; juontajan ei käytännössä tarvinnut esittää kysymyksiä, osallistujat keksivät kaiken.

Siellä oli kaikenlaisia ​​pieniä asioita, joita harva huomaa, mutta ne ovat olemassa. Konferenssi on englanninkielinen, joten esitteiden ja karttojen suunnittelu on kevyempää ja ytimekkäämpää. Ei tarvitse kopioida kieliä ja sotkea suunnittelua.

Sponsorit ja näyttely

Sponsorimme auttoivat meitä paljon konferenssin luomisessa. Heidän ansiostaan ​​tauoilla oli aina jotain tekemistä.

Telineellä Deutsche Bank TechCenter voit keskustella monisäikeisten järjestelmien insinöörien kanssa, ratkaista heidän ongelmansa omasta päästäsi, voittaa ikimuistoisia palkintoja ja vain pitää hauskaa.

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Telineellä Contour voisimme puhua omista järjestelmistä, sekä avoimesta että avoimesta lähdekoodista: hajautettu muistitietokanta, hajautettu binääriloki, mikropalvelun orkesterijärjestelmä, universaali telemetrian siirto ja niin edelleen. Ja tietysti pulmia ja kilpailuja, tarroja binaarikissalla ja kärsivällä keskiajalla, lahjoja, kuten Martin Kleppmannin kirja ja LEGO-figuurit.

Huomaa, että Kontur-ongelmien analyysi on jo julkaistu Habréssa. Hyvä analyysi, kannattaa katsoa.

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Halukkaat saivat ostaa kaikenlaisia ​​kirjoja ja keskustella niistä kollegoiden kanssa. Kokonainen yleisö kokoontui nimikirjoitustilaisuuteen!

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Tulokset

Hydra Conference ja SPTDC School ovat erittäin tärkeitä tapahtumia meille järjestäjänä ja koko yhteisölle. Tämä on tilaisuus katsoa tulevaisuuteen, kehittää yhtenäinen käsitteellinen viitekehys nykyaikaisten ongelmien keskustelulle ja tarkastella lähemmin kiinnostavia suuntia. Monisäietekniikka on ollut olemassa jo pitkään, mutta ensimmäisen todella moniytimisen prosessorin ilmestymisen jälkeen kesti koko vuosikymmen, ennen kuin ilmiö yleistyi. Se, mitä kuulimme tällä viikolla raporteissa, ei ole ohikiitävä uutinen, vaan tie valoisaan tulevaisuuteen, jota seuraamme tulevina vuosina. Tässä postauksessa ei ole spoilereita seuraavalle Hydralle, mutta voit toivoa parasta. Jos olet kiinnostunut tämänkaltaisista aiheista, sinun kannattaa tutustua muihin tapahtumiimme, kuten hardcore-konferenssikeskusteluihin Joker 2019 tai DotNext 2019 Moskova. Nähdään seuraavissa kokouksissa!

Kolme Dijkstra-palkinnon voittajaa: kuinka Hydra 2019 ja SPTDC 2019 menivät

Lähde: will.com

Lisää kommentti