Perguntas com a marcação «parallel-computing»

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 nó principal pega a entrada, …

68 algorithms  distributed-systems  parallel-computing  algorithm-design 

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 acoplada ao multi-threading, ou …

61 terminology  distributed-systems  parallel-computing 

Ao analisar a programação simultânea, dois termos são comumente usados, ou seja, simultâneo e paralelo. E algumas linguagens de programação reivindicam especificamente suporte para programação paralela, como Java . Isso significa que a programação paralela e simultânea são realmente diferentes?

44 terminology  parallel-computing  concurrency 

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Existe algum algoritmo que é muito difícil de paralelizar ou a pesquisa ainda está ativa? Eu queria saber sobre qualquer algoritmo ou qualquer campo de pesquisa em computação paralela. Qualquer coisa que eu procurei tem uma implementação 'paralela' feita. Só quero fazer um estudo sobre qualquer campo de computação paralela …

24 algorithms  parallel-computing 

Recentemente, eu estava lendo sobre algoritmos para verificar a bisimilaridade e li que o problema é P-completo . Além disso, uma consequência disso é que é improvável que esse problema, ou qualquer problema com P-complete, possua algoritmos paralelos eficientes. Qual é a intuição por trás dessa última afirmação?

23 complexity-theory  parallel-computing 

Eu tive problemas para aceitar a visão teórica da complexidade de "resolvido com eficiência por algoritmo paralelo", que é dada pela classe NC : NC é a classe de problemas que podem ser resolvidos por um algoritmo paralelo em tempo em p ( n ) ∈ S ( n k …

20 complexity-theory  reference-request  parallel-computing 

Eu me pergunto se as unidades de computação massivamente paralelas fornecidas nas placas gráficas atualmente (uma que é programável no OpenCL , por exemplo) são boas o suficiente para simular autômatos celulares 1D (ou talvez autômatos celulares 2D?) De maneira eficiente. Se escolhermos qualquer grade finita que se encaixe na …

20 computer-architecture  parallel-computing  cellular-automata 

Considere o seguinte programa de computador muito simples: for i = 1 to n: y[i] = x[p[i]] Aqui e y são n matrizes -element de bytes, e p é um n matriz -element de palavras. Aqui n é grande, por exemplo, n = 2 31 (para que apenas uma fração …

18 parallel-computing  cpu-cache  memory-hardware 

Digamos que temos uma grande coleção de tarefas e uma coleção de processadores idênticos (em termos de desempenho) que operam completamente em paralelo. Para cenários de interesse, podemos assumir . Cada leva uma certa quantidade de tempo / ciclos para concluir, uma vez que é atribuído a um processador \ …

16 probability-theory  scheduling  parallel-computing 

Eu tenho várias perguntas relacionadas sobre esses dois tópicos. Primeiro, a maioria dos textos de complexidade apenas encobre a classe . Existe um bom recurso que cubra a pesquisa com mais profundidade? Por exemplo, algo que discute todas as minhas perguntas abaixo. Além disso, estou assumindo que ainda vê uma …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Eu implementei uma classificação topológica com base no artigo da Wikipedia que estou usando para resolução de dependências, mas ele retorna uma lista linear. Que tipo de algoritmo posso usar para encontrar os caminhos independentes?

13 algorithms  graphs  parallel-computing  scheduling 

Eu pensei que esta pergunta é melhor atendida na parte CS do Stack Exchange. Agora que temos GPGPUs com idiomas como CUDA e OpenCL, as extensões SIMD multimídia (SSE / AVX / NEON) ainda servem a um propósito? Li recentemente um artigo sobre como as instruções SSE poderiam ser usadas …

13 computer-architecture  parallel-computing 

Estou tentando resolver um problema de SAT de 5k de cláusulas de 25k. Como está em funcionamento há uma hora (precosat) e gostaria de resolver os maiores depois, estou procurando um SAT-Solver com vários núcleos. Como parece haver muitos SAT-Solvers, estou bastante perdido. Alguém poderia me indicar o melhor para …

12 algorithms  reference-request  parallel-computing  sat-solvers 

É necessário encontrar a potência (número inteiro positivo) da matriz de números reais. Existem muitos algoritmos eficientes de multiplicação de matrizes (por exemplo, alguns algoritmos paralelos são Cannon, DNS ), mas existem algoritmos destinados exatamente a encontrar o poder da matriz e que são mais eficientes do que a execução …

11 algorithms  parallel-computing  efficiency  matrices  numerical-algorithms