Perguntas com a marcação «dc.distributed-comp»

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 variáveis ​​(assincronia, sincronia, sincronia parcial), várias primitivas de comunicação (passagem …

41 big-picture  dc.distributed-comp 

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 …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

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 dados?

23 big-list  dc.distributed-comp 

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 enfrentá-lo. Problema: Suponha que uma lista …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

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 consenso é tão importante? O que …

19 reference-request  big-picture  dc.distributed-comp 

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 quais cada Máquina de Turing …

14 dc.distributed-comp 

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 …

13 ds.algorithms  dc.distributed-comp  proofs 

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 …

13 reductions  dc.distributed-comp  concurrency 

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 empty~set} escolha o nó …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

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 de falhas de processador que foram …

13 reference-request  dc.distributed-comp 

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 …

13 reference-request  dc.distributed-comp 

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 dois DAGs. Os DAGs em …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

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 sharding) e replicação de dados . Quais são os …

10 reference-request  big-list  dc.distributed-comp  db.databases 

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 probabilidade. Qual é a vantagem de projetar …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

No capítulo 13 "Objetos atômicos" do livro "Algoritmos distribuídos" de Nancy Lynch, a linearizabilidade (também conhecida como atomicidade) provou ser uma propriedade de segurança. Ou seja, sua propriedade de rastreio correspondente é não vazia, prefixada e fechada por limite , conforme definido na Seção 8.5.3. Informalmente, uma propriedade de segurança …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency