ProHoster > Blog > administração > Torres do Kremlin nos braços da Hydra: conferência sobre computação paralela e distribuída Hydra 2020 em Moscou
Torres do Kremlin nos braços da Hydra: conferência sobre computação paralela e distribuída Hydra 2020 em Moscou
No ano passado, em São Petersburgo, houve primeira conferência Hydra, dedicado a sistemas paralelos e distribuídos. Laureados fizeram apresentações Prêmios Dijkstra и Prêmios Turing (Leslie Lamport, Maurice Herlihy и Michael Scott), criadores de compiladores e linguagens de programação (C++, Go, Java, Kotlin), desenvolvedores de bancos de dados distribuídos (Cassandra, CosmosDB, Yandex Database), bem como criadores e pesquisadores de algoritmos e estruturas de dados (CRDT, Paxos, wait -estruturas de dados livres). Em geral, neste momento você já pode tirar férias, minimizar a janela do IDE, abrir uma playlist no YouTube com os melhores relatórios Hydra 2019 - e deixe o agendador de tarefas esperar um pouco.
Em geral, tal conferência nunca aconteceu e agora acontecerá novamente. Novamente com relatórios em inglês, pois não existe linguagem melhor para falar de computação paralela e distribuída. Novamente no verão, 10 e 11 de julho, porque os palestrantes têm tempo para pesquisar e lecionar, por exemplo, nas universidades de Cambridge, Rochester e São Petersburgo, e outras épocas do ano não são para eles.
No entanto, desta vez Hydra será realizada em Moscou, onde a maioria dos participantes da conferência veio no ano passado para ouvir relatórios sobre consenso distribuído e memória transacional. O novo Hydra traz uma programação mais complexa, novos palestrantes junto com os heróis do ano passado, além da já familiar sensação de emoção do hardcore paralelo distribuída entre os participantes em três salas.
Vamos imediatamente colocar um baralho de cartas na mesa com os generais bizantinos voltados para cima - queremos que o novo programa da Hydra seja mais detalhado e variado. Da última vez que arranhámos com a unha, agora vamos cavar mais e mais fundo. Aqui estão os temas Hydra 2020 com uma diferença em relação ao ano passado:
Como falar sobre tudo isso no programa de uma conferência? Certamente não é mais simples do que testar a linearização das operações em uma loja distribuída novinha em folha usando Jepsen, mas vamos tentar.
Nikita Koval (Nikita Koval) é desenvolvedora de corrotinas na equipe Kotlin, professora de um curso de programação multithread no ITMO e membro do comitê de programa da conferência Hydra (sim, aquela mesma sobre a qual este artigo trata). No ano passado, Nikita falou sobre testar estruturas de dados multithread na plataforma JVM usando Lin-Verificação, e na Hydra 2020 ele dirá sobre SegmentQueueSynchronizer - verificado usando Estrutura de íris para provador Coq abstração para programar primitivas de sincronização.
Acompanhe nossos anúncios assíncronos: no total serão cerca de três dezenas de relatórios na conferência, contaremos o resto em breve. Além disso, é claro, na conferência haverá zonas de discussão onde será necessário testar os palestrantes com perguntas em um ou vários tópicos até que um consenso geral seja alcançado.
E se tiver sorte, Martin Kleppmann autografará seu livro.
Sim, antes da conferência Hydra 2020, nomeadamente de 6 a 9 de julho, haverá SPTDC 2020 — a terceira escola de verão sobre teoria e prática da computação distribuída. Isso lhe dará sensações difíceis de obter em uma conferência, por isso falaremos sobre a Escola em um post separado.
E agora? Em primeiro lugar, acompanhe as novidades no Habré e nas redes sociais (Facebook, VKontakte, Twitter).
Em segundo lugar, se já sente uma vontade irresistível de participar na conferência, explore o site, já pode comprar bilhetes.
Terceiro, não perca a oportunidade de conversar com o comitê do programa da conferência Hydra 2020 nos comentários. Os membros do PC terão prazer em conversar com você sobre tópicos de conferências futuras.