Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Viimati, 8.-12. juulini, toimus korraga kaks märkimisväärset sündmust – konverents hüdra ja kool SPTDC. Selles postituses tahaksin esile tõsta mitmeid omadusi, mida konverentsil märkasime.

Hydra ja kooli suurim uhkus on kõlarid.

  • Kolm laureaati Dijkstra auhinnad: Leslie Lamport, Maurice Herlihy ja Michael Scott. Pealegi sai Maurice selle kaks korda. Leslie Lamport sai ka Turingi auhind — mainekaim ACM-i auhind arvutiteaduses;
  • Java JIT kompilaatori looja on Cliff Click;
  • Corutini arendajad - Roman Elizarov (Elizarov) ja Nikita Koval (ndkoval) Kotlini eest ja Dmitri Vjukov Go eest;
  • Kaastöötajad Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandexi andmebaasi (Semjon Tšetšerinda ja Vladislav Kuznetsov);
  • Ja paljud teised tuntud inimesed: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ mälumudel), Pedro Ramalhete (ootevabad andmestruktuurid), Aleksei Zinovjev (ML), Dmitri Bugaitšenko (graafianalüüs).

Ja see on juba Kool:

  • Browni ülikool (Maurice Herlihy),
  • Rochesteri ülikool (Michael Scott),
  • Waterloo ülikool (Trevor Brown),
  • Nantes'i ülikool (Achour Mostefaoui),
  • David Ben-Gurioni Negevi ülikool (Danny Hendler),
  • California ülikool Los Angeleses (Eli Gafni),
  • Institut Polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Teooria ja praktika, teadus ja tootmine

Tuletan meelde, et SPTDC kool on pooleteisesajale inimesele mõeldud väikeüritus, sinna kogunevad maailmatasemel valgustid, kes räägivad hajutatud andmetöötluse valdkonna kaasaegsetest probleemidest. Hydra on paralleelselt toimuv kahepäevane hajutatud arvutikonverents. Hydra keskendub rohkem inseneritööle, samas kui kool keskendub rohkem teadusele.

Hydra konverentsi üks eesmärke on ühendada teaduslikud ja insenertehnilised põhimõtted. Ühelt poolt saavutatakse see programmi reportaažide valikuga: Lamporti, Herlihy ja Scotti kõrval on märksa rakenduslikumad Cassandrale kaasa lööva Alex Petrovi või JetBrainsist pärit Roman Elizarovi aruanded. Seal on Martin Kleppman, kes ehitas ja müüs idufirmasid ning nüüd õpib Cambridge'i ülikoolis CRDT-d. Aga lahe on see, et Hydrat ja SPTDC-d hoitakse kõrvuti – neil on erinevad aruanded, kuid ühine suhtluskoht.

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Keelekümblus

Viis koolipäeva järjest on väga suur sündmus ja suur töökoormus nii osalejatele kui ka korraldajatele. Kõik ei jõudnud viimastele päevadele. Oli neid, kes käisid korraga Hydras ja Koolis ning nende jaoks kujunesid viimased päevad kõige sündmusterohkemaks. Kogu seda askeldamist kompenseerib uskumatult sügav keelekümblus. See on tingitud mitte ainult mahust, vaid ka materjali kvaliteedist. Kõik ettekanded ja loengud mõlemal üritusel ei olnud planeeritud sissejuhatavatena, nii et kuhu iganes sa lähed, sukeldud kohe kaugele ja sügavale ning sind ei lasta päris lõpuni lahti.

Muidugi oleneb palju osaleja esialgsest ettevalmistusest. Oli naljakas hetk, kui kaks seltskonda koridoris iseseisvalt Heidi Howardi ettekande üle arutasid: mõnele tundus see täiesti tavaline, teised aga vastupidi, mõtlesid elu üle sügavalt. Huvitav on see, et programmikomiteedes osalejate (kes soovisid jääda anonüümseks) hinnangul võisid Hydra ettekanded ja kooli loengud nende üritustel olla ülekvalifitseeritud. Näiteks kui PHP juunior tuli PHP-konverentsile elu tundma õppima, oleks pisut tormakas eeldada, et tal on Zend Engine'i sisemuse kohta sügavad teadmised. Siin ei söötnud kõnelejad juunioreid lusikaga, vaid andsid kohe mõista teatud teadmiste ja mõistmise taseme. Tõepoolest, hajutatud süsteeme haldavate ja käitusaegseid tuumasid kirjutavate osalejate tase on väga kõrge, see on loogiline. Osalejate reaktsiooni järgi otsustades oli taseme ja teema järgi referaadi valimine üsna lihtne.

