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


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


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


  • Três vencedores do Prêmio Dijkstra : Leslie Lamport, Maurice Herlihy e Michael Scott. E Maurice conseguiu isso duas vezes. Leslie Lampport também recebeu o Prêmio Turing - o mais prestigiado prêmio ACM em ciência da computação;
  • O criador do compilador Java JIT é Cliff Click;
  • Desenvolvedores Corutin - Roman Elizarov ( elizarov ) e Nikita Koval ( ndkoval ) para Kotlin e Dmitry Vyukov para Go;
  • Colaboradores em Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (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 Bugaychenko (análise gráfica).

E esta é a escola :


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


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, luminárias de classe mundial se reúnem 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. Na Hydra, o foco é mais engenharia e, na Escola, mais científico.


Um dos objetivos da conferência Hydra é combinar ciência e engenharia. Por um lado, isso é alcançado com a seleção de relatórios no programa: junto com Lamport, Herliha e Scott, há muito mais relatórios aplicados por Alex Petrov, que contribui com Cassandra, ou Roman Elizarov, do JetBrains. Há Martin Kleppman, que costumava fazer e vender startups, e agora ele está estudando CRDT na Universidade de Cambridge. Mas o truque é que Hydra e SPTDC andam lado a lado - eles têm relatórios diferentes, mas são um local comum para a comunicação.



Imersão


Cinco dias letivos consecutivos são um evento muito grande e uma grande carga para participantes e organizadores. Nem todos chegaram aos últimos dias. Havia quem frequentasse a Hydra e a escola ao mesmo tempo e, para eles, os últimos dias foram os mais agitados. Todo esse barulho é compensado por um mergulho incrivelmente profundo. Isso se deve não apenas ao volume, mas também à qualidade do material. Todos os relatórios e palestras de ambos os eventos não foram planejados para serem introdutórios; portanto, aonde quer que você vá, você mergulha imediatamente longe e profundamente, e não é liberado até o final.


Obviamente, depende muito da preparação inicial do participante. Houve um momento engraçado em que dois grupos de pessoas no corredor discutiram independentemente o relatório de Heidi Howard: um parecia completamente comum, enquanto o outro, pelo contrário, pensava muito sobre a vida. É interessante que, de acordo com a declaração (que desejava permanecer anônima) dos participantes dos comitês do programa, os relatórios da Hydra e as palestras da Escola em seus eventos pudessem ser superqualificados. Por exemplo, se um júnior de PHP veio estudar em uma conferência de PHP, é um pouco imprudente supor que ele tenha um profundo conhecimento dos componentes internos do Zend Engine. Aqui, os oradores não alimentaram o Jones, mas imediatamente implicaram um certo nível de conhecimento e compreensão. Bem, de fato, os participantes que operam sistemas distribuídos e escrevem kernels de tempo de execução têm um nível muito alto, isso é lógico. A julgar pela reação dos participantes, a seleção de um relatório sobre o nível e o tópico foi bastante fácil.


Falando sobre relatórios específicos, todos eles foram bons em seu caminho. A julgar pelo que as pessoas dizem e pelo que é visível no formulário de feedback, as estruturas de dados não-bloqueantes de Michael Scott acabaram sendo um dos relatórios mais legais, ele acabou com todo mundo, ele teve uma classificação anômala de 4,9.



Metaconferência


Muito antes do início da Hydra e da escola, Ruslan ARG89 assumiu que seria uma espécie de "metaconferência" - uma conferência de conferências, onde todos os principais participantes de outros eventos se arrastariam automaticamente como um buraco negro. E assim aconteceu! Por exemplo, entre os alunos da escola, Ruslan Cheremin, do DeutscheBank, um conhecido especialista em multithreading, foi notado.



E entre os participantes da Hydra, Vadim Tsesko ( incubos ) e Andrey Pangin ( apangin ) de Odnoklassniki foram vistos. (Ao mesmo tempo, Vadim também nos ajudou a fazer duas excelentes entrevistas com Martin Kleppman - uma para Habr e outra para os telespectadores de uma transmissão on-line). Havia membros do comitê do programa DotNext , oradores famosos Anatoly Kulakov e Igor Labutin. Entre os javistas estavam Dmitry Alexandrov e Vladimir Ivanov . Geralmente você vê essas pessoas em lugares completamente diferentes - afiliadas no DotNext, Javists no Joker e assim por diante. E agora eles estão sentados lado a lado nos relatórios da Hydra e discutindo juntos os problemas do livro. Quando essa divisão levemente artificial em linguagens e tecnologias de programação desaparece, os recursos da área de assunto se tornam aparentes: especialistas em tempo de execução dinâmico se comunicam com outros runtimers, pesquisadores da teoria da computação distribuída discutem calorosamente com outros pesquisadores, engenheiros de mecanismos de banco de dados lotam o quadro de marcadores e assim por diante.


Os desenvolvedores do OpenJDK estavam na vanguarda do relatório do modelo de memória C ++ (pelo menos eu os conheço de vista, mas não há pythonists, talvez os pythonists também estivessem lá). De fato, há algo de Shipilev nesse relatório ... Ori não diz exatamente a mesma coisa, mas um olhar cuidadoso pode revelar paralelos. Mesmo depois de tudo o que aconteceu nos padrões C ++ mais recentes, problemas como valores fora do ar não foram reparados e, portanto, você pode ir a esse relatório e ouvir como as pessoas "do outro lado da barricada" estão tentando resolver esses problemas, como eles pensavam, alguém poderia ficar impressionado com as abordagens para a solução encontrada (a Ori tem uma das correções).


Muitos participantes em comitês de programas e mecanismos da comunidade. Todos resolveram seus problemas inter-religiosos, construíram pontes, cobertas de laços. Usei isso onde pude e, por exemplo, concordamos com Alexander Borgardt, do Moscow C ++ User Group, para escrever um artigo completo sobre atores e assincronia em C ++ juntos.



Na foto: Leonid Talalayev ( ltalal , esquerda) e Oleg Anastasiev ( m0nstermind , direita), desenvolvedores líderes em Odnoklassniki


Zonas de discussão e bofs ardentes


Nas conferências, sempre há participantes que conhecem o assunto junto com os palestrantes (e algumas vezes melhores que os palestrantes - por exemplo, quando entre os participantes se divertia um desenvolvedor do núcleo de uma tecnologia). Havia muitos participantes altamente experientes na Hydra. Por exemplo, em algum momento em torno de Alex Petrov, falando sobre Cassandra , tantas pessoas se formaram que ele não conseguiu responder a todos. Em algum momento, Alex foi suavemente empurrado para o lado e começou a separar perguntas, mas a bandeira que caiu foi levantada por Tyler Neely, conhecido nos círculos dos desenvolvedores do Rust, e equilibrou perfeitamente a carga. Quando pedi ajuda a Tyler em uma entrevista on-line, ele apenas perguntou: "Quando começamos?"



Às vezes, o espírito discutível chegava a gerar relatórios: Nikita Koval organizava uma sessão repentina de perguntas e respostas, dividindo o relatório em várias seções.


E vice-versa, nos BOFs, lembramos de multithreading sobre memória não volátil, arrastamos Pedro Ramalhete para este livro como o principal especialista e ele explicou tudo a todos (em suma, a memória não volátil não nos ameaça em um futuro próximo). Aliás, Vladimir Sitnikov , que participa dos comitês do programa de um número insano de conferências, era um dos líderes deste livro ... parece que agora existem cinco de cada vez. Em um estande próximo sobre “Modern CS no mundo real”, a NVM também foi discutida e chegou a isso de forma totalmente independente.



Posso compartilhar um super insider que nem os participantes diretos da história puderam perceber. Eli Gafni se apresentou na noite do primeiro dia da escola, e no dia seguinte ficou e começou a trollar Lamport, e pelo lado parecia que isso era um jogo e Eli era inadequado. Que isso é algum tipo de troll que pediu para destruir o cérebro de Leslie. De fato, o fato de serem quase melhores amigos é amigo há muitos anos, e essas são apenas piadas amigáveis. Ou seja, a piada funcionou - todo mundo ao seu redor pegou, pegou pelo valor de face.



Eu também gostaria de observar quanto amor e energia os alto-falantes colocam nele. Alguém ficou na área de discussão até o último, quase por horas. O intervalo terminou por muito tempo, o relatório começou, terminou, o próximo intervalo começou - e Dmitry Vyukov continuou a responder perguntas. Uma história interessante também aconteceu comigo - pegando Cliff Click de surpresa, recebi não apenas uma explicação clara e razoável para aquela discussão provocativa sobre a falta de testes para certas coisas no H2O , mas também tive uma visão geral completa de sua nova linguagem AA . Eu nunca pedi isso: eu apenas perguntei o que você pode ler sobre AA (acabou que você pode ouvir o podcast ); em vez disso, Cliff passou meia hora para falar sobre o idioma e verificar se o que foi dito foi entendido corretamente. Incrível É necessário escrever sobre AA. Outra experiência incomum é observar o processo de revisão de solicitação de recebimento no Kotlin. Este é realmente um sentimento mágico - quando você vai a diferentes grupos de discussão, a diferentes palestrantes e mergulha em um mundo totalmente novo. Isso é algo do nível "There, There" do Radiohead .



Idioma inglês


Hydra 2019 é a nossa primeira conferência onde o idioma principal é o inglês. Isso traz suas vantagens e dificuldades. Uma vantagem óbvia é que pessoas da Rússia não apenas vêm à conferência; portanto, entre os participantes, você pode conhecer engenheiros da Europa e cientistas da Inglaterra. Oradores trazem seus alunos. Em geral, palestrantes importantes têm muito mais motivação para participar dessa conferência. Imagine que você é um palestrante em uma conferência totalmente em russo: aqui você lecionou seu relatório, defendeu a área de discussão e depois o que? Passeie pela cidade e observe lugares turísticos? De fato, os palestrantes realmente populares já viram o suficiente de tudo no mundo, não querem ir 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 em uma base comum, se divertir, participar de zonas de discussão e assim por diante. A atmosfera é bastante amigável para os alto-falantes.



O menos óbvio é que nem todos estão à vontade falando em inglês. Muitos entendem bem, mas falam mal. Em geral, coisas comuns que foram decididas de maneira diferente. Por exemplo, algumas zonas de discussão começaram em russo, mas instantaneamente mudaram para o inglês quando o primeiro participante de língua inglesa apareceu.


Eu mesmo tive que fazer as inclusões de abertura e fechamento da transmissão on-line exclusivamente em inglês e participar de algumas entrevistas com especialistas registrados. E foi para mim um verdadeiro desafio que não será esquecido em breve. Em algum momento, Oleg Anastasiev ( m0nstermind ) simplesmente disse que eu deveria ficar com eles para uma entrevista, e eu lentamente entendi o que isso significava.


Por outro lado, é muito agradável que as pessoas nos relatórios façam perguntas com um estrondo. Não apenas falantes nativos, mas em geral tudo, funcionou bem. Em outras conferências, é comum ver que as pessoas têm vergonha de fazer perguntas à platéia em inglês quebrado e só conseguem extrair algo de si mesmas na área de discussão. Aqui estava completamente errado. Relativamente falando, alguns Cliff Click terminaram os relatórios um pouco antes e, depois disso, as perguntas prosseguiram em uma sequência contínua, a conversa passou para a área de discussão - sem pausas e pausas estranhas. O mesmo se aplica à sessão de perguntas e respostas de Leslie Lamport, o anfitrião praticamente não precisou fazer suas perguntas, os participantes apresentaram tudo.


Havia todo tipo de pequenas coisas que poucas pessoas notam, mas elas são. Devido ao fato de a conferência ser em inglês, o design de itens como folhetos e cartões é mais fácil e conciso. Não há necessidade de duplicar idiomas e desorganizar o design.


Patrocinadores e Exposição


Nossos patrocinadores ajudaram bastante na criação da conferência. Graças a eles, sempre havia algo para fazer durante os intervalos.


No estande do TechCenter do Deutsche Bank, era possível conversar com engenheiros de sistemas multithread, resolver seus problemas "desde o início", ganhar prêmios memoráveis ​​e apenas se divertir.



No estande da Contour, era possível falar sobre seus próprios sistemas, de código aberto e aberto: um banco de dados distribuído na memória, um log binário distribuído, um sistema de orquestração de microsserviços, transporte universal para telemetria e assim por diante. E, claro, quebra-cabeças e concursos, adesivos com um gato binário e uma Idade Média em sofrimento, presentes como um livro de figuras de Martin Kleppman e LEGO.


Preste atenção que a análise das tarefas do Contour já está publicada na Habré . A análise é boa, vale a pena dar uma olhada.



Os interessados ​​podem comprar todos os tipos de livros, discuti-los com os colegas. Uma multidão inteira se reuniu para uma sessão de autógrafos!



Sumário


A Conferência Hydra e a Escola SPTDC são eventos muito importantes para nós, como empresa organizadora e para toda a comunidade. É uma chance de olhar para o nosso futuro, de desenvolver um único aparato conceitual para discutir problemas modernos, de olhar para direções interessantes. O multithreading apareceu há muito tempo, mas depois que o primeiro processador verdadeiramente com vários núcleos apareceu, levou uma década inteira para o fenômeno se espalhar. O que ouvimos nos relatórios desta semana não é uma notícia passageira, mas o caminho para um futuro melhor que seguiremos nos próximos anos. Não haverá spoilers para a próxima Hydra neste post, mas você pode esperar o melhor. Se você estiver interessado em tais problemas, preste atenção em outros eventos, como apresentações hardcore nas conferências Joker 2019 ou DotNext 2019 Moscow . Encontre-me nas próximas conferências!


Source: https://habr.com/ru/post/pt460499/


All Articles