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

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

Senast, från 8 till 12 juli, ägde två betydande händelser rum samtidigt - konferensen hydra och skolan SPTDC. I det här inlägget vill jag lyfta fram flera funktioner som vi lade märke till under konferensen.

Hydras och skolans största stolthet är talarna.

  • Tre pristagare Dijkstra-priser: Leslie Lamport, Maurice Herlihy och Michael Scott. Dessutom fick Maurice den två gånger. Leslie Lamport tog också emot Turing Award — Det mest prestigefyllda ACM-priset inom datavetenskap.
  • Skaparen av Java JIT-kompilatorn är Cliff Click;
  • Corutin-utvecklare - Roman Elizarov (elizarov) och Nikita Koval (ndkoval) för Kotlin och Dmitry Vyukov för Go;
  • Bidragsgivare till Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda och Vladislav Kuznetsov);
  • Och många andra kända personer: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ minnesmodell), Pedro Ramalhete (väntefria datastrukturer), Alexey Zinoviev (ML), Dmitry Bugaichenko (grafanalys).

Och det här är redan skola:

  • 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 vinnare av Dijkstra-priset: hur Hydra 2019 och SPTDC 2019 gick

Teori och praktik, vetenskap och produktion

Låt mig påminna dig om att SPTDC-skolan är ett litet evenemang för ett och ett halvt hundra personer; armaturer i världsklass samlas där och pratar om moderna frågor inom området distribuerad datoranvändning. Hydra är en tvådagars distribuerad datorkonferens som hålls parallellt. Hydra har ett mer ingenjörsfokus, medan skolan har ett mer vetenskapligt fokus.

Ett av målen med Hydra-konferensen är att kombinera vetenskapliga och tekniska principer. Å ena sidan uppnås detta genom urvalet av rapporter i programmet: tillsammans med Lamport, Herlihy och Scott finns det mycket mer tillämpade rapporter av Alex Petrov, som bidrar till Cassandra, eller Roman Elizarov från JetBrains. Det finns Martin Kleppman, som brukade bygga och sälja startups och nu studerar CRDT vid Cambridge University. Men det coola är att Hydra och SPTDC hålls sida vid sida – de har olika rapporter, men en gemensam plats för kommunikation.

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

Nedsänkning

Fem dagar i rad av Skolan är en mycket stor händelse och mycket arbetsbelastning, både för deltagarna och arrangörerna. Alla tog sig inte till de sista dagarna. Det fanns de som gick i Hydra och skolan samtidigt, och för dem blev de sista dagarna de mest händelserika. Allt detta väsen uppvägs av en otroligt djup nedsänkning. Detta beror inte bara på volymen utan också på materialets kvalitet. Alla rapporter och föreläsningar vid båda evenemangen var inte planerade att vara inledande, så vart du än går dyker du genast långt och djupt, och du släpps inte taget förrän i slutet.

Mycket beror förstås på deltagarens inledande förberedelser. Det var ett roligt ögonblick när två grupper av människor i korridoren diskuterade Heidi Howards rapport oberoende av varandra: för vissa verkade den helt vanlig, medan andra tvärtom tänkte djupt på livet. Det är intressant att enligt deltagarna i programkommittéerna (som ville vara anonyma) kunde Hydras rapporter och skolans föreläsningar vid deras evenemang vara överkvalificerade. Till exempel, om en PHP-junior kom till en PHP-konferens för att lära sig livet, skulle det vara lite förhastat att anta att han har djup kunskap om Zend Engines inre delar. Här skedmatade inte talarna juniorerna utan antydde genast en viss nivå av kunskap och förståelse. Jo, nivån på deltagare som driver distribuerade system och skriver runtime-kärnor är mycket hög, detta är logiskt. Att döma av deltagarnas reaktion var det ganska enkelt att välja en rapport utifrån nivå och ämne.

Om vi ​​pratar om specifika rapporter så var de alla bra på sitt sätt. Att döma av vad folk säger och vad som kan ses från feedbackformuläret var en av de coolaste rapporterna på skolan "Icke-blockerande datastrukturer" Michael Scott, han slet bara isär alla, han har ett onormalt betyg på runt 4.9.

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

Metakonferens

Långt före starten av Hydra och skolan, Ruslan ARG89 antog att det skulle finnas någon form av "metakonferens" - en konferens med konferenser, där alla toppdeltagare i andra evenemang automatiskt skulle sugas in i den, som om de skulle in i ett svart hål. Och så blev det! Bland skolans elever märktes det till exempel Ruslan Cheremin från DeutscheBank, en välkänd specialist inom multithreading.

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

