{"id":34759,"date":"2019-10-31T22:00:14","date_gmt":"2019-10-31T19:00:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry\/"},"modified":"2019-10-31T22:00:14","modified_gmt":"2019-10-31T19:00:14","slug":"osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","status":"publish","type":"post","link":"https:\/\/prohoster.info\/pt\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Os fundadores da teoria de sistemas distribu\u00eddos nos bra\u00e7os da hidra","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"OsIsso \u00e9 Leslie Lamport<\/strong> \u2014 autor de obras fundamentais em computa\u00e7\u00e3o distribu\u00edda, e voc\u00ea tamb\u00e9m pode conhec\u00ea-lo pelas letras La na palavra La<\/b>TeX \u2014 \"Lamport TeX\". Foi ele quem, pela primeira vez, em 1979, introduziu o conceito de consist\u00eancia sequencial<\/a><\/noindex>, e seu artigo \"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\"<\/a><\/noindex> recebeu o pr\u00eamio Dijkstra (na verdade, em 2000, o pr\u00eamio era chamado pelo nome antigo: \"PODC Influential Paper Award\"). H\u00e1 um artigo sobre ele na Wikip\u00e9dia<\/a><\/noindex>, onde voc\u00ea pode encontrar mais algumas refer\u00eancias interessantes. Se voc\u00ea est\u00e1 empolgado com a resolu\u00e7\u00e3o de problemas como happens-before ou o problema dos generais bizantinos<\/a><\/noindex> (BFT), deve entender que por tr\u00e1s de tudo isso est\u00e1 Lamport.
\n<\/p>\n

<\/p>\n

Al\u00e9m disso, ele estar\u00e1 em nossa nova confer\u00eancia sobre computa\u00e7\u00e3o distribu\u00edda \u2014 Hydra, que ocorrer\u00e1 de 11 a 12 de julho em S\u00e3o Petersburgo. Vamos ver o que \u00e9 esse bicho.<\/p>\n

<\/a><\/noindex><\/p>\n

Hydra 2019<\/h1>\n

<\/p>\n

Temas como multi-threading est\u00e3o entre os mais populares em nossas confer\u00eancias, sempre foram assim. Este sal\u00e3o estava deserto h\u00e1 pouco, mas agora no palco aparece uma pessoa falando sobre modelo de mem\u00f3ria, happens-before ou coleta de lixo multithread, e \u2014 bum! \u2014 j\u00e1 mil pessoas ocupando todo o espa\u00e7o dispon\u00edvel para se sentar e ouvir atentamente. Qual \u00e9 a ess\u00eancia desse sucesso? Talvez seja o fato de que todos n\u00f3s temos algum hardware capaz de organizar computa\u00e7\u00e3o distribu\u00edda? Ou a nossa compreens\u00e3o subconsciente da incapacidade de utiliz\u00e1-lo plenamente? H\u00e1 uma hist\u00f3ria real de um qu\u00e2ntico de S\u00e3o Petersburgo (ou seja, um analista financeiro quantitativo e desenvolvedor) que ficou com um cluster de computa\u00e7\u00e3o, cuja pot\u00eancia total ele pode usar apenas sozinho. E o que voc\u00ea faria se recebesse um poder computacional muitas vezes maior do que o que tem agora?<\/p>\n

<\/p>\n

Devido a essa popularidade, o tema de desempenho e computa\u00e7\u00f5es eficientes tende a se espalhar pelo programa das confer\u00eancias. Quanto de dois dias de palestras pode ser feito sobre desempenho \u2014 um ter\u00e7o, dois ter\u00e7os? Em alguns lugares, existem restri\u00e7\u00f5es artificiais que limitam esse crescimento: al\u00e9m de desempenho, deve haver espa\u00e7o para novas estruturas web, para algum DevOps ou astronautica arquitet\u00f4nica. N\u00e3o, desempenho, voc\u00ea n\u00e3o vai nos devorar por completo!<\/p>\n

<\/p>\n

E se pud\u00e9ssemos seguir um caminho oposto, desistir e realizar honestamente uma confer\u00eancia que ser\u00e1 inteiramente sobre computa\u00e7\u00e3o distribu\u00edda e apenas sobre isso. Aqui est\u00e1, a Hidra.<\/p>\n

<\/p>\n

Vamos ser sinceros, hoje em dia todos os c\u00e1lculos, de alguma forma, s\u00e3o distribu\u00eddos. Seja em uma m\u00e1quina de m\u00faltiplos n\u00facleos, em um cluster de computa\u00e7\u00e3o ou em um servi\u00e7o distribu\u00eddo em grande escala \u2014 sempre existem muitos processos que realizam c\u00e1lculos independentes em paralelo, sincronizando-se entre si. O que isso implica em teoria e como funciona na pr\u00e1tica ser\u00e1 o foco da Hydra.<\/p>\n

