Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Manuel Serrano Connect in order to contact the contributor
Submitted on : Friday, December 18, 2015 - 6:16:17 PM
Last modification on : Saturday, June 25, 2022 - 11:17:53 PM
Long-term archiving on: : Saturday, April 29, 2017 - 10:06:26 PM


Files produced by the author(s)




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, ⟨10.1145/2790449.2790523⟩. ⟨hal-01246618⟩



Record views


Files downloads