Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Nyligen, frĂ„n 8 till 12 juli, Ă€gde tvĂ„ betydelsefulla evenemang rum samtidigt — konferensen Hydra och skolan SPTDC.I det hĂ€r inlĂ€gget vill jag uppmĂ€rksamma nĂ„gra egenskaper som vi noterat under konferensens gĂ„ng.

Den största stoltheten för Hydra och Skolan Àr talarna.

  • Tre pristagare av Dijkstra-priset: Leslie Lamport, Maurice Herlihy och Michael Scott. Maurice har fĂ„tt det hela tvĂ„ gĂ„nger. Leslie Lamport fick ocksĂ„ Turingpriset — det mest prestigefyllda priset frĂ„n ACM inom datavetenskap;
  • Skaparen av JIT-kompilatorn för Java — Cliff Click;
  • Utvecklarna av korutiner — Roman Elizarov (elizarov) och Nikita Koval (ndkoval) för Kotlin, samt Dmitry Vyukov för Go;
  • Bidragsgivare till Cassandra (Alex Petrov), CosmosDB (Denis Ryscov), Yandex Database (Semen Checherynda och Vladislav Kuznetsov);
  • Och mĂ„nga andra kĂ€nda personer: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ minnesmodell), Pedro Ramalhete (wait-free datastrukturer), Alexey Zinoviev (ML), Dmitry Bugaychenko (grafanalys).

Och detta Àr redan Skolan:

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

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Teori och praktik, vetenskap och industri

LÄt mig pÄminna om att Skolan SPTDC Àr ett litet evenemang för drygt hundra personer, dÀr vÀrldsledande experter samlas och diskuterar moderna frÄgor inom distribuerad berÀkning. Hydra Àr en tvÄdagars konferens om distribuerad berÀkning som Àger rum parallellt. Hydra har ett mer ingenjörsinriktat fokus, medan Skolan Àr mer vetenskaplig.

Ett av mĂ„len med konferensen Hydra Ă€r att förena vetenskapliga och ingenjörsmĂ€ssiga aspekter. Å ena sidan uppnĂ„s detta genom valet av föredrag i programmet: förutom Lamport, Herlihy och Scott finns det ocksĂ„ mer tillĂ€mpade föredrag av Alex Petrov, som bidrar till Cassandra, eller Roman Elizarov frĂ„n JetBrains. Det finns Martin Kleppmann, som tidigare skapade och sĂ„lde startups, och nu studerar CRDT vid universitetet i Cambridge. Men den verkliga grejen Ă€r att Hydra och SPTDC hĂ„lls sida vid sida — de har olika föredrag, men en gemensam plats för kommunikation.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Nedstigning

Fem dagar med Skolan i rad Ă€r en mycket stor hĂ€ndelse och en stor belastning, bĂ„de för deltagarna och arrangörerna. Inte alla höll ut till sista dagen. Vissa gick samtidigt pĂ„ Hydra och Skolan, och för dem blev de sista dagarna de mest intensiva. All denna stress kompenseras av en otroligt djup inlevelse. Det handlar inte bara om mĂ€ngden, utan ocksĂ„ om kvaliteten pĂ„ materialet. Alla förelĂ€sningar och föredrag pĂ„ bĂ„da evenemangen var inte avsedda att vara grundlĂ€ggande, sĂ„ oavsett vart du gick – dyker du omedelbart ner djupt, och det slĂ€pper dig inte förrĂ€n i slutet.

Naturligtvis beror mycket pÄ deltagarens bakgrund. Det var en rolig situation nÀr tvÄ grupper mÀnniskor i korridoren oberoende av varandra diskuterade Heidi Howards föredrag: en tyckte det var helt vanligt, medan den andra, tvÀrtom, funderade djupt över livet. Det Àr intressant att, enligt pÄstÄenden frÄn deltagare i programkommittéerna som önskade förbli anonyma, skulle föredragen pÄ Hydra och förelÀsningarna pÄ Skolan i deras evenemang kunna anses överkvalificerade. Till exempel, om en PHP-junior kom till konferensen för att lÀra sig livet, vore det nÄgot oklokt att anta att han har djupa kunskaper om insidan av Zend Engine. HÀr matade talarna inte juniorexperterna med sked, utan förutsatte omedelbart en viss kunskaps- och förstÄelsenivÄ. Och som det verkligen Àr, hade deltagarna som arbetar med distribuerade system och skriver kÀrnor av runtime, en mycket hög nivÄ, vilket Àr logiskt. UtifrÄn deltagarnas reaktioner var det ganska lÀtt att vÀlja en presentation som passade i nivÄ och Àmne.

