Perguntas com a marcação «distributed-systems»

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 preciso escolher um dos …

8 distributed-systems  research 

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 …

8 algorithm-analysis  graphs  distributed-systems  parallel-computing  randomized-algorithms 

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 partir da coloração válida fornecida …

8 algorithms  runtime-analysis  distributed-systems  colorings 

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 estado distribuídas como Paxos e Raft. Parece que …

8 distributed-systems 

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 traidores. A chave da prova disso é …

7 distributed-systems  information-theory  fault-tolerance 

Na teoria dos sistemas distribuídos, encontrei a definição de que um sistema distribuído exige, entre outros, localização e transparência de acesso. Fiquei me perguntando se a transparência do local ainda não inclui a transparência de acesso. A Wikipedia define os dois da seguinte maneira: Transparência de acesso - independentemente de …

7 distributed-systems 

Eu tenho tentado apreender serializability e linearizability no contexto da memória transacional de software. No entanto, acho que ambas as noções podem ser aplicadas à memória transacional em geral. Neste ponto, a seguir, é minha compreensão de ambos os assuntos. Serializability A serialização é uma propriedade global . É uma …

7 distributed-systems  concurrency  databases 

Estou lendo "O tempo, os relógios e a ordem dos eventos em um sistema distribuído", de Lamport, e há um detalhe que está me incomodando. Lamport define a ordem parcial "aconteceu antes", o que eu entendo. Então ele diz que "Outra maneira de visualizar a definição é dizer que a …

7 algorithms  distributed-systems  clocks 

Tenho a noção de uma rede social que é robusta contra ataques maliciosos externos. Minha visão é um sistema estruturado estruturalmente como uma rede distribuída de servidores iguais que operam nos mesmos dados e oferecem serviços idênticos. Todos os usuários devem interagir na mesma rede, independentemente do respectivo servidor com …

7 distributed-systems 

Estou interessado em algoritmos distribuídos, especialmente em comunicação em rede com falhas. Eu procuro a prova do seguinte algoritmo aleatório de comunicação em rede com falhas. Para mim, parece um resultado muito geral na comunicação, mas ainda não encontrei a prova. Algoritmo : Inicialmente, apenas o vértice tem a mensagem; …

7 algorithms  distributed-systems 

Atualmente, estou pesquisando para minha tese de diploma em ciência da computação com um tópico na área de tabelas de hash distribuídas. Naturalmente, vim à questão de onde veio o termo tabela de hash distribuído . (Eu sei que não é ciência do foguete apenas derivá-lo da distribuição de uma …

7 data-structures  terminology  distributed-systems  hash-tables  history 

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Suponha que um determinado aplicativo paralelo use um design mestre-escravo para processar um grande número de cargas de trabalho. Cada carga de trabalho leva algum número de ciclos para ser concluída; o número de ciclos que uma determinada carga de trabalho levará é dado por uma variável aleatória conhecidaXXX. Suponha …

7 scheduling  distributed-systems  parallel-computing