Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Més recentment, del 8 al 12 de juliol, van tenir lloc simultàniament dos esdeveniments significatius: la conferència Hidra i escola SPTDC. En aquesta entrada m'agradaria destacar diverses característiques que vam observar durant la conferència.

El major orgull d'Hydra i de l'Escola són els ponents.

  • Tres premiats Premi Dijkstra: Leslie Lampport, Maurice Herlihy i Michael Scott. A més, Maurice el va rebre dues vegades. Leslie Lampport també va rebre Premi Turing — el premi ACM més prestigiós en informàtica;
  • El creador del compilador Java JIT és Cliff Click;
  • Desenvolupadors de Corutin - Roman Elizarov (elizarov) i Nikita Koval (ndkoval) per a Kotlin, i Dmitry Vyukov per a Go;
  • Col·laboradors de Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda i Vladislav Kuznetsov);
  • I moltes altres persones famoses: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model de memòria C++), Pedro Ramalhete (estructures de dades sense espera), Alexey Zinoviev (ML), Dmitry Bugaichenko (anàlisi de gràfics).

I això ja és Escola:

  • Universitat de Brown (Maurice Herlihy),
  • Universitat de Rochester (Michael Scott),
  • Universitat de Waterloo (Trevor Brown),
  • Universitat de Nantes (Achour Mostefaoui),
  • David Ben-Gurion Universitat del Nèguev (Danny Hendler),
  • Universitat de Califòrnia a Los Angeles (Eli Gafni),
  • Institut Polytechnique de París (Petr Kuznetsov),
  • Microsoft Research (Leslie Lampport),
  • VMware Research (Ittai Abraham).

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Teoria i pràctica, ciència i producció

Deixeu-me recordar que l'Escola SPTDC és un petit esdeveniment per a un centenar i mig de persones que s'hi reuneixen i parlen de temes moderns en el camp de la informàtica distribuïda. Hydra és una conferència d'informàtica distribuïda de dos dies que se celebra en paral·lel. Hydra té un enfocament més d'enginyeria, mentre que l'Escola té un enfocament més científic.

Un dels objectius de la conferència Hydra és combinar principis científics i d'enginyeria. D'una banda, això s'aconsegueix amb la selecció d'informes al programa: juntament amb Lamport, Herlihy i Scott, hi ha informes molt més aplicats d'Alex Petrov, que col·labora a Cassandra, o Roman Elizarov de JetBrains. Hi ha Martin Kleppman, que solia construir i vendre startups i ara estudia CRDT a la Universitat de Cambridge. Però el millor és que Hydra i SPTDC es mantenen l'una al costat de l'altre: tenen informes diferents, però un lloc comú per a la comunicació.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Immersió

Cinc dies consecutius de l'Escola és un esdeveniment molt gran i amb molta càrrega de treball, tant per als participants com per als organitzadors. No tothom va arribar als últims dies. Hi va haver qui va anar a l'Hidra i a l'escola alhora, i per a ells els darrers dies van resultar ser els de més esdeveniments. Tot aquest enrenou es compensa amb una immersió increïblement profunda. Això es deu no només al volum, sinó també a la qualitat del material. Tots els informes i conferències d'ambdós esdeveniments no estaven planificats per ser introductoris, així que allà on vagis, immediatament et submergeixes lluny i profundament, i no et deixen anar fins al final.

Per descomptat, depèn molt de la preparació inicial del participant. Hi va haver un moment divertit quan dos grups de persones al passadís van discutir de manera independent l'informe de Heidi Howard: a alguns els va semblar completament normal, mentre que a altres, al contrari, pensaven profundament en la vida. És interessant que segons els participants de les comissions del programa (que volien mantenir l'anonimat), els informes d'Hydra i les conferències de l'Escola als seus actes poguessin estar sobrequalificats. Per exemple, si un jove de PHP vingués a una conferència de PHP per aprendre la vida, seria una mica precipitat suposar que té un coneixement profund sobre els aspectes interns de Zend Engine. Aquí, els ponents no van donar de menjar amb cullera als joves, sinó que de seguida van implicar un cert nivell de coneixement i comprensió. Bé, de fet, el nivell de participants que operen sistemes distribuïts i escriuen nuclis d'execució és molt alt, això és lògic. A jutjar per la reacció dels participants, va ser bastant fàcil escollir un informe segons el nivell i el tema.

