Perguntas sobre os desafios da resolução de problemas com vários agentes cooperantes, mas separados.
Alguns anos atrás, o MapReduce foi aclamado como uma revolução da programação distribuída. Também houve críticas, mas em geral houve um entusiasmo entusiasmado. Até foi patenteado! [1] O nome é uma reminiscência de mape reducena programação funcional, mas quando li (Wikipedia) Etapa do mapa: O...
Costumo ouvir pessoas falando sobre computação paralela e computação distribuída , mas tenho a impressão de que não há limites claros entre os 2, e as pessoas tendem a confundir isso com bastante facilidade, enquanto acredito que seja muito diferente: A computação paralela é mais fortemente...
Suponha que um computador tenha um relógio preciso que não seja inicializado. Ou seja, a hora no relógio do computador é em tempo real mais um deslocamento constante. O computador tem uma conexão de rede e nós queremos usar essa conexão para determinar o deslocamento constante BBB . O método...
O FRP trata de transmitir eventos e comportamentos através de funções puras. O modelo do ator - pelo menos, como implementado no Akka - é sobre o fluxo de mensagens imutáveis (que podem ser consideradas eventos discretos) através de objetos potencialmente impuros, chamados atores. Então, na...
Qual é a melhor maneira que qualquer um pode fazer para ter uma boa introdução à teoria do sistema distribuído, a livros ou referências e a tópicos e tópicos devem ser abordados primeiro e os requisitos para começar a aprender neste
Esta pergunta foi migrada do Software Engineering Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou tentando implementar a tabela de hash distribuído de pastelaria, mas algumas coisas estão escapando do meu
Este é um quebra-cabeça sobre como medir a latência da rede que eu criei. Acredito que a solução é que é impossível, mas os amigos discordam. Estou procurando explicações convincentes de qualquer maneira. (Embora seja apresentado como um quebra-cabeça, acho que se encaixa neste site devido à sua...
Estou procurando um algoritmo eficiente que me permita processar a árvore de pesquisa minimax para xadrez com poda alfa-beta em uma arquitetura distribuída. Os algoritmos que encontrei (PVS, YBWC, DTS, veja abaixo) são todos bastante antigos (1990 é o mais recente). Suponho que houve muitos avanços...
No artigo seminal de sistemas distribuídos The Part Time Parliament (o protocolo Paxos), Leslie Lamport nomeia legisladores ficcionais que estão envolvidos no protocolo do parlamento Paxon. De acordo com este artigo , ele observa que: Dei aos legisladores gregos os nomes dos cientistas da...
Quando eu era estudante, vi um problema em um livro didático de sistemas digitais / de lógica, sobre N soldados seguidos e quero atirar ao mesmo tempo. Uma versão mais difícil do problema era que os soldados estavam em uma rede geral, em vez de uma fila. Estou certo de que este é um problema...
Eu queria saber se alguém sabia a origem do modelo de servidor do cliente. De onde vem o termo (papel, aplicativo de software,
No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
No final dos anos 90, quando eu estava na faculdade, o jornal JH Saltzer; DP Reed; DD Clark: Argumentos de ponta a ponta no design do sistema . ACM Trans. Comput. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 era praticamente uma leitura obrigatória em todas as classes de sistemas...
Minha formação veio de linguagens imperativas, principalmente C, C ++ e Python. Peguei Scala, Erlang e um pouco de Haskell alguns anos depois e, desde então, fiquei muito interessado em programação funcional e nos formalismos por trás disso. Também estou interessado em programação simultânea e...
Em Spanner, TrueTime e The The Theemem CAP , Eric Brewer escreve: Uma coisa sutil sobre o Spanner é que ele obtém serialização dos bloqueios, mas obtém consistência externa (semelhante à linearizabilidade ) do TrueTime [ ênfase adicionada ]. Qual é a definição de consistência externa e como...
Em um gráfico G ( V, E)G(V,E)G(V,E), fazemos o seguinte processo: Inicialmente, todos os nós em VVV são incolores. Embora existam nós não coloridos em VVV, cada nó não colorido faz o seguinte: Seleciona um número real aleatório e o envia a todos os seus vizinhos; Compara seu número com o número...
Sou estudante de graduação e estou ansioso para me tornar um acadêmico; faça todo o doutorado e comece a pesquisar. Estou interessado em uma variedade de coisas relacionadas à ciência da computação, mas ultimamente as tecnologias P2P realmente atraíram meu interesse. Tenho a impressão de que...
Comecei a ler sobre sistemas distribuídos pela primeira vez. Há uma prova bastante clara da impossibilidade de consenso em um modelo assíncrono usando alguma topologia combinatória. Por outro lado, existem vários protocolos de consenso usados em sistemas práticos para sincronizar máquinas de...
Eu tenho algumas dificuldades em entender o algoritmo distribuído para a árvore 6 - colorir no tempo .O(log∗n)O(log∗n)O(\log^*n) A descrição completa pode ser encontrada no seguinte artigo: Quebra de simetria paralela em gráficos esparsos. Goldberg, Plotkin, Shannon . Em suma, a ideia é ... A...
Wiki: https://en.wikipedia.org/wiki/Byzantine_fault_tolerance No artigo "Chegar a um acordo na presença de falhas", M. Pease et al. provou que não existe um protocolo (de algum tipo) para resolver o probleman≤3mn≤3mn \leq 3m, Onde nnn significa o número de generais e mmmsignifica o número de...