Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Máis recentemente, do 8 ao 12 de xullo, tiveron lugar simultáneamente dous eventos significativos: a conferencia hidra e escola SPTDC. Neste post gustaríame destacar varias características que observamos durante a conferencia.

O maior orgullo de Hydra e da Escola son os relatores.

  • Tres laureados Premio Dijkstra: Leslie Lampport, Maurice Herlihy e Michael Scott. Ademais, Maurice recibiuno dúas veces. Leslie Lampport tamén recibiu Premio Turing — o premio ACM máis prestixioso en informática;
  • O creador do compilador Java JIT é Cliff Click;
  • Desenvolvedores de Corutin - Roman Elizarov (elizarov) e Nikita Koval (ndkoval) para Kotlin, e Dmitry Vyukov para Go;
  • Colaboradores de Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda e Vladislav Kuznetsov);
  • E moitos outros personaxes famosos: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (modelo de memoria C++), Pedro Ramalhete (estruturas de datos sen espera), Alexey Zinoviev (ML), Dmitry Bugaichenko (análise de gráficos).

E isto xa é Escola:

  • Universidade de Brown (Maurice Herlihy),
  • Universidade de Rochester (Michael Scott),
  • Universidade de Waterloo (Trevor Brown),
  • Universidade de Nantes (Achour Mostefaoui),
  • David Ben-Gurion University of the Negev (Danny Hendler),
  • Universidade de California en Los Angeles (Eli Gafni),
  • Instituto Politécnico de París (Petr Kuznetsov),
  • Microsoft Research (Leslie Lampport),
  • VMware Research (Ittai Abraham).

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Teoría e práctica, ciencia e produción

Permíteme lembrar que a Escola SPTDC é un pequeno evento para cen persoas e medio; alí reúnense luminarias de clase mundial e falan sobre temas modernos no campo da computación distribuída. Hydra é unha conferencia de computación distribuída de dous días que se celebra en paralelo. Hydra ten un enfoque máis de enxeñería, mentres que a Escola ten un enfoque máis científico.

Un dos obxectivos da conferencia Hydra é combinar principios científicos e de enxeñería. Por unha banda, conséguese coa selección de reportaxes no programa: xunto a Lamport, Herlihy e Scott, hai reportaxes moito máis aplicados de Alex Petrov, que colabora con Cassandra, ou Roman Elizarov de JetBrains. Está Martin Kleppman, que adoitaba construír e vender startups e agora estuda CRDT na Universidade de Cambridge. Pero o interesante é que Hydra e SPTDC son mantidos un ao lado do outro: teñen informes diferentes, pero un lugar común para a comunicación.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Inmersión

Cinco días seguidos da Escola é un evento moi grande e de moita carga de traballo, tanto para os participantes como para os organizadores. Non todos chegaron aos últimos días. Houbo quen foi a Hidra e ao Colexio ao mesmo tempo, e para eles os últimos días resultaron ser os de máis acontecementos. Todo este alboroto vese compensado por unha inmersión incriblemente profunda. Isto débese non só ao volume, senón tamén á calidade do material. Todos os relatorios e conferencias de ambos os eventos non foron planeados para ser introdutorios, polo que onde queira que vaias, mergúllase inmediatamente lonxe e non se deixa ir ata o final.

Por suposto, moito depende da preparación inicial do participante. Houbo un momento divertido no que dous grupos de persoas no corredor discutiron independentemente o informe de Heidi Howard: a algúns lles parecía completamente normal, mentres que outros, pola contra, pensaban profundamente na vida. É interesante que, segundo os participantes dos comités do programa (que desexaban permanecer no anonimato), os informes de Hydra e as conferencias da Escola nos seus eventos poderían estar sobrecualificados. Por exemplo, se un estudiante de PHP acudía a unha conferencia de PHP para aprender a vida, sería un pouco temerario asumir que ten un profundo coñecemento sobre os aspectos internos de Zend Engine. Aquí, os oradores non alimentaron con culler aos mozos, senón que inmediatamente implicaron un certo nivel de coñecemento e comprensión. Ben, de feito, o nivel de participantes que operan sistemas distribuídos e escriben núcleos de execución é moi alto, isto é lóxico. A xulgar pola reacción dos participantes, foi bastante sinxelo escoller un informe en función do nivel e do tema.

