Questões teóricas em Computação Distribuída
O campo da computação distribuída ficou muito aquém do desenvolvimento de uma única teoria matemática para descrever algoritmos distribuídos. Existem vários 'modelos' e estruturas de computação distribuída que simplesmente não são compatíveis entre si. A pura explosão de propriedades temporais...
Os anos 80 deram origem aos modelos de computação paralela PRAM e BSP . Parece que o apogeu de ambos os modelos ocorreu no final dos anos 80 e início dos anos 90. Essas áreas ainda estão ativas em termos de pesquisa de algoritmos paralelos? Existem modelos mais novos e sofisticados para computação...
Inspirados por essa pergunta , quais são os principais problemas e soluções existentes que precisam ser aprimorados no domínio de sistemas distribuídos (teóricos). Algo como protocolos de associação, consistência de
Esta questão foi migrada da Cross Validated porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 8 anos . Tenho um problema bastante único para resolver e espero que alguém aqui possa me dar algumas dicas sobre a melhor forma de
Na computação distribuída, o problema de consenso parece ser um dos tópicos centrais que atraiu pesquisas intensivas. Em particular, o artigo "Impossibilidade de consenso distribuído com um processo defeituoso" recebeu o prêmio PODC Influential Paper Award 2001 . Então, por que o problema de...
Essa pergunta é inspirada em um comentário que Jukka Suomela fez em outra pergunta . Quais são exemplos de problemas (e algoritmos) de computação infinitamente grandes, mas localmente finitos? Em outras palavras, quais são os exemplos de cálculos que são interrompidos em tempo finito, nos...
Neste artigo de Kempe-Kleinberg-Tardos, os autores propõem algoritmos gananciosos baseados em funções submodulares para determinar os nós mais influentes em um gráfico, com aplicações em redes sociais.kkk Basicamente, o algoritmo é o seguinte: S= e m p t y s e t S=empty setS = {\rm...
Estou lendo o artigo "Fast Paxos" de Leslie Lamport e fico preso às provas de correção dos clássicos Paxos e Fast Paxos. Por consistência, o valor escolhido pelo coordenador na fase 2 a na rodada i deve satisfazervvv2a2a2aiii Para qualquer rodada j < i , nenhum valor diferente de v foi ou...
Na semana passada, eu estava lendo novamente o transcrito de Leslie de Lamport, de 1982, de uma conferência que ele deu sobre problemas resolvidos, problemas não resolvidos e não problemas em simultâneo . O artigo é de fácil leitura, mas uma das coisas que me fez pensar é a seguinte afirmação:...
Existem dois tipos principais de falhas de processador nos modelos de computação distribuída: (1) Falhas de falha: um processador para e nunca inicia novamente. (2) Falhas bizantinas: os processadores se comportam de maneira adversa e maliciosa. Minha pergunta é: Quais são alguns outros tipos...
O problema da fofoca em sistemas distribuídos é o seguinte. Temos um gráfico com n vértices. Cada vértice v possui uma mensagem m v que deve ser enviada para todos os nós.GGGnnnvvvmvmvm_v Agora, minha pergunta está no contexto do modelo de rede ad-hoc (supomos que um nó não tenha nenhum...
Nos sistemas de controle de versão distribuído (como Mercurial e Git ), é necessário comparar eficientemente os gráficos acíclicos direcionados (DAGs). Sou desenvolvedor da Mercurial e gostaríamos muito de ouvir sobre o trabalho teórico que discute a complexidade de tempo e rede da comparação de...
Sou um estudante de mestrado focado em sistemas distribuídos, mas também interessado em ciência da computação teórica. Eu queria saber se existe uma representação formal de um sistema distribuído em cima de uma máquina de turing? Ou seja, é possível estender (criar uma variante) o conceito de uma...
Seja um grafo conectado não regular cujo grau é delimitado. Suponha que cada nó contenha um token exclusivo.G=(V,E)G=(V,E)G= (V, E) Eu quero embaralhar uniformemente os tokens no gráfico usando apenas swaps locais (ou seja, troca dos tokens entre dois nós adjacentes)? Existe um limite inferior...
Definições Seja e sejam d , r e g inteiros positivos (com g > 2 r + 1 ).ε > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Seja um gráfico finito simples, d- regular, sem direção e finito, com perímetro pelo menos g .G = ( V, E)G=(V,E)G = (V,E)dddggg Deixe ser uma ordem total...
David Rodríguez - dribeas escreveu em um comentário no StackOverflow que "Nem todas as coleções podem ser implementadas sem bloqueios". Não tenho certeza se isso é verdade e não consigo encontrar provas de qualquer maneira. Essa declaração não é muito precisa, mas deixe-me reformulá-la de uma...
Histórico: O processamento de transações tem sido um tópico de pesquisa tradicional na teoria de bancos de dados. Atualmente, as transações distribuídas são popularizadas pelos sistemas de armazenamento distribuído em larga escala, que geralmente envolvem partição de dados (também chamada de...
Uma transação clássica simplificada do banco de dados pode ser vista como: lendo itens M executando algum cálculo com base nessas leituras escrevendo alguns resultados de N com base nesses cálculos, que podem incluir os elementos lidos originalmente. Ao executar essas transações...
Quais documentos sobre o tratamento de erros em sistemas distribuídos você
Os algoritmos distribuídos que são resistentes a falhas podem ser determinísticos ou probabilísticos. Tomemos, por exemplo, o problema de consenso. Paxos é determinístico no sentido de que, dada a suposição que faz, sempre funciona. Em contraste, o consenso randomizado trabalha com uma dada...