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

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

Nedavno, od 8. do 12. jula, istovremeno su se održala dva značajna događaja – konferencija Hidra i škola SPTDC. U ovom postu želim da istaknem nekoliko karakteristika koje smo uočili tokom konferencije.

Najveći ponos Hydre i Škole su govornici.

  • Tri laureata Dijkstra Prizes: Leslie Lamport, Maurice Herlihy i Michael Scott. Štaviše, Maurice ga je primio dva puta. Leslie Lamport je također primio Turing Award — najprestižnija nagrada ACM u informatici;
  • Tvorac Java JIT kompajlera je Cliff Click;
  • Corutin programeri - Roman Elizarov (elizarov) i Nikita Koval (ndkoval) za Kotlin i Dmitry Vyukov za Go;
  • Saradnici za Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda i Vladislav Kuznetsov);
  • I mnoge druge poznate ličnosti: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ memorijski model), Pedro Ramalhete (strukture podataka bez čekanja), Alexey Zinovev (ML), Dmitry Bugaichenko (analiza grafikona).

A ovo je već škola:

  • Univerzitet Brown (Maurice Herlihy),
  • Univerzitet u Rochesteru (Michael Scott),
  • Univerzitet Waterloo (Trevor Brown),
  • Univerzitet u Nantu (Achour Mostefaoui),
  • Univerzitet David Ben-Gurion u Negevu (Danny Hendler),
  • Univerzitet Kalifornije u Los Anđelesu (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznjecov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

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

Teorija i praksa, nauka i proizvodnja

Podsjetim da je SPTDC škola mali događaj za sto i po ljudi, tamo se okupljaju svjetske svjetiljke i govore o modernim temama u oblasti distribuiranog računarstva. Hydra je dvodnevna konferencija o distribuiranom računarstvu koja se održava paralelno. Hidra ima više inženjerski fokus, dok je škola više naučni fokus.

Jedan od ciljeva Hydra konferencije je spajanje naučnih i inženjerskih principa. S jedne strane, to se postiže odabirom reportaža u programu: uz Lamporta, Herlihyja i Skota, mnogo više primijenjenih reportaža Alexa Petrova, koji doprinosi Cassandri, ili Romana Elizarova iz JetBrainsa. Tu je Martin Kleppman, koji je nekada gradio i prodavao startape, a sada studira CRDT na Univerzitetu Kembridž. Ali cool stvar je što se Hydra i SPTDC drže rame uz rame – imaju različite izvještaje, ali zajedničko mjesto za komunikaciju.

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

Potapanje

Pet dana Škole za redom je veliki događaj i veliko opterećenje, kako za učesnike tako i za organizatore. Nisu svi stigli do poslednjih dana. Bilo je i onih koji su išli u Hidru i u školu u isto vrijeme, a za njih su se posljednji dani pokazali kao najzanimljiviji. Sva ova gužva je nadoknađena nevjerovatno dubokim uranjanjem. To je zbog ne samo volumena, već i kvalitete materijala. Svi izvještaji i predavanja na oba događaja nisu bila planirana da budu uvodna, pa gdje god da krenete, odmah zaronite daleko i duboko i ne puštate se do samog kraja.

Naravno, mnogo zavisi od početne pripreme učesnika. Desio se smiješan trenutak kada su dvije grupe ljudi u hodniku nezavisno raspravljale o izvještaju Heidi Howard: nekima se to činilo potpuno uobičajenim, dok su drugi, naprotiv, duboko razmišljali o životu. Zanimljivo je da bi, prema mišljenju učesnika programskih odbora (koji su željeli ostati anonimni), Hydrini izvještaji i predavanja Škole na njihovim događajima mogli biti prekvalifikovani. Na primjer, ako je PHP junior došao na PHP konferenciju kako bi naučio život, bilo bi malo brzopleto pretpostaviti da ima duboko znanje o unutrašnjosti Zend Engine-a. Ovdje govornici nisu hranili juniore na kašičicu, već su odmah implicirali određeni nivo znanja i razumijevanja. Pa, zaista, nivo učesnika koji upravljaju distribuiranim sistemima i pišu runtime kernele je veoma visok, to je logično. Sudeći po reakcijama učesnika, bilo je prilično lako odabrati izvještaj na osnovu nivoa i teme.

Ako govorimo o konkretnim izvještajima, svi su bili dobri na svoj način. Sudeći po onome što ljudi govore i što se može vidjeti iz obrasca za povratne informacije, jedan od najzgodnijih izvještaja u Školi bio je "Neblokirajuće strukture podataka" Majkl Skot, baš je sve rasturio, ima nenormalan rejting oko 4.9.

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

Metakonferencija

Mnogo prije početka Hidre i škole, Ruslan ARG89 pretpostavio da će postojati neka vrsta “meta-konferencije” – konferencije konferencija, gdje će svi vrhunski učesnici drugih događaja biti automatski uvučeni u nju, kao u crnu rupu. I tako se dogodilo! Na primjer, među učenicima Škole to je primjećeno Ruslan Cheremin iz DeutscheBank-a, poznatog stručnjaka za višenitnu obradu.

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

I od članova Hidre su zapaženi Vadim Tsesko (incubus) i Andrey Pangin (apangin) kompanije Odnoklassniki. (Istovremeno, Vadim nam je pomogao i da napravimo dva odlična intervjua s Martinom Kleppmanom - jedan za Habr, a drugi za gledaoce onlajn emitovanja). Bilo je članova DotNext programski odbor, poznati govornici Anatolij Kulakov i Igor Labutin. Javista ih je bilo Dmitry Alexandrov и Vladimir Ivanov. Obično vidite ove ljude na potpuno različitim mjestima - dotnetiste na DotNextu, javaiste na Jokeru, itd. I tako sjede rame uz rame na izvještajima Hidre i zajedno raspravljaju o problemima na bafovima. Kada ova pomalo umjetna podjela po programskim jezicima i tehnologijama nestane, pojavljuju se karakteristike predmetnog područja: stručnjaci za dinamičko vrijeme rada komuniciraju s drugim runtimerima, istraživači teorije distribuiranog računarstva žestoko se svađaju s drugim istraživačima, inženjeri baze podataka gomilaju se na tabli itd. .

Na izvještaj prema C++ modelu memorije OpenJDK programeri su sedeli u prvom redu (barem ih poznajem iz viđenja, ali ne i Pythonists, možda su i Pythonists bili tamo). U stvari, u ovom izveštaju postoji nešto tako Šipilevski... Ori ne govori potpuno istu stvar, ali pažljiv pogled može otkriti paralele. Ni nakon svega što se dogodilo u najnovijim C++ standardima, problemi kao što su vrijednosti iz ničega još uvijek nisu riješeni, pa ste mogli otići na takav izvještaj i poslušati kako su ljudi "s druge strane barikade" pokušavajući da popravi ove probleme, kako oni razmišljaju, mogli bi biti impresionirani pristupima pronađenom rješenju (Ori ima jednu od opcija za popravak).

Bilo je dosta učesnika u programskim odborima i pokretačima zajednice. Svi su rješavali svoje međuvjerske probleme, gradili mostove i stekli veze. Koristio sam ovo gdje god sam mogao, i, na primjer, dogovorili smo se sa Alexanderom Borgardtom iz Moskva C++ korisnička grupa zajedno napišite potpuni članak o akterima i asinhroniji u C++.

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

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

Zone za diskusiju o vatri i buffovi

Na konferencijama uvijek ima učesnika koji poznaju temu kao i govornike (a ponekad i bolje od govornika - na primjer, kada je među učesnicima programer jezgra neke tehnologije). Na Hidri je bilo mnogo tako visoko stručnih učesnika. Na primjer, u nekom trenutku priča Alex Petrov o Kasandri, formiralo se toliko ljudi da nije mogao svima odgovoriti. U nekom trenutku, Alex je glatko gurnut u stranu i počeo je biti razderan pitanjima, ali zastavu koja pada podigao je poznati Rust programer u krugovima Tyler Neely i savršeno izbalansirao opterećenje. Kada sam zamolio Tylera za pomoć oko online intervjua, sve što je pitao bilo je: “Kada počinjemo?”

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

Ponekad se duh diskusije čak probijao u izvještaje: Nikita Koval je organizirao iznenadnu sesiju pitanja i odgovora, podijelivši izvještaj u nekoliko sekcija.

I obrnuto, na BOF-u za multi-threading zapamtili su nepromjenjivu memoriju, privukao ih je ovaj bof Pedro Ramalhete kao glavni specijalista, i svima je sve objasnio (ukratko, trajna memorija nam ne predstavlja prijetnju u bliskoj budućnosti). Jedan od domaćina ovog bofa je, inače, bio Vladimir Sitnikov, koji radi u programskim komitetima nekog ludog broja konferencija... čini se kao da ih je pet odjednom. Na sljedećem buff-u o “Modernom CS-u u stvarnom svijetu” također su razgovarali o NVM-u i došli do ovoga potpuno sami.

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

Mogu podijeliti super-uvid koji čak ni oni koji su direktno uključeni u priču možda nisu primijetili. Eli Gafni je nastupio uveče prvog dana Škole, a sutradan je ostao i počeo da trola Lamporta, a spolja se činilo da je ovo igra i da je Eli neadekvatan. Da je ovo neka vrsta trola koji je krenuo da izvadi Lesliein mozak. Zapravo, činjenica je da su oni skoro najbolji prijatelji, prijatelji su dugi niz godina, a ovo je samo takva drugarska zafrkancija. Odnosno, šala je uspjela - svi su ljudi okolo pali na nju, uzimali je po nominalnoj vrijednosti.

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

Zasebno, želio bih napomenuti koliko su ljubavi i truda govornici uložili u ovo. Neko je stajao u prostoru za diskusiju do posljednjeg trenutka, gotovo satima. Pauza je odavno završena, izvještaj je počeo, završio, počela je sljedeća pauza - i Dmitry Vyukov nastavio da odgovara na pitanja. Desila mi se i 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 i dobio potpunu recenziju novi jezik AA. Nikad nisam tražio ovo: samo sam pitao šta možete pročitati o AA (ispostavilo se da možete slušati podcast), a umjesto toga Cliff je proveo pola sata pričajući o jeziku i provjeravajući da li je ono što govori ispravno shvaćeno. Divno. Moramo napisati habrapost o AA. Još jedno neobično iskustvo bilo je gledanje procesa pregleda zahtjeva za povlačenjem u Kotlinu. Zaista je magičan osjećaj kada uđete u različite diskusione grupe, različite govornike i uronite u potpuno novi svijet. Ovo je nešto na nivou "Tamo, tamo" od Radioheada.

Tri dobitnika Dijkstra nagrade: 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čigledna prednost je što na konferenciju ne dolaze ljudi samo iz Rusije, pa se među učesnicima mogu sresti inženjeri iz Evrope i naučnici iz Engleske. Govornici dovode svoje studente. Generalno, važni govornici imaju mnogo više motivacije da odu na ovakvu konferenciju. Zamislite da ste govornik na konferenciji na potpuno ruskom jeziku: dali ste svoj izvještaj, branili područje diskusije i šta onda? Putujete gradom i vidite turistička mjesta? Zapravo, zaista popularni govornici su već vidjeli dovoljno svega na svijetu, ne žele ići vidjeti lavove i pokretne mostove, dosadno im je. Ako su svi izvještaji na engleskom, oni mogu učestvovati na konferenciji na opštoj osnovi, zabaviti se, pridružiti se područjima za diskusiju itd. Atmosfera je prilično prijateljska prema govornicima.

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

Očigledan nedostatak je što nije svima ugodno komunicirati na engleskom. Mnogi dobro razumeju, ali govore loše. Uglavnom, obične stvari koje su rješavane na različite načine. Na primjer, neke oblasti za diskusiju počele su na ruskom, ali su se odmah prebacile na engleski kada se pojavio prvi učesnik koji je govorio engleski.

I ja sam morao da obavim uvodno i završno uključivanje onlajn emitovanja isključivo na engleskom i da učestvujem u nekoliko intervjua sa stručnjacima na snimanju. I ovo je za mene bio pravi izazov koji se neće uskoro zaboraviti. U nekom trenutku Oleg Anastasjev (m0nstermind) jednostavno mi je rekao da sjedim s njima tokom intervjua, a ja sam bio prespor da shvatim šta to znači.

S druge strane, bilo je veoma prijatno što su ljudi sa praskom postavljali pitanja na izveštajima. Ne samo izvornim govornicima, već svima općenito, dobro je funkcionisalo. Na drugim konferencijama često se može vidjeti da je ljudima neugodno postavljati pitanja iz publike na lomljenom engleskom, a mogu samo nešto istisnuti u prostoru za diskusiju. Ovdje je bilo potpuno drugačije. Relativno govoreći, neki Cliff Click je završio svoje izvještaje nešto ranije, a nakon toga su se nizala pitanja u neprekidnom nizu, razgovor je prešao u zonu diskusije - bez neugodnih pauza i prekida. Isto važi i za sesiju pitanja i odgovora Leslie Lamport; voditelj praktički nije morao da postavlja pitanja, učesnici su sve smislili.

Bilo je svakakvih sitnica koje malo ko primjećuje, ali postoje. Zbog činjenice da je konferencija na engleskom jeziku, dizajn takvih stvari poput letaka i mapa je lakši i sažetiji. Nema potrebe za dupliranjem jezika i zatrpavanjem dizajna.

Sponzori i izložba

U kreiranju konferencije puno su nam pomogli naši sponzori. Zahvaljujući njima, u pauzama se uvek imalo šta raditi.

Na štandu Tehnički centar Deutsche Bank mogli biste razgovarati sa inženjerima višenitnih sistema, riješiti njihove probleme iz glave, osvojiti nezaboravne nagrade i jednostavno se dobro zabaviti.

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

Na štandu Kontura mogli bismo govoriti o njihovim vlastitim sistemima, otvorenim i otvorenim kodom: distribuirana baza podataka u memoriji, distribuirani binarni dnevnik, mikroservisni sistem orkestracije, univerzalni transport za telemetriju, itd. I naravno, zagonetke i takmičenja, naljepnice sa binarnom mačkom i Patljivim srednjim vijekom, pokloni poput knjige Martina Kleppmanna i LEGO figurica.

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

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

Oni koji su željeli mogli su kupiti sve vrste knjiga i razgovarati o njima sa kolegama. Čitava publika se okupila na autogram sesiji!

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

Ishodi

Hydra konferencija i SPTDC škola su veoma važni događaji za nas kao organizacionu kompaniju i za cijelu zajednicu. Ovo je prilika da pogledamo u našu budućnost, razvijemo jedinstven konceptualni okvir za diskusiju o savremenim problemima i izbliza pogledamo zanimljive pravce. Multithreading postoji već dugo vremena, ali je prošla čitava decenija nakon što se pojavio prvi istinski višejezgarni procesor da bi se taj fenomen proširio. Ono što smo čuli na izvještajima ove sedmice nije prolazna vijest, već put u svijetlu budućnost koju ćemo pratiti u narednim godinama. U ovom postu neće biti spojlera za sljedeću Hydru, ali možete se nadati najboljem. Ako ste zainteresovani za ovakva pitanja, možda biste želeli da pogledate naše druge događaje, kao što su hardcore konferencijski razgovori Joker 2019 ili DotNext 2019 Moskva. Vidimo se na narednim konferencijama!

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

izvor: www.habr.com

Dodajte komentar