Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Cel mai recent, în perioada 8-12 iulie, au avut loc simultan două evenimente semnificative - conferința hidră si scoala SPTDC. În această postare aș dori să evidențiez câteva caracteristici pe care le-am observat în timpul conferinței.

Cea mai mare mândrie a Hydra și a Școlii sunt vorbitorii.

  • Trei laureați Premiul Dijkstra: Leslie Lamport, Maurice Herlihy și Michael Scott. Mai mult, Maurice a primit-o de două ori. Leslie Lampport a primit și ea Premiul Turing — cel mai prestigios premiu ACM în informatică;
  • Creatorul compilatorului Java JIT este Cliff Click;
  • Dezvoltatorii Corutin - Roman Elizarov (elizarov) și Nikita Koval (ndkoval) pentru Kotlin și Dmitry Vyukov pentru Go;
  • Colaboratori la Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda și Vladislav Kuznetsov);
  • Și mulți alți oameni celebri: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model de memorie C++), Pedro Ramalhete (structuri de date fără așteptare), Alexey Zinoviev (ML), Dmitry Bugaichenko (analiza grafică).

Și aceasta este deja școală:

  • Universitatea Brown (Maurice Herlihy),
  • Universitatea din Rochester (Michael Scott),
  • Universitatea din Waterloo (Trevor Brown),
  • Universitatea din Nantes (Achour Mostefaoui),
  • Universitatea David Ben-Gurion din Negev (Danny Hendler),
  • Universitatea California din Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lampport),
  • Cercetare VMware (Ittai Abraham).

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Teorie și practică, știință și producție

Permiteți-mi să vă reamintesc că Școala SPTDC este un mic eveniment pentru o sută și jumătate de oameni; luminate de talie mondială se adună acolo și vorbesc despre problemele moderne din domeniul calculului distribuit. Hydra este o conferință de calcul distribuită de două zile, organizată în paralel. Hydra are un accent mai mult pe inginerie, în timp ce Școala are un accent mai științific.

Unul dintre obiectivele conferinței Hydra este de a combina principiile științifice și cele de inginerie. Pe de o parte, acest lucru se realizează prin selectarea rapoartelor din program: alături de Lamport, Herlihy și Scott, există mult mai multe rapoarte aplicate ale lui Alex Petrov, care contribuie la Cassandra, sau Roman Elizarov de la JetBrains. Există Martin Kleppman, care obișnuia să construiască și să vândă startup-uri și acum studiază CRDT la Universitatea Cambridge. Dar lucrul tare este că Hydra și SPTDC sunt ținute una lângă alta - au rapoarte diferite, dar un loc comun pentru comunicare.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Imersiune

Cinci zile la rând de școală reprezintă un eveniment foarte mare și multă sarcină de muncă, atât pentru participanți, cât și pentru organizatori. Nu toată lumea a ajuns în ultimele zile. Au fost cei care au mers la Hydra și la școală în același timp, iar pentru ei ultimele zile s-au dovedit a fi cele mai pline de evenimente. Toată această agitație este compensată de o imersiune incredibil de adâncă. Acest lucru se datorează nu numai volumului, ci și calității materialului. Toate rapoartele și prelegerile de la ambele evenimente nu au fost planificate pentru a fi introductive, așa că oriunde ai merge, te scufunzi imediat departe și adânc și nu ești lăsat să pleci până la sfârșit.

Desigur, multe depind de pregătirea inițială a participantului. A existat un moment amuzant când două grupuri de oameni de pe coridor au discutat independent despre raportul lui Heidi Howard: unora li s-a părut complet obișnuit, în timp ce alții, dimpotrivă, s-au gândit profund la viață. Este interesant că, potrivit participanților comitetelor de program (care au dorit să rămână anonimi), rapoartele Hydra și prelegerile Școlii la evenimentele lor ar putea fi supracalificate. De exemplu, dacă un junior PHP a venit la o conferință PHP pentru a învăța viața, ar fi puțin neplăcut să presupunem că are cunoștințe profunde despre elementele interne ale Zend Engine. Aici, vorbitorii nu i-au hrănit cu lingura pe juniori, ci au implicat imediat un anumit nivel de cunoaștere și înțelegere. Ei bine, într-adevăr, nivelul participanților care operează sisteme distribuite și scriu nuclee de rulare este foarte mare, acest lucru este logic. Judecând după reacția participanților, a fost destul de ușor să alegeți un raport în funcție de nivel și subiect.

