Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Senest, fra den 8. til den 12. juli, fandt to væsentlige begivenheder sted samtidigt - konferencen Hydra og skole SPTDC. I dette indlæg vil jeg gerne fremhæve flere funktioner, som vi bemærkede under konferencen.

Hydras og skolens største stolthed er talerne.

  • Tre prismodtagere Dijkstra-prisen: Leslie Lamport, Maurice Herlihy og Michael Scott. Desuden modtog Maurice den to gange. Leslie Lamport modtog også Turing-prisen — den mest prestigefyldte ACM-pris inden for datalogi;
  • Skaberen af ​​Java JIT-kompileren er Cliff Click;
  • Corutin udviklere - Roman Elizarov (elizarov) og Nikita Koval (ndkoval) for Kotlin, og Dmitry Vyukov for Go;
  • Bidragydere til Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda og Vladislav Kuznetsov);
  • Og mange andre kendte personer: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ hukommelsesmodel), Pedro Ramalhete (ventefri datastrukturer), Alexey Zinoviev (ML), Dmitry Bugaichenko (grafanalyse).

Og dette er allerede Skole:

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

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Teori og praksis, videnskab og produktion

Lad mig minde dig om, at SPTDC-skolen er en lille begivenhed for halvandet hundrede mennesker, der samles der og taler om moderne problemstillinger inden for distribueret databehandling. Hydra er en to-dages distribueret computerkonference, der afholdes parallelt. Hydra har et mere ingeniørmæssigt fokus, mens skolen har et mere videnskabeligt fokus.

Et af målene med Hydra-konferencen er at kombinere videnskabelige og tekniske principper. På den ene side opnås dette ved udvælgelsen af ​​rapporter i programmet: sammen med Lamport, Herlihy og Scott er der meget mere anvendte rapporter af Alex Petrov, der bidrager til Cassandra, eller Roman Elizarov fra JetBrains. Der er Martin Kleppman, som plejede at bygge og sælge startups og nu studerer CRDT på Cambridge University. Men det fede er, at Hydra og SPTDC holdes side om side – de har forskellige rapporter, men et fælles sted for kommunikation.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Nedsænkning

Fem skoledage i træk er en meget stor begivenhed og stor arbejdsbyrde, både for deltagerne og arrangørerne. Ikke alle nåede de sidste dage. Der var dem, der gik i Hydra og Skole på samme tid, og for dem blev de sidste dage de mest begivenhedsrige. Alt dette postyr opvejes af en utrolig dyb fordybelse. Dette skyldes ikke kun volumen, men også kvaliteten af ​​materialet. Alle rapporter og foredrag ved begge arrangementer var ikke planlagt til at være indledende, så uanset hvor du går, dykker du med det samme langt og dybt, og du slipper ikke før til allersidst.

Meget afhænger naturligvis af deltagerens indledende forberedelse. Der var et sjovt øjeblik, hvor to grupper af mennesker i korridoren uafhængigt diskuterede Heidi Howards rapport: For nogle virkede det helt almindeligt, mens andre tværtimod tænkte dybt over livet. Det er interessant, at ifølge deltagerne i programudvalgene (som ønskede at være anonyme), kunne Hydras rapporter og skolens foredrag ved deres arrangementer være overkvalificerede. For eksempel, hvis en PHP-junior kom til en PHP-konference for at lære livet, ville det være lidt overilet at antage, at han har dyb viden om det indre af Zend Engine. Her skænkede talerne ikke juniorerne, men antydede umiddelbart et vist niveau af viden og forståelse. Nå, ja, niveauet af deltagere, der driver distribuerede systemer og skriver runtime kerner, er meget højt, det er logisk. At dømme efter deltagernes reaktion var det ret nemt at vælge en rapport ud fra niveau og emne.

Hvis vi taler om specifikke rapporter, var de alle gode på deres egen måde. At dømme efter, hvad folk siger, og hvad der kan ses fra feedbackformularen, var en af ​​de fedeste rapporter på skolen "Ikke-blokerende datastrukturer" Michael Scott, han rev lige alle fra hinanden, han har en unormal vurdering på omkring 4.9.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Metakonference

Længe før starten af ​​Hydra og skolen, Ruslan ARG89 antog, at der ville være en form for "meta-konference" - en konference af konferencer, hvor alle de øverste deltagere i andre begivenheder automatisk ville blive suget ind i den, som om de var i et sort hul. Og så skete det! For eksempel blev det bemærket blandt Skolens elever Ruslan Cheremin fra DeutscheBank, en kendt specialist i multithreading.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Og af Hydra-medlemmerne blev bemærket Vadim Tsesko (incubi) Og Andrey Pangin (apangin) fra firmaet Odnoklassniki. (Samtidig hjalp Vadim os også med at lave to fremragende interviews med Martin Kleppman - en for Habr, og den anden for seere af online-udsendelsen). Der var medlemmer DotNext programudvalg, berømte talere Anatoly Kulakov og Igor Labutin. Af javisterne var der Dmitry Alexandrov и Vladimir Ivanov. Normalt ser man disse mennesker helt forskellige steder – dotnetister på DotNext, javaister på Joker og så videre. Og så sidder de side om side ved Hydra-rapporter og diskuterer sammen problemer på buffs. Når denne lidt kunstige opdeling af programmeringssprog og teknologier forsvinder, dukker emneområdets egenskaber op: dynamiske runtime-specialister kommunikerer med andre runtimere, forskere i distribueret computerteori skændes heftigt med andre forskere, databaseingeniører trænger sig på tavlen, og så videre .