Se falamos de informes específicos, todos eran bos á súa maneira. A xulgar polo que di a xente e o que se pode ver no formulario de comentarios, un dos informes máis interesantes da Escola foi "Estruturas de datos sen bloqueo" Michael Scott, só destrozou a todos, ten unha valoración anormal de arredor de 4.9.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Metaconferencia

Moito antes do comezo de Hydra and the School, Ruslan ARG89 asumiu que habería algún tipo de "metaconferencia", unha conferencia de conferencias, na que todos os principais participantes doutros eventos serían absorbidos automaticamente, como nun buraco negro. E así pasou! Por exemplo, entre o alumnado da Escola notouse Ruslan Cheremin de DeutscheBank, un coñecido especialista en multithreading.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

E dos membros de Hydra notáronse Vadim Tsesko (íncubos) E Andrey Pangin (apanxin) da empresa Odnoklassniki. (Ao mesmo tempo, Vadim tamén nos axudou a facer dúas excelentes entrevistas con Martin Kleppman - un para Habr, e a outra para os espectadores da emisión en liña). Había membros Comité do programa DotNext, os famosos oradores Anatoly Kulakov e Igor Labutin. Do xavista había Dmitri Alexandrov и Vladimir Ivanov. Normalmente ves a estas persoas en lugares completamente diferentes: dotnetists en DotNext, javaiss en Joker, etc. E así sentan un ao lado da outro nos informes de Hydra e discuten xuntos os problemas dos afeccionados. Cando desaparece esta división lixeiramente artificial por linguaxes e tecnoloxías de programación, xorden as características da área temática: os especialistas dinámicos en tempo de execución comunícanse con outros temporizadores, os investigadores de teoría da computación distribuída discuten acaloradamente con outros investigadores, os enxeñeiros de motores de bases de datos abarrotan a pizarra, etc. .

No informe segundo o modelo de memoria C++ os desenvolvedores de OpenJDK estaban sentados na primeira fila (polo menos coñezoos de vista, pero non os Pythonists, quizais os Pythonists tamén estaban alí). De feito, hai algo así que Shipilevsky neste informe... Ori non conta exactamente o mesmo, pero unha mirada coidadosa pode detectar paralelismos. Mesmo despois de todo o que pasou nos últimos estándares de C++, problemas como os valores da nada aínda non se solucionaron, polo que poderías ir a un informe deste tipo e escoitar como está a xente "do outro lado da barricada". tentando solucionar estes problemas, Segundo razoan, un podería quedar impresionado polos enfoques da solución atopada (Ori ten unha das opcións de corrección).

Houbo moitos participantes nos comités do programa e nos motores comunitarios. Todo o mundo resolveu os seus problemas interreligiosos, construíu pontes e adquiriu conexións. Usei isto onde puiden e, por exemplo, estivemos de acordo con Alexander Borgardt Grupo de usuarios C++ de Moscova xuntos escriben un artigo a gran escala sobre actores e asincronía en C++.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Na foto: Leonid Talalaev (ltalal, esquerda) e Oleg Anastasyev (m0nsmind, dereita), desenvolvedores líderes en Odnoklassniki

Zonas de discusión do lume e afeccionados