NÀr det kommer till specifika föredrag var alla bra pÄ sitt sÀtt. UtifrÄn vad mÀnniskor sÀger och vad som syns i feedbackformen, var en av de mest imponerande förelÀsningarna pÄ Skolan «Icke-blockerande datastrukturer» av Michael Scott, han imponerade verkligen pÄ alla med sitt anomala betyg pÄ cirka 4.9.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Metakonferens

LĂ„ngt innan Hydra och Skolan startade, förutsade Ruslan ARG89 att det skulle bli en slags "metakonferens" – en konferens av konferenser, dit alla toppdeltagare frĂ„n andra evenemang skulle dras automatiskt, som i ett svart hĂ„l. SĂ„ blev det ocksĂ„! Till exempel, bland deltagarna pĂ„ Skolan sĂ„gs Ruslan Chereminin frĂ„n DeutscheBank, en kĂ€nd specialist pĂ„ flertrĂ„dighet.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Och bland deltagarna pĂ„ Hydra sĂ„gs Vadim Tseshko (frĂ„n incubos) och Andrey Panygin (apangin) frĂ„n företaget Odnoklassniki. (Vid detta tillfĂ€lle hjĂ€lpte Vadim oss dessutom att göra tvĂ„ utmĂ€rkta intervjuer med Martin Kleppmann — en för Habr, och en annan - för tittarna av online-överföringen). Det fanns medlemmar i programkommittĂ©n DotNext, kĂ€nda talare Anatoliy Kulakov och Igor Labutin. FrĂ„n Java-vĂ€rlden var det Dmitry Alexandrov och Vladimir Ivanov. Vanligtvis ser du dessa mĂ€nniskor pĂ„ helt olika stĂ€llen — dotnet-utvecklare pĂ„ DotNext, java-utvecklare pĂ„ Joker och sĂ„ vidare. Och nu sitter de sida vid sida pĂ„ Hydra-presentationerna och diskuterar problem tillsammans pĂ„ bofer. NĂ€r denna nĂ„got konstgjorda uppdelning efter programmeringssprĂ„k och teknologier försvinner, framtrĂ€der dragen av Ă€mnesomrĂ„det: specialister pĂ„ dynamiska runtime-miljöer kommunicerar med andra runtimerare, forskare inom teorin om distribuerad databehandling diskuterar hett med andra forskare, databasmotoringenjörer ockuperar markeringsbordet och sĂ„ vidare.

Vid presentationen om C++-minnesmodellen satt utvecklare frĂ„n OpenJDK i de frĂ€mre raderna (Ă„tminstone kĂ€nner jag igen dem, men pythonister — kanske fanns de dĂ€r ocksĂ„). Faktum Ă€r att det finns nĂ„got lite Shpilevskij i denna presentation... Ory berĂ€ttar inte direkt samma sak, men en uppmĂ€rksam betraktare kan upptĂ€cka paralleller. Även efter allt som hĂ€nt i de senaste C++-standarderna har problem som out of thin air values inte blivit Ă„tgĂ€rdade, och man fick gĂ„ pĂ„ en sĂ„dan presentation och höra hur mĂ€nniskor frĂ„n 'den andra sidan barrikaden' försöker lösa dessa problem, hur de resonera, och man kunde bli imponerad av de fyndiga lösningarna (Ory har ett av sĂ€tten att lösa det).

Det fanns mÄnga deltagare frÄn programkommittéer och motorer frÄn gemenskaper. Alla löste sina interkonfessionella problem, byggde broar och knöt kontakter. Jag utnyttjade detta dÀr jag kunde, och till exempel kom vi överens med Alexander Borgardt frÄn Moscow C++ User Group att tillsammans skriva en omfattande artikel om aktörer och asynkronitet i C++.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

PÄ fotografiet: Leonid Talalaev (ltalal, till vÀnster) och Oleg Anastasyev (m0nstermind, till höger), ledande utvecklare pÄ företaget Odnoklassniki

Eldiga diskussionszoner och bofer

PĂ„ konferenser finns det alltid deltagare som kĂ€nner Ă€mnet lika bra som förelĂ€sarna (ibland till och med bĂ€ttre — till exempel nĂ€r en utvecklare av nĂ„gon teknologi har smugit sig in bland deltagarna). PĂ„ Hydra fanns det mĂ„nga sĂ„dana experter. Till exempel, vid ett tillfĂ€lle samlades sĂ„ mĂ„nga mĂ€nniskor runt Alex Petrov, som talade om Cassandra, att han inte kunde svara alla. Vid ett tillfĂ€lle drevs Alex smidigt Ă„t sidan och blev överöst av frĂ„gor, men den fallande flaggan togs upp av den kĂ€nda Rust-utvecklaren Tyler Neely som utmĂ€rkt balanserade belastningen. NĂ€r jag bad Tyler att hjĂ€lpa till med en onlineintervju frĂ„gade han bara: "NĂ€r börjar vi?"

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Diskussionsandan bröt ibland igenom Àven i förelÀsningarna: Nikita Koval ordnade en plötslig Q&A-session och delade upp sin förelÀsning i flera sektioner.

