Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Mais recentemente, de 8 a 12 de julho, ocorreram simultaneamente dois eventos significativos - a conferência Hydra e escola SPTDC. Neste post gostaria de destacar vários recursos que notamos durante a conferência.

O maior orgulho da Hydra e da Escola são os palestrantes.

  • Três premiados Prêmios Dijkstra: Leslie Lamport, Maurice Herlihy e Michael Scott. Além disso, Maurice recebeu duas vezes. Leslie Lamport também recebeu Prêmio Turing — o prêmio ACM de maior prestígio em ciência da computação;
  • O criador do compilador Java JIT é Cliff Click;
  • Desenvolvedores do Corutin - Roman Elizarov (Elizarov) e Nikita Koval (ndkoval) para Kotlin e Dmitry Vyukov para Go;
  • Colaboradores de Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), banco de dados Yandex (Semyon Checherinda e Vladislav Kuznetsov);
  • E muitas outras pessoas famosas: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (modelo de memória C++), Pedro Ramalhete (estruturas de dados sem espera), Alexey Zinoviev (ML), Dmitry Bugaichenko (análise de gráficos).

E isso já é escola:

  • Universidade Brown (Maurice Herlihy),
  • Universidade de Rochester (Michael Scott),
  • Universidade de Waterloo (Trevor Brown),
  • Universidade de Nantes (Achour Mostefaoui),
  • Universidade David Ben-Gurion do Negev (Danny Hendler),
  • Universidade da Califórnia em Los Angeles (Eli Gafni),
  • Instituto Politécnico de Paris (Petr Kuznetsov),
  • Pesquisa da Microsoft (Leslie Lamport),
  • Pesquisa VMware (Ittai Abraham).

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Teoria e prática, ciência e produção

Deixe-me lembrá-lo de que a Escola SPTDC é um pequeno evento para uma centena e meia de pessoas; luminares de classe mundial se reúnem lá e falam sobre questões modernas no campo da computação distribuída. Hydra é uma conferência de computação distribuída de dois dias realizada em paralelo. A Hydra tem um enfoque mais de engenharia, enquanto a Escola tem um enfoque mais científico.

Um dos objetivos da conferência Hydra é combinar princípios científicos e de engenharia. Por um lado, isso é conseguido pela seleção de relatórios no programa: junto com Lamport, Herlihy e Scott, há muito mais relatórios aplicados de Alex Petrov, que contribui para Cassandra, ou Roman Elizarov da JetBrains. Há Martin Kleppman, que construiu e vendeu startups e agora estuda CRDT na Universidade de Cambridge. Mas o legal é que Hydra e SPTDC andam lado a lado – eles têm relatórios diferentes, mas um lugar comum para comunicação.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Imersão

Cinco dias seguidos de Escola é um evento muito grande e de muita carga de trabalho, tanto para os participantes quanto para os organizadores. Nem todos chegaram aos últimos dias. Houve quem frequentasse a Hydra e a Escola ao mesmo tempo, e para eles os últimos dias acabaram sendo os mais agitados. Toda essa agitação é compensada por uma imersão incrivelmente profunda. Isso se deve não só ao volume, mas também à qualidade do material. Todas as reportagens e palestras de ambos os eventos não foram planejadas para serem introdutórias, portanto, aonde quer que você vá, você imediatamente mergulha fundo e não é liberado até o final.

Claro que depende muito da preparação inicial do participante. Houve um momento engraçado quando dois grupos de pessoas no corredor discutiram independentemente o relatório de Heidi Howard: para alguns parecia completamente comum, enquanto outros, pelo contrário, pensavam profundamente sobre a vida. É interessante que, segundo os participantes dos comitês de programa (que desejaram permanecer anônimos), os relatórios da Hydra e as palestras da Escola em seus eventos poderiam ser superqualificados. Por exemplo, se um PHP júnior viesse a uma conferência de PHP para aprender a vida, seria um pouco precipitado presumir que ele tem um conhecimento profundo sobre os componentes internos do Zend Engine. Aqui, os palestrantes não deram de comer aos juniores, mas imediatamente insinuaram um certo nível de conhecimento e compreensão. Bem, de fato, o nível de participantes que operam sistemas distribuídos e escrevem kernels de tempo de execução é muito alto, isso é lógico. A julgar pela reação dos participantes, foi bastante fácil escolher um relatório com base no nível e no tema.

