Ele Leslie Lamport é autor de trabalhos seminais em computação distribuída, e você também pode conhecê-lo pelas letras La na palavra LaTeX - "Lamport TeX". Foi ele quem primeiro, em 1979, introduziu o conceito , e seu artigo recebeu o Prêmio Dijkstra (mais precisamente, em 2000 o prêmio foi chamado em sua antiga forma: “PODC Influential Paper Award”). Há sobre ele , onde você pode obter alguns links mais interessantes. Se você está entusiasmado em resolver problemas que acontecem antes ou (BFT), então você deve entender que Lamport está por trás de tudo isso.
Ele também participará em breve da nossa nova conferência sobre computação distribuída - Hydra, que acontecerá de 11 a 12 de julho em São Petersburgo. Vamos ver que tipo de animal é esse.
Hidra 2019
Tópicos como multithreading estão entre os mais populares em nossas conferências, sempre estiveram. Agora mesmo esta sala estava deserta, mas então uma pessoa aparece no palco falando sobre o modelo de memória, acontece antes ou coleta de lixo multithread e - bum! — já cerca de mil pessoas ocupam todo o espaço disponível para sentar e ouvir com atenção. Qual é a essência desse sucesso? Talvez seja porque todos nós temos algum tipo de hardware disponível que pode organizar a computação distribuída? Ou será que subconscientemente entendemos a nossa incapacidade de carregá-lo como merece? Há uma história real de um quant de São Petersburgo (isto é, um analista e desenvolvedor quantitativo financeiro), que se viu na posse de um cluster de computação, cujo poder total só ele poderia usar. O que você faria se tivesse uma capacidade de realizar suas tarefas muitas vezes maior do que é agora?
Devido a essa popularidade, o tema produtividade e computação eficiente tende a se espalhar pela agenda da conferência. Quantos dos dois dias de relatórios podem ser feitos sobre o desempenho – um terço, dois terços? Em alguns locais existem restrições artificiais que limitam esse crescimento: além do desempenho, ainda deve haver espaço para novos frameworks web, para algum tipo de devops ou astronáutica arquitetônica. Não, desempenho, você não vai nos comer inteiros!
Ou você pode seguir o caminho oposto, desistir e fazer honestamente uma conferência que será inteiramente sobre computação distribuída e apenas sobre ela. E aqui está, Hidra.
Admitamos honestamente que hoje todos os cálculos estão distribuídos de uma forma ou de outra. Quer se trate de uma máquina com vários núcleos, um cluster de computação ou um serviço distribuído em grande escala, existem muitos processos em todos os lugares que realizam cálculos independentes em paralelo, sincronizando-se entre si. Hydra se dedicará a como isso funciona na teoria e na prática.
Programa da conferência
O programa está atualmente em fase de formação. Deve incluir relatórios dos fundadores das teorias de sistemas distribuídos e dos engenheiros que trabalham com eles na produção.
Por exemplo, já é conhecida a participação de Leslie Lamport da Microsoft Research e Maurice Herlihy da Brown University.
Maurice Herlihy - um professor de Ciência da Computação muito famoso e respeitado, também há informações sobre ele , onde você pode navegar por links e obras. Lá vocês podem notar dois prêmios Dijkstra, o primeiro pelo trabalho em , e o segundo, mais recente - . A propósito, os links nem levam ao SciHub, mas à Brown University e à Virginia Tech University, você pode abrir e ler.
Maurice fará uma palestra chamada “Blockchains de uma perspectiva de computação distribuída”. Se você estiver interessado, pode dar uma olhada na gravação do relatório de Maurice no JUG de São Petersburgo. Avalie o quão clara e compreensível ele transmite o tópico.
A segunda palestra chamada “Estruturas de dados duplas” será lida Michael Scott da Universidade de Rochester. E adivinhe - ele também tem o seu próprio . Em casa, em Wisconsin, ele é conhecido por seu trabalho como reitor da Universidade de Wisconsin-Madison, e no mundo ele é o homem que, junto com Doug Lea, desenvolveu os algoritmos sem bloqueio e as filas síncronas nas quais as bibliotecas Java trabalhar. Ele recebeu o Prêmio Dijkstra três anos depois de Herlihy, por seu trabalho “Algoritmos para sincronização escalável em multiprocessadores de memória compartilhada” (como esperado, na biblioteca on-line da Universidade de Rochester).
Ainda falta muito tempo até meados de julho. Iremos falar sobre os palestrantes restantes e seus tópicos à medida que refinamos o programa e nos aproximamos de julho.
Em geral, surge a pergunta - por que fazemos Hydra no verão? Afinal, estamos em baixa temporada, feriados. O problema é que entre os palestrantes há professores universitários, e qualquer outro horário é ocupado para eles. Simplesmente não pudemos escolher outras datas.
zonas de discussão
Em outras conferências, acontece que o palestrante leu o que precisava e saiu imediatamente. Os participantes nem têm tempo de procurar - afinal, o próximo relatório começa quase sem intervalo. Isto é muito doloroso, especialmente se pessoas importantes como Lamport, Herlihy e Scott estiverem presentes, e você estiver indo à conferência apenas para conhecê-los e discutir algo.
Nós resolvemos esse problema. Imediatamente após seu relato, o palestrante vai para uma área especial de discussão, equipada com pelo menos um quadro branco com marcador, e você tem bastante tempo. Formalmente, o palestrante promete estar presente pelo menos durante todo o intervalo entre as apresentações. Na realidade, estas áreas de discussão lata esticar por horas a fio (dependendo do desejo e resistência do locutor).
Quanto a Lamport, se bem entendi, ele quer convencer o maior número possível de pessoas de que - Isto é uma coisa boa. (). Talvez esta seja uma boa oportunidade para os engenheiros aprenderem algo novo e útil. Leslie oferece essa opção - quem tiver interesse pode assistir às palestras anteriores e tirar dúvidas. Ou seja, em vez de uma palestra, poderia haver uma sessão especializada de perguntas e respostas e, em seguida, também uma zona de discussão. Pesquisei no Google e encontrei um ótimo. (oficialmente apelidado ) e uma palestra de uma hora do Microsoft College Summit.
Se você percebeu todas essas pessoas como nomes gravados em granito da Wikipedia e em capas de livros, é hora de conhecê-los pessoalmente! Converse e tire dúvidas que as páginas de artigos científicos não responderão, mas seus autores terão prazer em entrar em contato.
Chamada de Trabalhos
Não é nenhum segredo que muitos dos que estão lendo o artigo não hesitam em nos contar algo bastante interessante. Do ponto de vista da engenharia, do ponto de vista científico - de qualquer ponto de vista. A computação distribuída é um tema muito amplo e profundo onde há espaço para todos.
Se você quiser competir ao lado do Lamport, é perfeitamente possível. Para se tornar um palestrante você precisa , leia tudo com atenção e faça de acordo com as instruções.
Fique tranquilo, assim que você ingressar no processo, eles irão te ajudar. O Comité do Programa tem capacidades suficientes para ajudar no relatório em si, na sua essência e design. O coordenador irá ajudá-lo a resolver questões organizacionais e assim por diante.
Preste atenção especial na foto com as datas. Julho é uma data um tanto distante para o participante, mas o palestrante precisa começar a agir agora.
Escola SPTDC
A conferência será realizada no mesmo local da escola do SPTDC, portanto, para todos que comprarem ingresso para a escola, ingressos para a conferência - com um desconto de 20%.
é uma escola que oferece uma ampla gama de cursos sobre os aspectos práticos e teóricos de sistemas distribuídos, ministrados por especialistas reconhecidos na área relevante.
A escola será ministrada em inglês, então esta é a lista de tópicos abordados:
- Estruturas de dados concorrentes: correção e eficiência;
- Algoritmos para memória não volátil;
- Computabilidade distribuída;
- Aprendizado de máquina distribuído;
- Replicação de máquina de estados e Paxos;
- Tolerância a falhas bizantinas;
- Noções básicas algorítmicas de blockchains.
Falarão os seguintes palestrantes:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Universidade Brown);
- Michael Scott (Universidade de Rochester);
- Dan Alistarh (IST Áustria);
- Trevor Brown (Universidade de Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Universidade Ben Gurion);
- Achour Mostefaoui (Universidade de Nantes).
Você pode assistir gratuitamente os relatórios da escola anterior no YouTube:
Próximos passos
O programa da conferência ainda está sendo formado. Acompanhe as novidades no Habré ou nas redes sociais (, , ).
Se você realmente acredita na conferência (ou quer aproveitar o preço especial de entrada, o chamado “Early Bird”), você pode acessar o site e .
Nos vemos na Hidra!
Fonte: habr.com