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.

Torres do Kremlin nos braços da Hydra: conferência sobre computação paralela e distribuída Hydra 2020 em Moscou


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:

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things

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.

Veja quem já está no programa:

Torres do Kremlin nos braços da Hydra: conferência sobre computação paralela e distribuída Hydra 2020 em MoscouCindy Sridharan (Cindy Sridharan) - desenvolvedora de sistemas distribuídos de São Francisco, autora de um pequeno livro Observabilidade de Sistemas Distribuídos (leva cópia eletrônica gratuita) e populares Blog, onde há apenas um artigo “O melhor de 2019 em Tech Talks"pode ​​te salvar de alguns dias de folga, mas te deixar feliz. Na Hydra 2020, Cindy contará como testar sistemas distribuídos, mesmo que armazenem estado.


Torres do Kremlin nos braços da Hydra: conferência sobre computação paralela e distribuída Hydra 2020 em MoscouMichael Scott (Michael Scott) - pesquisador de Universidade de Rochester, conhecido por todos os desenvolvedores Java como o criador do algoritmos sem bloqueio e filas síncronas da Biblioteca Padrão Java. Claro, com o Prêmio Dijkstra para “Algoritmos para sincronização escalável em multiprocessadores de memória compartilhada"e próprio página da Wikipédia. No ano passado, Michael deu o melhor (de acordo com você) relatório sobre Hydra em estruturas de dados duplas, e agora ele vai falar sobre projeto Hodor и trabalho seguro com memória compartilhada, disponível para processos paralelos.


Torres do Kremlin nos braços da Hydra: conferência sobre computação paralela e distribuída Hydra 2020 em MoscouHeidi Howard (Heidi Howard) - investigador de Universidade de Cambridge, conhecido por criar um algoritmo de consenso distribuído Paxos Flexíveis, bem como trabalhar na generalização de Paxos Flexíveis e Paxos rápidos. No ano passado, Heidi contou como funciona e funciona Família de algoritmos Paxos (um dos melhores relatórios), e agora tentarei andar no gelo fino entre Amantes de Paxos e apoiadores de Jangada — e compartilhe sua opinião sobre qual algoritmo é melhor.


Torres do Kremlin nos braços da Hydra: conferência sobre computação paralela e distribuída Hydra 2020 em MoscouMartin Kleppmann (Martin Kleppmann) é talvez um pesquisador ainda mais famoso da Universidade de Cambridge e ex-desenvolvedor de sistemas de big data, que escreveu um livro surpreendentemente claro e, portanto, único sobre sistemas distribuídos "Projetando aplicativos com uso intensivo de dados" No ano passado, Martinho compartilhou os resultados de sua pesquisa CRDT, e o que diremos agora anunciaremos mais tarde.


Torres do Kremlin nos braços da Hydra: conferência sobre computação paralela e distribuída Hydra 2020 em MoscouNikita 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.

Torres do Kremlin nos braços da Hydra: conferência sobre computação paralela e distribuída Hydra 2020 em Moscou
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.

Nos vemos na Hidra!

Fonte: habr.com

Adicionar um comentário