Och av Hydra-medlemmarna uppmärksammades Vadim Tsesko (incubi) Och Andrey Pangin (apangin) från företaget Odnoklassniki. (Samtidigt hjälpte Vadim oss också att göra två utmärkta intervjuer med Martin Kleppman - en för Habr, och den andra för tittare av online-sändningen). Det fanns medlemmar DotNext programkommitté, kända talare Anatoly Kulakov och Igor Labutin. Av javisterna fanns Dmitry Alexandrov и Vladimir Ivanov. Vanligtvis ser man dessa människor på helt olika ställen – dotnetister på DotNext, javaister på Joker och så vidare. Och så sitter de sida vid sida vid Hydra-rapporter och diskuterar tillsammans problem på buffarna. När denna något artificiella uppdelning av programmeringsspråk och teknologier försvinner, dyker ämnesområdets egenskaper fram: dynamiska runtime-specialister kommunicerar med andra runtimers, distribuerade datorteoriforskare argumenterar hett med andra forskare, databasmotoringenjörer trängs på whiteboarden, och så vidare .

Vid rapporten enligt C++-minnesmodellen OpenJDK-utvecklarna satt på första raden (åtminstone jag känner dem från synen, men inte pytonisterna, kanske pytonisterna var där också). Faktum är att det är något så Shipilevsky i denna rapport... Ori berättar inte exakt samma sak, men en noggrann blick kan upptäcka paralleller. Även efter allt som hände i de senaste C++-standarderna, var problem som t.ex. ur tomma luftvärden fortfarande inte fixade, och så du kunde gå till en sådan rapport och lyssna på hur människor "på andra sidan barrikaden" är försöker fixa dessa problem. Som de resonerar, kan man bli imponerad av tillvägagångssätten för lösningen som hittats (Ori har ett av fixalternativen).

Det var många deltagare i programkommittéer och samhällsmotorer. Alla löste sina interreligiösa problem, byggde broar och skaffade förbindelser. Jag använde den här varhelst jag kunde, och vi kom till exempel överens med Alexander Borgardt från Moskva C++ användargrupp tillsammans skriva en fullskalig artikel om skådespelare och asynkroni i C++.

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

På bilden: Leonid Talalaev (ltalal, vänster) och Oleg Anastasyev (m0nstermind, höger), ledande utvecklare på Odnoklassniki

Brand diskussionszoner och buffs

På konferenser finns det alltid deltagare som kan ämnet lika bra som talarna (och ibland till och med bättre än talarna - till exempel när en utvecklare av kärnan i någon teknik finns bland deltagarna). Det fanns många sådana mycket expertdeltagare på Hydra. Till exempel någon gång runt Alex Petrov som berättar om Cassandra, så många människor bildades att han inte kunde svara alla. Vid något tillfälle knuffades Alex smidigt åt sidan och började slitas av frågor, men den fallande flaggan plockades upp av en välkänd Rust-utvecklare i kretsarna Tyler Neely och balanserade lasten perfekt. När jag frågade Tyler om hjälp med onlineintervjun var allt han frågade: "När börjar vi?"

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

Ibland bröt diskussionsandan till och med igenom i rapporterna: Nikita Koval organiserade en plötslig frågestund som delade upp rapporten i flera avsnitt.

Och vice versa, på BOF för multi-threading kom de ihåg om icke-flyktigt minne, de drogs till denna bof Pedro Ramalhete som chefsspecialist, och han förklarade allt för alla (kort sagt, icke-flyktigt minne är inget hot mot oss inom en snar framtid). En av värdarna för denna bof var förresten Vladimir Sitnikov, som sitter i programkommittéerna för några galet många konferenser... det verkar som fem åt gången just nu. Vid nästa buff om "Modern CS in real world" diskuterade de också NVM och kom fram till detta helt på egen hand.

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

Jag kan dela med mig av en superinsikt som inte ens de som är direkt involverade i berättelsen kanske har lagt märke till. Eli Gafni uppträdde på kvällen den första dagen i skolan, och nästa dag stannade han och började trolla på Lamport, och utifrån verkade det som att detta var lek och Eli var otillräcklig. Att det här är något slags troll som siktar på att ta ut Leslies hjärna. Faktum är att de nästan är bästa vänner, de har varit vänner i många år, och det här är bara ett sådant vänligt skämt. Det vill säga, skämtet fungerade - alla människor runt omkring föll för det, tog det för nominellt värde.

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

Separat skulle jag vilja notera hur mycket kärlek och ansträngning talarna lägger ner på detta. Någon stod i diskussionsområdet till sista minuten, nästan i timmar. Pausen slutade för länge sedan, rapporten började, slutade, nästa paus började – och Dmitry Vyukov fortsatte att svara på frågor. En intressant historia hände mig också - efter att ha överraskat Cliff Click fick jag inte bara en tydlig och rimlig förklaring av den där provocerande diskussionen om bristen på tester för vissa saker i H2O, men fick också en fullständig recension av den nytt språk AA. Jag har aldrig bett om det här: jag frågade bara vad du kan läsa om AA (det visade sig att du kan lyssna podcast), och istället ägnade Cliff en halvtimme åt att prata om språket och kontrollera att det han sa förstods korrekt. Underbar. Vi måste skriva ett habrapost om AA. En annan ovanlig upplevelse var att titta på processen för granskning av pull-begäran i Kotlin. Det är verkligen en magisk känsla när du går in i olika diskussionsgrupper, olika talare och kastas in i en helt ny värld. Det här är något på nivån "Där, där" av Radiohead.

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