Och tvĂ€rtom, pĂ„ BOF:en om multitrĂ„dning kom de ihĂ„g non-volatile minne och drog ut pĂ„ det hĂ€r BOF:en Pedro Ramalhete som huvudexpert, och han förklarade allt för alla (kort sagt, vi kommer inte ha energifria minnen under överskĂ„dlig framtid). En av ledarna för detta BOF: var förresten Vladimir Sitnikov, som deltar i programkommittĂ©er för ett galet antal konferenser
 det verkar som att det Ă€r fem stycken samtidigt just nu. PĂ„ grann-BOF:en om "Modern CS in the real world" diskuterade de ocksĂ„ NVM och kom fram till detta helt pĂ„ egen hand.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Jag kan dela med mig av en superinsider som till och med de direkta deltagarna i historien kan ha missat. Eli Gafni talade pĂ„ kvĂ€llen den första dagen i Skolan, och nĂ€sta dag stannade han kvar och började driva med Lamport, och frĂ„n sidan verkade det som galenskap och Eli var inte riktigt klok. Det kĂ€ndes som en trollare som hade för avsikt att fĂ„ Leslies hjĂ€rna att sprĂ€ngas. Men faktum Ă€r att de nĂ€stan Ă€r bĂ€sta vĂ€nner, har varit vĂ€nner i mĂ„nga Ă„r, och det var bara sĂ„dana kamratliga pikar. SĂ„ skĂ€mtet funkade — hela publiken trodde pĂ„ det som om det vore sant.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Jag vill sĂ€rskilt nĂ€mna hur mycket kĂ€rlek och energi förelĂ€sarna har lagt ner i detta. Vissa stod kvar i diskussionszonen till sista stund, nĂ€stan i timmar. Pausen var lĂ€nge över, förelĂ€sningen hade börjat, slutat, nĂ€sta paus hade börjat — och Dmitry Vyukov fortsatte att svara pĂ„ frĂ„gor. Jag har ocksĂ„ haft en intressant historia — nĂ€r jag överraskade Cliff Click fick jag inte bara en tydlig och rimlig förklaring till den provokativa diskussionen om bristen pĂ„ tester om vissa saker i H2O, men jag fick Ă€ven en fullstĂ€ndig översikt över hans nya sprĂ„k AA. I never asked for this: jag frĂ„gade bara vad man kan lĂ€sa om AA (det visade sig att man kan lyssna pĂ„ det podcast), och istĂ€llet spenderade Cliff en halvtimme pĂ„ att berĂ€tta om sprĂ„ket och kontrollera att det berĂ€ttade var förstĂ„tt korrekt. Fantastiskt. Jag mĂ„ste skriva en hubpost om AA. En annan ovanlig erfarenhet — att bevittna processen att granska en pull request i Kotlin. Det Ă€r verkligen en magisk kĂ€nsla — nĂ€r du gĂ„r in i olika diskussionsgrupper, till olika talare och dyker ner i en helt ny vĂ€rld. Det Ă€r pĂ„ en nivĂ„ av «There, There» av Radiohead.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Engelska sprÄket

Hydra 2019 — detta Ă€r vĂ„r första konferens dĂ€r det huvudsakliga sprĂ„ket Ă€r engelska. Det ger bĂ„de fördelar och svĂ„righeter. En uppenbar fördel Ă€r att det kommer folk frĂ„n andra lĂ€nder, sĂ„ bland deltagarna kan du trĂ€ffa ingenjörer frĂ„n Europa och forskare frĂ„n England. FörelĂ€sarna tar med sina studenter. Generellt har viktiga förelĂ€sare mycket mer motivation att Ă„ka till en sĂ„dan konferens. FörestĂ€ll dig att du Ă€r förelĂ€sare pĂ„ en helt rysksprĂ„kig konferens: du har hĂ„llit din presentation, deltagit i diskussionszonen, och vad hĂ€nder sen? Att Ă„ka runt i staden och titta pĂ„ turistattraktioner? Faktum Ă€r att redan populĂ€ra förelĂ€sare har sett mycket av vĂ€rlden, de vill inte Ă„ka och titta pĂ„ lejon och höj- och sĂ€nkbara broar, de tycker att det Ă€r trĂ„kigt. Men om alla presentationer Ă€r pĂ„ engelska kan de delta pĂ„ lika villkor, njuta av konferensen, delta i diskussionszonerna och sĂ„ vidare. AtmosfĂ€ren Ă€r ganska vĂ€nlig mot talarna.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