Se falarmos de relatórios específicos, todos foram bons à sua maneira. A julgar pelo que as pessoas falam e pelo que pode ser visto no formulário de feedback, uma das reportagens mais legais da Escola foi "Estruturas de dados não bloqueadoras" Michael Scott, ele simplesmente destruiu todo mundo, ele tem uma classificação anormal de cerca de 4.9.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Metaconferência

Muito antes do início de Hydra e a Escola, Ruslan ARG89 presumiu que haveria algum tipo de “meta-conferência” - uma conferência de conferências, onde todos os principais participantes de outros eventos seriam automaticamente sugados para ela, como se fosse para um buraco negro. E assim aconteceu! Por exemplo, entre os alunos da Escola percebeu-se Ruslan Cheremin do DeutscheBank, um conhecido especialista em multithreading.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

E dos membros da Hydra foram notados Vadim Tsesko (íncubo) E Andrey Pangin (apangina) da empresa Odnoklassniki. (Ao mesmo tempo, Vadim também nos ajudou a fazer duas excelentes entrevistas com Martin Kleppman - um para Habr, e outro para telespectadores da transmissão online). Havia membros Comitê do Programa DotNext, palestrantes famosos Anatoly Kulakov e Igor Labutin. Dos Javistas havia Dmitry Alexandrov и Vladimir Ivanov. Normalmente você vê essas pessoas em lugares completamente diferentes - dotnetistas no DotNext, javaistas no Joker e assim por diante. E então eles se sentam lado a lado lendo os relatórios da Hydra e juntos discutem os problemas dos buffs. Quando essa divisão um tanto artificial em linguagens de programação e tecnologias desaparece, os recursos da área de assunto emergem: especialistas em tempo de execução dinâmico se comunicam com outros runtimers, pesquisadores de teoria da computação distribuída discutem acaloradamente com outros pesquisadores, engenheiros de mecanismos de banco de dados lotam o quadro branco e assim por diante .

No relatório de acordo com o modelo de memória C++ os desenvolvedores do OpenJDK estavam sentados na primeira fila (pelo menos eu os conheço de vista, mas não os Pythonistas, talvez os Pythonistas também estivessem lá). Na verdade, há algo tão Shipilevsky neste relatório... Ori não diz exatamente a mesma coisa, mas um olhar cuidadoso pode detectar paralelos. Mesmo depois de tudo o que aconteceu nos padrões C++ mais recentes, problemas como valores inesperados ainda não foram corrigidos e, portanto, você poderia acessar esse relatório e ouvir como as pessoas “do outro lado da barricada” estão tentando resolver esses problemas, conforme raciocinam, pode-se ficar impressionado com as abordagens para a solução encontrada (Ori tem uma das opções de correção).

Houve muitos participantes em comitês de programa e motores comunitários. Todos resolveram seus problemas inter-religiosos, construíram pontes e adquiriram conexões. Usei isso sempre que pude e, por exemplo, concordamos com Alexander Borgardt do Grupo de usuários C++ de Moscou juntos, escrevam um artigo completo sobre atores e assincronia em C++.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Na foto: Leonid Talalaev (total, à esquerda) e Oleg Anastasyev (m0nstermind, à direita), desenvolvedores líderes da Odnoklassniki

Dispare zonas de discussão e buffs

