Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

A più ricenti, da l'8 di lugliu à u 12, dui avvenimenti significativi sò stati simultaneamente - a cunferenza Hydra è a scola SPTDC. In questu post, vogliu mette in risaltu parechje caratteristiche chì avemu nutatu durante a cunferenza.

U più grande orgogliu di Hydra è a Scola sò i parlanti.

  • Trè laureati Premiu Dijkstra: Leslie Lampport, Maurice Herlihy è Michael Scott. D'altronde, Maurice hà ricevutu duie volte. Leslie Lampport hà ancu ricevutu Premiu Turing - u più prestigiosu premiu ACM in l'informatica;
  • U creatore di u compilatore Java JIT hè Cliff Click;
  • Sviluppatori Corutin - Roman Elizarov (elizarov) è Nikita Koval (ndkoval) per Kotlin, è Dmitry Vyukov per Go;
  • Cuntributori à Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda è Vladislav Kuznetsov);
  • È parechje altre persone famose: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (mudellu di memoria C++), Pedro Ramalhete (strutturi di dati senza attesa), Alexey Zinoviev (ML), Dmitry Bugaichenko (analisi grafica).

È questu hè digià a Scola:

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

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

Teoria è pratica, scienza è pruduzzione

Lasciami ricurdà chì a Scuola SPTDC hè un picculu avvenimentu per un centu è mezu di persone chì si riuniscenu quì è parlanu di prublemi muderni in u campu di l'informatica distribuita. Hydra hè una cunferenza di computing distribuita di dui ghjorni tenuta in parallelu. Hydra hà un focus di più ingegneria, mentri a Scola hà un focus più scientificu.

Unu di i scopi di a cunferenza Hydra hè di cumminà principii scientifichi è ingegneria. Da una banda, questu hè ottenutu da a selezzione di rapporti in u prugramma: cù Lamport, Herlihy è Scott, ci sò assai più rapporti applicati da Alex Petrov, chì cuntribuisce à Cassandra, o Roman Elizarov da JetBrains. Ci hè Martin Kleppman, chì prima custruia è vende startups è avà studia CRDT à l'Università di Cambridge. Ma a cosa bella hè chì Hydra è SPTDC sò tenuti fiancu à fiancu - anu rapporti diffirenti, ma un locu cumuni per a cumunicazione.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

Immersione

Cinque ghjorni di a Scola in una fila hè un avvenimentu assai grande è assai carichi di travagliu, sia per i participanti sia per l'urganizatori. Micca tutti l'anu fattu à l'ultimi ghjorni. Ci era quelli chì andavanu à l'Hydra è à a Scola à u stessu tempu, è per elli l'ultimi ghjorni sò diventati i più avvenimenti. Tuttu stu fuss hè cumpensu da una immersione incredibbilmente prufonda. Questu hè duvuta micca solu à u voluminu, ma ancu à a qualità di u materiale. Tutti i rapporti è e lezioni in i dui avvenimenti ùn sò micca stati pianificati per esse introduttori, cusì induve andate, vi immergete immediatamente luntanu è prufonda, è ùn site micca lasciatu andà finu à a fine.

Di sicuru, assai dipende di a preparazione iniziale di u participante. Ci hè statu un mumentu divertente quandu dui gruppi di persone in u corridore discutevanu indipindentamente u rapportu di Heidi Howard: à certi pareva cumplitamenti ordinariu, mentri àutri, à u cuntrariu, pensavanu profondamente à a vita. Hè interessante chì sicondu i participanti di i cumitati di u prugramma (chì vulianu restà anonimu), i rapporti di Hydra è e lezioni di a Scola in i so avvenimenti puderanu esse sopraqualificati. Per esempiu, se un junior PHP hè ghjuntu à una cunferenza PHP per amparà a vita, saria un pocu di eruzzione per suppone chì hà una cunniscenza prufonda di l'internu di Zend Engine. Quì, i parlanti ùn anu micca alimentatu à cucchiara i juniors, ma subitu implicatu un certu livellu di cunniscenza è intelligenza. Eppo, veramente, u livellu di i participanti chì operanu sistemi distribuiti è scrivenu kernels runtime hè assai altu, questu hè logicu. A ghjudicà da a reazione di i participanti, era abbastanza faciule di sceglie un rapportu basatu annantu à u livellu è u tema.

