Perguntas com a marcação «concurrency»

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 exatamente um ou nenhum processo esteja …

11 concurrency  synchronization  mutual-exclusion 

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 …

11 logic  concurrency  modelling  process-algebras  ccs 

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 …

11 concurrency  synchronization  threads 

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 distribuída e tenho estudado formalismos …

10 distributed-systems  concurrency 

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 como segurança de …

9 proof-techniques  correctness-proof  concurrency  threads 

Penso que no algoritmo de Peterson para exclusão mútua , se o primeiro processo para entrar na seção crítica morresse ou fosse cancelado, o outro processo entraria em loop para sempre, esperando para entrar na seção crítica. Na figura, se o processo 1 for parado, o restante dos processos por …

9 programming-languages  concurrency  mutual-exclusion 

Houve uma boa quantidade de pesquisas sobre algoritmos de exclusão mútua - por exemplo, muitas delas são apresentadas em livros clássicos como The Art of Multiprocessor Programming , onde um capítulo inteiro é dedicado a eles. Pergunto-me quais são as situações práticas em que alguém pode precisar desses algoritmos durante …

8 reference-request  concurrency  mutual-exclusion 

Estou com problemas para comparar esses dois modelos de consistência de memória. Essencialmente, para consistência sequencial, penso em código real como este: int x, y; void ThreadA() { x = 20; //Write int a = y; //Read } void ThreadB() { y = 20; int b = x; } Em …

7 concurrency  cpu-cache  threads  shared-memory 

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 

No artigo "Modelos de memória livre de raça heterogênea" [1], os autores afirmam que um programa que consiste apenas de atômico é livre de raça no SC-DRF, mas não no direto na HRF. Não consigo entender por que isso acontece. Alguém pode explicar como isso pode acontecer? [1] Derek R. …

7 concurrency 

Estou lendo a programação The Art of Multiprocessor e tentando entender seu conceito de bloqueios inconsistentes. Especificamente, na página 37 , a definição 2.8.1 de um bloqueio inconsistente não está clara para mim, assim como o Lema 2.8.1. Definição 2.8.1. Um estado de objeto de bloqueio s é inconsistente em …

7 terminology  concurrency  threads  deadlocks 

Atualmente, estou lendo Fuss, Futexes e Furwocks: Fast Userland Locking no Linux e me deparei com esta citação: Em um esquema de bloqueio justo, o bloqueio é concedido na ordem em que foi solicitado. Isso pode ter um impacto negativo na taxa de transferência devido ao aumento do número de …

7 concurrency  threads 

Se Máquinas de Turing são o equivalente de autômato do cálculo , qual é o equivalente de autômato do cálculo ? Suponho que haveria alguma classe de autômatos que se assemelha a uma máquina de Turing, mas com suporte a canais de comunicação ou sinais de algum tipo, mas não …

7 automata  concurrency  machine-models  pi-calculus