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...
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?
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
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...
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"...
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...
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...
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...