Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Senest, fra 8. til 12. juli, ble det holdt to viktige arrangementer samtidig - en konferanse Hydra og skole SPTDC. I dette innlegget vil jeg trekke frem noen funksjoner som vi la merke til under konferansen.

Den største stoltheten til Hydra og skolen er foredragsholdere.

  • Tre prisvinnere Dijkstra-priser: Leslie Lamport, Maurice Herlihy og Michael Scott. Dessuten fikk Maurice den så mye som to ganger. Leslie Lamport mottok også Turing-prisen - den mest prestisjetunge ACM-prisen innen informatikk;
  • Skaperen av Java JIT-kompilatoren er Cliff Click;
  • Korutin-utviklere - Roman Elizarov (elizarov) og Nikita Koval (ndkoval) for Kotlin, og Dmitry Vyukov for Go;
  • Bidragsytere til Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda og Vladislav Kuznetsov);
  • Og mange andre kjente personer: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ minnemodell), Pedro Ramalhete (ventefrie datastrukturer), Alexey Zinoviev (ML), Dmitry Bugaichenko (grafanalyse).

Og dette er skolen:

  • 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),
  • UCLA (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Teori og praksis, vitenskap og produksjon

La meg minne deg på at SPTDC-skolen er en liten begivenhet for halvannet hundre mennesker, armaturer i verdensklasse samles på den og snakker om moderne problemstillinger innen distribuert databehandling. Hydra er en to-dagers distribuert datakonferanse som går parallelt. Hydra har et ingeniørfokus, mens skolen har et vitenskapelig fokus.

Et av målene med Hydra-konferansen er å bringe vitenskap og ingeniørfag sammen. På den ene siden oppnås dette ved utvalget av rapporter i programmet: sammen med Lamport, Herlihy og Scott er det mye mer anvendte rapporter av Alex Petrov, som bidrar til Cassandra, eller Roman Elizarov fra JetBrains. Det er Martin Kleppman, som pleide å lage og selge startups, og som nå studerer CRDT ved University of Cambridge. Men det beste er at Hydra og SPTDC holdes side om side – de har forskjellige rapporter, men et felles sted for kommunikasjon.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Fordypning

Fem dager med Skolen på rad er en veldig stor begivenhet og en stor belastning for både deltakere og arrangører. Ikke alle kom seg til de siste dagene. Det var de som gikk på Hydra og Skolen samtidig, og for dem ble de siste dagene de mest begivenhetsrike. Alt dette oppstyret blir kompensert av utrolig dyp nedsenking. Dette skyldes ikke bare volumet, men også kvaliteten på materialet. Alle rapporter og foredrag på begge arrangementene var ikke planlagt å være innledende, så uansett hvor du går, dykker du umiddelbart langt og dypt, og slipper deg ikke til helt på slutten.

Mye avhenger selvfølgelig av den første forberedelsen til deltakeren. Det var et morsomt øyeblikk da to grupper mennesker i korridoren uavhengig diskuterte Heidi Howards rapport: den ene virket helt vanlig, mens den andre tvert imot tenkte hardt på livet. Interessant nok, ifølge (som ønsket å være anonyme) medlemmer av programkomiteene, kan Hydras rapporter og forelesninger av skolen på deres arrangementer være overkvalifisert. For eksempel, hvis en PHP-junior kom til en PHP-konferanse for å lære om livet, er det litt hensynsløst å anta at han har dyp kunnskap om det indre av Zend-motoren. Her skjenmet ikke foredragsholderne juniorene, men antydet umiddelbart et visst nivå av kunnskap og forståelse. Vel, ja, nivået på deltakere som driver distribuerte systemer og skriver kjøretidskjerner er veldig høyt, dette er logisk. Etter deltakernes reaksjon å dømme var det ganske enkelt å velge en rapport etter nivå og tema.

Hvis vi snakker om spesifikke rapporter, så var de alle gode på hver sin måte. Å dømme etter hva folk sier og hva som kan ses fra tilbakemeldingsskjemaet, var en av de kuleste rapportene ved skolen "Ikke-blokkerende datastrukturer" Michael Scott, han knuste alle, han har en unormal vurdering i området 4.9.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

metakonferanse

Lenge før starten av Hydra og skolen, Ruslan ARG89 antok at en slags "metakonferanse" ville vise seg - en konferanse med konferanser, der alle toppdeltakerne i andre arrangementer automatisk, som inn i et svart hull, ble trukket. Og slik ble det! For eksempel ble blant elevene på skolen lagt merke til Ruslan Cheremin fra DeutscheBank, en kjent ekspert på multithreading.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Og av Hydra-medlemmene ble sett Vadim Tsesko (inkubus) Og Andrey Pangin (appangin) fra Odnoklassniki. (Samtidig hjalp Vadim oss også med å lage to utmerkede intervjuer med Martin Kleppman - en for Habr, og den andre for seere av nettsendingen). Det var medlemmer programkomité DotNext, kjente foredragsholdere Anatoly Kulakov og Igor Labutin. Av Javist var Dmitry Alexandrov и Vladimir Ivanov. Vanligvis ser du disse menneskene på helt andre steder – dot netters på DotNext, javist på Joker, og så videre. Og her sitter de side om side ved Hydras rapporter og diskuterer problemer sammen på bofs. Når denne litt kunstige inndelingen i programmeringsspråk og teknologier forsvinner, dukker fagområdets trekk opp: dynamiske runtime-spesialister kommuniserer med andre runtimere, forskere i teorien om distribuert databehandling krangler heftig med andre forskere, databasemotoringeniører myldrer på tavlen, og så videre.

På rapporten i henhold til C++ minnemodellen OpenJDK-utviklerne satt i forkant (jeg kjenner dem i alle fall av synet, men ikke pytonistene, kanskje pytonistene var der også). Faktisk er det noe så Shipilev i denne rapporten... Ori sier ikke akkurat det samme, men et nøye blikk kan avsløre paralleller. Selv etter alt som har skjedd i de siste C++-standardene, er problemer som ut av løse luft-verdier ikke fikset, og nå kan du gå til en slik prat og høre på hvordan folk "på den andre siden av barrikaden" er prøver å fikse disse problemene, som de hevder, kan man bli imponert over tilnærmingene til løsningen som ble funnet (Ori har et av reparasjonsalternativene).

Det var mange deltakere i programkomiteer og samfunnsmotorer. Alle løste sine interkonfesjonelle problemer, bygde broer, skaffet seg forbindelser. Denne brukte jeg der jeg kunne, og vi ble for eksempel enige med Alexander Borgardt fra Moskva C++ brukergruppe sammen for å skrive en artikkel i full lengde om skuespillere og asynkroni i C++.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

På bildet: Leonid Talalaev (ltalal, venstre) og Oleg Anastasiev (m0nstermind, til høyre), ledende utviklere hos Odnoklassniki

Brann diskusjonsområder og bofs

På konferanser er det alltid deltakere som kan emnet på lik linje med foredragsholderne (og noen ganger enda bedre enn foredragsholderne - for eksempel når kjerneutvikleren av noe teknologi var blant deltakerne). Det var mange slike svært ekspertdeltakere på Hydra. For eksempel, på et tidspunkt rundt Alex Petrov, forteller om Cassandra, så mange mennesker dannet seg at han ikke kunne svare alle. På et tidspunkt ble Alex jevnt skjøvet til siden og begynte å bli revet i stykker av spørsmål, men det fallende flagget ble plukket opp av de velkjente i Rust-utviklerkretsene Tyler Neely og balanserte lasten perfekt. Da jeg spurte Tyler om å hjelpe til med nettintervjuet, var alt han spurte "Når begynner vi?"

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Den diskutable ånden brøt noen ganger inn i rapporter: Nikita Koval arrangerte en plutselig Q&A-sesjon, og delte rapporten inn i flere seksjoner.

Og vice versa, på BOF, når det gjelder multithreading, husket de om ikke-flyktig minne, dro det til denne bof Pedro Ramalhete som sjefspesialist, og han forklarte alt til alle (kort sagt, ikke-flyktig hukommelse truer oss ikke i nær fremtid). En av de ledende denne bof, forresten, var Vladimir Sitnikov, som sitter i programkomiteer for vanvittig mange konferanser... det virker som fem på samme tid nå. NVM ble også diskutert hos nabobof om «Modern CS in real world» og kom til dette helt uavhengig.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Jeg kan dele en super-insider som selv de direkte deltakerne i historien kanskje ikke har lagt merke til. Eli Gafni opptrådte på kvelden den første dagen på skolen, og dagen etter ble han og begynte å trolle Lamport, og fra utsiden virket det som om dette var et spill og Eli var utilstrekkelig. At dette er et slags troll som ville ta ut hjernen til Leslie. Faktisk er faktum at de nesten er bestevenner, har vært venner i mange år, og det er bare slike vennlige vitser. Det vil si at vitsen fungerte - alle folk rundt falt for den, tok den for pålydende.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Hver for seg vil jeg legge merke til hvor mye kjærlighet og innsats foredragsholderne legger ned i dette. Noen sto i diskusjonsområdet til det siste, nesten i timevis. Pausen er for lengst over, rapporten begynte, sluttet, neste pause begynte – og Dmitry Vyukov fortsatte å svare på spørsmål. En interessant historie skjedde med meg også - da jeg overrasket Cliff Klick, fikk jeg ikke bare en klar og fornuftig forklaring på den provoserende diskusjonen om mangelen på tester på visse ting i H2Omen fikk også en full gjennomgang av den nytt AA-språk. Jeg spurte aldri om dette: Jeg spurte bare hva du kan lese om AA (det viste seg at du kan lytte podcast), og i stedet brukte Cliff en halvtime på å snakke om språket og sørge for at han fikk det riktig. Strålende. Det er nødvendig å skrive et habrapost om AA. En annen uvanlig opplevelse er å se gjennomgangsprosessen for pull-forespørsel i Kotlin. Det er virkelig en magisk følelse når du går til forskjellige diskusjonsgrupper, til forskjellige foredragsholdere og stuper inn i en helt ny verden. Det er noe av et nivå "Der, der" av Radiohead.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Norsk

Hydra 2019 er vår første konferanse der hovedspråket er engelsk. Dette gir både fordeler og utfordringer. Et åpenbart pluss er at det ikke bare kommer folk fra Russland til konferansen, så blant deltakerne kan du møte ingeniører fra Europa og forskere fra England. Foredragsholdere tar med elevene sine. Generelt har viktige foredragsholdere mye mer motivasjon til å gå på en slik konferanse. Tenk deg at du er foredragsholder på en fullstendig russiskspråklig konferanse: du har rapportert rapporten din, forsvart diskusjonsområdet, og hva så? Kjøre rundt i byen og se turiststeder? Faktisk har virkelig populære foredragsholdere sett nok av alt i verden, de vil ikke gå for å se løver og vindebroer, de kjeder seg. Hvis alle rapporter er på engelsk, kan de delta på konferansen på generelt grunnlag, ha det gøy, inkluderes i diskusjonsområder og så videre. Stemningen er ganske vennlig mot høyttalerne.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Den åpenbare ulempen er at ikke alle er komfortable med å kommunisere på engelsk. Mange forstår godt, men snakker dårlig. Generelt vanlige ting som ble løst på forskjellige måter. For eksempel startet noen diskusjonsområder på russisk, men gikk umiddelbart over til engelsk da den første engelsktalende deltakeren dukket opp.

Selv måtte jeg gjøre åpnings- og avslutningsinkluderinger av nettsendingen utelukkende på engelsk og delta i et par intervjuer med eksperter på platen. Og det var en skikkelig utfordring for meg, som ikke vil bli glemt snart. På et tidspunkt, Oleg Anastasiev (m0nstermind) ba meg bare sitte med dem til intervjuet, og jeg var for treg til å forstå hva det betydde.

På den annen side er det veldig hyggelig at personene på rapportene stilte spørsmål med et brak. Ikke bare med morsmål, men alle generelt, det fungerte bra. På andre konferanser ser man ofte at folk er flaue over å stille spørsmål fra salen på gebrokkent engelsk, og kan presse noe ut av seg selv kun i diskusjonsområdet. Det var helt annerledes her. Relativt sett var noen Cliff Click ferdige med rapportene litt tidligere, og etter det gikk spørsmålene i en sammenhengende serie, samtalen ble til en diskusjonssone – uten tafatte pauser og pauser. Det samme gjelder Leslie Lamports Q&A-sesjon, verten trengte praktisk talt ikke stille sine egne spørsmål, deltakerne kom på alt.

Det var alle mulige småting som få mennesker la merke til, men det er de. På grunn av at konferansen er på engelsk, er utformingen av slike ting som flyers og kart lettere og mer konsis. Det er ikke nødvendig å duplisere språk og rote designet.

Sponsorer og utstilling

Våre sponsorer hjalp mye med å lage konferansen. Takket være dem var det alltid noe å gjøre i pausene.

På standen Deutsche Banks tekniske senter det var mulig å kommunisere med ingeniører av flertrådede systemer, løse gåtene deres "fra hodet", vinne minneverdige premier og bare ha det bra.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

På standen kontur det var mulig å snakke om deres egne systemer, både åpne og åpen kildekode: en distribuert database i minnet, en distribuert binær logg, et orkestreringssystem for mikrotjenester, en universell transport for telemetri, og så videre. Og selvfølgelig, gåter og konkurranser, klistremerker med en binær katt og den lidende middelalderen, gaver som Martin Kleppmans bok og LEGO-figurer.

Vær oppmerksom på at analysen av Kontur-problemer allerede er publisert på Habré. Analysen er god, verdt en titt.

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

De som ønsket kunne kjøpe alle slags bøker, diskutere dem med kolleger. Det var et stort publikum til autograføkten!

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Resultater av

Hydra-konferansen og SPTDC-skolen er svært viktige begivenheter for oss som vertsbedrift og for hele samfunnet. Dette er en sjanse til å se inn i fremtiden vår, å utvikle et enhetlig konseptuelt apparat for å diskutere samtidsproblemer, å se på interessante områder. Multithreading har eksistert veldig lenge, men etter at den første virkelig flerkjerneprosessoren dukket opp, tok det et helt tiår før fenomenet ble mainstream. Det vi hørte denne uken på rapportene er ikke flyktige nyheter, men veien til en lysere fremtid, som vi vil følge i årene som kommer. Det blir ingen spoilere for neste Hydra i dette innlegget, men du kan håpe på det beste. Hvis du er interessert i denne typen saker, kan det være lurt å ta en titt på våre andre arrangementer, som hardcore-konferanseforedrag. Joker 2019 eller DotNext 2019 Moskva. Vi sees på de neste konferansene!

Tre vinnere av Dijkstra-prisen: hvordan Hydra 2019 og SPTDC 2019 gikk

Kilde: www.habr.com

Legg til en kommentar