ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 31/8-10 - 2012  - pp.1153-1181  - doi:10.3166/tsi.31.1153-1181
TITRE
Politiques de gestion de protections pour l’implémentation de sections critiques

TITLE
Policies for protection of critical sections

RÉSUMÉ

L’exploitation des architectures multicoeurs repose sur une bonne gestion du parallélisme à l’intérieur des applications. Une telle gestion nécessite notamment d’éviter les conflits d’accès aux variables partagées entre plusieurs processus. Ceci peut se faire par l’introduction de sections critiques destinées à protéger les accès à ces variables. L’exécution atomique de ces sections est alors garantie soit par des mémoires transactionnelles, soit par des verrous de synchronisation. Ces verrous de synchronisation ne sont toutefois pas toujours utilisés de manière optimale par les applications. Nous proposons dans ce travail différentes politiques de gestion des verrous qui ont pour objectif d’améliorer les temps d’exécution. Ces politiques sont évaluées expérimentalement en utilisant deux bibliothèques de gestion des verrous : la bibliothèque POSIX Pthreads, et une bibliothèque dédiée développée à cet effet.



ABSTRACT

To take advantage of multicore architectures, parallelism must be efficiently exploited in applications. An inherent problem is dealing with race conditions. To facilitate this task critical sections have been introduced. A natural way of implementing them is with transactional memories, but there also exist pessimistic solutions based on locks. In the latter case, most weight has been put on the identification of memory locations to be protected. In our work, we propose several policies for more performant usage of locks. The policies are compared based on some handcrafted experiments. These experiments are instantiated with the usage of two libraries for lock management: the POSIX Pthreads library, and a library we developed specifically for this purpose.



AUTEUR(S)
Emmanuel SIFAKIS, Laurent MOUNIER

MOTS-CLÉS
programmation concurrente, section critique, verrou de synchronisation.

KEYWORDS
concurrent programming, critical section, synchronisation lock.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (339 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier