Lock Free Data Structures using STMs in Haskell

  • Tim Harris ,
  • Simon Marlow ,
  • Simon Peyton Jones ,
  • Satnam Singh

FLOPS '06: Proceedings of the Eighth International Symposium on Functional and Logic Programming, to appear |

This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell’s implementation of software transactional memory. Experimental results are presented which show that for multi-processor systems the simpler lock free implementations offer superior performance when compared to their corresponding lock based implementations.