University of Cambridge > Talks.cam > Computer Laboratory NetOS Group Talklets > Lock-freeness for Reagents

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Lock-freeness for Reagents

Download to your calendar using vCal

If you have a question about this talk, please contact Gemma Gordon .

The Reagents library is a concurrent programming library developed by OCaml Labs. It allows the user to express fine grained parallel programs in OCaml Multicore by using a few combinators. This library has been designed to be lock-free.

My work has been to rewrite some parts of the library in order to make it effectively lock-free. It focused especially on reimplementing a working lock-free kCAS algorithm.

We have since tried to improve it by using TSX : Intel’s transactional memory instructions. I also extended the Reagents library by implementing new lock-free data structures to create some kind of a lock-free standard library (such as hash table, bag or work stealing scheduler).

This talk is part of the Computer Laboratory NetOS Group Talklets series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Institute of Metabolic Science (IMS), Level 4 ATC, Seminar rooms 1,2 & 3 The Garden Room, Ground Floor, new Library Building view on your computer via webcast, link below

Other talks

The LMC-SMC System: A New Laboratory for Galaxy Evolution, Dynamics and Dark Matter Title to be confirmed Title to be confirmed Coming soon Talk TBC Quantum graphs with a time asymmetry: spectral optimization and spectral statistics
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity