Estou tentando entender quais são as diferenças reais entre o modelo de concorrência do ator e o modelo de concorrência dos processos sequenciais de comunicação (CSP). Até agora, o melhor que pude apresentar é que o Modelo do Ator permite que o número e o layout dos nós sejam alterados, enquanto...
Existe um análogo paralelo natural às árvores de vermelho-preto com propriedades semelhantes ou até mesmo terrivelmente piores para atualizações, sendo razoavelmente eficiente no trabalho? De um modo mais geral, o que podemos fazer de melhor para pesquisas paralelas com atualizações?...
Existe uma descrição útil de futuros ou promessas em termos de teoria de categorias? Em particular, qual poderia ser o dual categórico do
Na semana passada, eu estava lendo novamente o transcrito de Leslie de Lamport, de 1982, de uma conferência que ele deu sobre problemas resolvidos, problemas não resolvidos e não problemas em simultâneo . O artigo é de fácil leitura, mas uma das coisas que me fez pensar é a seguinte afirmação:...
Atualmente, estou ouvindo a palestra de Alan Kays: "É realmente complexo ou acabamos de complicar?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), onde ele diz que "os semáforos eram uma má idéia e havia algo chamado pseudo-tempo que era superior" (às 51:40 no vídeo vinculado). Talvez eu...
David Rodríguez - dribeas escreveu em um comentário no StackOverflow que "Nem todas as coleções podem ser implementadas sem bloqueios". Não tenho certeza se isso é verdade e não consigo encontrar provas de qualquer maneira. Essa declaração não é muito precisa, mas deixe-me reformulá-la de uma...
No artigo com o mesmo título que o desta pergunta, os autores descrevem como construir uma operação CAS linearizável de múltiplas palavras sem bloqueio usando apenas um CAS de uma única palavra. Eles primeiro introduzem a operação de dupla comparação, troca única - RDCSS, da seguinte maneira:...
No capítulo 13 "Objetos atômicos" do livro "Algoritmos distribuídos" de Nancy Lynch, a linearizabilidade (também conhecida como atomicidade) provou ser uma propriedade de segurança. Ou seja, sua propriedade de rastreio correspondente é não vazia, prefixada e fechada por limite , conforme definido...
Alguém conhece algum formalismo algébrico (ou relacionado) de processo que captura informações de localização refinadas? Eu estou familiarizado com ambientes e gráficos grandes, que obviamente têm um modelo de localização, mas e as tentativas de modelar informações de localização mais concretas, de...
Entendo consistência estrita e seqüencial de forma independente bastante bem. C estrito basicamente impõe a ordem real na qual as instruções foram executadas no relógio global. Consistência sequencial basicamente impõe o pedido apenas em um processador. Estou tendo problemas para montar alguma...
Provas simultâneas de zero conhecimento com complexidade redonda logarítmica Os números das páginas são do próprio papel e não do pdf. Na página 3, "Diz-se que um sistema interativo de prova é zero de caixa preta (computacional) se houver uma máquina de oráculo de tempo polinomial...
Eu já fiz essa pergunta no Programmers.SE , sem sucesso. Estou procurando recursos escritos de aprendizado sobre como projetar estruturas de dados simultâneas. Estou mais interessado no processo de design (por exemplo, na identificação dos invariantes corretos) do que no produto final (uma lista...