strict-stm: Strict STM interface polymorphic over stm implementation.

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Strict STM interface provided on top of io-classes and thus compatible with stm & io-sim.

[Skip to Readme]

Properties

Versions	1.0.0.0, 1.0.0.0, 1.0.0.1, 1.1.0.0, 1.1.0.1, 1.2.0.0, 1.3.0.0, 1.4.0.0, 1.5.0.0
Change log	CHANGELOG.md
Dependencies	array, base (>=4.9 && <4.18), io-classes (>=1.0 && <1.1), stm (>=2.5 && <2.6) [details]
License	Apache-2.0[multiple license files]
Copyright	2019-2023 Input Output Global Inc (IOG)
Author	Alexander Vieth, Duncan Coutts, Marcin Szamotulski, Thomas Winant
Maintainer	Duncan Coutts dunca@well-typed.com, Marcin Szamotulski coot@coot.me
Category	Control
Source repo	head: git clone https://github.com/input-output-hk/io-sim(strict-stm)
Uploaded	by coot at 2023-04-18T18:31:27Z

Modules

[Index] [Quick Jump]

Control
- Concurrent
  - Class
    - MonadSTM
      - Control.Concurrent.Class.MonadSTM.Strict
        Control.Concurrent.Class.MonadSTM.Strict.TArray
        Control.Concurrent.Class.MonadSTM.Strict.TBQueue
        Control.Concurrent.Class.MonadSTM.Strict.TChan
        Control.Concurrent.Class.MonadSTM.Strict.TMVar
        Control.Concurrent.Class.MonadSTM.Strict.TQueue
        Control.Concurrent.Class.MonadSTM.Strict.TSem
        Control.Concurrent.Class.MonadSTM.Strict.TVar

Flags

Manual Flags

Name	Description	Default
checktvarinvariant	Enable runtime invariant checks on StrictT(M)Var	Disabled

Automatic Flags

Name	Description	Default
asserts	Enable assertions	Disabled

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

Downloads

strict-stm-1.0.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

coot, IOHK

For package maintainers and hackage trustees

edit package information

Readme for strict-stm-1.0.0.0

[back to package description]

Strict Software Transaction Memory

The strict-stm package provides a strict interface to software transaction memory. It builds on top of io-classes and thus it provides the interface for both stm as well as io-sim.

Novel testing / space-leak elimination approach

The strict interface provides a novel way of testing/eliminating space-leaks which might lurk in stm shared mutable variables. Together with the nothunks library it was successfully used to eliminate and keep a large system (cardano-node) space leak free.