Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Più recentemente, dall'8 al 12 luglio, si sono svolti contemporaneamente due eventi significativi: la conferenza Hydra e scuola SPTDC. In questo post vorrei evidenziare alcune caratteristiche che abbiamo notato durante la conferenza.

Il più grande orgoglio dell'Hydra e della Scuola sono i relatori.

  • Tre vincitori Premio Dijkstra: Leslie Lamport, Maurice Herlihy e Michael Scott. Inoltre, Maurice lo ha ricevuto due volte. Ha ricevuto anche Leslie Lamport Premio Turing — il premio ACM più prestigioso nel campo dell'informatica;
  • Il creatore del compilatore Java JIT è Cliff Click;
  • Sviluppatori di Corutin - Roman Elizarov (Elizarov) e Nikita Koval (ndkoval) per Kotlin e Dmitry Vyukov per Go;
  • Collaboratori a Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda e Vladislav Kuznetsov);
  • E molti altri personaggi famosi: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (modello di memoria C++), Pedro Ramalhete (strutture dati senza attesa), Alexey Zinoviev (ML), Dmitry Bugaichenko (analisi grafica).

E questa è già Scuola:

  • Università Brown (Maurice Herlihy),
  • Università di Rochester (Michael Scott),
  • Università di Waterloo (Trevor Brown),
  • Università di Nantes (Achour Mostefaoui),
  • Università David Ben-Gurion del Negev (Danny Hendler),
  • Università della California a Los Angeles (Eli Gafni),
  • Istituto Politecnico di Parigi (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • Ricerca VMware (Ittai Abraham).

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Teoria e pratica, scienza e produzione

Permettetemi di ricordarvi che la SPTDC School è un piccolo evento per un centinaio di persone e mezzo; luminari di livello mondiale si riuniscono lì e parlano di questioni moderne nel campo del calcolo distribuito. Hydra è una conferenza sul calcolo distribuito di due giorni tenutasi in parallelo. L'Hydra ha un focus più ingegneristico, mentre la Scuola ha un focus più scientifico.

Uno degli obiettivi della conferenza Hydra è combinare principi scientifici e ingegneristici. Da un lato, ciò si ottiene attraverso la selezione dei resoconti nel programma: oltre a Lamport, Herlihy e Scott, ci sono molti più resoconti applicati di Alex Petrov, che contribuisce a Cassandra, o Roman Elizarov di JetBrains. C'è Martin Kleppman, che costruiva e vendeva startup e ora studia CRDT all'Università di Cambridge. Ma la cosa bella è che Hydra e SPTDC si svolgono fianco a fianco: hanno rapporti diversi, ma un luogo comune di comunicazione.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Immersione

Cinque giorni consecutivi di Scuola sono un evento molto grande e un grande carico di lavoro, sia per i partecipanti che per gli organizzatori. Non tutti sono arrivati ​​agli ultimi giorni. C'erano quelli che andavano all'Hydra e alla scuola contemporaneamente, e per loro gli ultimi giorni si rivelarono i più ricchi di eventi. Tutto questo clamore è compensato da un'immersione incredibilmente profonda. Ciò è dovuto non solo al volume, ma anche alla qualità del materiale. Tutte le relazioni e le conferenze di entrambi gli eventi non erano previste come introduttive, quindi ovunque tu vada, ti immergi immediatamente lontano e in profondità, e non ti lasci andare fino alla fine.

Naturalmente molto dipende dalla preparazione iniziale del partecipante. C'è stato un momento divertente in cui due gruppi di persone nel corridoio hanno discusso in modo indipendente il rapporto di Heidi Howard: ad alcuni sembrava del tutto normale, mentre altri, al contrario, hanno pensato profondamente alla vita. È interessante notare che, secondo i partecipanti ai comitati di programma (che hanno voluto rimanere anonimi), i resoconti dell’Hydra e le conferenze della Scuola ai loro eventi potrebbero essere troppo qualificati. Ad esempio, se un PHP junior venisse a una conferenza PHP per imparare la vita, sarebbe un po' avventato presumere che abbia una conoscenza approfondita dei componenti interni di Zend Engine. Qui i relatori non hanno dato da mangiare ai ragazzi, ma hanno subito lasciato intendere un certo livello di conoscenza e comprensione. Ebbene, in effetti, il livello dei partecipanti che gestiscono sistemi distribuiti e scrivono kernel runtime è molto alto, questo è logico. A giudicare dalla reazione dei partecipanti, è stato abbastanza facile scegliere un rapporto in base al livello e all'argomento.

Se parliamo di rapporti specifici, erano tutti buoni a modo loro. A giudicare da ciò che dicono le persone e da ciò che si può vedere dal modulo di feedback, uno dei resoconti più interessanti della scuola è stato "Strutture dati non bloccanti" Michael Scott, ha fatto a pezzi tutti, ha un punteggio anomalo intorno a 4.9.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Metaconferenza

Molto prima dell'inizio di Hydra e della Scuola, Ruslan ARG89 presumeva che ci sarebbe stata una sorta di "meta-conferenza" - una conferenza di conferenze, in cui tutti i principali partecipanti ad altri eventi sarebbero stati automaticamente risucchiati al suo interno, come in un buco nero. E così è successo! Ad esempio, tra gli studenti della Scuola è stato notato Ruslan Cheremin da DeutscheBank, noto specialista del multithreading.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

E dei membri dell'Hydra furono notati Vadim Tsesko (incubo) E Andrej Pangin (apangina) della società Odnoklassniki. (Allo stesso tempo, Vadim ci ha anche aiutato a realizzare due eccellenti interviste con Martin Kleppman - uno per Habre l'altro per gli spettatori della trasmissione online). C'erano membri Comitato del programma DotNext, famosi oratori Anatoly Kulakov e Igor Labutin. Dei Javisti ce n'erano Dmitry Alexandrov и Vladimir Ivanov. Di solito vedi queste persone in posti completamente diversi: dotnetisti su DotNext, javaisti su Joker e così via. E così si siedono fianco a fianco ai rapporti dell'Hydra e discutono insieme i problemi sui potenziamenti. Quando questa divisione un po' artificiale in linguaggi di programmazione e tecnologie scompare, emergono le caratteristiche dell'area tematica: specialisti di runtime dinamico comunicano con altri runtimer, ricercatori di teoria del calcolo distribuito discutono animatamente con altri ricercatori, ingegneri di motori di database affollano la lavagna e così via .