Se parlemu di rapporti specifichi, tutti eranu boni à a so manera. A ghjudicà da ciò chì a ghjente dice è ciò chì pò esse vistu da a forma di feedback, unu di i rapporti più cool in a Scola era "Struttura di dati senza bloccu" Michael Scott, hà appena strappatu tutti, hà una valutazione anormale di circa 4.9.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

Metaconferenza

Longu prima di u principiu di Hydra è a Scola, Ruslan ARG89 assume chì ci saria una sorta di "meta-conferenza" - una cunferenza di cunferenze, induve tutti i primi participanti di l'altri avvenimenti seranu automaticamente aspirati in questu, cum'è s'ellu in un pirtusu neru. È cusì hè accadutu ! Per esempiu, trà i studienti di a Scola hè statu nutatu Ruslan Cheremin da DeutscheBank, un specialistu ben cunnisciutu in multithreading.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

È di i membri di l'Hydra sò stati nutati Vadim Tsesko (incubi) è Andrey Pangin (apangin) da a cumpagnia Odnoklassniki. (À u stessu tempu, Vadim ci hà ancu aiutatu à fà duie interviste eccellenti cù Martin Kleppman - unu per Habr, è l'altru per i telespettatori di a trasmissione in linea). Ci eranu membri Cumitatu di u prugramma DotNext, famosi parlanti Anatoly Kulakov è Igor Labutin. Di i giavisti ci eranu Dmitri Alexandrov и Vladimir Ivanov. Di solitu vede queste persone in lochi completamente differenti - dotnetists in DotNext, javaists in Joker, etc. È cusì si sentenu fiancu à fiancu à i rapporti Hydra è discutanu inseme prublemi nantu à i buffs. Quandu sta divisione ligeramente artificiale per linguaggi è tecnulugii di prugrammazione sparisce, e caratteristiche di l'area di u sughjettu emergenu: i specialisti di runtime dinamichi cumunicanu cù altri runtimers, i ricercatori di a teoria di l'informatica distribuita discute in calore cù altri ricercatori, l'ingegneri di i mutori di basa di dati affullate a lavagna, etc. .

À u rapportu secondu u mudellu di memoria C++ i sviluppatori di OpenJDK eranu seduti in prima fila (almenu li cunnoscu di vista, ma micca i Pitonisti, forse i Pitonisti eranu ancu quì). In fatti, ci hè qualcosa cusì Shipilevsky in questu rapportu ... Ori ùn dice micca esattamente a listessa cosa, ma un sguardu attentu pò detect paralleli. Ancu dopu à tuttu ciò chì hè accadutu in l'ultimi standard C ++, i prublemi cum'è i valori di l'aria magre ùn sò micca stati risolti, è cusì pudete andà à un tali rapportu è sente cumu a ghjente "in l'altra parte di a barricata" hè. circannu a risolviri sti prublemi, Cum'elli ragiuni, unu pudia esse impressiunatu da i avvicinamenti à a suluzione trovu (Ori hà unu di l 'opzioni di fix).

Ci era assai participanti in i cumitati di prugramma è i mutori di a cumunità. Ognunu risolve i so prublemi interreligiosi, custruì ponti, è acquistatu cunnessione. Aghju utilizatu questu induve puderia, è, per esempiu, avemu accunsentutu cù Alexander Borgardt da Gruppu d'Utenti C++ di Mosca scrivite inseme un articulu in scala completa nantu à l'attori è l'asincronia in C++.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

In a foto: Leonid Talalaev (ltalal, a sinistra) è Oleg Anastasyev (m0nsmind, right), principali sviluppatori in Odnoklassniki

Zone di discussione di focu è buffs

À e cunferenze ci sò sempre i participanti chì cunnoscenu u sughjettu cum'è i parlanti (è qualchì volta ancu megliu cà i parlanti - per esempiu, quandu un sviluppatore di u core di qualchì tecnulugia hè trà i participanti). Ci era assai di tali participanti assai esperti nantu à Hydra. Per esempiu, à qualchi puntu attornu à Alex Petrov dicendu circa Cassandra, tante persone furmate chì ùn pudia micca risponde à tutti. À un certu puntu, Alex hè statu imbuttatu in u latu è cuminciò à esse strappatu cù e dumande, ma a bandiera caduta hè stata cullata da un sviluppatore Rust ben cunnisciutu in i circles. Tyler Neely è hà equilibratu a carica perfettamente. Quandu aghju dumandatu à Tyler aiutu cù una entrevista in linea, tuttu ciò chì hà dumandatu era: "Quandu avemu principiatu?"

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

