Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Pred kratkim, od 8. do 12. julija, sta hkrati potekala dva pomembna dogodka – konferenca Hydra in šola SPTDC. V tem prispevku bi rad izpostavil nekaj značilnosti, ki smo jih opazili med konferenco.

Največji ponos Hidre in Šole so zvočniki.

  • Trije nagrajenci Dijkstra nagrade: Leslie Lamport, Maurice Herlihy in Michael Scott. Poleg tega ga je Maurice prejel dvakrat. Prejela je tudi Leslie Lamport Turingovo nagrado — najprestižnejša nagrada ACM v računalništvu;
  • Ustvarjalec Java JIT prevajalnika je Cliff Click;
  • Razvijalci Corutina - Roman Elizarov (elizarov) in Nikita Koval (ndkoval) za Kotlin in Dmitry Vyukov za Go;
  • Sodelujoči pri Cassandri (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda in Vladislav Kuznetsov);
  • In mnogi drugi znani ljudje: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (pomnilniški model C++), Pedro Ramalhete (podatkovne strukture brez čakanja), Alexey Zinoviev (ML), Dmitry Bugaichenko (analiza grafov).

In to je že Šola:

  • Univerza Brown (Maurice Herlihy),
  • Univerza Rochester (Michael Scott),
  • Univerza Waterloo (Trevor Brown),
  • Univerza v Nantesu (Achour Mostefaoui),
  • Univerza David Ben-Gurion v Negevu (Danny Hendler),
  • Kalifornijska univerza v Los Angelesu (Eli Gafni),
  • Pariški politehnični institut (Petr Kuznecov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Teorija in praksa, znanost in proizvodnja

Naj vas spomnim, da je šola SPTDC majhen dogodek za sto in pol ljudi, tam se zbirajo svetilke svetovnega razreda in govorijo o sodobnih vprašanjih na področju porazdeljenega računalništva. Hydra je dvodnevna konferenca o porazdeljenem računalništvu, ki poteka vzporedno. Hydra se bolj osredotoča na inženiring, medtem ko je School bolj na znanstvenega.

Eden od ciljev konference Hydra je združiti znanstvena in inženirska načela. Po eni strani je to doseženo z izborom poročil v programu: poleg Lamporta, Herlihyja in Scotta je veliko več aplikativnih poročil Alexa Petrova, ki sodeluje pri Cassandri, ali Romana Elizarova iz JetBrains. Tu je Martin Kleppman, ki je nekoč gradil in prodajal startupe, zdaj pa študira CRDT na univerzi Cambridge. Toda zanimivo je, da sta Hydra in SPTDC drug ob drugem - imata različna poročila, a skupno mesto za komunikacijo.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Potopitev

Pet dni Šole zapored je zelo velik dogodek in veliko dela, tako za udeležence kot za organizatorje. Vsi niso dočakali zadnjih dni. Bili so tisti, ki so šli v Hidro in šolo hkrati, zanje pa so bili zadnji dnevi najbolj pestri. Ves ta hrup je izravnan z neverjetno globoko potopitvijo. To je posledica ne samo količine, ampak tudi kakovosti materiala. Vsa poročila in predavanja na obeh dogodkih niso bila uvodna, zato kamorkoli greš, se takoj potopiš daleč in globoko in te ne izpustijo do samega konca.

Seveda je veliko odvisno od začetne priprave udeleženca. Bil je smešen trenutek, ko sta dve skupini ljudi na hodniku neodvisno razpravljali o poročilu Heidi Howard: nekaterim se je zdelo povsem običajno, medtem ko so drugi, nasprotno, globoko razmišljali o življenju. Zanimivo je, da bi po mnenju udeležencev programskih odborov (ki so želeli ostati neimenovani) Hydrina poročila in predavanja Šole na njihovih prireditvah lahko prekvalificirali. Na primer, če je mladinec PHP prišel na konferenco PHP, da bi se naučil življenja, bi bilo malo nepremišljeno domnevati, da ima globoko znanje o notranjosti motorja Zend. Pri tem govorci mladincem niso dali na žlico, ampak so takoj implicirali določeno stopnjo znanja in razumevanja. No, res je raven udeležencev, ki upravljajo porazdeljene sisteme in pišejo izvajalna jedra, zelo visoka, to je logično. Po odzivu udeležencev je bilo glede na stopnjo in temo precej enostavno izbrati poročilo.

Če govorimo o konkretnih poročilih, so bila vsa dobra na svoj način. Sodeč po tem, kar ljudje pravijo in kar je razvidno iz obrazca za povratne informacije, je bilo eno najbolj kul poročilo na Šoli "Neblokirne podatkovne strukture" Michael Scott, prav vse je raztrgal, ima nenormalno oceno okoli 4.9.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Metakonferenca

Dolgo pred začetkom Hidre in šole, Ruslan ARG89 predvideval, da bo prišlo do nekakšne »metakonference« - konference konferenc, kamor bodo avtomatsko posrkani vsi vrhunski udeleženci drugih dogodkov, kot v črno luknjo. In tako se je zgodilo! Na primer, med študenti šole je bilo opaziti Ruslan Čeremin iz DeutscheBank, znanega strokovnjaka za večnitnost.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

In člani Hydra so bili opaženi Vadim Cesko (incubi) In Andrej Pangin (apangin) podjetja Odnoklassniki. (Hkrati nam je Vadim pomagal narediti tudi dva odlična intervjuja z Martinom Kleppmanom - ena za Habr, drugi pa za gledalce spletnega prenosa). Člani so bili Programski odbor DotNext, znana govornika Anatolij Kulakov in Igor Labutin. Od Javistov je bilo Dmitrij Aleksandrov и Vladimir Ivanov. Običajno te ljudi vidite na popolnoma različnih mestih - dotnetisti na DotNext, javaisti na Jokerju itd. In tako sedijo drug ob drugem pri poročilih Hydra in skupaj razpravljajo o težavah na ljubiteljih. Ko ta rahlo umetna delitev po programskih jezikih in tehnologijah izgine, se pojavijo značilnosti predmetnega področja: specialisti za dinamično izvajanje komunicirajo z drugimi izvajalci, raziskovalci teorije porazdeljenega računalništva se vneto prepirajo z drugimi raziskovalci, inženirji mehanizmov baz podatkov se gnetejo na tabli in tako naprej .

Pri poročilu po pomnilniškem modelu C++ razvijalci OpenJDK so sedeli v prvi vrsti (vsaj jaz jih poznam na pogled, ne pa pythonists, morda so bili tudi pythonisti tam). Pravzaprav je nekaj tako šipilevskega v tem poročilu ... Ori ne pove popolnoma iste stvari, vendar pazljiv pogled lahko odkrije vzporednice. Tudi po vsem, kar se je zgodilo v najnovejših standardih C++, težave, kot so vrednosti iz nič, še vedno niso bile odpravljene, zato bi lahko šli k takemu poročilu in poslušali, kako so ljudje "na drugi strani barikade" poskušajo odpraviti te težave. Kot pravijo, bi bili lahko navdušeni nad pristopi k najdeni rešitvi (Ori ima eno od možnosti popravka).

Bilo je veliko udeležencev v programskih odborih in motorjih skupnosti. Vsak je reševal svoje medverske probleme, gradil mostove in se povezoval. To sem uporabil povsod, kjer sem lahko, in smo se na primer dogovorili z Alexandrom Borgardtom iz Moskovska uporabniška skupina C++ skupaj napišeta obsežen članek o akterjih in asinhronosti v C++.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Na fotografiji: Leonid Talalaev (ltalal, levo) in Oleg Anastasyev (m0nstermind, desno), vodilni razvijalci pri Odnoklassniki

Ognjene razpravne cone in ljubitelji

Na konferencah so vedno udeleženci, ki zadevo poznajo tako dobro kot govorci (in včasih celo bolje kot govorci – na primer, ko je med udeleženci razvijalec jedra neke tehnologije). Na Hydri je bilo veliko takih visoko strokovnih udeležencev. Na primer, na neki točki okrog Alex Petrov pripoveduje o Cassandri, nastalo je toliko ljudi, da vsem ni mogel odgovoriti. V nekem trenutku je Alexa gladko potisnilo na stran in začelo ga je razdirati z vprašanji, toda padajočo zastavico je pobral znani razvijalec Rust v krogih Tyler Neely in popolno uravnoteženo obremenitev. Ko sem Tylerja prosil za pomoč pri spletnem intervjuju, je vse, kar je vprašal, bilo: "Kdaj začnemo?"

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Včasih se je duh razprave celo prebil v poročila: Nikita Koval je organiziral nenadno sejo vprašanj in odgovorov, ki je poročilo razdelila na več delov.

In obratno, na BOF za večnitnost so se spomnili na obstojni pomnilnik, pritegnil jih je ta bof Pedro Ramalhete kot glavni specialist in je vsem vse razložil (skratka, obstojni pomnilnik nam v bližnji prihodnosti ne grozi). Mimogrede, eden od gostiteljev tega bofa je bil Vladimir Sitnikov, ki je član programskih odborov nekega norega števila konferenc... zdi se, kot da jih je pet naenkrat. Pri naslednjem buffu o “Modern CS in real world” so razpravljali tudi o NVM in do tega prišli popolnoma sami.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Lahko delim super-vpogled, ki ga niti tisti, ki so neposredno vpleteni v zgodbo, morda ne bi opazili. Eli Gafni je nastopil na večer prvega dne Šole, naslednji dan pa je ostal in začel trolati Lamporta, od zunaj pa se je zdelo, da je to igra in da je Eli neprimeren. Da je to nekakšen trol, ki se je namenil Leslieju vzeti možgane. Pravzaprav je dejstvo, da sta skoraj najboljša prijatelja, prijateljujeta že vrsto let, to pa je samo tako prijateljsko norčevanje. To pomeni, da je šala delovala - vsi ljudje okoli so padli nanjo, jo vzeli za nominalno vrednost.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Ločeno bi rad omenil, koliko ljubezni in truda so govorci vložili v to. Nekdo je stal v razpravnem prostoru do zadnje minute, skoraj ure. Odmor se je že zdavnaj končal, poročilo se je začelo, končalo, začel se je naslednji odmor - in Dmitrij Vjukov nadaljeval z odgovarjanjem na vprašanja. Zgodila se mi je tudi zanimiva zgodba - ko sem presenetil Cliff Click, sem prejel ne le jasno in razumno razlago tiste provokativne razprave o pomanjkanju testov za nekatere stvari v H2O, vendar sem dobil tudi popoln pregled tega nov jezik AA. Tega nisem nikoli zahteval: samo vprašal sem, kaj lahko preberete o AA (izkazalo se je, da znate poslušati podcast), Cliff pa se je namesto tega pol ure pogovarjal o jeziku in preverjal, ali je tisto, kar je povedal, pravilno razumel. Čudovito. Moramo napisati habrapost o AA. Druga nenavadna izkušnja je bilo opazovanje postopka pregleda zahteve za vlečenje v Kotlinu. Res je čaroben občutek, ko vstopiš v različne diskusijske skupine, različne govorce in se potopiš v popolnoma nov svet. To je nekaj na nivoju "There, There" od Radiohead.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Angleški jezik

Hydra 2019 je naša prva konferenca, kjer je glavni jezik angleščina. To prinaša svoje prednosti in izzive. Očitna prednost je, da ljudje na konferenco ne prihajajo samo iz Rusije, tako da lahko med udeleženci srečate inženirje iz Evrope in znanstvenike iz Anglije. Govorci pripeljejo svoje učence. Na splošno imajo pomembni govorci veliko večjo motivacijo, da gredo na tako konferenco. Predstavljajte si, da ste govornik na popolnoma rusko govoreči konferenci: podali ste svoje poročilo, zagovarjali področje razprave in kaj potem? Potovati po mestu in obiskovati turistične točke? Pravzaprav so res popularni govorci videli že dovolj vsega na svetu, nočejo iti gledat levov in dvižnih mostov, dolgčas jim je. Če so vsa poročila v angleščini, lahko na konferenci sodelujejo na splošni osnovi, se zabavajo, se pridružijo razpravnim področjem itd. Vzdušje je do govorcev precej prijazno.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Očitna pomanjkljivost je, da se vsi ne znajo udobno sporazumevati v angleščini. Mnogi razumejo dobro, govorijo pa slabo. Na splošno navadne stvari, ki so bile rešene na različne načine. Na primer, nekatera področja razprave so se začela v ruščini, vendar so takoj prešla na angleščino, ko se je pojavil prvi angleško govoreči udeleženec.

Sam sem moral uvodne in zaključne vključitve spletne oddaje izvesti izključno v angleščini in sodelovati v parih posnetih intervjujih s strokovnjaki. In to je bil zame pravi izziv, ki ga ne bom kmalu pozabil. V nekem trenutku Oleg Anastasyev (m0nstermind) mi je preprosto rekel, naj med intervjujem sedim z njimi, in bil sem prepočasen, da bi razumel, kaj to pomeni.

Po drugi strani pa je bilo zelo prijetno, da so ljudje na poročilih spraševali s pokom. Ne samo materni govorci, ampak vsi na splošno, dobro je delovalo. Na drugih konferencah je pogosto videti, da je ljudem nerodno postavljati vprašanja občinstvu v polomljeni angleščini in lahko le nekaj iztisnejo v prostoru za razpravo. Tukaj je bilo popolnoma drugače. Relativno povedano, je neki Cliff Click svoja poročila končal malo prej, potem pa so se v neprekinjenem zaporedju vrstila vprašanja, pogovor je prešel v razpravo - brez nerodnih premorov in prekinitev. Enako velja za sejo vprašanj in odgovorov Leslie Lamport; voditelju praktično ni bilo treba postavljati vprašanj, udeleženci so se domislili vsega.

Bile so vse mogoče malenkosti, ki jih malokdo opazi, a obstajajo. Ker je konferenca v angleščini, je oblikovanje letakov in zemljevidov lažje in bolj jedrnato. Ni potrebe po podvajanju jezikov in neredu dizajna.

Sponzorji in razstava

Pri nastajanju konference so nam veliko pomagali naši sponzorji. Po njihovi zaslugi je bilo med odmori vedno kaj početi.

Na stojnici Tehnični center Deutsche Bank lahko klepetate z inženirji večnitnih sistemov, rešujete njihove težave kar iz glave, osvojite nepozabne nagrade in se preprosto zabavate.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Na stojnici Kontura lahko bi govorili o njihovih lastnih sistemih, tako odprtih kot odprtokodnih: porazdeljena baza podatkov v pomnilniku, porazdeljeni binarni dnevnik, sistem za orkestracijo mikrostoritev, univerzalni transport za telemetrijo itd. In seveda uganke in tekmovanja, nalepke z binarno mačko in trpečim srednjim vekom, darila, kot je knjiga Martina Kleppmanna in LEGO figure.

Upoštevajte, da je analiza težav Kontur že objavljen na Habréju. Dobra analiza, vredna ogleda.

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Kdor je želel, je lahko kupil vse vrste knjig in se o njih pogovarjal s kolegi. Na podpisih se je zbrala cela množica!

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Rezultati

Konferenca Hydra in šola SPTDC sta zelo pomembna dogodka za nas kot podjetje organizatorja in za celotno skupnost. To je priložnost, da pogledamo v našo prihodnost, razvijemo enoten konceptualni okvir za obravnavo sodobnih problemov in pobližje pogledamo zanimive smeri. Večnitnost je prisotna že zelo dolgo, a po pojavu prvega zares večjedrnega procesorja je trajalo celo desetletje, da se je pojav razširil. To, kar smo ta teden slišali na poročilih, ni bežna novica, ampak pot v svetlo prihodnost, ki ji bomo sledili v prihodnjih letih. V tej objavi ne bo nobenih spojlerjev za naslednjo Hydro, vendar lahko upate na najboljše. Če vas zanimajo takšna vprašanja, si boste morda želeli ogledati naše druge dogodke, kot so trdi konferenčni pogovori Joker 2019 ali DotNext 2019 Moskva. Se vidimo na naslednjih konferencah!

Trije dobitniki nagrade Dijkstra: kako sta potekala Hydra 2019 in SPTDC 2019

Vir: www.habr.com

Dodaj komentar