<\/p>\n

Programa da Confer\u00eancia<\/h1>\n

<\/p>\n

O programa est\u00e1 atualmente em fase de elabora\u00e7\u00e3o. Deve incluir palestras de fundadores das teorias de sistemas distribu\u00eddos e engenheiros que trabalham com eles na produ\u00e7\u00e3o.<\/p>\n

<\/p>\n

Por exemplo, j\u00e1 est\u00e1 confirmado que Leslie Lamport da Microsoft Research e Maurice H\u00e9rlihy da Universidade Brown participar\u00e3o. <\/p>\n

<\/p>\n

\"Os Maurice H\u00e9rlihy<\/strong> \u00e9 um professor muito renomado e respeitado em Ci\u00eancia da Computa\u00e7\u00e3o, e existe uma p\u00e1gina na Wikipedia<\/a><\/noindex>, onde voc\u00ea pode percorrer os links e trabalhos. L\u00e1 voc\u00ea pode notar que ele recebeu duas premia\u00e7\u00f5es Dijkstra, a primeira por seu trabalho em \u00abWait-Free Synchronization\u00bb<\/a><\/noindex>, e a segunda, mais recente \u2014 \u00abTransactional Memory: Architectural Support for Lock-Free Data Structures\u00bb<\/a><\/noindex>. Por sinal, os links n\u00e3o levam nem mesmo ao SciHub, mas sim \u00e0 Universidade Brown e \u00e0 Universidade Virginia Tech, podendo ser abertos e lidos.
\n<\/p>\n

<\/p>\n

Maurice far\u00e1 uma palestra intitulada \u00abBlockchains from a distributed computing perspective\u00bb. Se estiver interessado, voc\u00ea pode conferir a grava\u00e7\u00e3o da palestra de Maurice no JUG de S\u00e3o Petersburgo. Avalie qu\u00e3o claramente ele aborda o tema.<\/p>\n

\n

\r\n \"Por\r\n
<\/div>\r\n <\/div><\/center><\/p>\n

\"OsA segunda palestra, intitulada \u00abDual Data Structures\u00bb, ser\u00e1 apresentada por Michael Scott<\/strong> da Universidade de Rochester. E adivinhe, ele tamb\u00e9m tem sua p\u00e1gina na Wikipedia<\/a><\/noindex>. Em Wisconsin, ele \u00e9 conhecido por seu trabalho como reitor na Universidade Wisconsin-Madison, e no mundo \u2014 ele \u00e9 a pessoa que, junto com Doug Lea, desenvolveu aqueles algoritmos n\u00e3o bloqueantes e filas s\u00edncronas, sobre os quais funcionam as bibliotecas Java. Ele recebeu sua premia\u00e7\u00e3o Dijkstra tr\u00eas anos ap\u00f3s H\u00e9rlihy, por seu trabalho \u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb (como \u00e9 de se esperar, ele est\u00e1 dispon\u00edvel gratuitamente<\/a><\/noindex> na biblioteca online da Universidade de Rochester).
\n<\/p>\n

<\/p>\n

Ainda h\u00e1 muito tempo at\u00e9 meados de julho. Vamos informar sobre os outros palestrantes e seus t\u00f3picos \u00e0 medida que o programa for sendo definido e a data se aproximar. <\/p>\n

<\/p>\n

Na verdade, surge a quest\u00e3o \u2014 por que fazemos a Hydra no ver\u00e3o? Afinal, \u00e9 a baixa temporada, f\u00e9rias. O problema \u00e9 que entre os palestrantes h\u00e1 professores universit\u00e1rios, e em qualquer outro momento eles est\u00e3o ocupados. Simplesmente n\u00e3o conseguimos escolher outras datas.<\/p>\n

<\/p>\n

Zonas de discuss\u00e3o<\/h1>\n

<\/p>\n

Em outras confer\u00eancias, \u00e0s vezes acontece que o palestrante l\u00ea o que precisa e logo vai embora. Os participantes nem t\u00eam tempo para procur\u00e1-lo \u2014 pois quase sem intervalo come\u00e7a a pr\u00f3xima apresenta\u00e7\u00e3o. Isso \u00e9 muito doloroso, especialmente se pessoas t\u00e3o importantes como Lamport, Herlihy e Scott est\u00e3o presentes, e voc\u00ea est\u00e1 realmente indo \u00e0 confer\u00eancia apenas para encontr\u00e1-los e discutir algo. <\/p>\n

<\/p>\n

