[Haskell-cafe] ANN: stm-chans 1.2.0
wren ng thornton
wren at freegeek.org
Sat May 7 07:58:59 CEST 2011
--------------------------------------------
-- stm-chans 1.2.0
--------------------------------------------
The stm-chans package offers a collection of channel types, similar to
Control.Concurrent.STM.TChan but with additional features.
--------------------------------------------
-- Changes (since 1.0.0)
--------------------------------------------
* (Version 1.1.0) Added tryWriteTBChan.
* (Version 1.1.0) Added tryWriteTBMChan.
* Some major performance improvements in TBChan and TBMChan, thanks to
Thomas DuBuisson. In particular, these improvements reduce contention
between readers and writers, improving throughput by up to 2--3 times
when producers and consumers are running in separate OS threads. The
cost for non-parallel programs is trivial (<1% worst-case running time,
per Criterion).
* Added estimateFreeSlotsTBChan, freeSlotsTBChan,
estimateFreeSlotsTBMChan, and freeSlotsTBMChan. These functions return
either the exact number or a lower-bound on the number of free slots
available before the channels will block/retry.
* Some other minor optimizations and code improvements.
--------------------------------------------
-- Long description
--------------------------------------------
In particular stm-chans offers these types:
* Control.Concurrent.STM.TBChan: Bounded FIFO channels.
When the channel is full, writers will block/retry. This ensures
that the writers do not get too far ahead of the readers, which helps to
make sure that memory and cpu resources are used responsibly.
* Control.Concurrent.STM.TMChan: Closeable FIFO channels.
This is like TChan (Maybe a) but with a monotonicity guarantee that
once Nothing is returned all future reads will be Nothing as well.
* Control.Concurrent.STM.TBMChan: Bounded Closeable FIFO channels.
This combines the capabilities of TBChan and TMChan.
In addition, the stm-chans package offers a (partial) compatibility
layer for some recent API improvements to the stm package (see ticket
#5104 [1]). These new functions include:
* tryReadTChan :: TChan a -> STM (Maybe a)
A version of readTChan which does not retry. Instead it returns
Nothing if no value is available.
* peekTChan :: TChan a -> STM a
Get the next value from the TChan without removing it, retrying if
the channel is empty.
* tryPeekTChan :: TChan a -> STM (Maybe a)
A version of peekTChan which does not retry. Instead it returns
Nothing if no value is available.
[1] http://hackage.haskell.org/trac/ghc/ticket/5104
--------------------------------------------
-- Links
--------------------------------------------
Homepage:
http://code.haskell.org/~wren/
Hackage:
http://hackage.haskell.org/package/stm-chans
Darcs:
http://community.haskell.org/~wren/stm-chans
Haddock (Darcs version):
http://community.haskell.org/~wren/stm-chans/dist/doc/html/stm-chans
--
Live well,
~wren
More information about the Haskell-Cafe
mailing list