Si parlem d'informes concrets, tots eren bons a la seva manera. A jutjar pel que diu la gent i el que es pot veure en el formulari de comentaris, un dels informes més interessants de l'Escola va ser "Estructures de dades sense bloqueig" Michael Scott, només va destrossar tothom, té una qualificació anormal d'uns 4.9.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Metaconferència

Molt abans de l'inici d'Hydra i l'escola, Ruslan ARG89 va suposar que hi hauria algun tipus de "metaconferència": una conferència de conferències, on tots els principals participants d'altres esdeveniments serien absorbits automàticament, com si fossin un forat negre. I així va passar! Per exemple, entre els alumnes de l'Escola es va notar Ruslan Cheremin de DeutscheBank, un conegut especialista en multithreading.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

I dels membres d'Hydra es van notar Vadim Tsesko (íncubs) I Andrei Pangin (apangin) de l'empresa Odnoklassniki. (Al mateix temps, Vadim també ens va ajudar a fer dues excel·lents entrevistes amb Martin Kleppman - un per a Habr, i l'altre per als espectadors de l'emissió en línia). Hi havia membres Comitè del programa DotNext, els famosos conferenciants Anatoly Kulakov i Igor Labutin. Del javista n'hi havia Dmitri Alexandrov и Vladimir Ivanov. Normalment veieu aquestes persones en llocs completament diferents: dotnetists a DotNext, javaisistes a Joker, etc. I així s'asseuen l'un al costat de l'altre als informes d'Hydra i junts discuteixen els problemes dels aficionats. Quan desapareix aquesta divisió lleugerament artificial per llenguatges i tecnologies de programació, sorgeixen les característiques de l'àrea temàtica: els especialistes en temps d'execució dinàmics es comuniquen amb altres temporitzadors, els investigadors de la teoria de la computació distribuïda discuteixen acaloradament amb altres investigadors, els enginyers de motors de bases de dades amunteguen la pissarra, etc. .

A l'informe segons el model de memòria C++ els desenvolupadors d'OpenJDK estaven asseguts a la primera fila (almenys els conec de vista, però no els Pythonists, potser els Pythonists també hi eren). De fet, hi ha alguna cosa tan Shipilevsky en aquest reportatge... Ori no diu exactament el mateix, però una mirada acurada pot detectar paral·lelismes. Fins i tot després de tot el que va passar en els darrers estàndards de C++, problemes com ara els valors del nucli encara no es van solucionar, de manera que podríeu anar a aquest informe i escoltar com està la gent "a l'altre costat de la barricada". tractant de solucionar aquests problemes, segons raonen, un podria quedar impressionat pels enfocaments de la solució trobada (Ori té una de les opcions de correcció).

Hi va haver molts participants als comitès del programa i als motors comunitaris. Tothom va resoldre els seus problemes interreligiosos, va construir ponts i va adquirir connexions. Vaig utilitzar això allà on vaig poder i, per exemple, vam estar d'acord amb Alexander Borgardt Grup d'usuaris C++ de Moscou junts escriuen un article a gran escala sobre actors i asincronia en C++.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

A la foto: Leonid Talalaev (ltalal, esquerra) i Oleg Anastasyev (m0nsmind, dreta), desenvolupadors líders a Odnoklassniki

Foc zones de discussió i aficionats

