Questionário sobre problemas de concorrência, como sincronização e deadlocks.
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...
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...
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?
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...
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 um...
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...
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 dar...
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...
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
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...
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...
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ê...
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 /...
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
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...
Um dispensador de bebidas exige que o usuário insira uma moeda ( ) e pressione um dos três botões: solicita uma xícara de chá , o mesmo para café , e solicita um reembolso (ou seja, a máquina devolve a moeda: ). Este dispensador pode ser modelado pelo seguinte processo CCS :ˉ d cháechá ˉ r ˉ...
Atualmente, estou participando do curso de programação simultânea em minha universidade e recentemente começamos a falar sobre o conceito de monitor. Embora compreenda a necessidade de exclusão mútua, não entendo por que utilizaria um monitor para isso. Pelo que entendi, um monitor garante que...
Entendo que as implementações mais populares de um mutex (por exemplo, std :: mutex em C ++) não garantem imparcialidade - ou seja, elas não garantem que, em casos de contenção, o bloqueio seja adquirido por threads na ordem em que eles chamado lock (). De fato, é até possível (embora seja...
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...
Dado um programa que consiste em variáveis e instruções que modificam essas variáveis e uma primitiva de sincronização (um monitor, mutex, sincronização de java ou bloqueio de C #), é possível provar que esse programa é seguro para threads? Existe mesmo um modelo formal para descrever coisas...