rcu: Read-Copy-Update for Haskell

[ bsd3, data, library, program ] [ Propose Tags ]

Read-Copy-Update for Haskell.

Versions [faq]	0, 0.1, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.2.4
Change log	CHANGELOG.markdown
Dependencies	atomic-primops (>=0.8), base (>=4.8 && <5), fail (==4.9.), ghc-prim (>=0.3), parallel (==3.2.), primitive (>=0.6), rcu, transformers (>=0.4 && <0.6) [details]
License	BSD-3-Clause
Copyright	Copyright (C) 2015 Edward A. Kmett, Theodore Rhys Cooper
Author	Ted Cooper and Edward A. Kmett
Maintainer	Edward A. Kmett <ekmett@gmail.com>, Ted Cooper <anthezium@gmail.com>
Category	Data
Home page	http://github.com/ekmett/rcu/
Bug tracker	http://github.com/ekmett/rcu/issues
Source repo	head: git clone git://github.com/ekmett/rcu.git
Uploaded	by ryanglscott at Thu May 2 20:41:06 UTC 2019
Distributions	LTSHaskell:0.2.4, NixOS:0.2.4, Stackage:0.2.4
Executables	MoveStringGC, MoveStringQSBR, MoveStringSTM
Downloads	1937 total (148 in the last 30 days)
Rating	(no votes yet) [estimated by rule of succession]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2019-05-02 [all 1 reports]

Modules

[Index] [Quick Jump]

Control
- Concurrent
  - RCU
    - Control.Concurrent.RCU.Class
    - Control.Concurrent.RCU.GC
      - Control.Concurrent.RCU.GC.Internal
    - Control.Concurrent.RCU.QSBR
      - Control.Concurrent.RCU.QSBR.Internal
    - Control.Concurrent.RCU.STM
      - Control.Concurrent.RCU.STM.Internal

Flags

Name	Default	Type
test-doctests	Enabled	Manual
unstable	Disabled	Manual
measure-synchronize	Disabled	Manual

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

Downloads

rcu-0.2.4.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

For package maintainers and hackage trustees

edit package information

Readme for rcu-0.2.4

[back to package description]

rcu

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