Ved rapporten ifølge C++ hukommelsesmodellen OpenJDK-udviklerne sad på forreste række (jeg kender dem i hvert fald af syne, men ikke pythonisterne, måske var pythonisterne der også). Faktisk er der noget så Shipilevsky i denne rapport... Ori fortæller ikke præcis det samme, men et forsigtigt blik kan opdage paralleller. Selv efter alt, hvad der skete i de seneste C++-standarder, var problemer som ud af den blå luft-værdier stadig ikke løst, og så du kunne gå til sådan en rapport og lytte til, hvordan folk "på den anden side af barrikaden" er forsøger at løse disse problemer. Som de begrunder, kunne man blive imponeret over tilgangene til den fundne løsning (Ori har en af ​​rettelsesmulighederne).

Der var mange deltagere i programudvalg og samfundsmotorer. Alle løste deres tværreligiøse problemer, byggede broer og fik forbindelser. Det brugte jeg overalt, hvor jeg kunne, og vi aftalte for eksempel med Alexander Borgardt fra Moskva C++ brugergruppe sammen skrive en fuldskala artikel om skuespillere og asynkroni i C++.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

På billedet: Leonid Talalaev (ltalal, venstre) og Oleg Anastasyev (m0nstermind, til højre), førende udviklere hos Odnoklassniki

Brand diskussionszoner og buffs

Ved konferencer er der altid deltagere, der kender emnet lige så godt som talerne (og nogle gange endda bedre end talerne - f.eks. når en udvikler af kernen i noget teknologi er blandt deltagerne). Der var mange så meget ekspert deltagere på Hydra. For eksempel på et tidspunkt omkring Alex Petrov, der fortæller om Cassandra, så mange mennesker dannede sig, at han ikke kunne svare alle. På et tidspunkt blev Alex jævnt skubbet til siden og begyndte at blive revet med spørgsmål, men det faldende flag blev samlet op af en velkendt Rust-udvikler i kredsene Tyler Neely og afbalancerede belastningen perfekt. Da jeg bad Tyler om hjælp til et onlineinterview, spurgte han kun: "Hvornår starter vi?"

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Til tider brød diskussionens ånd endda igennem i rapporterne: Nikita Koval organiserede en pludselig Q&A-session, der delte rapporten op i flere sektioner.

Og omvendt, på BOF for multi-threading huskede de om ikke-flygtig hukommelse, de blev tiltrukket af denne bof Pedro Ramalhete som chefspecialist, og han forklarede alt for alle (kort sagt, ikke-flygtig hukommelse er ikke en trussel mod os i den nærmeste fremtid). En af værterne for denne bof var i øvrigt Vladimir Sitnikov, der sidder i programudvalgene for nogle vanvittigt mange konferencer... det virker som fem ad gangen lige nu. Ved den næste buff om "Modern CS in real world" diskuterede de også NVM og kom til dette helt på egen hånd.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Jeg kan dele en super-indsigt, som selv de direkte involverede i historien måske ikke har bemærket. Eli Gafni optrådte om aftenen den første skoledag, og næste dag blev han og begyndte at trolde på Lamport, og udefra så det ud til, at dette var spil, og Eli var utilstrækkelig. At dette er en slags trold, der satte sig for at tage Leslies hjerne ud. Faktisk er faktum, at de næsten er bedste venner, de har været venner i mange år, og det er bare sådan en venlig drilleri. Det vil sige, vittigheden virkede - alle mennesker omkring faldt for den, tog den for pålydende.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Separat vil jeg gerne bemærke, hvor meget kærlighed og indsats talerne lægger i dette. Nogen stod i diskussionsområdet til sidste øjeblik, næsten i timevis. Pausen sluttede for længe siden, rapporten begyndte, sluttede, næste pause begyndte - og Dmitry Vyukov fortsatte med at besvare spørgsmål. En interessant historie skete også for mig - efter at have overrasket Cliff Click fik jeg ikke kun en klar og rimelig forklaring på den provokerende diskussion om manglen på tests for visse ting i H2O, men fik også en fuld anmeldelse af det nyt sprog AA. Jeg har aldrig bedt om dette: Jeg spurgte bare, hvad du kan læse om AA (det viste sig, at du kan lytte podcast), og i stedet brugte Cliff en halv time på at tale om sproget og kontrollere, at det, han sagde, blev forstået korrekt. Vidunderlig. Vi skal skrive et habrapost om AA. En anden usædvanlig oplevelse var at se processen for gennemgang af pull-anmodninger i Kotlin. Det er virkelig en magisk følelse, når du går ind i forskellige diskussionsgrupper, forskellige talere og kastes ud i en helt ny verden. Det her er noget på niveauet "Der, der" af Radiohead.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Engelsk sprog