Dacă vorbim despre rapoarte specifice, toate au fost bune în felul lor. Judecând după ce spun oamenii și ce se vede din formularul de feedback, unul dintre cele mai tari reportaje de la școală a fost „Structuri de date neblocante” Michael Scott, pur și simplu a sfâșiat pe toată lumea, are un rating anormal de aproximativ 4.9.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Metaconferinta

Cu mult înainte de începerea Hydra and the School, Ruslan ARG89 a presupus că va exista un fel de „meta-conferință” - o conferință de conferințe, în care toți participanții de top la alte evenimente ar fi absorbiți automat în ea, ca într-o gaură neagră. Și așa s-a întâmplat! De exemplu, printre elevii Școlii s-a remarcat Ruslan Cheremin de la DeutscheBank, un cunoscut specialist în multithreading.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Și dintre membrii Hydra au fost observați Vadim Tsesko (incubi) Și Andrei Pangin (apangin) de la firma Odnoklassniki. (În același timp, Vadim ne-a ajutat să realizăm două interviuri excelente cu Martin Kleppman - unul pentru Habr, iar celălalt pentru telespectatorii emisiunii online). Erau membri Comitetul de program DotNext, vorbitori celebri Anatoly Kulakov și Igor Labutin. Din Javist au fost Dmitry Alexandrov и Vladimir Ivanov. De obicei, îi vezi pe acești oameni în locuri complet diferite - dotnetists pe DotNext, javaists pe Joker și așa mai departe. Și așa stau unul lângă altul la rapoartele Hydra și discută împreună problemele pasionaților. Când această împărțire ușor artificială în limbaje și tehnologii de programare dispare, apar caracteristicile domeniului subiectului: specialiștii dinamici în timp de rulare comunică cu alți runtimeri, cercetătorii din teoria calculului distribuit se ceartă aprins cu alți cercetători, inginerii motoarelor de baze de date înghesuie tabla albă și așa mai departe .

La raport conform modelului de memorie C++ dezvoltatorii OpenJDK stăteau în primul rând (cel puțin eu îi cunosc din vedere, dar nu Pythonists, poate și Pythonists erau acolo). De fapt, există ceva așa Shipilevsky în acest raport... Ori nu spune exact același lucru, dar o privire atentă poate detecta paralele. Chiar și după tot ce s-a întâmplat în cele mai recente standarde C++, probleme precum valorile din aer nu au fost încă rezolvate, așa că ai putea să mergi la un astfel de raport și să asculți cum sunt oamenii „de cealaltă parte a baricadei”. încercând să remedieze aceste probleme, Pe măsură ce motivează, cineva ar putea fi impresionat de abordările soluției găsite (Ori are una dintre opțiunile de remediere).

Au fost mulți participanți la comitetele de program și la motoarele comunitare. Toată lumea și-a rezolvat problemele interconfesionale, a construit punți și a dobândit conexiuni. Am folosit asta oriunde am putut și, de exemplu, am fost de acord cu Alexander Borgardt de la Grupul de utilizatori C++ din Moscova împreună scrieți un articol la scară largă despre actori și asincronie în C++.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

În fotografie: Leonid Talalaev (ltalal, stânga) și Oleg Anastasyev (m0nsmind, dreapta), dezvoltatori de top la Odnoklassniki

Fire zone de discuții și pasionați

La conferințe există întotdeauna participanți care cunosc subiectul la fel de bine ca vorbitorii (și uneori chiar mai bine decât vorbitorii - de exemplu, atunci când un dezvoltator al nucleului unei tehnologii este printre participanți). Au fost mulți astfel de participanți extrem de experți în Hydra. De exemplu, la un moment dat în jurul lui Alex Petrov povestind despre Cassandra, s-au format atât de mulți oameni încât nu a putut răspunde tuturor. La un moment dat, Alex a fost împins ușor în lateral și a început să fie sfâșiat de întrebări, dar steagul care cădea a fost ridicat de un cunoscut dezvoltator Rust din cercuri. Tyler Neely și a echilibrat perfect sarcina. Când l-am cerut lui Tyler ajutor cu interviul online, tot ce a întrebat a fost: „Când începem?”

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Uneori, spiritul de discuție a pătruns chiar și în rapoarte: Nikita Koval a organizat o sesiune bruscă de întrebări și răspunsuri, împărțind raportul în mai multe secțiuni.

