Bem, esta é uma pergunta geral. E se alguém quiser torná-lo específico da implementação, preferirei coisas relacionadas ao Unix. Mas primeiro é necessário conhecer os seguintes problemas em geral: Eu li processo único pode ter vários segmentos. Vários threads do mesmo processo compartilham coisas...
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...
Eu li em vários lugares como este , que o Hyper-threading leva à degradação do desempenho. Não consigo entender por que ou como o hiperencadeamento leva à degradação. Por que é assim que, mesmo quando o Hyper-threading permite que o sistema operacional utilize recursos gratuitos, a degradação...
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...
Parece que a distinção entre fibras e fios é que as fibras são programadas cooperativamente, enquanto que as threads são programadas preventivamente. O objetivo do planejador parece ser uma maneira de fazer com que um recurso serial do processador atue de maneira paralela, "compartilhando o tempo"...
Eu estava lendo Linux Kernel Development de Robert Love, onde me deparei com isso O Linux adota uma abordagem interessante ao suporte a threads: não diferencia entre threads e processos normais. Para o kernel, todos os processos são iguais - alguns simplesmente compartilham recursos. Eu não...
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 é...
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...