Alla relazione secondo il modello di memoria C++ gli sviluppatori di OpenJDK erano seduti in prima fila (almeno li conosco di vista, ma non i Pythonisti, forse c'erano anche i Pythonisti). In effetti, c'è qualcosa di simile a Shipilovsky in questo rapporto... Ori non dice esattamente la stessa cosa, ma uno sguardo attento può rilevare dei parallelismi. Anche dopo tutto quello che è successo negli ultimi standard C++, problemi come i valori inaspettati non sono stati ancora risolti, quindi potresti andare a un rapporto del genere e ascoltare come stanno le persone "dall'altra parte della barricata" cercando di risolvere questi problemi, mentre ragionano, si potrebbe rimanere colpiti dagli approcci alla soluzione trovata (Ori ha una delle opzioni di correzione).

C'erano molti partecipanti ai comitati di programma e ai motori della comunità. Tutti hanno risolto i propri problemi interreligiosi, costruito ponti e acquisito connessioni. L'ho usato ovunque potessi e, ad esempio, abbiamo concordato con Alexander Borgardt di Gruppo utenti C++ di Mosca scrivere insieme un articolo completo sugli attori e sull'asincronia in C++.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Nella foto: Leonid Talalaev (ltalal, a sinistra) e Oleg Anastasyev (m0nstermind, a destra), sviluppatori leader di Odnoklassniki

Spara zone di discussione e potenziamenti

Alle conferenze ci sono sempre partecipanti che conoscono l'argomento quanto i relatori (e talvolta anche meglio dei relatori - ad esempio, quando tra i partecipanti c'è uno sviluppatore del nucleo di una certa tecnologia). C'erano molti partecipanti altamente esperti su Hydra. Ad esempio, ad un certo punto, Alex Petrov lo racconta su Cassandra, si formò così tanta gente che non poté rispondere a tutti. Ad un certo punto, Alex è stato facilmente spinto di lato e ha iniziato a essere tormentato da domande, ma la bandiera che cadeva è stata raccolta da un noto sviluppatore di Rust nei circoli Tyler Neely e bilanciato perfettamente il carico. Quando ho chiesto aiuto a Tyler con il colloquio online, tutto quello che ha chiesto è stato: "Quando iniziamo?"

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