Kui rääkida konkreetsetest aruannetest, siis need olid kõik omamoodi head. Otsustades selle järgi, mida inimesed räägivad ja mida tagasisideankeedist näha on, oli Kooli üks lahedamaid aruandeid "Mitteblokeerivad andmestruktuurid" Michael Scott, ta rebis kõik laiali, tema reiting on ebanormaalne, umbes 4.9.

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Metakonverents

Ammu enne Hydra ja kooli algust, Ruslan ARG89 eeldas, et toimub mingi "metakonverents" - konverentside konverents, kuhu imetakse automaatselt sisse kõik teiste sündmuste tipposalejad, justkui musta auku. Ja nii see juhtus! Näiteks Kooli õpilaste seas jäi see silma Ruslan Tšeremin DeutscheBankilt, mis on tuntud mitmekeermestamise spetsialist.

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Ja Hydra liikmeid märgati Vadim Tsesko (incubi) Ja Andrei Pangin (apangiin) Odnoklassniki ettevõttelt. (Samal ajal aitas Vadim meil teha ka kaks suurepärast intervjuud Martin Kleppmaniga - üks Habrja teine ​​veebisaadete vaatajatele). Liikmeid oli DotNexti programmikomitee, kuulsad esinejad Anatoli Kulakov ja Igor Labutin. Javiste oli Dmitri Aleksandrov и Vladimir Ivanov. Tavaliselt näete neid inimesi täiesti erinevates kohtades - dotnetistid DotNextis, javaistid Jokeris jne. Ja nii nad istuvad kõrvuti Hydra aruannete juures ja arutavad koos fännide probleeme. Kui see veidi kunstlik jaotus programmeerimiskeelte ja -tehnoloogiate järgi kaob, ilmnevad ainevaldkonna tunnused: dünaamilise käitusaja spetsialistid suhtlevad teiste käitusseadmetega, hajutatud andmetöötlusteooria uurijad vaidlevad tuliselt teiste teadlastega, andmebaasimootorite insenerid tunglevad tahvlil jne. .

Aruandes vastavalt C++ mälumudelile esireas istusid OpenJDK arendajad (vähemalt ma tean neid silma järgi, aga mitte pütoniste, võib-olla olid ka pütonistid seal). Tegelikult on selles reportaažis midagi nii Shipilevskyt... Ori ei räägi täpselt sama asja, aga tähelepanelik pilk võib tuvastada paralleele. Isegi pärast kõike seda, mis viimastes C++ standardites juhtus, ei õnnestunud selliseid probleeme nagu õhust tühjad väärtused ikka veel parandada ja nii võis minna sellise raporti juurde ja kuulata, kuidas inimesed "teisel pool barrikaadi" on. püüdes neid probleeme parandada. Nende põhjuste kohaselt võivad leitud lahenduse lähenemisviisid muljet avaldada (Oril on üks lahendusvõimalustest).

Programmikomiteedes ja kogukonnamootorites oli palju osalejaid. Kõik lahendasid oma religioonidevahelised probleemid, ehitasid sildu ja omandasid sidemeid. Kasutasin seda igal võimalusel ja näiteks leppisime Alexander Borgardtiga kokku Moskva C++ kasutajagrupp koos kirjutada täismahus artikkel näitlejatest ja asünkrooniast C++ keeles.

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Fotol: Leonid Talalaev (ltalal, vasakul) ja Oleg Anastasjev (m0nstermind, paremal), Odnoklassniki juhtivad arendajad

Tulekahju arutelutsoonid ja huvilised

Konverentsidel on alati osalejaid, kes tunnevad teemat sama hästi kui esinejad (ja mõnikord isegi paremini kui esinejad – näiteks kui osalejate hulgas on mõne tehnoloogia tuuma arendaja). Hydras oli palju selliseid väga asjatundlikke osalejaid. Näiteks mingil hetkel ümber Alex Petrov jutustab Cassandra kohta, tekkis nii palju inimesi, et ta ei jõudnud kõigile vastata. Mingil hetkel lükati Alex sujuvalt külili ja teda hakati küsimustega kiskuma, kuid langeva lipu korjas üles ringkondades tuntud Rusti arendaja Tyler Neely ja tasakaalustas koormuse ideaalselt. Kui ma küsisin Tylerilt veebiintervjuul abi, küsis ta ainult: "Millal me alustame?"

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Vahel tungis aruteluvaim isegi aruannetesse: Nikita Koval korraldas äkilise Q&A sessiooni, jagades aruande mitmeks osaks.

