Jthread, a deadlock-free mutex library

Johan Grande 1 Gérard Boudol 1 Manuel Serrano 1
1 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We design a mutex library for Hop – a dialect of Scheme which supports preemptive multithreading and shared memory – that mixes deadlock prevention and deadlock avoidance to provide an easy to use, expressive, and safe locking function. This requires an operation to acquire several mutexes simultaneously, for which we provide a starvation-free algorithm. Choosing a formal definition of starvation-freedom leads us to identify the concept of asymptotic deadlock. Preliminary observations seem to show that our library has negligible impact on the performance of real-life applications. Our work could be applied to other languages such as Java.
Type de document :
Communication dans un congrès
Principles and Practice of Declarative Programming, Jul 2015, Sienne, Italy. pp.12, 2015, 17th International Symposium on Principles and Practice of Declarative Programming 〈http://costa.ls.fi.upm.es/ppdp15/〉. 〈10.1145/2790449.2790523〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01246618
Contributeur : Manuel Serrano <>
Soumis le : vendredi 18 décembre 2015 - 18:16:17
Dernière modification le : jeudi 11 janvier 2018 - 17:01:59
Document(s) archivé(s) le : samedi 29 avril 2017 - 22:06:26

Fichier

gbs-ppdp15.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Johan Grande, Gérard Boudol, Manuel Serrano. Jthread, a deadlock-free mutex library. Principles and Practice of Declarative Programming, Jul 2015, Sienne, Italy. pp.12, 2015, 17th International Symposium on Principles and Practice of Declarative Programming 〈http://costa.ls.fi.upm.es/ppdp15/〉. 〈10.1145/2790449.2790523〉. 〈hal-01246618〉

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

77