Computing in the Presence of Concurrent Solo Executions

Résumé : Dans un modèle wait-free, un nombre quelconque de processus peut arrêter de fonctionner. Un processus s'exécute en solo lorsqu'il calcule sa sortie sans communiquer avec les autres processus. Dans les modèles wait-free avec des processus communicant par mémoire partagée, au plus un processus peut s'exécuter en solo, alors que, dans les modèles wait-free ou ils échangent des messages, un nombre quelconque d'entre eux peut avoir à s'exécuter en solo. Cet article étudie la calculabilité dans des modèles intermédiaires, appelés d-solo modèles, dans lesquels au plus d processus s'exécutent en solo.
Type de document :
Rapport
[Research Report] PI-2004, 2013
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00825619
Contributeur : Julien Stainer <>
Soumis le : jeudi 5 décembre 2013 - 14:23:51
Dernière modification le : mercredi 16 mai 2018 - 11:23:13
Document(s) archivé(s) le : jeudi 6 mars 2014 - 08:55:18

Fichier

Tech-Report-LATIN-2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00825619, version 3

Citation

Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer. Computing in the Presence of Concurrent Solo Executions. [Research Report] PI-2004, 2013. 〈hal-00825619v3〉

Partager

Métriques

Consultations de la notice

1115

Téléchargements de fichiers

187