Nas conferências sempre há participantes que conhecem o assunto tão bem quanto os palestrantes (e às vezes até melhor que os palestrantes – por exemplo, quando um desenvolvedor do núcleo de alguma tecnologia está entre os participantes). Havia muitos participantes altamente especialistas em Hydra. Por exemplo, em algum momento perto de Alex Petrov contando sobre Cassandra, formou-se tanta gente que ele não conseguia responder a todos. Em algum momento, Alex foi suavemente empurrado para o lado e começou a ficar cheio de perguntas, mas a bandeira de queda foi captada por um conhecido desenvolvedor Rust nos círculos Tyler Neely e equilibrou a carga perfeitamente. Quando pedi ajuda a Tyler com a entrevista online, tudo o que ele perguntou foi: “Quando começamos?”

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Por vezes, o espírito de discussão invadiu até os relatórios: Nikita Koval organizou uma sessão repentina de perguntas e respostas, dividindo o relatório em várias secções.

E vice-versa, no BOF para multi-threading eles se lembraram da memória não volátil, foram atraídos por este bof Pedro Ramalhete como especialista-chefe, e explicou tudo a todos (em suma, a memória não volátil não é uma ameaça para nós no futuro próximo). Um dos anfitriões deste livro, aliás, foi Vladimir Sitnikov, que atua nos comitês de programa de um número absurdo de conferências... parece que são cinco de cada vez agora. No próximo tópico sobre “CS moderno no mundo real”, eles também discutiram NVM e chegaram a isso por conta própria.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Posso compartilhar um super insight que mesmo aqueles diretamente envolvidos na história podem não ter notado. Eli Gafni se apresentou na noite do primeiro dia de aula, e no dia seguinte ele ficou e começou a trollar Lamport, e do lado de fora parecia que isso era um jogo e Eli era inadequado. Que se trata de algum tipo de troll que decidiu destruir o cérebro de Leslie. Na verdade, o fato é que eles são quase melhores amigos, são amigos há muitos anos, e isso é uma brincadeira amigável. Ou seja, a piada funcionou - todas as pessoas ao redor caíram nessa, aceitaram pelo valor de face.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Separadamente, gostaria de observar quanto amor e esforço os palestrantes colocaram nisso. Alguém ficou na área de discussão até o último minuto, quase horas. O intervalo acabou há muito tempo, o relatório começou, terminou, o próximo intervalo começou - e Dmitri Vyukov continuou a responder perguntas. Também aconteceu comigo uma história interessante - tendo pego Cliff Click de surpresa, recebi não apenas uma explicação clara e razoável daquela discussão provocativa sobre a falta de testes para certas coisas em H2O, mas também recebi uma revisão completa dele novo idioma AA. Eu nunca pedi isso: só perguntei o que você pode ler sobre AA (acabou que você pode ouvir podcast) e, em vez disso, Cliff passou meia hora falando sobre o idioma e verificando se o que ele estava dizendo foi entendido corretamente. Maravilhoso. Precisamos escrever um habrapost sobre AA. Outra experiência incomum foi observar o processo de revisão de pull request em Kotlin. É realmente uma sensação mágica quando você entra em diferentes grupos de discussão, diferentes palestrantes e mergulha em um mundo totalmente novo. Isso é algo no nível "Lá, Lá" do Radiohead.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Língua inglesa

Hydra 2019 é a nossa primeira conferência onde o idioma principal é o inglês. Isto traz vantagens e desafios. Uma vantagem óbvia é que as pessoas não vêm apenas da Rússia para a conferência, mas também entre os participantes você pode conhecer engenheiros da Europa e cientistas da Inglaterra. Os palestrantes trazem seus alunos. Em geral, palestrantes importantes têm muito mais motivação para ir a uma conferência desse tipo. Imagine que você é um palestrante em uma conferência totalmente em russo: você apresentou seu relatório, defendeu a área de discussão e depois? Viajar pela cidade e conhecer pontos turísticos? Na verdade, os oradores realmente populares já viram o suficiente de tudo no mundo, não querem ver leões e pontes levadiças, estão entediados. Se todos os relatórios estiverem em inglês, eles poderão participar da conferência de forma geral, se divertir, participar de áreas de discussão e assim por diante. A atmosfera é bastante amigável com os palestrantes.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

