Este é Leslie Lampport - o autor dos trabalhos fundamentais em computação distribuída, e você também pode conhecê-lo pelas letras La na palavra La TeX - "Lamport TeX". Esta é a primeira vez que ele introduziu o conceito de consistência consistente em 1979, e seu artigo “Como fazer um computador multiprocessador que execute corretamente programas multiprocessos” ganhou o prêmio Dijkstra (mais precisamente, em 2000, o prêmio foi chamado da maneira antiga: “PODC Influential Paper Award "). Há um artigo na Wikipedia sobre ele, onde você pode obter alguns links mais interessantes. Se você está satisfeito com a solução de problemas no que acontece antes ou nos problemas dos generais bizantinos (BFT), deve entender que Lamport está por trás de tudo isso.

Ele também estará presente em nossa nova conferência sobre computação distribuída - Hydra, que será realizada de 11 a 12 de julho em São Petersburgo. Vamos ver que tipo de animal é esse.

Hydra 2019

Tópicos como multithreading são alguns dos mais populares em nossas conferências, sempre foram assim. Estava deserta nesta sala, mas aqui um homem aparece no palco falando sobre o modelo de memória, acontece - antes ou coleta de lixo com vários segmentos e - bum! - menos de mil pessoas ocupam todo o espaço disponível para se sentar e ouvir atentamente. Qual é a essência desse sucesso? Talvez pelo fato de todos termos algum tipo de hardware em mãos que possa organizar a computação distribuída? Ou será que subconscientemente entendemos nossa incapacidade de carregá-lo em seu verdadeiro valor? Há uma história real de um quantum de São Petersburgo (ou seja, um analista e desenvolvedor quantitativo financeiro), em cujas mãos havia um cluster de computação, cuja potência total somente ele pode usar. E o que você faria se tivesse o poder de realizar suas tarefas muitas vezes maior do que agora?

Devido a essa popularidade, o tópico desempenho e computação eficiente tende a se espalhar por todo o programa da conferência. Quantos dos dois dias de apresentações podem ser feitos sobre desempenho - um terço, dois terços? Em alguns lugares, existem restrições artificiais que limitam esse crescimento: além do desempenho, ainda deve haver espaço para novas estruturas da web, para algum tipo de devaop ou astronáutica arquitetônica. Sem desempenho, você não vai comer todos nós!

Ou você pode seguir o caminho oposto, desistir e honestamente fazer uma conferência que será inteiramente sobre computação distribuída e apenas sobre eles. E aqui está ela, Hydra.

Vamos admitir honestamente que hoje todos os cálculos estão de alguma forma distribuídos. Seja uma máquina com vários núcleos, um cluster de computação ou um serviço distribuído em larga escala - em todos os lugares existem muitos processos que executam simultaneamente cálculos independentes, sincronizando-se entre si. Hydra será dedicado a como isso é organizado na teoria e funciona na prática.

Programa da conferência

O programa está atualmente em processo de formação. Deve incluir relatórios dos fundadores das teorias dos sistemas distribuídos e dos engenheiros que trabalham com eles no produto.

Por exemplo, agora se sabe sobre a participação de Leslie Lamport da Microsoft Research e Maurice Herlihy da Brown University.

Maurice Herlichi é um professor de Ciência da Computação muito famoso e respeitado. Sobre ele, há também uma página da Wikipedia onde você pode consultar os links e trabalhos. Lá você pode ver até dois prêmios Dijkstra, o primeiro para o trabalho de Sincronização sem Espera e o segundo, mais recente, Memória Transacional: Suporte Arquitetônico para Estruturas de Dados sem Bloqueio . A propósito, os links nem sequer levam ao SciHub, mas você pode abrir e ler a Brown University e a Virginia Tech University.

Maurice está prestes a realizar uma palestra chamada "Blockchains de uma perspectiva de computação distribuída". Se estiver interessado, pode dar uma olhada na gravação do relatório de Maurice do JUG de São Petersburgo. Avalie com que clareza e clareza ele transmite o tópico.

A segunda palestra, intitulada “Dual Data Structures”, será lida por Michael Scott, da Universidade de Rochester. E adivinhe - ele também tem sua própria página na Wikipedia . Em Wisconsin, ele é conhecido por seu trabalho como reitor na Universidade de Wisconsin-Madison, e no mundo ele é a pessoa que, juntamente com Doug Lea, desenvolveu esses algoritmos sem bloqueio e filas síncronas executando bibliotecas Java. Ele recebeu seu Prêmio Dijkstra três anos depois de Herliha, por seu trabalho "Algoritmos para sincronização escalável em multiprocessadores de memória compartilhada" (como deveria ser, está abertamente na biblioteca on-line da Universidade de Rochester).

Ainda há muito tempo até meados de julho. Falaremos sobre o restante dos palestrantes e seus tópicos, à medida que o programa for esclarecido e se aproximar de julho.

Em geral, surge a pergunta - por que fazemos Hydra no verão? Afinal, esta é uma estação morta, férias. O problema é que, entre os palestrantes, há professores universitários e qualquer outro momento é tirado deles. Simplesmente não podíamos escolher outras datas.

Áreas de discussão

Em outras conferências, acontece que o palestrante lê o que é necessário e sai imediatamente. Os participantes nem sequer têm tempo para procurá-lo - afinal, sem uma lacuna, o próximo relatório começa. Isso é muito doloroso, especialmente se pessoas importantes como Lamport, Herlichi e Scott estão presentes, e você realmente vai à conferência apenas para se encontrar com eles e discutir algo.

Nós resolvemos esse problema. Imediatamente após o seu relatório, o orador vai para uma área de discussão especial equipada com pelo menos um quadro branco com um marcador e você tem uma margem de tempo bastante grande. Formalmente, o orador promete estar presente pelo menos durante todo o tempo entre os relatórios. Na realidade, essas zonas de discussão podem se estender por horas a fio (dependendo do desejo e resistência do orador).

Quanto a Lamport, se eu entendi direito, ele quer convencer o maior número possível de pessoas de que o TLA + é uma coisa boa. ( Artigo da Wikipedia sobre TLA + ). Talvez seja uma boa chance para os engenheiros aprenderem algo novo e útil. Leslie oferece essa opção - qualquer pessoa interessada pode ver suas palestras anteriores e fazer perguntas. Ou seja, em vez da palestra, pode haver uma sessão de perguntas e respostas especializada e, em seguida, uma zona de discussão. Pesquisei um pouco no Google e encontrei um excelente curso de TLA + (duplicado oficialmente por uma lista de reprodução do YouTube ) e uma palestra de uma hora sobre "Pensando acima do código" com o Microsoft Faculty Summit.

Se você percebeu todas essas pessoas como nomes de elenco em granito da Wikipedia e nas capas de livros - é hora de conhecê-las ao vivo! Comunique e faça perguntas que as páginas dos artigos científicos não responderão, mas seus autores entrarão em contato com prazer.

Chamada de trabalhos

Não é segredo que muitos dos que estão lendo o artigo não são avessos a dizer algo interessante o suficiente. Do ponto de vista da engenharia, do ponto de vista científico - de qualquer. A computação distribuída é um tópico muito amplo e profundo, onde há espaço para todos.

Se você deseja executar próximo a Lamport, isso é totalmente possível. Para se tornar um orador, você precisa seguir o link , ler atentamente tudo o que estiver lá e fazê-lo de acordo com as instruções.

Fique calmo, assim que você entrar no processo, eles o ajudarão. O comitê do programa tem capacidade para ajudar com o próprio relatório, sua essência e design. O coordenador ajudará a lidar com questões organizacionais e assim por diante.

Atenção especial à imagem com as datas. Julho é uma data bastante distante para o participante, e o orador precisa começar a agir agora.

Escola SPTDC

A conferência será realizada no mesmo local da escola SPTDC, portanto, para todos que comprarem uma passagem para a escola, haverá ingressos para a conferência - com 20% de desconto .

A Escola de Verão de Prática e Teoria da Computação Distribuída (SPTDC) é uma escola que oferece uma ampla variedade de cursos sobre os aspectos práticos e teóricos dos sistemas distribuídos, ministrados por especialistas reconhecidos na área relevante.

A escola será conduzida em inglês, e é assim que a lista de tópicos abordados se parece com:

• 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 bizantina;
• Noções básicas algorítmicas de blockchains.

Os seguintes oradores falarão:

• 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 à lista de reprodução de relatórios escolares anteriores no YouTube:

Próximas etapas

O programa da conferência ainda está sendo formado. Siga as notícias no Habré ou nas redes sociais ( fb , vk , twitter ).

Se você realmente acredita na conferência (ou deseja usar o preço inicial especial, como se costuma dizer "Early Bird"), pode ir ao site e comprar ingressos .

Encontre-me na Hydra!