Perguntas com a marcação «concurrency»

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 

Estou tentando entender os algoritmos de Peterson e Dekker que são muito semelhantes e exibem muitas simetrias. Tentei formular os algoritmos em linguagem informal da seguinte maneira: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your turn I'll wait." …

41 concurrency  synchronization  mutual-exclusion 

Depois de ler várias fontes, ainda estou confuso sobre os threads no nível do usuário e do kernel. Em particular: Os encadeamentos podem existir no nível do usuário e no nível do kernel Qual é a diferença entre o nível do usuário e o kernel?

33 operating-systems  terminology  concurrency  os-kernel 

Frequentemente ouço frases como 'semântica de simultaneidade verdadeira' e 'equivalências de simultaneidade verdadeira' sem nenhuma referência. O que significam esses termos e por que são importantes? Quais são alguns exemplos de verdadeiras equivalências de simultaneidade e qual é a necessidade delas? Por exemplo, em quais casos eles são mais aplicáveis …

28 terminology  reference-request  concurrency 

Que eu saiba, existem três álgebras de processo principais que inspiraram uma vasta gama de pesquisas em modelos formais de concorrência. Esses são: CCS e -calculus, ambos de Robin Milnerππ\pi CSP de Tony Hoare e ACP por Jan Bergstra e Jan Willem Klop Todos os três parecem ter até hoje …

21 logic  concurrency  process-algebras 

Ultimamente, tenho lido um pouco da literatura e encontrei algumas estruturas de dados bastante interessantes. Eu pesquisei vários métodos diferentes para reduzir o tempo de atualização para pior caso, o tempo de atualização [1-7].O(1)O(1)\mathcal{O}(1) Recentemente, comecei a procurar estruturas de dados sem bloqueio, para oferecer suporte ao acesso simultâneo eficiente. …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

Eu tenho um log de banco de dados em que algumas transações vencem (elas são confirmadas antes da falha) e outras perdem (ainda não confirmadas). Aprendemos em sala de aula que as ações dos perdedores devem ser desfeitas para trás. Existe alguma razão para fazer isso ao contrário? Alguém pode …

19 concurrency  databases 

Os bloqueios geralmente são implementados por meio de instruções de teste e configuração e troca de nível de máquina. Existem outras implementações que não as utilizam? Além disso, podemos dizer que todas as soluções em nível de hardware para o problema de seção crítica podem ser categorizadas em apenas três, …

19 concurrency  synchronization  mutual-exclusion 

Segundo a Wikipedia , A operação de teste e configuração pode resolver o problema de consenso sem espera por não mais que dois processos simultâneos. Por que não pode resolver o problema por mais de dois processos?

17 concurrency  consensus 

Quando analisamos o modelo do ator e os processos sequenciais de comunicação , vemos que ambos estão tentando fazer simultaneidade com base na passagem de mensagens , mas são distintos . (Nós vemos implementações do modelo CSP no go-lang 's goroutines (e do Clojure core.async ) eo Modelo Ator em …

16 concurrency  message-passing 

Eu tenho lido sobre linguagens de programação baseadas em pilha, como FORTH e Cat , e parece que, dada a sua natureza, elas podem executar apenas uma ação por vez, independentemente do seu paradigma (FORTH é imperativo enquanto Cat é funcional). Uma linguagem imperativa modificaria a pilha, e uma linguagem …

14 concurrency  stacks  evaluation-strategies 

Eu tenho lido sobre as diferenças entre serializabilidade e linearizabilidade , que são critérios de consistência para sistemas replicados, como bancos de dados replicados. No entanto, não sei em quais casos a linearizabilidade seria necessária, mesmo que seja mais forte que a serialização. Você poderia criar cenários em que essa …

13 concurrency  databases 

Há alguma alteração que possa ser feita nas CPUs para que elas tenham um desempenho melhor em tempos de execução simultâneos como o Rust? Por exemplo, há alterações nas implementações de previsão de ramificação ou nos tamanhos de cache que ajudariam nos tempos de execução simultâneos? Tenho a impressão de …

12 computer-architecture  concurrency  functional-programming 

Estou projetando um banco de dados de objetos na memória para um caso de uso muito específico. É um escritor único, mas deve suportar leituras simultâneas eficientes. As leituras devem ser isoladas. Não há linguagem de consulta, o banco de dados suporta apenas: obter objetos / s por atributo / …

12 data-structures  concurrency  databases 

Em outras palavras, quais são as vantagens do encadeamento híbrido sobre o encadeamento 1: 1 (somente kernel) e N: 1 (somente usuário)? Esta é uma continuação de Qual é a diferença entre os threads no nível do usuário e os do nível do kernel?

12 operating-systems  concurrency  os-kernel