Étude de la complexité des implémentations d'objets concurrents, sans attente, abandonnables et/ou solo-rapides

Dans un ordinateur multiprocesseur, lors de l'accès à la mémoire partagée, il faut synchroniser les entités de calcul (processus). Cela peut se faire à l'aide de verrous, mais des problèmes se posent (par exemple interblocages, mauvaise tolérance aux pannes). On s'est intéressé à l�...

Full description

Bibliographic Details
Main Author: Capdevielle, Claire
Other Authors: Bordeaux
Language:fr
Published: 2016
Subjects:
Online Access:http://www.theses.fr/2016BORD0194/document