Și invers, pe BOF pentru multi-threading și-au amintit despre memoria nevolatilă, au fost atrași de acest bof Pedro Ramalhete ca specialist șef și a explicat totul tuturor (pe scurt, memoria nevolatilă nu este o amenințare pentru noi în viitorul apropiat). Una dintre gazdele acestui bof, de altfel, a fost Vladimir Sitnikov, care face parte din comitetele de program ale unui număr nebun de conferințe... se pare că sunt cinci la un moment dat. La următorul pasionat despre „CS modern în lumea reală”, au discutat și despre NVM și au ajuns la el complet pe cont propriu.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Pot să vă împărtășesc o super-perspectivă pe care chiar și cei implicați direct în poveste ar putea să nu fi observat-o. Eli Gafni a evoluat în seara primei zile de Școală, iar a doua zi a rămas și a început să troleze Lamport, iar din afară părea că acesta era joc și Eli era inadecvat. Că acesta este un fel de troll care și-a propus să scoată creierul lui Leslie. De fapt, adevărul este că sunt aproape cei mai buni prieteni, sunt prieteni de mulți ani, iar asta este doar o glumă amicală. Adică, gluma a funcționat - toți cei din jur s-au îndrăgostit de ea, au luat-o la valoarea nominală.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Separat, aș dori să remarc câtă dragoste și efort au pus vorbitorii în asta. Cineva a stat în zona de discuții până în ultimul moment, aproape ore întregi. Pauza s-a încheiat cu mult timp în urmă, a început raportul, s-a încheiat, a început următoarea pauză - și Dmitri Vyukov a continuat să răspundă la întrebări. Mi s-a întâmplat și o poveste interesantă - luând prin surprindere Cliff Click, am primit nu numai o explicație clară și rezonabilă a acelei discuții provocatoare despre lipsa testelor. pentru anumite lucruri din H2O, dar a primit și o recenzie completă a acestuia limba nouă AA. Nu am cerut niciodată asta: am întrebat doar ce poți citi despre AA (s-a dovedit că poți asculta podcast), și în schimb Cliff a petrecut o jumătate de oră vorbind despre limbă și verificând dacă ceea ce spunea a fost înțeles corect. Minunat. Trebuie să scriem un habrapost despre AA. O altă experiență neobișnuită a fost urmărirea procesului de examinare a cererii de extragere în Kotlin. Este cu adevărat un sentiment magic când intri în grupuri de discuții diferite, vorbitori diferiți și ești cufundat într-o lume cu totul nouă. Acesta este ceva la nivel „Acolo, acolo” de Radiohead.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Englez

Hydra 2019 este prima noastră conferință în care limba principală este engleza. Acest lucru aduce atât avantajele sale, cât și provocările sale. Un avantaj evident este că oamenii nu vin doar la conferință din Rusia, așa că printre participanți puteți întâlni ingineri din Europa și oameni de știință din Anglia. Vorbitorii își aduc elevii. În general, vorbitorii importanți au mult mai multă motivație să meargă la o astfel de conferință. Imaginați-vă că sunteți vorbitor la o conferință în totalitate în limba rusă: v-ați dat raportul, ați apărat zona de discuții și apoi ce? Călătorește prin oraș și vezi locuri turistice? De fapt, vorbitorii cu adevărat populari au văzut deja destule din tot ce există în lume, nu vor să meargă să vadă lei și poduri mobile, s-au plictisit. Dacă toate rapoartele sunt în limba engleză, ei pot participa la conferință în mod general, se pot distra, se pot alătura zonelor de discuții și așa mai departe. Atmosfera este destul de prietenoasă față de vorbitori.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Dezavantajul evident este că nu toată lumea se simte confortabil să comunice în engleză. Mulți înțeleg bine, dar vorbesc prost. În general, lucruri obișnuite care au fost rezolvate în moduri diferite. De exemplu, unele zone de discuție au început în rusă, dar au trecut imediat la engleză când a apărut primul participant vorbitor de engleză.

