Dijkstra auhinna kolm laureaati: kuidas möödusid Hydra 2019 ja SPTDC 2019

Hiljuti, 8. kuni 12. juulini, toimusid samal ajal kaks olulist sündmust — konverents Hydra ja kool SPTDC. Selles postituses tahan märkida mõned jooned, mida me konverentsi toimumise käigus märkisime.

Gidra ja Kooli kõige suurem uhkus on esinejad.

• Kolm laureaati Dijkstra auhinnast: Leslie Lamport, Maurice Herlihy ja Michael Scott. Pealegi sai Maurice selle auhinna koguni kaks korda. Leslie Lamport sai ka Turingi auhinna — ACMi kõige prestiižikama auhinna informaatikas;
• Java JIT-kompilaatori looja — Cliff Click;
• Koroutine arendajad — Roman Elizarov (elizarov) ja Nikita Koval (ndkoval) Kotlinile, ja Dmitri Vjukov Go jaoks;
• Cassandra kontributoorid (Aleksei Petrov), CosmosDB (Denis Ryscov), Yandex Database (Semen Checherinda ja Vladislav Kuznetsov);
• Ja palju teisi tuntud inimesi: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ mälu mudel), Pedro Ramalhete (wait-free andmestruktuurid), Aleksei Zinovjev (ML), Dmitri Bugaychenko (graafide analüüs).

Ja see on juba Kool:

• Brown'i ülikool (Maurice Herlihy),
• Rochesteri ülikool (Michael Scott),
• Waterloo ülikool (Trevor Brown),
• Nantes'i ülikool (Achour Mostefaoui),
• David Ben-Gurioni nimeline ülikool Negevis (Danny Hendler),
• California University, Los Angeles (Eli Gafni),
• Paris Polytechnic Institute (Petr Kuznetsov),
• Microsoft Research (Leslie Lamport),
• VMware Research (Ittai Abraham).

Teooria ja praktika, teadus ja tootmine

Tahan meenutada, et SPTDC kool on väike üritus, kus osaleb umbes sada viiskümmend inimest; sinna tulevad maailma juhtivad spetsialistid, et arutada tänapäeva küsimusi hajusate arvutuste valdkonnas. Hydra on kaheaastane konverents hajusatele arvutustele, mis toimub samaaegselt. Hydra suunatud on rohkem inseneriteaduse poole, samas kui kool keskendub teadusele.

Üks Hydra konverentsi eesmärke on teaduslike ja inseneride lähenemiste ühendamine. Ühelt poolt saavutatakse see ettekannete valimise kaudu programmis: koos Lämpordi, Herlihi ja Scottiga on ka palju praktilisemaid ettekandeid, nagu Alex Petrovi ettekanded, kes panustab Cassandra'sse, või Roman Elizarov JetBrainsist. Seal on ka Martin Kleppmann, kes kunagi tegi ja müüs start-up'e, kuid nüüd uurib Cambridge'i Ülikoolis CRDT-d. Kuid kõige huvitavam on see, et Hydra ja SPTDC toimuvad kõrvuti — neil on erinevad ettekanded, kuid sama koht suhtlemiseks.

Süvenemine

Viie järjestikuse päeva jooksul toimuvad koolid on suur sündmus ja suur koormus nii osalejatele kui ka korraldajatele. Viimaste päevadeni ei jõudnud kõik. Oli neid, kes osalesid samal ajal nii Hüdra kui ka Koolis, ja nende jaoks olid viimased päevad kõige intensiivsemad. Kõik see sagimine kompenseeritakse uskumatult sügava süvenemisega. See on seotud mitte ainult mahtude, vaid ka materjalide kvaliteediga. Kõik ettekanded ja loengud mõlemal üritusel ei olnud planeeritud lihtsalt sissejuhatavateks, seega kuhu iganes sa ka ei läheks — sukeldud kohe sügavale ja kaugele ning ei vabane sellest enne lõppu.

