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 trás...
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...
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...
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 é...
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. Hower et al....
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...
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 um ambiente de...