A volte lo spirito di discussione ha fatto irruzione anche nei rapporti: Nikita Koval ha organizzato un'improvvisa sessione di domande e risposte, dividendo il rapporto in più sezioni.

E viceversa, su BOF per il multi-threading si sono ricordati della memoria non volatile, sono stati attratti da questo bof Pedro Ramalhete come specialista capo, e ha spiegato tutto a tutti (in breve, la memoria non volatile non è una minaccia per noi nel prossimo futuro). Uno dei conduttori di questo incontro, tra l'altro, lo era Vladimir Sitnikov, che fa parte dei comitati di programma di un numero pazzesco di conferenze... sembrano cinque alla volta in questo momento. Al successivo appassionato di "CS moderno nel mondo reale" hanno discusso anche di NVM e sono arrivati ​​a questo completamente da soli.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Posso condividere una super-intuizione che anche coloro che sono direttamente coinvolti nella storia potrebbero non aver notato. Eli Gafni si è esibito la sera del primo giorno di scuola, e il giorno dopo è rimasto e ha iniziato a trollare Lamport, e dall'esterno sembrava che questo fosse un gioco ed Eli fosse inadeguato. Che si tratta di una specie di troll che ha deciso di eliminare il cervello di Leslie. In effetti, il fatto è che sono quasi migliori amici, sono amici da molti anni e questa è una battuta così amichevole. Cioè, lo scherzo ha funzionato: tutte le persone intorno ci sono cascate, l'hanno preso per valore nominale.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Separatamente, vorrei sottolineare quanto amore e impegno gli oratori hanno messo in questo. Qualcuno è rimasto nell'area di discussione fino all'ultimo minuto, quasi per ore. La pausa è finita molto tempo fa, il rapporto è iniziato, è finito, è iniziata la pausa successiva - e Dmitrij Vjukov continuato a rispondere alle domande. Anche a me è successa una storia interessante: avendo colto di sorpresa Cliff Click, ho ricevuto non solo una spiegazione chiara e ragionevole di quella discussione provocatoria sulla mancanza di test per certe cose in H2O, ma ne ho anche ricevuto una recensione completa nuova lingua AA. Non l'ho mai chiesto: ho solo chiesto cosa puoi leggere sugli AA (si è scoperto che puoi ascoltare Podcast), e invece Cliff ha passato mezz'ora a parlare della lingua e a controllare che quello che diceva fosse capito correttamente. Meravigliosa. Dobbiamo scrivere un habrapost su AA. Un'altra esperienza insolita è stata osservare il processo di revisione delle richieste pull in Kotlin. È davvero una sensazione magica quando entri in diversi gruppi di discussione, diversi relatori e ti immergi in un mondo completamente nuovo. Questo è qualcosa di livello "Là, là" dei Radiohead.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Inglese

Hydra 2019 è la nostra prima conferenza in cui la lingua principale è l'inglese. Ciò comporta sia vantaggi che sfide. Un ovvio vantaggio è che alla conferenza non vengono solo persone dalla Russia, ma tra i partecipanti si possono incontrare ingegneri dall'Europa e scienziati dall'Inghilterra. I relatori portano i loro studenti. In generale, i relatori importanti hanno molta più motivazione per partecipare a una conferenza del genere. Immagina di essere relatore in una conferenza completamente in lingua russa: hai presentato la tua relazione, hai difeso l'area di discussione e poi cosa? Viaggiare per la città e vedere i luoghi turistici? In effetti, i relatori davvero famosi hanno già visto abbastanza di tutto nel mondo, non vogliono andare a vedere leoni e ponti levatoi, si annoiano. Se tutte le relazioni sono in inglese, possono partecipare alla conferenza in generale, divertirsi, partecipare alle aree di discussione e così via. L'atmosfera è piuttosto amichevole nei confronti dei relatori.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

