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

Lock-freeness for Reagents

Add to your list(s) 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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