Isso é Leslie Lamport — autor de obras fundamentais em computação distribuída, e você também pode conhecê-lo pelas letras La na palavra LaTeX — "Lamport TeX". Foi ele quem, pela primeira vez, em 1979, introduziu o conceito de , e seu artigo recebeu o prêmio Dijkstra (na verdade, em 2000, o prêmio era chamado pelo nome antigo: "PODC Influential Paper Award"). Há , onde você pode encontrar mais algumas referências interessantes. Se você está empolgado com a resolução de problemas como happens-before ou (BFT), deve entender que por trás de tudo isso está Lamport.
Além disso, ele estará em nossa nova conferência sobre computação distribuída — Hydra, que ocorrerá de 11 a 12 de julho em São Petersburgo. Vamos ver o que é esse bicho.
Hydra 2019
Temas como multi-threading estão entre os mais populares em nossas conferências, sempre foram assim. Este salão estava deserto há pouco, mas agora no palco aparece uma pessoa falando sobre modelo de memória, happens-before ou coleta de lixo multithread, e — bum! — já mil pessoas ocupando todo o espaço disponível para se sentar e ouvir atentamente. Qual é a essência desse sucesso? Talvez seja o fato de que todos nós temos algum hardware capaz de organizar computação distribuída? Ou a nossa compreensão subconsciente da incapacidade de utilizá-lo plenamente? Há uma história real de um quântico de São Petersburgo (ou seja, um analista financeiro quantitativo e desenvolvedor) que ficou com um cluster de computação, cuja potência total ele pode usar apenas sozinho. E o que você faria se recebesse um poder computacional muitas vezes maior do que o que tem agora?
Devido a essa popularidade, o tema de desempenho e computações eficientes tende a se espalhar pelo programa das conferências. Quanto de dois dias de palestras pode ser feito sobre desempenho — um terço, dois terços? Em alguns lugares, existem restrições artificiais que limitam esse crescimento: além de desempenho, deve haver espaço para novas estruturas web, para algum DevOps ou astronautica arquitetônica. Não, desempenho, você não vai nos devorar por completo!
E se pudéssemos seguir um caminho oposto, desistir e realizar honestamente uma conferência que será inteiramente sobre computação distribuída e apenas sobre isso. Aqui está, a Hidra.
Vamos ser sinceros, hoje em dia todos os cálculos, de alguma forma, são distribuídos. Seja em uma máquina de múltiplos núcleos, em um cluster de computação ou em um serviço distribuído em grande escala — sempre existem muitos processos que realizam cálculos independentes em paralelo, sincronizando-se entre si. O que isso implica em teoria e como funciona na prática será o foco da Hydra.
Programa da Conferência
O programa está atualmente em fase de elaboração. Deve incluir palestras de fundadores das teorias de sistemas distribuídos e engenheiros que trabalham com eles na produção.
Por exemplo, já está confirmado que Leslie Lamport da Microsoft Research e Maurice Hérlihy da Universidade Brown participarão.
Maurice Hérlihy é um professor muito renomado e respeitado em Ciência da Computação, e existe uma , onde você pode percorrer os links e trabalhos. Lá você pode notar que ele recebeu duas premiações Dijkstra, a primeira por seu trabalho em , e a segunda, mais recente — . Por sinal, os links não levam nem mesmo ao SciHub, mas sim à Universidade Brown e à Universidade Virginia Tech, podendo ser abertos e lidos.
Maurice fará uma palestra intitulada «Blockchains from a distributed computing perspective». Se estiver interessado, você pode conferir a gravação da palestra de Maurice no JUG de São Petersburgo. Avalie quão claramente ele aborda o tema.
A segunda palestra, intitulada «Dual Data Structures», será apresentada por Michael Scott da Universidade de Rochester. E adivinhe, ele também tem sua . Em Wisconsin, ele é conhecido por seu trabalho como reitor na Universidade Wisconsin-Madison, e no mundo — ele é a pessoa que, junto com Doug Lea, desenvolveu aqueles algoritmos não bloqueantes e filas síncronas, sobre os quais funcionam as bibliotecas Java. Ele recebeu sua premiação Dijkstra três anos após Hérlihy, por seu trabalho «Algorithms for scalable synchronization on shared-memory multiprocessors» (como é de se esperar, na biblioteca online da Universidade de Rochester).
Ainda há muito tempo até meados de julho. Vamos informar sobre os outros palestrantes e seus tópicos à medida que o programa for sendo definido e a data se aproximar.
Na verdade, surge a questão — por que fazemos a Hydra no verão? Afinal, é a baixa temporada, férias. O problema é que entre os palestrantes há professores universitários, e em qualquer outro momento eles estão ocupados. Simplesmente não conseguimos escolher outras datas.
Zonas de discussão
Em outras conferências, às vezes acontece que o palestrante lê o que precisa e logo vai embora. Os participantes nem têm tempo para procurá-lo — pois quase sem intervalo começa a próxima apresentação. Isso é muito doloroso, especialmente se pessoas tão importantes como Lamport, Herlihy e Scott estão presentes, e você está realmente indo à conferência apenas para encontrá-los e discutir algo.
Aqui, temos essa questão solucionada. Imediatamente após sua apresentação, o palestrante se dirige a uma zona de discussão equipada, pelo menos, com um quadro e marcadores, e você tem um tempo considerável. Formalmente, o palestrante promete estar lá pelo menos durante toda a pausa entre as apresentações. Na prática, essas zonas de discussão podem podem se estender por horas a fio (dependendo do desejo e da disposição do palestrante).
Quanto ao Lamport, se entendi corretamente, ele quer convencer o maior número possível de pessoas de que — isso é uma coisa boa. (). Pode ser uma boa oportunidade para os engenheiros aprenderem algo novo e útil. Leslie sugere essa opção — aqueles que estiverem interessados podem assistir suas palestras anteriores e vir com perguntas. Ou seja, em vez de um keynote, pode haver uma sessão de Q&A especializada e depois ainda uma zona de discussão. Fiz algumas pesquisas e encontrei um excelente (oficialmente duplicado ) e uma palestra de uma hora no Microsoft Faculty Summit.
Se você percebia todas essas pessoas como nomes esculpidos em pedra na Wikipédia e nas capas de livros — agora é a hora de conhecê-las ao vivo! Converse e faça perguntas que não serão respondidas nas páginas de artigos científicos, mas cujos autores estarão felizes em se conectar.
Chamada para Trabalhos
Não é segredo que muitos dos que estão lendo este artigo também gostariam de compartilhar algo interessante. Seja do ponto de vista da engenharia, científico — de qualquer forma. Computação distribuída é um tema muito amplo e profundo, onde há espaço para todos.
Se você deseja se apresentar ao lado de Lamport, isso é bastante possível. Para se tornar um palestrante, você precisa , leia atentamente tudo e faça de acordo com as instruções.
Fique calmo, assim que você se conectar ao processo, receberá ajuda. O comitê programático possui capacidades suficientes para ajudar com a própria apresentação, seu conteúdo e formatação. O coordenador ajudará a resolver questões organizacionais e assim por diante.
Preste atenção especial à imagem com as datas. Julho é uma data bastante distante para o participante, enquanto o palestrante precisa começar a agir já agora.
Escola SPTDC
A conferência ocorrerá no mesmo local da escola SPTDC, portanto, todos que adquirirem um ingresso para a escola terão ingressos para a conferência — com 20% de desconto.
— uma escola que oferece uma ampla gama de cursos sobre os aspectos práticos e teóricos de sistemas distribuídos, conduzidos por especialistas reconhecidos na área correspondente.
A escola será ministrada em inglês, portanto, aqui está a lista de tópicos a serem 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 estado e Paxos;
- Tolerância a falhas bizantinas;
- Noções básicas algorítmicas de blockchains.
Os seguintes palestrantes se apresentarão:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Universidade de 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).
com as apresentações da escola anterior pode ser assistida livremente no YouTube:
Próximos passos
O programa da conferência ainda está sendo formado. Fique atento às novidades no Habr ou nas redes sociais (, , ).
Se você realmente acredita na conferência (ou quer aproveitar um preço especial de lançamento, chamado de "Early Bird") — você pode visitar o site e .
Nos encontramos na Hydra!
Fonte: habr.com
