Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Nedavno su se, od 8. do 12. srpnja, istovremeno održala dva značajna događaja – konferencija Hidra i škola SPTDC. U ovom postu želio bih istaknuti nekoliko značajki koje smo uočili tijekom konferencije.

Najveći ponos Hidre i Škole su zvučnici.

  • Tri laureata Dijkstra nagrade: Leslie Lamport, Maurice Herlihy i Michael Scott. Štoviše, Maurice ju je dobio dvaput. Dobila je i Leslie Lamport Turingovu nagradu — najprestižnija ACM nagrada u informatici;
  • Tvorac Java JIT prevoditelja je Cliff Click;
  • Programeri Corutina - Roman Elizarov (elizarov) i Nikita Koval (ndkoval) za Kotlin i Dmitry Vyukov za Go;
  • Suradnici Cassandre (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda i Vladislav Kuznetsov);
  • I mnoge druge poznate osobe: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ memorijski model), Pedro Ramalhete (strukture podataka bez čekanja), Alexey Zinoviev (ML), Dmitry Bugaichenko (analiza grafova).

A ovo je već Škola:

  • Sveučilište Brown (Maurice Herlihy),
  • Sveučilište Rochester (Michael Scott),
  • Sveučilište Waterloo (Trevor Brown),
  • Sveučilište u Nantesu (Achour Mostefaoui),
  • Sveučilište David Ben-Gurion u Negevu (Danny Hendler),
  • Kalifornijsko sveučilište u Los Angelesu (Eli Gafni),
  • Politehnički institut u Parizu (Petr Kuznjecov),
  • Microsoftovo istraživanje (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Teorija i praksa, znanost i proizvodnja

Dopustite mi da vas podsjetim da je SPTDC škola mali događaj za stotinjak i pol ljudi, tamo se okupljaju svjetske ličnosti i govore o suvremenim problemima u području distribuiranog računarstva. Hydra je dvodnevna konferencija o distribuiranom računalstvu koja se održava paralelno. Hydra ima više inženjerski fokus, dok je Škola više znanstveni.

Jedan od ciljeva Hydra konferencije je spajanje znanstvenih i inženjerskih principa. S jedne strane, to se postiže odabirom reportaža u programu: uz Lamporta, Herlihyja i Scotta, mnogo su primijenjenije reportaže Alexa Petrova, koji surađuje s Cassandrom, ili Romana Elizarova iz JetBrainsa. Tu je Martin Kleppman, koji je gradio i prodavao startupe, a sada studira CRDT na Sveučilištu Cambridge. Ali super je to što se Hydra i SPTDC drže jedan pored drugog - imaju različita izvješća, ali zajedničko mjesto za komunikaciju.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Uranjanje

Pet dana Škole za redom je vrlo velik događaj i puno posla, kako za sudionike tako i za organizatore. Nisu svi doživjeli posljednje dane. Bilo je onih koji su išli u Gidru i Školu istovremeno, a za njih su posljednji dani bili najbogatiji. Sva ova strka nadoknađena je nevjerojatno dubokim uranjanjem. To nije samo zbog volumena, već i zbog kvalitete materijala. Sva izvješća i predavanja na oba događanja nisu bila uvodna, tako da gdje god kreneš, odmah zaroniš daleko i duboko, i ne puštaš te do samog kraja.

Naravno, puno ovisi o početnoj pripremi sudionika. Dogodio se smiješan trenutak kada su dvije skupine ljudi u hodniku neovisno o sebi raspravljale o izvješću Heidi Howard: nekima se to činilo posve običnim, dok su drugi, naprotiv, duboko razmišljali o životu. Zanimljivo je da bi se, prema mišljenju sudionika programskih odbora (koji su željeli ostati anonimni), Hidrini izvještaji i predavanja Škole na njihovim događanjima mogli prekvalificirati. Na primjer, ako je PHP junior došao na PHP konferenciju kako bi naučio život, bilo bi malo nepromišljeno pretpostaviti da on ima duboko znanje o unutrašnjosti Zend Enginea. Ovdje govornici nisu mlatili juniore, nego su odmah implicirali određenu razinu znanja i razumijevanja. Pa, doista, razina sudionika koji upravljaju distribuiranim sustavima i pišu runtime kernele je vrlo visoka, to je logično. Sudeći prema reakcijama sudionika, bilo je prilično lako odabrati izvješće prema razini i temi.

Ako govorimo o konkretnim izvješćima, sva su bila dobra na svoj način. Sudeći prema onome što ljudi govore i što se vidi iz obrasca za povratne informacije, jedan od najcool izvještaja na Školi je bio "Neblokirajuće strukture podataka" Michael Scott, baš je sve rasturio, ima abnormalnu ocjenu oko 4.9.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Metakonferencija

Mnogo prije početka Hidre i škole, Ruslan ARG89 pretpostavio da će postojati nekakva “meta-konferencija” - konferencija konferencija, u koju će automatski biti uvučeni svi vrhunski sudionici drugih događanja, kao u crnu rupu. I tako se dogodilo! Primjerice, među učenicima Škole zapaženo je Ruslan Čeremin iz DeutscheBank, poznatog stručnjaka za multithreading.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

I od članova Hidre su zapaženi Vadim Cesko (inkubi) I Andrej Pangin (apangin) iz tvrtke Odnoklassniki. (Istovremeno, Vadim nam je također pomogao napraviti dva izvrsna intervjua s Martinom Kleppmanom - jedan za Habr, a drugi za gledatelje online prijenosa). Bilo je članova Programski odbor DotNext, poznati govornici Anatolij Kulakov i Igor Labutin. Od Javista je bilo Dmitrij Aleksandrov и Vladimir Ivanov. Obično te ljude vidite na potpuno različitim mjestima - dotnetisti na DotNext, javaisti na Jokeru i tako dalje. I tako sjede jedan do drugoga na izvještajima Hydra i zajedno raspravljaju o problemima na buffovima. Kada ova pomalo umjetna podjela po programskim jezicima i tehnologijama nestane, pojavljuju se značajke predmetnog područja: stručnjaci za dinamičko vrijeme izvođenja komuniciraju s drugim izvođačima vremena, istraživači teorije distribuiranog računalstva žestoko raspravljaju s drugim istraživačima, inženjeri sustava baze podataka gomilaju se na ploči, i tako dalje .

Na raportu prema C++ memorijskom modelu OpenJDK developeri su sjedili u prvom redu (bar ih poznajem iz viđenja, ali ne i Pythoniste, možda su i Pythonisti bili tamo). Zapravo, u ovom izvješću ima nečeg šipilevskog... Ori ne govori baš isto, ali pažljivim pogledom mogu se uočiti paralele. Čak i nakon svega što se dogodilo u najnovijim C++ standardima, problemi kao što su izvanredne vrijednosti još uvijek nisu riješeni, pa ste mogli otići na takvo izvješće i poslušati kako su ljudi "s druge strane barikade" pokušavaju riješiti te probleme. Kako oni razmišljaju, netko bi mogao biti impresioniran pristupima pronađenom rješenju (Ori ima jednu od opcija popravka).

Bilo je puno sudionika u programskim odborima i motorima zajednice. Svatko je rješavao svoje međuvjerske probleme, gradio mostove, povezivao se. Ovo sam koristio gdje god sam mogao, a npr. dogovorili smo se s Alexanderom Borgardtom iz Moskovska C++ korisnička grupa zajedno napišite potpuni članak o akterima i asinkroniji u C++.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Na fotografiji: Leonid Talalaev (ltalal, lijevo) i Oleg Anastasyev (m0nstermind, desno), vodeći programeri u Odnoklassniki

Vatrene zone za raspravu i buffove

Na konferencijama su uvijek prisutni sudionici koji temu poznaju jednako dobro kao i govornici (a ponekad i bolje od govornika – npr. kada je među sudionicima razvijač jezgre neke tehnologije). Na Hydri je bilo puno takvih visoko stručnih sudionika. Na primjer, u nekom trenutku oko Alex Petrov priča o Kasandri, stvorilo se toliko ljudi da nije mogao svima odgovoriti. U nekom trenutku, Alex je glatko gurnut u stranu i počeo je biti razdiran pitanjima, ali zastavicu koja je pala pokupio je dobro poznati Rust programer u krugovima Tyler Neely i savršeno izbalansirao teret. Kad sam zamolio Tylera za pomoć s online intervjuom, sve što je pitao bilo je: "Kada počinjemo?"

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Ponekad se duh rasprave probijao iu izvješća: Nikita Koval organizirao je iznenadnu sesiju pitanja i odgovora, podijelivši izvješće u nekoliko dijelova.

I obrnuto, na BOF-u za multi-threading sjetili su se postojane memorije, privukao ih je ovaj bof Pedro Ramalhete kao glavni specijalist, i svima je sve objasnio (ukratko, trajna memorija nam ne prijeti u bliskoj budućnosti). Jedan od domaćina ovog bofa je, inače, bio Vladimir Sitnikov, koji služi u programskim odborima nekog ludog broja konferencija... sada se čini kao pet odjednom. Na sljedećem buffu o “Modernom CS-u u stvarnom svijetu” također su raspravljali o NVM-u i došli do ovoga potpuno sami.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Mogu podijeliti super-uvid koji čak ni oni koji su izravno uključeni u priču možda nisu primijetili. Eli Gafni je nastupio navečer prvog dana Škole, a sutradan je ostao i počeo trolati Lamporta, a izvana se činilo da je to igra i da je Eli neadekvatan. Da je ovo nekakav trol koji je krenuo Leslieju izvaditi mozak. Zapravo, činjenica je da su gotovo najbolji prijatelji, prijatelji su dugi niz godina, a ovo je samo takva prijateljska zajebancija. Odnosno, šala je upalila - svi ljudi okolo su nasjeli na nju, prihvatili je zdravo za gotovo.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Posebno bih želio napomenuti koliko su ljubavi i truda govornici uložili u ovo. Netko je stajao u prostoru za raspravu do posljednjeg trenutka, gotovo satima. Pauza je odavno završila, počelo je izvješće, završilo, počela je sljedeća pauza - i Dmitrij Vjukov nastavio odgovarati na pitanja. I meni se dogodila jedna zanimljiva priča - iznenadivši Cliff Click, dobio sam ne samo jasno i razumno objašnjenje te provokativne rasprave o nedostatku testova za određene stvari u H2O, ali je dobio i njegovu potpunu recenziju novi jezik AA. Nikad nisam tražio ovo: samo sam pitao što možete pročitati o AA (ispostavilo se da možete slušati podcast), a umjesto toga Cliff je pola sata razgovarao o jeziku i provjeravao je li ono što govori ispravno shvaćeno. Predivno. Moramo napisati habrapost o AA. Još jedno neobično iskustvo bilo je promatranje postupka pregleda zahtjeva za povlačenjem u Kotlinu. Zaista je čaroban osjećaj kada uđete u različite grupe za raspravu, različite govornike i uronite u potpuno novi svijet. Ovo je nešto na razini "There, There" od Radioheada.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Engleski jezik

Hydra 2019 je naša prva konferencija na kojoj je glavni jezik engleski. To donosi i svoje prednosti i svoje izazove. Očita prednost je što na konferenciju ne dolaze samo ljudi iz Rusije, pa se među sudionicima mogu sresti inženjeri iz Europe i znanstvenici iz Engleske. Govornici dovode svoje studente. Općenito, važni govornici imaju puno više motiva otići na takvu konferenciju. Zamislite da ste govornik na konferenciji koja je potpuno na ruskom jeziku: održali ste svoje izvješće, obranili prostor za raspravu i što onda? Putovati gradom i razgledavati turistička mjesta? Zapravo, stvarno popularni govornici već su vidjeli dosta svega na svijetu, ne žele ići gledati lavove i pokretne mostove, dosadno im je. Ako su sva izvješća na engleskom, mogu sudjelovati na konferenciji na općoj osnovi, zabaviti se, pridružiti se područjima za raspravu i tako dalje. Atmosfera je prilično prijateljska prema govornicima.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Očigledni nedostatak je to što nije svima ugodno komunicirati na engleskom. Mnogi dobro razumiju, ali slabo govore. Općenito, obične stvari koje su se rješavale na različite načine. Na primjer, neka područja rasprave započela su na ruskom, ali su se odmah prebacila na engleski kada se pojavio prvi sudionik koji govori engleski.

I sam sam morao raditi uvodna i završna uključenja online prijenosa isključivo na engleskom jeziku i sudjelovati u nekoliko snimljenih intervjua sa stručnjacima. I ovo je za mene bio pravi izazov koji se ne zaboravlja tako brzo. U nekom trenutku Oleg Anastasyev (m0nstermind) jednostavno su mi rekli da ostanem sjediti s njima tijekom intervjua, a ja sam bio prespor da shvatim što to znači.

S druge strane, bilo je vrlo ugodno što su ljudi na izvješćima burno postavljali pitanja. Ne samo izvorni govornici, nego općenito svi, dobro je funkcioniralo. Na drugim konferencijama često se vidi da je ljudima neugodno postavljati pitanja iz publike na pokvarenom engleskom, te mogu samo nešto iscijediti u prostoru za raspravu. Ovo je ovdje bilo potpuno drugačije. Relativno govoreći, neki Cliff Click je nešto ranije završio sa svojim izvješćima, a nakon toga su se nizala pitanja u kontinuiranom nizu, razgovor je prešao u zonu rasprave - bez neugodnih pauza i prekida. Isto vrijedi i za Q&A sesiju Leslie Lamport; voditelj praktički nije morao postavljati svoja pitanja, sudionici su sve smislili.

Bilo je tu svakakvih sitnica koje malo tko primjećuje, ali postoje. Zbog činjenice da je konferencija na engleskom jeziku, dizajn letaka i karata lakši je i koncizniji. Nema potrebe za dupliranjem jezika i zatrpavanjem dizajna.

Sponzori i izložba

U osmišljavanju konferencije puno su nam pomogli naši sponzori. Zahvaljujući njima, u pauzama se uvijek imalo što raditi.

Na štandu Tehnički centar Deutsche Bank možete razgovarati s inženjerima višenitnih sustava, rješavati njihove probleme iz svoje glave, osvojiti nezaboravne nagrade i jednostavno se dobro zabaviti.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Na štandu Kontura mogli bismo govoriti o njihovim vlastitim sustavima, otvorenim i otvorenim kodom: distribuiranoj bazi podataka u memoriji, distribuiranom binarnom dnevniku, sustavu za orkestraciju mikroservisa, univerzalnom prijenosu za telemetriju i tako dalje. I naravno, zagonetke i natjecanja, naljepnice s binarnom mačkom i patničkim srednjim vijekom, darovi poput knjige Martina Kleppmanna i LEGO figurica.

Napominjemo da je analiza problema Kontura već objavljeno na Habréu. Dobra analiza, vredi pogledati.

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Oni koji su željeli mogli su kupiti sve vrste knjiga i razgovarati o njima s kolegama. Čitavo se mnoštvo okupilo na autogram sessionu!

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Rezultati

Hydra konferencija i SPTDC škola vrlo su važni događaji za nas kao tvrtku organizatora i za cijelu zajednicu. Ovo je prilika da pogledamo u našu budućnost, razvijemo jedinstven konceptualni okvir za raspravu o suvremenim problemima i pobliže pogledamo zanimljive smjerove. Multithreading postoji već jako dugo, ali je trebalo proći cijelo desetljeće nakon što se pojavio prvi istinski višejezgreni procesor da se ovaj fenomen proširi. Ono što smo čuli ovaj tjedan na izvješćima nije prolazna vijest, već put u svijetlu budućnost kojim ćemo ići u narednim godinama. U ovom postu neće biti spoilera za sljedeću Hydru, ali možete se nadati najboljem. Ako ste zainteresirani za ovakva pitanja, možda biste željeli provjeriti naše druge događaje, poput hardcore konferencijskih razgovora Joker 2019 ili DotNext 2019 Moskva. Vidimo se na sljedećim konferencijama!

Tri dobitnika nagrade Dijkstra: kako su prošli Hydra 2019. i SPTDC 2019.

Izvor: www.habr.com

Dodajte komentar