BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Lock-freeness for Reagents - Nicolas Assouad ENS/OCL
DTSTART:20170725T121500Z
DTEND:20170725T124500Z
UID:TALK74611@talks.cam.ac.uk
CONTACT:Gemma Gordon
DESCRIPTION:The Reagents library is a concurrent programming library devel
 oped by OCaml Labs. It allows the user to express fine grained parallel pr
 ograms in OCaml Multicore by using a few combinators. This library has bee
 n designed to be lock-free. \n\nMy work has been to rewrite some parts of 
 the library in order to make it effectively lock-free. It focused especial
 ly on reimplementing a working lock-free kCAS algorithm. \n\nWe have since
  tried to improve it by using TSX:\nIntel’s transactional memory instruc
 tions. 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).
LOCATION:Computer Laboratory\, William Gates Building\, Room FN05
END:VEVENT
END:VCALENDAR