A volte, u spiritu di discussione hà ancu sfondatu in i rapporti: Nikita Koval hà urganizatu una sessione di Q&A brusca, dividendu u rapportu in parechje sezioni.

È vice versa, nantu à BOF per multi-threading si ricurdavanu di a memoria non volatile, sò stati attirati da questu bof. Petru Ramalhete cum'è u capu specialista, è spiegò tuttu à tutti (in cortu, a memoria non volatile ùn hè micca una minaccia per noi in un futuru vicinu). Unu di l'ospiti di stu bof, per via, era Vladimir Sitnikov, chì serve nantu à i cumitati di u prugramma di qualchì numeru pazzi di cunferenze ... pare cum'è cinque à tempu avà. À u prossimu buff nantu à "CS Modern in u mondu reale" anu ancu discututu NVM è ghjuntu à questu cumplettamente per sè stessu.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

Puderaghju sparte una super insight chì ancu quelli direttamente implicati in a storia puderianu micca avè nutatu. Eli Gafni hà fattu a sera di u primu ghjornu di a Scola, è u ghjornu dopu si stete è hà cuminciatu à trolling Lamport, è da l'esternu pareva chì questu era ghjocu è Eli era inadegwate. Chì questu hè una spezia di troll chì si mette à caccià u cervellu di Leslie. In fatti, u fattu hè chì sò quasi i migliori amichi, sò stati amici per parechji anni, è questu hè solu tali banter amichevule. Questu hè, u scherzu hà travagliatu - tutte e persone intornu sò cascate per ellu, pigliò à u valore nominale.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

Separatamente, vogliu nutà quantu amore è sforzu chì i parlanti mettenu in questu. Qualchissia stava in l'area di discussione finu à l'ultimu minutu, quasi per ore. A pausa hè finita assai tempu fà, u rapportu cuminciò, finì, u prossimu ruttura cuminciò - è Dmitri Vjukov cuntinuò à risponde à e dumande. Una storia interessante hè accaduta ancu à mè - dopu avè pigliatu Cliff Click per sorpresa, aghju ricevutu micca solu una spiegazione chjara è raghjone di quella discussione provocativa nantu à a mancanza di teste. per certe cose in H2O, ma ancu avè una rivista completa di questu lingua nova AA. Ùn aghju mai dumandatu questu: aghju dumandatu solu ciò chì pudete leghje nantu à AA (hè risultatu chì pudete sente podcast), è invece Cliff hà passatu una meza ora à parlà di a lingua è à verificà chì ciò ch'ellu dicia era capitu bè. Meravigliosa. Avemu bisognu di scrive un habrapost nantu à AA. Un'altra sperienza inusual era fighjulà u prucessu di rivisione di a richiesta di pull in Kotlin. Hè veramente un sintimu magicu quandu andate in diversi gruppi di discussione, diversi parlanti, è sò immersi in un mondu sanu novu. Questu hè qualcosa à u livellu "There, There" di Radiohead.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

English

Hydra 2019 hè a nostra prima cunferenza induve a lingua principale hè l'inglese. Questu porta à tempu i so vantaghji è e so sfide. Un vantaghju evidenti hè chì a ghjente ùn vene micca solu à a cunferenza da a Russia, cusì trà i participanti pudete scuntrà ingegneri da l'Europa è scientisti da l'Inghilterra. I parlanti portanu i so studienti. In generale, parlanti impurtanti anu assai più motivazione per andà in una tale cunferenza. Imagine chì site un parlante in una cunferenza in lingua russa cumplettamente: avete datu u vostru rapportu, difendu u spaziu di discussione, è dopu chì? Viaghjà intornu à a cità è vede lochi turistici? In fatti, i parlanti veramente populari anu digià vistu abbastanza di tuttu in u mondu, ùn volenu micca andà à vede leoni è ponti levati, sò stanchi. Sì tutti i rapporti sò in inglese, ponu participà à a cunferenza in una basa generale, divertite, unisce à e spazii di discussione, è cusì. L'atmosfera hè abbastanza amichevule versu i parlanti.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

