Get best of the week

SPTDC 2020 - Terceira Escola de Prática e Teoria da Computação Distribuída

Teoria é quando você sabe tudo, mas nada funciona.
A prática é quando tudo funciona, mas ninguém sabe o porquê.
Nos sistemas distribuídos, teoria e prática são combinadas:
nada funciona e ninguém sabe o porquê.

Para provar que a piada na epígrafe é estupidez absoluta, é a terceira vez que conduzimos o SPTDC (escola de prática e teoria da computação distribuída). Jáfalamossobre a história da escola, seus co-fundadores Petro Kuznetsov e Vitaly Aksyonov, bem como sobre a participação do Grupo JUG Ru na organização SPTDCem 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.Principais tópicos da palestra: computação simultânea persistente, ferramentas criptográficas para sistemas distribuídos, métodos formais para verificar protocolos de consenso, consistência em sistemas de grande escala, aprendizado de máquina distribuído.


Adivinhou imediatamente em que ordem militar os personagens da foto? Eu te adoro.


Palestras e palestras


Nir Shavit é professor do MIT e da Universidade de Tel Aviv, co-autor do grande livro The Art of Multiprocessor Programming , vencedor do Prêmio Dijkstra pelo desenvolvimento e implementação da Memória de programação transacional (STM) e do Prêmio Gödel por seu trabalho na aplicação de topologia algébrica à modelagem computacional com memória compartilhada, co-fundador da Neural Magic , uma empresa que cria algoritmos rápidos de aprendizado de máquina para CPUs convencionais e, é claro, o proprietário de sua própria página na Wikipedia com uma fotografia ousada e sensual. Nir já participou de nossa escola em 2017, onde fez uma revisão exaustiva das técnicas de trancar fechaduras ( parte 1 ,parte 2 ). Sobre o que Nir vai falar este ano, ainda não sabemos, mas esperamos notícias da vanguarda da ciência.

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 por desenvolver algoritmos de sincronização para computação com memória compartilhada e sua própria página na Wikipedia . No ano passado, Michael deu uma palestra em nossa escola sobre estruturas de dados sem bloqueio ( parte 1 , parte 2 ). Este ano ele vai falar sobre programação usandomemó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 "regular" (DRAM).

Idit Keidar , professor do Technion e proprietário do índice Hirsch de cerca de 40 (o que é muito, muito) estuda mais de duzentos artigos científicos no campo da computação distribuída, multithreading e tolerância a falhas. Participa pela primeira vez em nossa escola, onde ela fará uma palestra sobre os aspectos básicos da operação de data warehouses distribuídos: emulação de memória distribuída, construção de consenso e alteração de configurações.

Rodrigo Rodrigues - Professor do Técnico, Membro do Laboratório INESC-IDe autor de pesquisa em sistemas distribuídos. Este ano, em nossa escola, Rodrigo conversará sobre consistência e isolamento em data warehouses distribuídos e, também, usando o teorema da CAP , analisará a viabilidade na prática de vários modelos de consistência e isolamento.

Chen Jing (Jing Chen) - professor da Universidade Estadual de Nova York em Stony Brook, autor de pesquisas no campo de blokcheyna e um cientista líder na empresa e plataforma Algorand -blokcheyn, usando um algoritmo de consenso, inteiramente baseado na prova de participação. Este ano, em nossa escola, Chen conversará sobre o blockchain Algorand e como obter suas propriedades interessantes: baixa demanda de recursos de computação da rede, impossibilidade de dividir o histórico de transações e garantir a conclusão do processamento de transações após ser adicionado ao blockchain.

Christian Cachin (Christian Cachin) - professor da Universidade de Berna, líder do grupo de pesquisa no campo da proteção de dados, coautor do livro “ Introdução à programação distribuída confiável e segura ”, desenvolvedor da plataforma blockchain Hyperledger Fabric (havia até um post sobre Habré ) e autor de pesquisa trabalha no campo de criptografia e segurança em sistemas distribuídos. Este ano na nossa escola cristãfará uma palestra em quatro partes sobre ferramentas críticas para computação distribuída: criptografia simétrica e assimétrica, bem como criptografia de chave compartilhada , números pseudo-aleatórios e geração aleatória verificada de números .

Vukolich Marco (Marko Vukolic) - pesquisador da IBM Research, o autor trabalha no campo de blokcheyna e desenvolvedor Hyperledger Fabric. Não sabemos do que Marco falará em nossa escola este ano, mas esperamos aprender sobre seus últimos desenvolvimentos no campo da blockchain: o estudo da degradação do desempenho de protocolos de consenso distribuídos em clusters de até 100 máquinas, o protocolo de transmissão Mirordem global e tolerância a falhas bizantinas ou bezblochnom blokcheyne StreamChain , minimiza o tempo de processamento da transação.

Prasad Jayanti é professor do Dartmouth College, membro da elite Ivy League e autor de trabalhos de pesquisa no campo de algoritmos multithread. Este ano, em nossa escola, Prasad fará 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, bem como operações de leitura e gravação separadas.

Alexey Gotsman (Alexey Gotsman) - professor na IMDEA e autortrabalho de pesquisa no campo da verificação de algoritmos por software. Ainda não sabemos o que Alexey dará uma palestra em nossa escola este ano, mas estamos contando com o tópico no cruzamento da verificação do programa e dos sistemas distribuídos.


Por que é uma escola e não uma conferência?


Em primeiro lugar, os palestrantes falam em formato acadêmico e leem cada palestra em dois pares: "uma hora e meia - um intervalo - outra hora e meia". Muitos anos após a universidade, com o hábito de relatórios por hora em conferências e clipes de 10 minutos no YouTube - isso pode ser difícil. Um bom palestrante tornará as três horas interessantes, mas todos são responsáveis ​​pela plasticidade de seu próprio cérebro.

Conselhos úteis: pratique em vídeos de palestras escolares em 2017 e 2019 . Adeus, trabalho - olá, generais bizantinos.

Em segundo lugar, os professores se concentram na pesquisa científica e falam sobre princípios fundamentais.sistemas distribuídos e computação paralela, e sobre as novidades da vanguarda da ciência. Se seu objetivo é programar algo rapidamente e implantar na produção nos dias quentes depois da escola, também pode ser difícil.

Dica útil: pesquise a pesquisa de professores da escola no Google Scholar e no arXiv.org . Se você se apegar a pagers científicos, também amará a escola.

Em terceiro lugar, o SPTDC 2020 não é uma conferência, porque uma conferência sobre sistemas distribuídos e computação paralela é o Hydra 2020 . Recentemente, em Habré, houve um post com uma visão geral de seu programa. No ano passado, SPTDC e Hydra foram realizadas simultaneamente no mesmo local. Este ano eles não se sobrepõem às datas, portanto não competem entre si pelo tempo e atenção.

Dica útil: Veja o programa da conferência Hydra e pense em participar da conferência depois da escola. Será uma boa semana.

Como chegar na escola?


  • Anote as datas de 6 a 9 de julho de 2020 (ou melhor, 11 de julho para ir à conferência Hydra depois da escola).
  • Reúna sua coragem, prepare-se.
  • Escolha seus ingressos e vá para a escola.

More articles:


All Articles