Nas conferencias sempre hai participantes que coñecen o tema tan ben como os relatores (e ás veces incluso mellor que os relatores, por exemplo, cando un desenvolvedor do núcleo dalgunha tecnoloxía está entre os participantes). Había moitos participantes tan expertos en Hydra. Por exemplo, nalgún momento ao redor de Alex Petrov contando sobre Cassandra, formouse tanta xente que non puido responder a todos. Nalgún momento, Alex foi empuxado suavemente para un lado e comezou a ser rasgado con preguntas, pero a bandeira que caía foi recollida por un coñecido desenvolvedor de Rust nos círculos. Tyler Neely e equilibrou perfectamente a carga. Cando pedín axuda a Tyler coa entrevista en liña, o único que preguntou foi: "Cando comezamos?"

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Ás veces, o espírito de discusión mesmo se irrompeu nos informes: Nikita Koval organizou unha sesión de preguntas e respostas repentina, dividindo o informe en varias seccións.

E viceversa, en BOF para o multi-threading lembraron sobre a memoria non volátil, foron atraídos por este bof Pedro Ramalhete como o especialista xefe, e explicounos todo a todos (en definitiva, a memoria non volátil non é unha ameaza para nós nun futuro próximo). Un dos anfitrións deste bof, por certo, foi Vladimir Sitnikov, que forma parte das comisións de programas dun número tolo de conferencias... agora mesmo parece que son cinco á vez. No seguinte afeccionado sobre "CS modernos no mundo real" tamén falaron de NVM e chegaron a isto por conta propia.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Podo compartir unha súper idea que incluso os implicados directamente na historia quizais non se decataran. Eli Gafni actuou na noite do primeiro día da Escola, e ao día seguinte quedou e comezou a trolear a Lamport, e dende fóra parecía que iso era xogo e Eli era inadecuado. Que este é unha especie de troll que se puxo a sacarlle o cerebro a Leslie. De feito, o caso é que son case mellores amigos, son amigos desde hai moitos anos, e isto é só unha broma tan amistosa. É dicir, a broma funcionou: toda a xente de arredor caía por ela, tomábaa de cara.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Por separado, gustaríame destacar o cariño e o esforzo que puxeron os relatores nisto. Alguén estivo na zona de discusión ata o último momento, case durante horas. O descanso rematou hai moito tempo, o informe comezou, rematou, comezou o seguinte descanso - e Dmitri Vyukov continuou respondendo preguntas. Tamén me pasou unha historia interesante: despois de tomar Cliff Click por sorpresa, recibín non só unha explicación clara e razoable daquela discusión provocativa sobre a falta de probas. para certas cousas en H2O, pero tamén obtivo unha revisión completa del novo idioma AA. Nunca preguntei isto: só preguntei que podes ler sobre AA (resultou que podes escoitar podcast), e en cambio Cliff pasou media hora falando da lingua e comprobando que o que dicía se entendía correctamente. Marabilloso. Necesitamos escribir un habrapost sobre AA. Outra experiencia inusual foi ver o proceso de revisión da solicitude de extracción en Kotlin. É verdadeiramente unha sensación máxica cando entras en diferentes grupos de discusión, diferentes oradores e te mergullas nun mundo completamente novo. Isto é algo no nivel "There, There" de Radiohead.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Lingua inglesa

Hydra 2019 é a nosa primeira conferencia na que o idioma principal é o inglés. Isto trae tanto as súas vantaxes como os seus desafíos. Unha vantaxe obvia é que a xente non só vén á conferencia desde Rusia, polo que entre os participantes podes coñecer enxeñeiros de Europa e científicos de Inglaterra. Os relatores traen os seus alumnos. En xeral, os relatores importantes teñen moita máis motivación para acudir a unha conferencia deste tipo. Imaxina que es un orador nunha conferencia totalmente en lingua rusa: deches o teu informe, defendeches a área de discusión e despois que? Viaxar pola cidade e ver lugares turísticos? De feito, os falantes moi populares xa viron bastante de todo o mundo, non queren ir ver leóns e pontes levadizas, están aburridos. Se todos os informes están en inglés, poden participar na conferencia de forma xeral, divertirse, unirse a áreas de debate, etc. O ambiente é bastante amable cos relatores.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