Muidugi sõltub kõik palju osalejate ettevalmistusest. Oli naljakas hetk, kui kaks seltskonda inimesi koridoris iseseisvalt arutasid Heidi Howard'i ettekannet: ühtedele tundus see täiesti tavaline, teised aga jäid tõeliselt elu üle mõtlema. Huvitav on see, et programmikomiteede ( kelle nimed jäid teadmata) osalejate väitel, võisid Gidra ettekanded ja Koolide loengud nende üritustel olla overqualified. Näiteks kui PHP-kooli tuli õppima PHP-junior, oleks olnud veidi kergeusklik eeldada, et tal on sügavad teadmised Zend Engine'i sisust. Siin ei toitnud esinejad algajaid lusikaga, vaid eeldasid kohe kindlat teadmiste ja arusaamise taset. Ja tõepoolest on osalejate tase, kes kasutavad jaotatud süsteeme ja kirjutavad runtime'i keskosi, väga kõrge, see on loogiline. Osalejate reaktsiooni põhjal oli endale tasemelt ja teemalt sobiva ettekande leidmine üsna lihtne.

Kui rääkida konkreetsetest ettekannetest, siis kõik need olid omamoodi head. Inimeste kirjutatu ja tagasiside põhjal oli üheks parimaks ettekandeks Koolis «Nonblocking data structures» Michael Scotti oma, ta lihtsalt hävitas kõik, tal on ebanormaalne reiting umbes 4.9.

Metakonverents

Kaua enne Hydra ja Koolituse algust, Ruslan ARG89 arvas, et võiks tekkida mingi «metakonverents» — konverentside konverents, kuhu automaatselt, nagu musta auku, tõmmatakse kõik tipposalised teistelt üritustelt. Nii see juhtuski! Näiteks oli Koolis kuulajate seas märgatud Ruslan Cheryomin DeutscheBankist, tuntud spetsialist mitme lõime osas.

Ja Hydra osalejatest olid märgatud Vadim Tsetsko (incubos) ja Andrei Panygin (apangin) ettevõttest Odnoklassniki. (Samuti aitas Vadim meil teha kaks suurepärast intervjuud Martin Kleppmani ja üks Habra jaoks, ja teine — veebiteleskoobi vaatajatele). Osalesid DotNext programmis, tuntud ettekandjad Anatoli Kulakov ja Igor Labutin. Java arendajatest olid Dmitri Alexandrov ja Vladimir Ivanov. Tavaliselt näed neid inimesi täiesti erinevates kohtades — .NET arendajad DotNext'l, Java arendajad Joker'il ja nii edasi. Ja nüüd istuvad nad kõrvuti Hiire ettekannetes, arutades probleemide üle boffides. Kui see pisut kunstlik jagunemine programmeerimiskeelte ja tehnoloogiate järgi kaob, ilmnevad valdkonna eripärad: dünaamiliste jooksuaegade spetsialistid suhtlevad teiste jooksuaegade specialistidega, jaotatud arvutuste teooria uurijad arutlevad tuliselt teiste uurijatega, andmebaasi mootorite insenerid okupeerivad markeritahvli ning nii edasi.

Ettekandel C++ mälu mudeli kohta Esimeses reas istusid OpenJDK arendajad (vähemalt neid, keda ma tunnen, ja Python-i arendajad võivad seal olla). Tegelikult on selles ettekandes midagi sellist, mis meenutab Shpiljovi lähenemist... Ori räägib mitte täpselt sama, kuid tähelepanelik vaataja võib märkida paralleele. Isegi pärast kõike, mis viimastes C++ standardites juhtus, nagu näiteks „õhust väärtuste” probleemid, pole neid siiani lahendatud, ja sellisele ettekandele minnes sai kuulata, kuidas „teiselt poolelt barrikaadi” inimesed proovivad neid probleeme parandada, kuidas nad arutlevad ja kuidas muljet avaldas leitud lahenduste lähenemine (Oril on üks võimalik lahendus).

Osalejaid programmakomisjonidest ja kogukonna liikumistest oli väga palju. Kõik lahendasid oma interkonfessionaalseid probleeme, ehitasid sildu ja said uute suhetega rikkamaks. Mina kasutasin seda, kus sain, näiteks leppisime kokku Aleksander Borgardti Moscow C++ User Group koos kirjutama ulatuslikku artiklit aktooride ja asünkroonsuse kohta C++-s.

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

Tulevikudiskussiooni alad ja BOF-id