L’ovvio svantaggio è che non tutti si sentono a proprio agio nel comunicare in inglese. Molti capiscono bene, ma parlano male. In generale, cose ordinarie che sono state risolte in modi diversi. Ad esempio, alcune aree di discussione sono iniziate in russo, ma sono subito passate all'inglese quando è apparso il primo partecipante di lingua inglese.

Io stesso ho dovuto occuparmi dell'apertura e della chiusura della trasmissione online esclusivamente in inglese e partecipare a un paio di interviste registrate con esperti. E questa è stata per me una vera sfida che non dimenticherò presto. Ad un certo punto Oleg Anastasyev (m0nstermind) mi hanno semplicemente detto di restare seduto con loro durante l'intervista, e sono stato troppo lento per capire cosa significasse.

D'altra parte è stato molto piacevole che le persone abbiano posto domande con il botto durante i rapporti. Non solo i madrelingua, ma tutti in generale, ha funzionato bene. In altre conferenze si vede spesso che le persone sono imbarazzate nel porre domande al pubblico in un inglese stentato e riescono solo a spremere qualcosa nell'area di discussione. Qui era completamente diverso. Relativamente parlando, alcuni Cliff Click hanno terminato i loro rapporti un po' prima, e poi le domande si sono susseguite in sequenza continua, la conversazione si è spostata nella zona di discussione, senza pause o interruzioni imbarazzanti. Lo stesso vale per la sessione di domande e risposte di Leslie Lamport: il presentatore praticamente non ha dovuto porre le sue domande, i partecipanti hanno inventato tutto.

C'erano tante piccole cose che poche persone notano, ma esistono. Dato che la conferenza è in inglese, il design di volantini e mappe è più leggero e conciso. Non è necessario duplicare le lingue e ingombrare il design.

Sponsor e mostra

I nostri sponsor ci hanno aiutato molto nella realizzazione della conferenza. Grazie a loro, durante le pause c'era sempre qualcosa da fare.

Allo stand TechCenter della Deutsche Bank potresti chattare con ingegneri di sistemi multi-thread, risolvere i loro problemi senza pensarci troppo, vincere premi memorabili e semplicemente divertirti.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Allo stand Contorno potremmo parlare dei propri sistemi, sia open che open source: un database in-memory distribuito, un log binario distribuito, un sistema di orchestrazione di microservizi, un trasporto universale per la telemetria e così via. E ovviamente puzzle e concorsi, adesivi con il gatto binario e il Medioevo sofferente, regali come il libro di Martin Kleppmann e i personaggi LEGO.

Si prega di notare che l'analisi dei problemi di Kontur è già disponibile pubblicato su Habré. Ottima analisi, vale la pena darci un'occhiata.

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Chi lo desiderava poteva acquistare libri di ogni genere e discuterne con i colleghi. Un'intera folla si è radunata per la sessione degli autografi!

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Risultati di

La Hydra Conference e la SPTDC School sono eventi molto importanti per noi come società organizzatrice e per l'intera comunità. Questa è un'opportunità per guardare al nostro futuro, sviluppare un quadro concettuale unificato per discutere i problemi moderni e dare uno sguardo più da vicino a direzioni interessanti. Il multithreading esiste da molto tempo, ma ci è voluto un intero decennio dopo la comparsa del primo vero processore multi-core perché il fenomeno si diffondesse. Ciò che abbiamo ascoltato nei resoconti di questa settimana non è una notizia fugace, ma la strada verso un futuro luminoso che seguiremo nei prossimi anni. Non ci saranno spoiler per il prossimo Hydra in questo post, ma puoi sperare per il meglio. Se sei interessato a questioni come queste, potresti voler dare un'occhiata ai nostri altri eventi, come le conferenze hardcore Joker 2019 o DotNext 2019 Mosca. Ci vediamo ai prossimi convegni!

Tre vincitori del Premio Dijkstra: come sono andati Hydra 2019 e SPTDC 2019

Fonte: habr.com

Aggiungi un commento