Teoria é quando você sabe tudo, mas nada funciona.
A prática é quando tudo funciona, mas ninguém sabe o porquê.
Sistemas distribuídos, teoria e prática são combinadas:
nada funciona e ninguém sabe por quê.
Para provar que a piada da epígrafe é um absurdo absoluto, estamos realizando o SPTDC (escola de prática e teoria da computação distribuída) pela terceira vez. Sobre a história da escola, seus co-fundadores Petr Kuznetsov e Vitaly Aksyonov, bem como a participação do JUG Ru Group na organização SPTDC, já contado em Habr. Portanto, hoje é sobre a escola em 2020, sobre palestras e palestrantes, bem como sobre as diferenças entre a escola e a conferência.
A escola SPTDC será realizada de 6 a 9 de julho de 2020 em Moscou.
Todas as palestras serão em inglês. Tópicos da palestra: computação concorrente persistente, ferramentas criptográficas para sistemas distribuídos, métodos formais para verificação de protocolos de consenso, consistência em sistemas de larga escala, aprendizado de máquina distribuído.
Você adivinhou imediatamente qual é o posto militar dos personagens da foto? Eu te adoro.
Palestrantes e Palestras
Nir Shavit (Nir Shavit) é professor do MIT e da Universidade de Tel Aviv, co-autor de um grande livro A Arte da Programação Multiprocessada, proprietário Prêmios Dijkstra para o desenvolvimento e implementação memória transacional de software (STM) e Prêmio Gödel por seu trabalho na aplicação da topologia algébrica à simulação de computação com memória compartilhada, co-fundador da empresa Magia neural, que cria algoritmos de aprendizado de máquina rápidos para CPUs convencionais e, claro, tem seu próprio páginas da Wikipédia com fotografia arrojada e sensual. Nir já participou de nossa escola em 2017, onde fez uma revisão exaustiva das técnicas de bloqueio (parte 1, parte 2). Sobre o que Nir vai falar este ano, ainda não sabemos, mas esperamos novidades da ciência de ponta.
Michael Scott (Michael Scott) é um pesquisador em 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 de Design de Dijkstra algoritmos de sincronização para computação de memória compartilhada e próprio página da Wikipédia. No ano passado, Michael deu uma palestra em nossa escola sobre estruturas de dados sem bloqueio (parte 1, parte 2). este ano ele dirá sobre programação usando Memória não volátil (NVM), que reduz a complexidade do programa e a sobrecarga de memória em comparação com a memória de acesso aleatório (DRAM) "regular".
Idit Keidar (Idit Keidar) - Professor no Technion e proprietário índice de Hirsch cerca de 40 (o que é muito, muito) para duzentos artigos científicos no campo da computação distribuída, multithreading e tolerância a falhas. Eidit participa pela primeira vez da nossa escola, onde dar uma palestra sobre os aspectos básicos do trabalho de data warehouses distribuídos: emulação de memória distribuída, desenvolvimento de consenso e mudanças de configuração.
Rodrigo Rodriguez (Rodrigo Rodrigues) - professor do Técnico, membro do laboratório ID INESC e autor trabalho de pesquisa na área de sistemas distribuídos. Este ano na nossa escola Rodrigo dirá sobre consistência e isolamento em data warehouses distribuídos, e também analisará usando teoremas CAP viabilidade prática de diversos modelos de consistência e isolamento.
Chen Ching (Jing Chen) é professor da State University of New York em Stony Brook, autor trabalho de pesquisa no campo de blockchain e um cientista líder em Algorand — uma empresa e uma plataforma blockchain usando um algoritmo de consenso inteiramente baseado em Prova de participação. Este ano, em nossa escola, Chen falará sobre o blockchain da Algorand e as maneiras de alcançar suas propriedades interessantes: pouco exigente para os recursos de computação da rede, a impossibilidade de dividir o histórico de transações e garantir o fim do processamento da transação após adicioná-lo ao blockchain.
Christian Kashin (Christian Cachin) é professor da Universidade de Berna, chefe de um grupo de pesquisa na área de proteção de dados, coautor do livro "Introdução à programação distribuída confiável e segura”, desenvolvedor da plataforma blockchain Tela de hiperligação (sobre ela ainda era postar no Habré) e autor trabalho de pesquisa na área de criptografia e segurança em sistemas distribuídos. Este ano em nossa escola Christian dar uma palestra em quatro partes sobre ferramentas criptográficas para computação distribuída: criptografia simétrica e assimétrica, e também sobre criptografia de chave compartilhada, números pseudo-aleatórios e geração de número aleatório verificável.
Marko Vukolich (Marko Vukolic) é um pesquisador da IBM Research, autor de trabalho em blockchain e desenvolvedor do Hyperledger Fabric. Ainda não sabemos sobre o que Marco vai falar em nossa escola este ano, mas esperamos conhecer seus últimos desenvolvimentos no campo da blockchain: pesquisa degradação do desempenho protocolos de consenso distribuídos em clusters de até 100 máquinas, broadcast protocolo Mir com a ordem global e tolerância a falhas bizantinas ou blockchain sem blocos StreamChainminimizando o tempo de processamento da transação.
Prasad Jayanti (Prasad Jayanti) é professor no Dartmouth College, parte da elite ivy league, e o autor trabalho de pesquisa no campo de algoritmos multithreaded. Este ano em nossa escola Prasad dar uma palestra sobre sincronização de threads e algoritmos para implementar várias opções mutex: com funções de interrupção ou restauração em modelos de memória não volátil e com operações separadas de leitura e gravação.
Alexey Gotsman (Alexey Gotsman) é professor do IMDEA e autor trabalho de pesquisa no campo da verificação de programas de algoritmos. Ainda não sabemos o que Alexey fará em nossa escola este ano, mas estamos ansiosos por um tópico na interseção de verificação de software e sistemas distribuídos.
Por que isso é uma escola e não uma conferência?
Primeiramente, os palestrantes falam em formato acadêmico e leem dois pares de cada grande palestra: "uma hora e meia - uma pausa - outra hora e meia." Muitos anos fora da faculdade, com o hábito de conferências de uma hora e vídeos de 10 minutos no YouTube, isso pode ser complicado. Um bom palestrante tornará as três horas interessantes, mas todos são responsáveis pela plasticidade de seu próprio cérebro.
Dica útil: pratique em gravações de vídeo de palestras escolares em 2017 ano e 2019 ano. Adeus, trabalho - olá, generais bizantinos.
Em segundo lugar, os palestrantes se concentram na pesquisa científica e falam sobre os fundamentos sistemas distribuídos e computação paralela, bem como novidades da ciência de ponta. Se o seu objetivo é codificar algo rapidamente e implantá-lo em produção no dia seguinte depois da escola, isso também pode ser difícil.
Dica útil: Procure os trabalhos de pesquisa dos professores da escola em Google Scholar и arXiv.org. Se você gosta de ler artigos científicos, também vai gostar da escola.
Em terceiro lugar, a escola SPTDC 2020 não é uma conferência, porque a conferência sobre sistemas distribuídos e computação paralela é Hidra 2020. Recentemente no Habré saiu um post com revisão do seu programa. No ano passado, SPTDC e Hydra aconteceram simultaneamente e no mesmo local. Este ano eles não se sobrepõem em datas, então não competem entre si por seu tempo e atenção.
Dica útil: Confira o programa da conferência Hydra e considere participar da conferência depois da escola também. Esta será uma boa semana.
Como chegar à escola?
- Anote as datas de 6 a 9 de julho de 2020 no calendário (ou melhor, até 11 de julho para ir à conferência Hydra depois da escola).
- Coragem, prepare-se.
- Escolha os ingressos e ir para a escola.
Fonte: habr.com