A les conferències sempre hi ha participants que coneixen el tema tan bé com els ponents (i de vegades fins i tot millor que els ponents, per exemple, quan entre els participants hi ha un desenvolupador del nucli d'alguna tecnologia). Hi havia molts participants tan experts en Hydra. Per exemple, en algun moment explicant Alex Petrov sobre Cassandra, es va formar tanta gent que no va poder respondre a tothom. En algun moment, l'Àlex va ser empès sense problemes cap al costat i va començar a ser trencat amb preguntes, però la bandera que cau va ser recollida per un conegut desenvolupador de Rust als cercles. Tyler Neely i equilibrava perfectament la càrrega. Quan vaig demanar ajuda a Tyler amb una entrevista en línia, tot el que va preguntar va ser: "Quan comencem?"

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

De vegades, l'esperit de discussió fins i tot va irrompre als informes: Nikita Koval va organitzar una sessió de preguntes i respostes sobtada, dividint l'informe en diverses seccions.

I a l'inrevés, a BOF per multi-threading van recordar sobre la memòria no volàtil, es van atreure a aquest bof Pedro Ramalhete com a especialista en cap, i ho va explicar tot a tothom (en resum, la memòria no volàtil no és una amenaça per a nosaltres en un futur proper). Un dels amfitrions d'aquest bof, per cert, era Vladimir Sitnikov, que forma part dels comitès de programa d'un nombre boig de conferències... ara mateix sembla que són cinc a la vegada. A la propera afició sobre "El CS modern al món real" també van parlar de NVM i van arribar a això completament pel seu compte.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Puc compartir una súper visió que fins i tot els que estan directament implicats en la història potser no s'han adonat. Eli Gafni va actuar el vespre del primer dia de l'Escola, i l'endemà es va quedar i va començar a trossejar Lamport, i des de fora semblava que això era joc i l'Eli era inadequat. Que aquest és una mena de troll que es va proposar treure el cervell de la Leslie. De fet, el fet és que gairebé són els millors amics, són amics des de fa molts anys, i això és només una broma tan amistosa. És a dir, l'acudit va funcionar: tota la gent del voltant s'hi va enamorar, s'ho va prendre per valor.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Per separat, m'agradaria destacar quant d'amor i esforç els ponents han posat en això. Algú es va quedar a la zona de discussió fins l'últim minut, gairebé durant hores. El descans va acabar fa molt de temps, el reportatge va començar, va acabar, va començar el següent descans... i Dmitri Viukov va continuar responent preguntes. També em va passar una història interessant: després d'haver agafat Cliff Click per sorpresa, vaig rebre no només una explicació clara i raonable d'aquella discussió provocativa sobre la manca de proves. per a determinades coses a H2O, però també en va fer una revisió completa nou idioma AA. No ho vaig demanar mai: només vaig preguntar què pots llegir sobre AA (va resultar que pots escoltar podcast), i en canvi Cliff va passar mitja hora parlant de l'idioma i comprovant que el que deia s'entenia correctament. Meravellós. Hem d'escriure un habrapost sobre AA. Una altra experiència inusual va ser veure el procés de revisió de la sol·licitud d'extracció a Kotlin. És realment una sensació màgica quan entres en diferents grups de discussió, diferents ponents i et submergeixes en un món completament nou. Això és una cosa a nivell "Allà, allà" de Radiohead.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Idioma anglès

Hydra 2019 és la nostra primera conferència on l'idioma principal és l'anglès. Això comporta tant els seus avantatges com els seus reptes. Un avantatge evident és que la gent no només ve a la conferència des de Rússia, de manera que entre els participants podeu conèixer enginyers d'Europa i científics d'Anglaterra. Els ponents porten els seus alumnes. En general, els ponents importants tenen molta més motivació per anar a una conferència d'aquest tipus. Imagineu-vos que sou un ponent en una conferència completament en llengua russa: heu fet el vostre informe, heu defensat l'àrea de discussió, i després què? Viatjar per la ciutat i veure llocs turístics? De fet, els parlants molt populars ja n'han vist prou de tot el món, no volen anar a veure lleons i ponts llevadissos, estan avorrits. Si tots els informes estan en anglès, poden participar a la conferència de manera general, divertir-se, unir-se a zones de discussió, etc. L'ambient és força amable amb els ponents.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

El desavantatge evident és que no tothom se sent còmode comunicant-se en anglès. Molts entenen bé, però parlen malament. En general, coses corrents que es resolen de diferents maneres. Per exemple, algunes àrees de discussió van començar en rus, però immediatament es van canviar a l'anglès quan va aparèixer el primer participant que parlava anglès.

Jo mateix vaig haver de fer les inclusions d'obertura i tancament de l'emissió en línia exclusivament en anglès i participar en un parell d'entrevistes en disc amb experts. I aquest va ser un autèntic repte per a mi que no s'oblidarà aviat. En algun moment Oleg Anastasyev (m0nsmind) simplement em va dir que em quedés assegut amb ells durant l'entrevista, i vaig ser massa lent per entendre què volia dir això.

D'altra banda, va ser molt agradable que la gent fes preguntes als reportatges amb un cop d'ull. No només els parlants nadius, sinó tots en general, va funcionar bé. En altres conferències, sovint es veu que a la gent li fa vergonya fer preguntes a l'audiència en anglès trencat i només pot esprémer alguna cosa a l'àrea de discussió. Això era completament diferent aquí. Relativament parlant, alguns Cliff Click van acabar els seus informes una mica abans, i després les preguntes van seguir en una seqüència contínua, la conversa es va traslladar a la zona de discussió, sense pauses ni interrupcions incòmodes. El mateix passa amb la sessió de preguntes i respostes de Leslie Lamport, el presentador pràcticament no va haver de fer les seves preguntes, els participants ho van plantejar tot.

Hi havia tot tipus de petites coses que poca gent nota, però existeixen. A causa del fet que la conferència és en anglès, el disseny de coses com ara fulletons i mapes és més lleuger i concís. No cal duplicar idiomes i desordenar el disseny.

Patrocinadors i exposició

Els nostres patrocinadors ens van ajudar molt a crear la conferència. Gràcies a ells, sempre hi havia alguna cosa a fer durant els descansos.

A l'estand Deutsche Bank TechCenter Podríeu xerrar amb enginyers de sistemes multifils, resoldre els seus problemes del vostre cap, guanyar premis memorables i passar una bona estona.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

A l'estand Contorn podríem parlar dels seus propis sistemes, tant oberts com de codi obert: una base de dades distribuïda en memòria, un registre binari distribuït, un sistema d'orquestració de microserveis, un transport universal per a telemetria, etc. I, per descomptat, trencaclosques i concursos, adhesius amb un gat binari i l'Edat Mitjana que pateix, regals com el llibre de Martin Kleppmann i figures LEGO.

Tingueu en compte que l'anàlisi dels problemes de Kontur ja està publicat a Habré. Bona anàlisi, val la pena mirar-la.

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Els qui ho desitgin podien adquirir tota mena de llibres i parlar-ne amb els companys. Tota una multitud es va reunir per a la sessió d'autògrafs!

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Resultats de

La Conferència Hydra i l'Escola SPTDC són esdeveniments molt importants per a nosaltres com a empresa organitzadora i per a tota la comunitat. Aquesta és una oportunitat per mirar el nostre futur, desenvolupar un marc conceptual unificat per discutir problemes moderns i mirar més de prop les direccions interessants. El multithreading fa molt de temps que existeix, però va passar una dècada sencera després que aparegués el primer processador realment multinucli perquè el fenomen es generalitzés. El que hem escoltat als informes d'aquesta setmana no és una notícia fugaç, sinó el camí cap a un futur brillant que seguirem en els propers anys. No hi haurà spoilers per a la propera Hydra en aquesta publicació, però podeu esperar el millor. Si esteu interessats en temes com aquests, potser voldreu fer una ullada als nostres altres esdeveniments, com ara conferències intenses Joker 2019 o DotNext 2019 Moscou. Ens veiem a les properes conferències!

Tres guanyadors del premi Dijkstra: com han anat Hydra 2019 i SPTDC 2019

Font: www.habr.com

Afegeix comentari