Konverentsidel on alati osalejaid, kes tunnevad teemat sama hästi kui esinejad (ja mõnikord isegi paremini — näiteks, kui osalejate seas on mõni tehnoloogia põhijụhkuja). Hüdral oli palju selliseid kõrgelt kvalifitseeritud osalejaid. Näiteks, mingil hetkel kogunes Alex Petrov, rääkides Cassandra, ümber nii palju inimesi, et ta ei suutnud kõigile vastata. Ühel hetkel suruti Alex sujuvalt kõrvale ja teda hakati küsimustega pommitama, kuid laskuv lipp haaras tuntud Rust-arendaja Tyler Neely ja tasakaalus koormust suurepäraselt. Kui palusin Tyleril aidata online-intervjuuga, küsis ta vaid: "Millal alame?"

Diskussioonihimu tungis aeg-ajalt isegi esitlusse: Nikita Koval korraldas ootamatu Q&A-seansi, jagades esitluse mitmeks osaks.

Ja vastupidi, multiteemalisuse BOF-is meenutati non-volatile mälu, ja sellele BOF-ile tõmmati Pedro Ramalhete peamiseks spetsialistiks, ja ta selgitas kõigile kõik (lühemalt, energiat mittekaotav mälu ei ohusta meid lähitulevikus). Ühe BOF-i juhiks, muide, oli Vladimir Sitnikov, mis osaleb mingite meeletute konverentside programmikomisjonides... tundub, et praegu on neid korraga viis. Kõrvalolevalt BOF-l „Modern CS realistas” arutati samuti NVM-i ning jõuti sellele täiesti iseseisvalt.

Võin jagada super-sisese teavet, mida isegi osalised ajaloos ei märganud. Eli Gafni esines esimese päeva õhtul ja järgmisel päeval jäi ta ning hakkas Lamportit torkima, ning esmapilgul näis, et see on hull ja Eli on ebamugav. Tundus, et tegemist on mingisuguse trolliga, kelle eesmärgiks on Leslie'lt ajusid välja vedada. Tegelikult on nad üksteise parimad sõbrad, on sõbralikud aastaid ning see on lihtsalt sõbralikud naljad. Nii et nalja peale läksid kõik ümber ja võtsid selle puhta mündina.

Erilist tähelepanu väärib ka see, kui palju armastust ja jõudu on esinejad sellesse ettekandesse pannud. Keegi seisis arutelu alal viimase hetkeni, peaaegu tundide viisi. Vaheajad olid juba ammu läbi, ettekanded algasid, lõppesid, algasid järgmised vaheajad - ja Dmitri Vjuhov Jätkasin küsimustele vastamist. Minuga juhtus ka huvitav lugu — üllatades Cliff Clikat, sain ma mitte ainult selge ja loogilise selgituse selle provokatiivse arutelu kohta testide puudumise üle teatud asjade kohta H2O, vaid sain ka täieliku ülevaate tema uuest AA keelest. I never asked for this: küsisin lihtsalt, mida AA kohta lugeda võiks (selgus, et kuulema peab podcast), ja selle asemel kulutas Cliff pool tundi, et rääkida keele kohta ja veenduda, et räägitut on õigesti mõistetud. Imeline. Tuleb kirjutada Habrapost AA-st. Veel üks ebatavaline kogemus — jälgida Kotlinis pull request’i ülevaatamise protsessi. See on tõeliselt maagiline tunne — kui lähed erinevatesse arutelu gruppidesse, erinevatele räägijatele ja sukeldud täiesti uude maailma. See on midagi tasemel „There, There” Radioheadilt.

Inglise keel

Hydra 2019 – meie esimene konverents, mille peamine keel on inglise keel. See toob kaasa nii eeliseid kui ka väljakutseid. Ilmselge eelis on see, et konverentsile tulevad inimesed mitte ainult Venemaalt, seega võib osalejate seas kohtuda inseneridega Euroopast ja teadlastega Inglismaalt. Esinejad toovad kaasa oma õpilased. Oluliselt tuntud esinejatel on palju suurem motivatsioon sellisel konverentsil osaleda. Kujutage ette, et olete esineja täielikult venekeelses konverentsis: olete esitanud oma ettekande, osalenud arutelude alal ja mis siis edasi? Ringreis linnas ja turismiobjekte vaatama? Tegelikult on tõeliselt populaarsed esinejad juba kõike näinud ja nad ei taha tulla vaatama lõvisid ja tõstetavaid sildasid; see on neile igav. Kui aga kõik ettekanded on inglise keeles, saavad nad osaleda konverentsil võrdsetel alustel, nautida seda, osaleda arutelude aladel jne. Õhkkond on esinejate vastu üsna sõbralik.

