Torres do Kremlin no abraço da Hydra: conferência de computação paralela e distribuída Hydra 2020

A primeira conferência Hydra dedicada a sistemas paralelos e distribuídos foi realizada em São Petersburgo no ano passado . As apresentações foram feitas pelos ganhadores do Prêmio Dijkstra e do Prêmio Turing ( Leslie Lampport , Maurice Herlichi e Michael Scott ), criadores de compiladores e linguagens de programação (C ++, Go, Java, Kotlin), desenvolvedores de banco de dados distribuídos (Cassandra, CosmosDB, Yandex Database), bem como criadores e pesquisadores de algoritmos e estruturas de dados (CRDT, Paxos, estruturas de dados sem espera). Em geral, você já pode tirar férias neste local, minimizar a janela do IDE, abrir uma lista de reprodução do YouTube com os melhores relatórios do Hydra 2019 - e deixar o agendador de tarefas esperar um pouco.

Em geral, nunca houve uma conferência desse tipo e agora acontecerá novamente. Novamente com os relatórios em inglês , porque não há idioma melhor para falar sobre computação distribuída e paralela. Novamente no verão, de 6 a 9 de julho , porque os palestrantes têm tempo para estudar e ensinar, por exemplo, nas universidades de Cambridge, Rochester e São Petersburgo, e outras épocas do ano não são para eles.

A nova Hydra tem um programa mais complexo, novos palestrantes junto com os heróis do ano passado, além de um sentimento familiar do entusiasmo distribuído entre os participantes do hardcore paralelo em três salas.




Deite imediatamente na mesa um baralho de cartas com as camisas dos generais bizantinos - queremos que o programa da nova Hydra seja mais detalhado e diversificado. Da última vez que arranhamos com a unha, agora vamos cavar mais e mais fundo. Aqui estão os temas do Hydra 2020 com diferenças do ano passado: Como falar sobre tudo isso no programa de uma conferência? Isso certamente não é mais fácil do que testar a linearizabilidade das operações em um novo armazenamento distribuído brilhante usando Jepsen , mas tentaremos. A seguir, quem já está no programa: Cindy Sridharan é uma desenvolvedora de sistemas distribuídos de São Francisco, autora de um pequeno livro Distributed Systems Observability (obtenha uma cópia eletrônica gratuita ) e de um blog popular

  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






, onde apenas o artigo " Melhor de 2019 no Tech Talks " pode economizar alguns dias de folga, mas deixá-los felizes. Na Hydra 2020, Cindy falará sobre como testar sistemas distribuídos , mesmo que eles armazenem o estado.

Michael Scott é um pesquisador da Universidade de Rochester , conhecido por todos os desenvolvedores de Java como criador de algoritmos sem bloqueio e filas síncronas da biblioteca Java padrão. Obviamente, com o Prêmio Dijkstra de " Algoritmos para sincronização escalável em multiprocessadores de memória compartilhada " e sua própria página da Wikipedia . No ano passado, Michael fez na Hydra o melhor relatório (de acordo com suas estimativas) sobreestruturas de dados duplos , e agora ele falará sobre o projeto Hodor e o trabalho seguro com memória compartilhada disponível para processos paralelos.

Heidi Howard é pesquisadora da Universidade de Cambridge , conhecida por criar o algoritmo de consenso distribuído Paxos flexíveis , além de generalizar Paxos flexíveis e Paxos rápidos . No ano passado, Heidi falou sobre como a família de algoritmos Paxos é organizada e funciona (um dos melhores relatórios), e agora ela tentará caminhar sobre o gelo entre os amantes de Paxos e os apoiadores de Raft - e compartilhar sua opinião sobre qual dos algoritmos é melhor.

Martin Kleppmann é talvez até um pesquisador mais conhecido da Universidade de Cambridge e, no passado, um processador de big data que escreveu um livro surpreendentemente compreensível e, portanto, único sobre sistemas distribuídos, chamado Designing Data-Intensive Applications . No ano passado, Martin compartilhou os resultados de sua pesquisa do CRDT e o que ele vai falar agora - anunciaremos mais tarde .

Nikita Koval(Nikita Koval) é desenvolvedora de corotina da equipe Kotlin, palestrante no curso de programação multithread do ITMO e membro do comitê de programa da conferência Hydra (sim, aquele sobre o qual este artigo trata). No ano passado, Nikita falou sobre o teste de estruturas de dados multithread na plataforma JVM usando o Lin-Check , e no Hydra 2020 ele falará sobre o SegmentQueueSynchronizer - uma abstração verificada pela estrutura Iris para o Provador Coq para programação de primitivas de sincronização.

Siga nossos anúncios assíncronos: no total, haverá cerca de três dúzias de relatórios na conferência, em breve falaremos sobre o resto. Ainda, é claro, haverá zonas de discussão na conferência, onde é necessário testar os oradores com perguntas em um ou mais fluxos até que seja alcançado um consenso.


E se você tiver sorte, Martin Kleppmann assinará um livro para você.

Sim, paralelamente à conferência Hydra 2020, ou seja, de 6 a 9 de julho, será realizada a SPTDC 2020 , a terceira escola de verão na teoria e prática da computação distribuída. Nele, você encontrará sensações difíceis de obter na conferência, e falaremos sobre a Escola em um post separado.

E agora? Primeiro, acompanhe as notícias em Habré e nas redes sociais ( Facebook , Vkontakte , Twitter)

Em segundo lugar, se você já sentiu um desejo irresistível de participar da conferência - estude o site, já poderá comprar ingressos .

Em terceiro lugar, 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 os tópicos da próxima conferência.

Encontre-me na Hydra!