Hydra 2019 er vores første konference, hvor hovedsproget er engelsk. Det giver både fordele og udfordringer. En åbenlys fordel er, at folk ikke kun kommer til konferencen fra Rusland, så blandt deltagerne kan man møde ingeniører fra Europa og forskere fra England. Talere medbringer deres elever. Generelt har vigtige oplægsholdere meget mere motivation til at tage til sådan en konference. Forestil dig, at du er oplægsholder ved en fuldstændig russisksproget konference: du har afgivet din rapport, forsvaret diskussionsområdet, og hvad så? Rejse rundt i byen og se turiststeder? Faktisk har virkelig populære talere allerede set nok af alt i verden, de vil ikke se løver og vindebroer, de keder sig. Hvis alle rapporterne er på engelsk, kan de deltage i konferencen på generelt grundlag, have det sjovt, deltage i diskussionsområder og så videre. Stemningen er ret venlig over for talerne.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Den åbenlyse ulempe er, at ikke alle er trygge ved at kommunikere på engelsk. Mange forstår godt, men taler dårligt. Generelt almindelige ting, der blev løst på forskellige måder. For eksempel begyndte nogle diskussionsområder på russisk, men skiftede straks til engelsk, da den første engelsktalende deltager dukkede op.

Jeg var selv nødt til at lave åbnings- og afslutningsinklusioner af online-udsendelsen udelukkende på engelsk og deltage i et par on-record-interviews med eksperter. Og dette var en rigtig udfordring for mig, som ikke vil blive glemt snart. På et tidspunkt Oleg Anastasyev (m0nstermind) fortalte mig simpelthen at blive siddende hos dem under interviewet, og jeg var for langsom til at forstå, hvad det betød.

Til gengæld var det meget behageligt, at folk stillede spørgsmål til rapporterne med et brag. Ikke kun indfødte, men alle generelt, det fungerede godt. På andre konferencer ser man ofte, at folk er flov over at stille spørgsmål fra salen på gebrokkent engelsk, og kun kan presse noget ud i diskussionsområdet. Det var helt anderledes her. Relativt set var nogle Cliff Click færdige med sine rapporter lidt tidligere, og herefter fulgte spørgsmålene løbende, samtalen rykkede ind i diskussionszonen – uden akavede pauser eller afbrydelser. Det samme gælder for Leslie Lamports Q&A-session. Præsentanten behøvede praktisk talt ikke at stille sine spørgsmål, deltagerne kom med alt.

Der var alle mulige småting, som de færreste lægger mærke til, men de findes. På grund af det faktum, at konferencen er på engelsk, er designet af ting som foldere og kort lettere og mere kortfattet. Der er ingen grund til at duplikere sprog og rode i designet.

Sponsorer og udstilling

Vores sponsorer hjalp os meget med at skabe konferencen. Takket være dem var der altid noget at lave i pauserne.

Ved standen Deutsche Bank TechCenter du kan chatte med ingeniører af flertrådede systemer, løse deres problemer ud af dit hoved, vinde mindeværdige præmier og bare have det sjovt.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Ved standen Kontur vi kunne tale om deres egne systemer, både open og open source: en distribueret database i hukommelsen, en distribueret binær log, et mikroservice-orkestreringssystem, en universel transport til telemetri og så videre. Og selvfølgelig puslespil og konkurrencer, klistermærker med en binær kat og den lidende middelalder, gaver som Martin Kleppmanns bog og LEGO-figurer.

Bemærk venligst, at analysen af ​​Kontur-problemer allerede er udgivet på Habré. God analyse, værd at se.

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

De, der havde lyst, kunne købe alle slags bøger og diskutere dem med kollegerne. En hel skare var samlet til autografsessionen!

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Resultaterne af

Hydrakonferencen og SPTDC Skolen er meget vigtige begivenheder for os som arrangørvirksomhed og for hele samfundet. Dette er en chance for at se ind i vores fremtid, udvikle en samlet konceptuel ramme til at diskutere moderne problemer og se nærmere på interessante retninger. Multithreading har eksisteret i meget lang tid, men det tog et helt årti efter den første virkelige multi-core processor dukkede op, før fænomenet blev udbredt. Det, vi hørte i rapporterne i denne uge, er ikke flygtige nyheder, men vejen til en lys fremtid, som vi vil følge i de kommende år. Der vil ikke være nogen spoilere for den næste Hydra i dette indlæg, men du kan håbe på det bedste. Hvis du er interesseret i emner som disse, vil du måske tjekke vores andre begivenheder, såsom hardcore-konferenceforedrag Joker 2019 eller DotNext 2019 Moskva. Vi ses til de næste konferencer!

Tre vindere af Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gik

Kilde: www.habr.com

Tilføj en kommentar