Ilmselgelt on miinus see, et mitte kõik ei tunne end inglise keeles suhtlemisel mugavalt. Paljud mõistavad seda hästi, kuid räägivad halvasti. Üldiselt on tegemist tavaliste asjadega, millega on erinevalt tegeletud. Näiteks algasid mõned arutelud vene keeles, kuid lülitusid koheselt inglise keelele, kui esimesed inglise keelt kõnelevad osalejad ilmusid.

Mina pidin tegema avamise ja sulgemise otseülekandeid ainult inglise keeles ning osalema paaris intervjuus ekspertidega salvestamise jaoks. See oli minu jaoks tõeline väljakutse, mis ei jää peagi unustusse. Ühel hetkel ütles Oleg Anastasyev (m0nstermind) lihtsalt, et ma peaksin nende seas intervjuul olema, ja ma mõistsin liiga aeglaselt, mida see tähendab.

Teiselt poolt on väga tore, et publiku seas küsiti ettekannete ajal innukalt küsimusi. Mitte ainult emakeele rääkijad, vaid ka kõik teised, see toimis hästi. Teistel konverentsidel on sageli näha, et inimesed häbenevad saalis küsida küsimusi katkenud inglise keeles ja suudavad midagi välja öelda ainult arutelupiirkonnas. Siin oli see täiesti teistmoodi. Ütleme nii, et mõni Cliff Click lõpetas ettekanded veidi varem ja pärast seda järgnesid küsimused pidevas voos, vestlus liikus arutelupiirkonda — ilma kohmakate pauside ja katkestusteta. Sama kehtib ka Leslie Lamporti Q&A sessiooni kohta, juht pidi praktiliselt oma küsimusi esitama, kõik mõtlesid välja osalejad.

Oli igasuguseid pisiasju, mida vähe keskkonnas märkab, kuid need on olemas. Kuna konverents on ingliskeelne, on selliste asjade nagu brošüüride ja kaartide disain kergem ja lakoonilisem. Ei ole vajadust keelt dubleerida ja disaini koormata.

Sponsorid ja näitus

Meie sponsorid aitasid konverentsi loomisel väga. Tänu neile oli pauside ajal alati, millega tegeleda.

Stendil Deutsche Banki Tehnoloogiakeskus oli võimalus suhelda mitmeprotsessiliste süsteemide inseneridega, lahendada nende ülesandeid "peast", võita mälestusauhindasid ja lihtsalt meeldivalt aega veeta.

Stendil Kontuur oli võimalus rääkida oma süsteemidest, nii avatud kui ka avatud lähtekoodiga: jaotatud in-memory andmebaas, jaotatud binaarlogi, mikroteenuste orkestreerimise süsteem, universaalne transpordiviis telemeetria jaoks ja nii edasi. Loomulikult olid olemas ülesanded ja konkursid, vinüülkleebised binaarse kassi ja Keskaegse Patuemaga, kingitused nagu Mart Kleppmani raamat ja LEGO figuurid.

Pange tähele, et Kontuuri ülesannete analüüs on juba avaldatud Habr's. Analüüs on hea, tasub vaadata.

Soovijad said osta erinevaid raamatuid ja arutada neid kolleegidega. Autogrammisessioonile kogunes terve rahvahulk!

Kokkuvõte

Hydra konverents ja SPTDC kool toimuvad meie jaoks väga oluliste sündmustena, mitte ainult korraldajana, vaid ka kogu kogukonna jaoks. See on võimalus heita pilk meie tulevikule, luua ühine mõisted, et arutada kaasaegseid probleeme ja tähelepanu pöörata huvitavatele suundadele. Mitme lõime kasutamine on alguse saanud juba ammu, kuid tõeliselt mitme tuumalise protsessori ilmumise järel kulus terve kümnend, et nähtusest saaks massiline. Need mõtted, mida me nädal aega kuulime esitluste käigus, pole pelgalt mööduvad uudised, vaid tee valgustatud tulevikku, mida me lähiaastatel järgime. Selles postituses ei avalikustata järgmise Hydra kohta mingeid saladusi, kuid võib loota kõige paremat. Kui teid huvitavad sellised probleemid, siis tasub tutvuda ka teiste meie üritustega, nagu intensiivsed ettekanded konverentsidel. Joker 2019 või DotNext 2019 Moskvas. Kohtume järgmistel konverentsidel!

Allikas: habr.com