The rcu package

[Tags:bsd3, library, program]

Read-Copy-Update for Haskell

[Skip to Readme]


Versions 0, 0.1
Change log CHANGELOG.markdown
Dependencies atomic-primops, base (>=4.8 && <5), parallel (==3.2.*), primitive, rcu, stm (>=2.4.4 && <2.5), transformers (==0.4.*) [details]
License BSD3
Copyright Copyright (C) 2015 Edward A. Kmett, Theodore Rhys Cooper
Author Ted Cooper and Edward A. Kmett
Maintainer Edward A. Kmett <>, Ted Cooper <>
Category Data
Home page
Bug tracker
Source repository head: git clone git://
Uploaded Wed Sep 16 00:22:02 UTC 2015 by EdwardKmett
Distributions NixOS:0.1
Downloads 195 total (4 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]





Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees

Readme for rcu

Readme for rcu-0.1


Build Status

This package is an exploration of Read-Copy Update in Haskell based on Relativistic Programming in Haskell by Cooper and Walpole. It includes a sound QSBR-based implementation and an attempt at an STM-based implementation.

In the spirit of A Relativistic Enhancement to Software Transactional Memory by Howard and Walpole, we could extend the STM implementation to allow reads and writes on the same data in parallel, writes to disjoint data in parallel, and force readers to agree that writes before a synchronize happened before writes after it.

Development on this project proceeded in a burst of enthusiasm after Edward saw Ted's poster presentation at ICFP 2015, and yet somehow he managed to shanghai Ted into helping maintain this copy of his own work.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact us through github or on the #haskell IRC channel on

-Edward Kmett and Ted Cooper