Aqui, temos essa quest\u00e3o solucionada. Imediatamente ap\u00f3s sua apresenta\u00e7\u00e3o, o palestrante se dirige a uma zona de discuss\u00e3o equipada, pelo menos, com um quadro e marcadores, e voc\u00ea tem um tempo consider\u00e1vel. Formalmente, o palestrante promete estar l\u00e1 pelo menos durante toda a pausa entre as apresenta\u00e7\u00f5es. Na pr\u00e1tica, essas zonas de discuss\u00e3o podem<\/em> podem se estender por horas a fio (dependendo do desejo e da disposi\u00e7\u00e3o do palestrante). <\/p>\n

<\/p>\n

Quanto ao Lamport, se entendi corretamente, ele quer convencer o maior n\u00famero poss\u00edvel de pessoas de que TLA+<\/a><\/noindex> \u2014 isso \u00e9 uma coisa boa. (Artigo sobre TLA+ na Wikip\u00e9dia<\/a><\/noindex>). Pode ser uma boa oportunidade para os engenheiros aprenderem algo novo e \u00fatil. Leslie sugere essa op\u00e7\u00e3o \u2014 aqueles que estiverem interessados podem assistir suas palestras anteriores e vir com perguntas. Ou seja, em vez de um keynote, pode haver uma sess\u00e3o de Q&A especializada e depois ainda uma zona de discuss\u00e3o. Fiz algumas pesquisas e encontrei um excelente curso sobre TLA+<\/a><\/noindex> (oficialmente duplicado com uma playlist no YouTube<\/a><\/noindex>) e uma palestra de uma hora \u00abThinking Above the Code\u00bb<\/a><\/noindex> no Microsoft Faculty Summit.<\/p>\n

<\/p>\n

Se voc\u00ea percebia todas essas pessoas como nomes esculpidos em pedra na Wikip\u00e9dia e nas capas de livros \u2014 agora \u00e9 a hora de conhec\u00ea-las ao vivo! Converse e fa\u00e7a perguntas que n\u00e3o ser\u00e3o respondidas nas p\u00e1ginas de artigos cient\u00edficos, mas cujos autores estar\u00e3o felizes em se conectar.<\/p>\n

<\/p>\n

Chamada para Trabalhos<\/h1>\n

<\/p>\n

N\u00e3o \u00e9 segredo que muitos dos que est\u00e3o lendo este artigo tamb\u00e9m gostariam de compartilhar algo interessante. Seja do ponto de vista da engenharia, cient\u00edfico \u2014 de qualquer forma. Computa\u00e7\u00e3o distribu\u00edda \u00e9 um tema muito amplo e profundo, onde h\u00e1 espa\u00e7o para todos.<\/p>\n

<\/p>\n

Se voc\u00ea deseja se apresentar ao lado de Lamport, isso \u00e9 bastante poss\u00edvel. Para se tornar um palestrante, voc\u00ea precisa clique aqui<\/a><\/noindex><\/strong>, leia atentamente tudo e fa\u00e7a de acordo com as instru\u00e7\u00f5es. <\/p>\n

<\/p>\n

Fique calmo, assim que voc\u00ea se conectar ao processo, receber\u00e1 ajuda. O comit\u00ea program\u00e1tico possui capacidades suficientes para ajudar com a pr\u00f3pria apresenta\u00e7\u00e3o, seu conte\u00fado e formata\u00e7\u00e3o. O coordenador ajudar\u00e1 a resolver quest\u00f5es organizacionais e assim por diante. <\/p>\n

<\/p>\n

Preste aten\u00e7\u00e3o especial \u00e0 imagem com as datas. Julho \u00e9 uma data bastante distante para o participante, enquanto o palestrante precisa come\u00e7ar a agir j\u00e1 agora. <\/p>\n

<\/p>\n

\"Os<\/p>\n

<\/p>\n

Escola SPTDC<\/h1>\n

<\/p>\n

A confer\u00eancia ocorrer\u00e1 no mesmo local da escola SPTDC, portanto, todos que adquirirem um ingresso para a escola ter\u00e3o ingressos para a confer\u00eancia \u2014 com 20% de desconto<\/strong>.<\/p>\n

<\/p>\n

Escola de Ver\u00e3o sobre Pr\u00e1tica e Teoria da Computa\u00e7\u00e3o Distribu\u00edda (SPTDC)<\/a><\/noindex> \u2014 uma escola que oferece uma ampla gama de cursos sobre os aspectos pr\u00e1ticos e te\u00f3ricos de sistemas distribu\u00eddos, conduzidos por especialistas reconhecidos na \u00e1rea correspondente.<\/p>\n

<\/p>\n

A escola ser\u00e1 ministrada em ingl\u00eas, portanto, aqui est\u00e1 a lista de t\u00f3picos a serem abordados:<\/p>\n

<\/p>\n