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 metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01246618
Contributor : Manuel Serrano <>
Submitted on : Friday, December 18, 2015 - 6:16:17 PM
Last modification on : Thursday, January 11, 2018 - 5:01:59 PM
Long-term archiving on : Saturday, April 29, 2017 - 10:06:26 PM

File

gbs-ppdp15.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

154

Files downloads

146