Lock-freeness for Reagents

Add to your list(s) Download to your calendar using vCal

• Nicolas Assouad ENS/OCL
• Tuesday 25 July 2017, 13:15-13:45
• Computer Laboratory, William Gates Building, Room FN05.

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:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory NetOS Group Talklets
• Computer Laboratory, William Gates Building, Room FN05
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.