Informatique théorique concurrency

1

Quelle est la différence entre le modèle d'acteur de la concurrence et la communication des processus séquentiels

J'essaie de comprendre quelles sont les véritables différences entre le modèle d'acteur de la concurrence et le modèle de communication des processus séquentiels (CSP). Jusqu'à présent, le meilleur que j'ai pu trouver est que le modèle d'acteur permet au nombre et à la disposition des nœuds de changer tandis que …

26 concurrency

2

Recherche dynamique parallèle

Existe-t-il un analogue parallèle naturel aux arbres rouge-noir avec des propriétés de mise à jour similaires ou même pas pire, tout en étant raisonnablement efficace? Plus généralement, que pouvons-nous faire de mieux pour la recherche parallèle avec mises à jour?

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

1

Comment les Futures sont-ils décrits en termes de théorie des catégories?

Existe-t-il une description utile des futurs ou des promesses en termes de théorie des catégories? En particulier, quel pourrait être le double catégorique du Futur?

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

1

Existe-t-il une liste de problèmes canoniques dans les systèmes distribués?

La semaine dernière, je lisais à nouveau le transcript de Leslie's Lamport en 1982 d'une conférence qu'il a donnée sur les problèmes résolus, les problèmes non résolus et les non-problèmes dans la concurrence . Le document est facilement lisible, mais l'une des choses qui m'a fait réfléchir est l'affirmation suivante: …

13 reductions dc.distributed-comp concurrency

1

Qu'est-ce que le «pseudo temps» lorsqu'il est utilisé par rapport aux sémaphores

J'écoute actuellement le discours d'Alan Kays "Est-ce vraiment complexe ou avons-nous simplement compliqué les choses?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) où il dit que "les sémaphores étaient une mauvaise idée et il y avait quelque chose appelé pseudo-temps qui était supérieur" (à 51:40 sur la vidéo liée). J'ai peut-être mal compris le …

11 terminology concurrency

2

Pourquoi la linéarisation est-elle une propriété de sécurité et pourquoi les propriétés de sécurité sont-elles des ensembles fermés?

Dans le chapitre 13 «Objets atomiques» du livre «Algorithmes distribués» de Nancy Lynch, la linéarisation (également connue sous le nom d'atomicité) s'est avérée être une propriété de sécurité. C'est-à-dire que sa propriété de trace correspondante est non vide, fermée par préfixe et fermée par limite , comme défini dans la …

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

1

Une opération pratique de comparaison et d'échange de plusieurs mots

Dans l' article portant le même titre que celui de cette question, les auteurs décrivent comment construire une opération CAS multi-mots linéarisable non bloquante en utilisant uniquement un CAS en un seul mot. Ils introduisent d'abord l'opération de double comparaison-échange simple - RDCSS, comme suit: word_t RDCSS(RDCSSDescriptor_t *d) { do …

10 dc.parallel-comp concurrency

2

Limites sur les collections sans verrouillage?

David Rodríguez - dribeas a écrit dans un commentaire sur StackOverflow que "toutes les collections ne peuvent pas être implémentées sans verrous". Je ne suis pas sûr que ce soit vrai, et je ne trouve aucune preuve de toute façon. Cette déclaration n'est pas très précise, mais permettez-moi d'essayer de …

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

Questions marquées «concurrency»