Jthread, a deadlock-free mutex library.

Johan Grande, Grard Boudol, Manuel Serrano

Browse the full PPDP paper archive.