U svantaghju ovviu hè chì micca tutti sò cunfortu cumunicà in inglese. Parechji capiscenu bè, ma parlanu male. In generale, e cose ordinariu chì sò stati risolti in modu diffirenti. Per esempiu, certi spazii di discussione cuminciaru in Russu, ma subitu cambiatu à l'inglese quandu u primu participante anglofonu apparsu.

Eiu aghju avutu à fà l'inclusioni di apertura è di chiusura di a trasmissione in linea esclusivamente in inglese è participà à un paru d'entreviste in record cù esperti. È questu era un veru sfida per mè chì ùn serà micca scurdatu prestu. À un certu puntu Oleg Anastasyev (m0nsmind) m'hà dettu solu di stà sedutu cun elli durante l'entrevista, è era troppu lento per capisce ciò chì significava.

Per d 'altra banda, era assai piacevule chì a ghjente facia dumande à i rapporti cù un bang. Micca solu parlanti nativi, ma tutti in generale, hà travagliatu bè. À l'altri cunferenze, hè spessu vistu chì a ghjente hè vergogna di dumandà dumande da l'audienza in inglese rottu, è ponu solu strincà qualcosa in l'area di discussione. Questu era completamente diversu quì. Relativamente parlante, certi Cliff Cliff anu finitu i so rapporti un pocu prima, è dopu chì e dumande seguitanu in una sequenza cuntinua, a cunversazione si trasfirìu in a zona di discussione - senza pause o interruzioni sgradevoli. U stessu s'applica à a sessione di Q & A di Leslie Lamport, u presentatore praticamente ùn hà micca bisognu di dumandà e so dumande, i participanti sò stati cun tuttu.

Ci era ogni tipu di picculi cosi chì pochi persone notanu, ma esistenu. A causa di u fattu chì a cunferenza hè in inglese, u disignu di cose cum'è volantini è carte hè più ligera è più cuncisa. Ùn ci hè micca bisognu di duplicà e lingue è sbulicà u disignu.

Sponsor è mostra

I nostri patrocinatori ci anu aiutatu assai in a creazione di a cunferenza. Grazie à elli, ci era sempre qualcosa da fà durante i pause.

À u stand Deutsche Bank TechCenter Puderete chattare cù ingegneri di sistemi multi-threaded, risolve i so prublemi fora di a vostra testa, vince premi memorabili è solu passà un bonu tempu.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

À u stand Contornu Pudemu parlà di i so propri sistemi, sia open source sia open source: una basa di dati distribuita in memoria, un logu binariu distribuitu, un sistema di orchestrazione di microservizi, un trasportu universale per a telemetria, etc. E, sicuru, puzziche è cuncorsi, stickers cù un gattu binariu è u Medievu Soffrenu, rigali cum'è u libru di Martin Kleppmann è figuri LEGO.

Per piacè nutate chì l'analisi di i prublemi Kontur hè digià publicatu nant'à Habré. Una bona analisi, vale a pena una vista.

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

Quelli chì vulianu puderanu cumprà ogni tipu di libri è discutiri cù i culleghi. Tutta una folla riunita per a sessione d'autografi !

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

Risultati

A Hydra Conference è SPTDC School sò avvenimenti assai impurtanti per noi cum'è l'urganizatori è per a cumunità sana. Questa hè una chance di guardà in u nostru avvene, sviluppà un quadru cuncettuale unificatu per discutiri di prublemi muderni, è fighjate più attente à direzzione interessanti. Multithreading hè stata per un tempu assai longu, ma hà pigliatu una decina d'anni dopu chì u primu processore veramente multi-core apparsu per u fenomenu per esse generalizatu. Ciò chì avemu intesu à i rapporti sta settimana ùn hè micca una nutizia fugace, ma a strada per un futuru luminosu chì seguiteremu in l'anni à vene. Ùn ci sarà micca spoilers per a prossima Hydra in questu post, ma pudete sperà per u megliu. Sè site interessatu in tematiche cum'è queste, pudete vulete verificà i nostri altri avvenimenti, cum'è discorsi di cunferenza hardcore Joker 2019 o DotNext 2019 Mosca. Ci si vede à e prossime cunferenze !

Trè vincitori di u Premiu Dijkstra: cumu sò andati Hydra 2019 è SPTDC 2019

Source: www.habr.com

Add a comment