Ja vastupidi, BOF-il mitme lõimega töötluse puhul jäi neile meelde püsimälu, nad tõmbasid selle bofi poole Pedro Ramalhete peaspetsialistina ja ta selgitas kõigile kõike (ühesõnaga, püsimälu meile lähitulevikus ohtu ei kujuta). Üks selle bofi peremeestest, muide, oli Vladimir Sitnikov, kes töötab hullumeelse hulga konverentside programmikomiteedes... praegu tundub, et viis korraga. Järgmisel teemal “Modern CS in real world” arutasid nad ka NVM-i ja jõudsid selleni täiesti iseseisvalt.

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Võin jagada supernägemust, mida isegi looga otseselt seotud inimesed poleks võib-olla märganud. Eli Gafni esines kooli esimese päeva õhtul ja järgmisel päeval ta jäi ja hakkas Lamporti trollima ning väljastpoolt tundus, et see on mäng ja Eli oli ebapiisav. Et see on mingi troll, kes kavatses Leslie aju välja võtta. Tegelikult on tõsiasi, et nad on peaaegu parimad sõbrad, nad on olnud sõbrad palju aastaid ja see on lihtsalt selline sõbralik naljatamine. See tähendab, et nali töötas - kõik ümberkaudsed inimesed langesid sellesse, võtsid selle täisväärtuslikult.

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Eraldi tahaksin märkida, kui palju armastust ja vaeva kõnelejad sellesse panid. Keegi seisis arutelualal kuni viimase hetkeni, peaaegu tunde. Vaheaeg lõppes ammu, aruanne algas, lõppes, algas järgmine vaheaeg – ja Dmitri Vjukov jätkas küsimustele vastamist. Minuga juhtus ka huvitav lugu - olles Cliff Clicki üllatusena saanud, ei saanud ma mitte ainult selget ja mõistlikku selgitust provokatiivsele arutelule testide puudumise üle. teatud asjade jaoks H2O-s, kuid sai ka selle kohta täieliku ülevaate uus keel AA. Ma ei küsinud seda kunagi: küsisin lihtsalt, mida saate AA kohta lugeda (selgus, et saate kuulata taskuhäälingusaade) ja selle asemel veetis Cliff pool tundi keelest rääkides ja kontrollis, kas tema öeldut mõistetakse õigesti. Imeline. Peame AA kohta habraposti kirjutama. Teine ebatavaline kogemus oli Kotlinis tõmbetaotluse läbivaatamise protsessi vaatamine. See on tõeliselt maagiline tunne, kui astute erinevatesse vestlusgruppidesse, erinevatesse kõnelejatesse ja olete sattunud täiesti uude maailma. See on midagi tasemel Radioheadi "Seal, seal"..

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Inglise

Hydra 2019 on meie esimene konverents, kus põhikeeleks on inglise keel. See toob kaasa nii oma eelised kui ka väljakutsed. Ilmselge eelis on see, et konverentsile ei tulda mitte ainult Venemaalt, nii et osalejate seas võib kohata insenere Euroopast ja teadlasi Inglismaalt. Kõnelejad toovad oma õpilased. Üldiselt on olulistel esinejatel palju rohkem motivatsiooni sellisele konverentsile minna. Kujutage ette, et olete esineja täiesti venekeelsel konverentsil: olete andnud oma ettekande, kaitsnud aruteluala ja mis siis? Kas reisida mööda linna ja näha turismiobjekte? Tegelikult on tõeliselt populaarsed kõlarid maailmas kõike juba piisavalt näinud, nad ei taha lõvisid ja tõstesildu vaatama minna, neil on igav. Kui kõik ettekanded on inglise keeles, saavad nad üldiselt konverentsil osaleda, lõbutseda, liituda arutelualadega jne. Õhkkond on esinejate suhtes üsna sõbralik.

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Ilmselge miinus on see, et kõigil ei ole mugav inglise keeles suhelda. Paljud saavad hästi aru, aga räägivad halvasti. Üldiselt tavalised asjad, mida sai erinevalt lahendatud. Näiteks mõned arutelualad algasid vene keeles, kuid läksid esimese inglise keelt kõneleva osaleja ilmumisel kohe üle inglise keelele.