Engelska språket

Hydra 2019 är vår första konferens där huvudspråket är engelska. Detta medför både sina fördelar och sina utmaningar. En uppenbar fördel är att folk inte bara kommer till konferensen från Ryssland, så bland deltagarna kan man träffa ingenjörer från Europa och forskare från England. Talare tar med sina elever. Generellt sett har viktiga talare mycket mer motivation att gå på en sådan konferens. Föreställ dig att du är talare på en helt ryskspråkig konferens: du har gett din rapport, försvarat diskussionsområdet och vad då? Resa runt i staden och se turistattraktioner? Faktum är att riktigt populära talare redan har sett nog av allt i världen, de vill inte gå och se lejon och vindbroar, de är uttråkade. Om alla rapporter är på engelska kan de delta i konferensen på allmän basis, ha kul, gå med i diskussionsområden och så vidare. Stämningen är ganska vänlig mot högtalarna.

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

Den uppenbara nackdelen är att alla inte är bekväma med att kommunicera på engelska. Många förstår väl, men talar dåligt. I allmänhet vanliga saker som löstes på olika sätt. Vissa diskussionsområden började till exempel på ryska, men gick direkt över till engelska när den första engelsktalande deltagaren dök upp.

Jag var själv tvungen att göra öppnings- och avslutandet av onlinesändningen uteslutande på engelska och delta i ett par inspelningsintervjuer med experter. Och detta var en riktig utmaning för mig som inte kommer att glömmas snart. Vid något tillfälle Oleg Anastasyev (m0nstermind) sa helt enkelt till mig att sitta kvar med dem under intervjun, och jag var för långsam för att förstå vad det betydde.

Däremot var det väldigt trevligt att folk ställde frågor vid anmälningarna med råge. Inte bara som modersmål, utan alla i allmänhet, det fungerade bra. På andra konferenser ser man ofta att folk skäms över att ställa frågor från publiken på bruten engelska, och bara kan klämma ut något i diskussionsområdet. Det här var helt annorlunda här. Relativt sett avslutade en del Cliff Click sina reportage lite tidigare, och efter det följde frågorna i en kontinuerlig sekvens, konversationen flyttade in i diskussionszonen – utan besvärliga pauser eller avbrott. Detsamma gäller Leslie Lamports Q&A-session; presentatören behövde praktiskt taget inte ställa sina frågor, deltagarna kom på allt.

Det fanns alla möjliga småsaker som få människor lägger märke till, men de finns. På grund av att konferensen är på engelska är utformningen av sådant som flygblad och kartor lättare och mer koncis. Det finns inget behov av att duplicera språk och röra designen.

Sponsorer och utställning

Våra sponsorer hjälpte oss mycket med att skapa konferensen. Tack vare dem fanns det alltid något att göra på rasterna.

Vid montern Deutsche Bank TechCenter du kan chatta med ingenjörer av flertrådiga system, lösa deras problem ur ditt huvud, vinna minnesvärda priser och bara ha det trevligt.

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

Vid montern Kontur vi skulle kunna prata om deras egna system, både öppen och öppen källkod: en distribuerad databas i minnet, en distribuerad binär logg, ett orkestreringssystem för mikrotjänster, en universell transport för telemetri och så vidare. Och naturligtvis, pussel och tävlingar, klistermärken med en binär katt och den lidande medeltiden, presenter som Martin Kleppmanns bok och LEGO-figurer.

Observera att analysen av Kontur-problem redan finns publicerad på Habré. Bra analys, värt att titta på.

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

De som önskade kunde köpa alla typer av böcker och diskutera dem med kollegor. En hel skara samlades för autografsessionen!

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

Resultat av

Hydrakonferensen och SPTDC-skolan är mycket viktiga evenemang för oss som arrangör och för hela samhället. Detta är en chans att se in i vår framtid, utveckla ett enhetligt konceptuellt ramverk för att diskutera moderna problem och ta en närmare titt på intressanta riktningar. Multithreading har funnits väldigt länge, men det tog ett helt decennium efter att den första verkligt flerkärniga processorn dök upp innan fenomenet blev utbrett. Det vi hörde i rapporterna den här veckan är inga flyktiga nyheter, utan vägen till en ljus framtid som vi kommer att följa under de kommande åren. Det kommer inte att finnas några spoilers för nästa Hydra i det här inlägget, men du får hoppas på det bästa. Om du är intresserad av frågor som dessa, kanske du vill kolla in våra andra evenemang, som hårda konferenssamtal Joker 2019 eller DotNext 2019 Moskva. Vi ses på nästa konferens!

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

Källa: will.com

Lägg en kommentar