rcu

Read-Copy-Update for Haskell

http://github.com/ekmett/rcu/

Version on this page:0.2.3
LTS Haskell 24.18:0.2.7@rev:1
Stackage Nightly 2025-11-03:0.2.7@rev:1
Latest on Hackage:0.2.7@rev:1

See all snapshots rcu appears in

BSD-3-Clause licensed by Ted Cooper and Edward A. Kmett
Maintained by Edward A. Kmett, Ted Cooper
This version can be pinned in stack with:rcu-0.2.3@sha256:d4e6b650d6f206f686edd368a293a88c2d447a09c08bdbdfab80a335b25c6018,12761

Module documentation for 0.2.3

Used by 1 package in lts-13.11(full list with versions):
rcu

rcu

Hackage 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 irc.freenode.net.

-Edward Kmett and Ted Cooper

Changes

0.2.3 [2018.08.01]

  • Add MonadFail instances for ReadingRCU and WritingRCU.

0.2.2 [2018.02.06]

  • Include HLint.hs with the tarball distribution, fixing the hlint test suite.

0.2.1

  • Support doctest-0.12

0.2

  • Revamp Setup.hs to use cabal-doctest. This makes it build with Cabal-2.0, and makes the doctests work with cabal new-build and sandboxes.

0

  • Initial version