Eu însumi a trebuit să fac incluziunile de deschidere și de închidere ale difuzării online exclusiv în limba engleză și să particip la câteva interviuri înregistrate cu experți. Și aceasta a fost o adevărată provocare pentru mine care nu va fi uitată curând. La un moment dat Oleg Anastasyev (m0nsmind) mi-a spus pur și simplu să stau cu ei în timpul interviului și am fost prea lent să înțeleg ce înseamnă asta.

Pe de altă parte, a fost foarte plăcut că oamenii au pus întrebări la reportaje cu buzna. Nu doar vorbitorii nativi, ci toată lumea în general, a funcționat bine. La alte conferințe, se vede adesea că oamenii sunt jenați să pună întrebări din partea publicului într-o engleză stricat și nu pot decât să stoarce ceva în zona de discuție. Aici a fost complet diferit. Relativ vorbind, unii Cliff Click și-au terminat rapoartele puțin mai devreme, iar după aceea întrebările au urmat într-o secvență continuă, conversația s-a mutat în zona de discuție - fără pauze sau întreruperi incomode. Același lucru este valabil și pentru sesiunea de întrebări și răspunsuri a lui Leslie Lamport; prezentatorul practic nu a trebuit să-și pună întrebări, participanții au venit cu totul.

Au fost tot felul de lucruri mici pe care puțini oameni le observă, dar ele există. Datorită faptului că conferința este în limba engleză, designul unor lucruri precum pliante și hărți este mai ușor și mai concis. Nu este nevoie să duplicați limbile și să aglomerați designul.

Sponsori și expoziție

Sponsorii noștri ne-au ajutat foarte mult în crearea conferinței. Datorită lor, întotdeauna era ceva de făcut în pauze.

La stand Deutsche Bank TechCenter ai putea discuta cu inginerii sistemelor multi-threaded, ai putea sa le rezolvi problemele din cap, sa castigi premii memorabile si sa te distrezi.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

La stand Contur am putea vorbi despre propriile sisteme, atât open source, cât și open source: o bază de date distribuită în memorie, un jurnal binar distribuit, un sistem de orchestrare cu microservicii, un transport universal pentru telemetrie și așa mai departe. Și, bineînțeles, puzzle-uri și concursuri, autocolante cu o pisică binară și Evul Mediu în suferință, cadouri precum cartea lui Martin Kleppmann și figurile LEGO.

Vă rugăm să rețineți că analiza problemelor Kontur este deja publicat pe Habré. Bună analiză, merită aruncată o privire.

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Cei care doreau puteau achiziționa tot felul de cărți și le puteau discuta cu colegii. O mulțime întreagă s-a adunat pentru sesiunea de autografe!

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Rezultatele

Conferința Hydra și Școala SPTDC sunt evenimente foarte importante pentru noi ca companie organizatoare și pentru întreaga comunitate. Aceasta este o șansă de a privi viitorul nostru, de a dezvolta un cadru conceptual unificat pentru a discuta problemele moderne și de a arunca o privire mai atentă asupra direcțiilor interesante. Multithreading-ul există de foarte mult timp, dar a durat un deceniu întreg după ce a apărut primul procesor cu adevărat multi-core pentru ca fenomenul să se răspândească. Ceea ce am auzit la rapoartele din această săptămână nu este o știre trecătoare, ci drumul către un viitor luminos pe care îl vom urmări în următorii ani. Nu vor fi spoileri pentru următoarea Hydra în această postare, dar poți spera la ce e mai bun. Dacă sunteți interesat de astfel de probleme, vă recomandăm să consultați celelalte evenimente ale noastre, cum ar fi discuțiile de la conferințe. Joker 2019 sau DotNext 2019 Moscova. Ne vedem la următoarele conferințe!

Trei câștigători ai Premiului Dijkstra: cum au decurs Hydra 2019 și SPTDC 2019

Sursa: www.habr.com

Adauga un comentariu