A desvantagem óbvia é que nem todos se sentem confortáveis ​​em comunicar em inglês. Muitos entendem bem, mas falam mal. Em geral, coisas comuns que foram resolvidas de maneiras diferentes. Por exemplo, algumas áreas de discussão começaram em russo, mas mudaram imediatamente para inglês quando apareceu o primeiro participante que falava inglês.

Eu mesmo tive que fazer as inclusões de abertura e encerramento da transmissão on-line exclusivamente em inglês e participar de algumas entrevistas gravadas com especialistas. E este foi um verdadeiro desafio para mim que não será esquecido tão cedo. Em algum momento, Oleg Anastasyev (m0nstermind) simplesmente me disse para ficar sentado com eles durante a entrevista, e demorei muito para entender o que isso significava.

Por outro lado, foi muito agradável que as pessoas fizessem perguntas nas reportagens com estrondo. Não apenas os falantes nativos, mas todos em geral, funcionou bem. Em outras conferências, muitas vezes é visto que as pessoas ficam com vergonha de fazer perguntas ao público em um inglês ruim e só conseguem extrair algo na área de discussão. Isso foi completamente diferente aqui. Relativamente falando, alguns Cliff Click terminaram seus relatórios um pouco mais cedo, e depois disso as perguntas seguiram em uma sequência contínua, a conversa passou para a zona de discussão - sem pausas ou interrupções estranhas. O mesmo se aplica à sessão de perguntas e respostas de Leslie Lamport; o apresentador praticamente não precisou fazer perguntas, os participantes inventaram tudo.

Havia todo tipo de pequenas coisas que poucas pessoas notam, mas elas existem. Devido ao fato da conferência ser em inglês, o design de folhetos e mapas é mais leve e conciso. Não há necessidade de duplicar idiomas e desorganizar o design.

Patrocinadores e exposição

Nossos patrocinadores nos ajudaram muito na criação da conferência. Graças a eles sempre havia algo para fazer nos intervalos.

No estande Centro Técnico do Deutsche Bank você pode conversar com engenheiros de sistemas multithread, resolver seus problemas de cabeça, ganhar prêmios memoráveis ​​e simplesmente se divertir.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

No estande Contorno poderíamos falar sobre seus próprios sistemas, tanto abertos quanto de código aberto: um banco de dados distribuído na memória, um log binário distribuído, um sistema de orquestração de microsserviços, um transporte universal para telemetria e assim por diante. E claro, quebra-cabeças e competições, adesivos com um gato binário e a Sofrida Idade Média, presentes como o livro de Martin Kleppmann e figuras de LEGO.

Observe que a análise dos problemas do Kontur já está publicado em Habré. Boa análise, vale a pena dar uma olhada.

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Quem quisesse poderia adquirir todos os tipos de livros e discuti-los com os colegas. Uma multidão inteira se reuniu para a sessão de autógrafos!

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Resultados de

A Conferência Hydra e a Escola SPTDC são eventos muito importantes para nós como empresa organizadora e para toda a comunidade. Esta é uma oportunidade de olhar para o nosso futuro, desenvolver uma estrutura conceptual unificada para discutir problemas modernos e observar mais de perto direções interessantes. O multithreading já existe há muito tempo, mas demorou uma década inteira depois que o primeiro processador verdadeiramente multi-core apareceu para que o fenômeno se espalhasse. O que ouvimos nos relatórios desta semana não são notícias passageiras, mas sim o caminho para um futuro brilhante que seguiremos nos próximos anos. Não haverá spoilers para a próxima Hydra neste post, mas você pode torcer pelo melhor. Se você estiver interessado em questões como essas, talvez queira conferir nossos outros eventos, como palestras em conferências hardcore Joker 2019 ou DotNext 2019 Moscou. Nos vemos nas próximas conferências!

Três vencedores do Prêmio Dijkstra: como foram Hydra 2019 e SPTDC 2019

Fonte: habr.com

Adicionar um comentário