Perguntas com a marcação «concurrency»

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, …

26 concurrency 

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?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

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 futuro?

22 pl.programming-languages  ct.category-theory  concurrency 

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 …

13 reductions  dc.distributed-comp  concurrency 

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 tenha entendido mal a palavra "pseudo-tempo", mas …

11 terminology  concurrency 

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 na Seção 8.5.3. Informalmente, uma propriedade de segurança …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

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: word_t RDCSS(RDCSSDescriptor_t *d) …

10 dc.parallel-comp  concurrency 

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 maneira um pouco mais …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

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 de códigos completa). Para um exemplo …

8 ds.algorithms  reference-request  ds.data-structures  concurrency 

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 probabilística tal que, para …

8 cr.crypto-security  concurrency  zero-knowledge 

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 literatura. http://www.cs.nmsu.edu/~pfeiffer/classes/573/notes/consistency.html descreve a consistência sequencial como permitindo …

8 pl.programming-languages  dc.parallel-comp  concurrency 

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 modo que a localização de algum agente seja …

8 concurrency  process-algebra  formal-modeling