Pidin ise tegema veebisaate ava- ja lõpukaasandeid eranditult inglise keeles ning osalema paaris plaadiintervjuus ekspertidega. Ja see oli minu jaoks tõeline väljakutse, mis ei unune niipea. Mingil hetkel Oleg Anastasjev (m0nstermind) käskis mul lihtsalt intervjuu ajal nendega istuda ja ma olin liiga aeglane, et mõista, mida see tähendab.

See-eest oli väga meeldiv, et aruannete juures küsiti pauguga. Mitte ainult emakeelena kõnelejatele, vaid kõigile üldiselt, see töötas hästi. Teistel konverentsidel on sageli näha, et inimestel on piinlik rikkis inglise keeles kuulajatelt küsimusi esitada ja suudetakse vaid arutelualal midagi välja pigistada. See oli siin täiesti erinev. Suhteliselt öeldes lõpetas mõni Cliff Click oma aruanded veidi varem ja pärast seda järgnesid küsimused pidevas jadas, vestlus liikus arutelutsooni - ilma ebamugavate pauside ja katkestusteta. Sama kehtib ka Leslie Lamporti Q&A sessiooni kohta, saatejuht praktiliselt ei pidanud oma küsimusi esitama, osalejad mõtlesid kõik välja.

Oli igasuguseid pisiasju, mida vähesed märkavad, aga need on olemas. Tänu sellele, et konverents on inglise keeles, on selliste asjade nagu voldikute ja kaartide kujundus kergem ja ülevaatlikum. Pole vaja keeli dubleerida ja disaini segamini ajada.

Sponsorid ja näitus

Konverentsi loomisel aitasid meid palju sponsorid. Tänu neile oli vaheaegadel alati midagi teha.

Stendi juures Deutsche Bank TechCenter võid vestelda mitme keermega süsteemide inseneridega, lahendada nende probleeme peast, võita meeldejäävaid auhindu ja lihtsalt mõnusalt aega veeta.

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Stendi juures Kontuur võiksime rääkida nende enda süsteemidest, nii avatud kui ka avatud lähtekoodiga: hajutatud mälusisene andmebaas, hajutatud kahendlogi, mikroteenuste orkestreerimissüsteem, universaalne telemeetria transport jne. Ja muidugi mõistatused ja võistlused, kleebised kaheosalise kassi ja kannatava keskajaga, kingitused nagu Martin Kleppmanni raamat ja LEGO kujundid.

Pange tähele, et Konturi probleemide analüüs on juba olemas avaldatud Habré lehel. Hea analüüs, tasub vaadata.

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Soovijatel oli võimalik soetada kõikvõimalikke raamatuid ja nende üle kolleegidega arutada. Autogrammitunnile kogunes terve rahvahulk!

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Tulemused

Hydra konverents ja SPTDC kool on meie kui korraldava ettevõtte ja kogu kogukonna jaoks väga olulised sündmused. See on võimalus heita pilk meie tulevikku, töötada välja ühtne kontseptuaalne raamistik kaasaegsete probleemide arutamiseks ja vaadata lähemalt huvitavaid suundi. Multithreading on olnud kasutusel väga pikka aega, kuid pärast esimese tõeliselt mitmetuumalise protsessori ilmumist kulus selle nähtuse laialdaseks levikuks terve kümnend. See, mida sel nädalal aruannetes kuulsime, ei ole põgus uudis, vaid tee helgesse tulevikku, mida järgnevatel aastatel järgime. Järgmise Hydra spoilereid selles postituses ei ole, kuid loota võib parimat. Kui olete huvitatud sellistest probleemidest, võiksite vaadata meie teisi üritusi, näiteks raskekujulisi konverentsikõnelusi Joker 2019 või DotNext 2019 Moskva. Kohtumiseni järgmistel konverentsidel!

Kolm Dijkstra auhinna võitjat: kuidas läksid Hydra 2019 ja SPTDC 2019

Allikas: www.habr.com

Lisa kommentaar