En uppenbar nackdel Àr dock att inte alla Àr bekvÀma med att kommunicera pÄ engelska. MÄnga förstÄr bra, men talar dÄligt. Allt i allt Àr det vanliga problem som har lösts pÄ olika sÀtt. Till exempel började vissa diskussionszoner pÄ ryska men vÀxlade snabbt till engelska sÄ snart en engelsktalande deltagare dök upp.

Jag var tvungen att sjÀlv göra öppningar och stÀngningar av den direktsÀnda överföringen enbart pÄ engelska och delta i ett par intervjuer med experter som spelades in. Och det var en verklig utmaning för mig som jag sent kommer att glömma. Vid ett tillfÀlle sa Oleg Anastasyev (m0nstermind) bara att jag skulle stanna kvar tillsammans med dem under intervjun, och jag insÄg alldeles för sakta vad det betydde.

Å andra sidan Ă€r det mycket trevligt att folk stĂ€llde frĂ„gor under förelĂ€sningarna. Inte bara modersmĂ„lstalare, utan verkligen alla, fungerade mycket bra. PĂ„ andra konferenser ser man ofta att folk tvekar att stĂ€lla frĂ„gor i salen pĂ„ trasig engelska och kan bara frambringa nĂ„got i diskussionszonen. HĂ€r var det helt annorlunda. LĂ„t sĂ€ga att nĂ„gon som Cliff Click avslutade sina förelĂ€sningar lite tidigare, och efter det kom frĂ„gorna i en konstant ström, diskussionen flöt över i diskussionszonen — utan pinsamma pauser eller avbrott. Detta gĂ€ller ocksĂ„ Q&A-sessionen med Leslie Lamport, dĂ€r programledaren knappt behövde stĂ€lla sina egna frĂ„gor, allt kom frĂ„n deltagarna.

Det fanns mĂ„nga smĂ„saker som fĂ„ mĂ€rker, men de existerar. Eftersom konferensen var engelsksprĂ„kig, var designen av sĂ„dana saker som broschyrer och kartor — mer lĂ€tt och minimalistisk. Det Ă€r ingen nödvĂ€ndighet att duplicera sprĂ„k och belasta designen.

Sponsorer och utstÀllning

VÄra sponsorer hjÀlpte mycket till med skapandet av konferensen. Tack vare dem fanns det alltid nÄgot att göra under pauserna.

Vid montern av Deutsche Banks TechCenter kunde man prata med ingenjörerna för flertrÄdiga system, lösa deras uppgifter "frÄn huvudet", vinna minnesvÀrda priser och bara ha en trevlig tid.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Vid montern Kontur kunde man diskutera deras egna system, bÄde öppna och öppen kÀllkod: en distribuerad in-memory databas, en distribuerad binÀr logg, ett system för orkestrering av mikrotjÀnster, ett universellt transportsystem för telemetri och sÄ vidare. Och naturligtvis uppgifter och tÀvlingar, klistermÀrken med en binÀr katt och lidande medeltiden, gÄvor sÄsom boken av Martin Kleppmann och LEGO-figurer.

Observera att analysen av Konturs uppgifter redan Àr publicerad pÄ Habré. Analysen Àr bra, det Àr vÀrt att ta en titt.

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

De som ville kunde köpa olika böcker, diskutera dem med kollegor. Det samlades en hel folksamling vid signeringseventet!

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Sammanfattning

Hydra-konferensen och SPTDC-skolan Àr mycket viktiga evenemang för oss som arrangörsföretag och för hela gemenskapen. Det Àr en chans att blicka in i vÄr framtid, utveckla en gemensam begreppsapparat för att diskutera moderna problem och titta nÀrmare pÄ intressanta riktningar. MÄngtrÄdning har funnits lÀnge, men efter att den första verkligt flerkÀrniga processorn dök upp tog det ett helt decennium innan fenomenet blev vanligt. Det vi hörde under denna vecka pÄ förelÀsningarna Àr inte tillfÀlliga nyheter, utan en vÀg mot en ljus framtid som vi kommer att följa de kommande Ären. Det kommer inte att finnas nÄgra spoilers för nÀsta Hydra i det hÀr inlÀgget, men man kan hoppas pÄ det bÀsta. Om du Àr intresserad av sÄdana problem, kanske du bör titta pÄ vÄra andra evenemang, som hÄrda förelÀsningar pÄ konferenser. Joker 2019 eller DotNext 2019 Moskva. Vi ses pÄ nÀsta konferenser!

Tre pristagare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

KĂ€lla: habr.com

Köp pĂ„litlig webbhotell med DDoS-skydd, VPS VDS-servrar đŸ”„ Köp pĂ„litlig webbhotell med DDoS-skydd, VPS VDS-servrar | ProHoster