A desvantaxe obvia é que non todos se senten cómodos comunicando en inglés. Moitos entenden ben, pero falan mal. En xeral, cousas comúns que se resolvían de diferentes xeitos. Por exemplo, algunhas áreas de discusión comezaron en ruso, pero inmediatamente cambiaron ao inglés cando apareceu o primeiro participante de fala inglesa.

Eu mesmo tiven que facer as inclusións de apertura e peche da emisión en liña exclusivamente en inglés e participar nun par de entrevistas en rexistro con expertos. E este foi para min un verdadeiro reto que non se esquecerá pronto. Nalgún momento Oleg Anastasyev (m0nsmind) simplemente díxome que me quedara sentado con eles durante a entrevista, e fun demasiado lento para entender o que iso significaba.

Por outra banda, foi moi agradable que a xente fixera preguntas nas reportaxes a golpe. Non só os falantes nativos, senón todos en xeral, funcionou ben. Noutras conferencias, adoita ver que a xente se avergoña de facer preguntas á audiencia nun inglés malo e só pode espremer algo na área de discusión. Isto era completamente diferente aquí. Relativamente falando, algúns Cliff Click remataron os seus informes un pouco antes, e despois de que as preguntas seguiron nunha secuencia continua, a conversación pasou á zona de discusión, sen pausas ou interrupcións incómodas. O mesmo se aplica á sesión de preguntas e respostas de Leslie Lamport; o presentador practicamente non tivo que facer as súas preguntas, os participantes chegaron a todo.

Había todo tipo de pequenas cousas que pouca xente nota, pero que existen. Debido ao feito de que a conferencia está en inglés, o deseño de elementos como folletos e mapas é máis lixeiro e conciso. Non hai necesidade de duplicar idiomas e desordenar o deseño.

Patrocinadores e exposición

Os nosos patrocinadores axudáronnos moito na creación da conferencia. Grazas a eles, sempre había algo que facer nos recreos.

No stand Deutsche Bank TechCenter Poderías conversar con enxeñeiros de sistemas multiprocesos, resolver os seus problemas da túa cabeza, gañar premios memorables e simplemente pasalo ben.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

No stand Contorno poderiamos falar de sistemas propios, tanto abertos como de código aberto: unha base de datos distribuída en memoria, un rexistro binario distribuído, un sistema de orquestración de microservizos, un transporte universal para telemetría, etc. E por suposto, crebacabezas e concursos, adhesivos cun gato binario e a Idade Media sufrida, agasallos como o libro de Martin Kleppmann e figuras de LEGO.

Teña en conta que a análise dos problemas de Kontur xa está publicado en Habré. Boa análise, paga a pena botarlle unha ollada.

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Os que o desexasen podían adquirir todo tipo de libros e comentalos cos compañeiros. Toda unha multitude reuniuse para a sesión de autógrafos!

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Resultados de

A Hydra Conference e a SPTDC School son eventos moi importantes para nós como empresa organizadora e para toda a comunidade. Esta é unha oportunidade de mirar cara ao noso futuro, desenvolver un marco conceptual unificado para discutir problemas modernos e examinar máis de preto as direccións interesantes. O multithreading existe desde hai moito tempo, pero pasou unha década enteira despois de que aparecese o primeiro procesador verdadeiramente multinúcleo para que o fenómeno se xeneralizase. O que escoitamos esta semana nos informes non son noticias fugaces, senón o camiño cara a un futuro brillante que seguiremos nos próximos anos. Non haberá spoilers para o próximo Hydra nesta publicación, pero podes esperar o mellor. Se estás interesado en cuestións como estes, podes consultar os nosos outros eventos, como as charlas de conferencias intensas Comodín 2019 ou DotNext 2019 Moscova. Vémonos nas próximas conferencias!

Tres gañadores do premio Dijkstra: como foron Hydra 2019 e SPTDC 2019

Fonte: www.habr.com

Engadir un comentario