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

Versions [RSS]	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
Change log	CHANGELOG.md
Dependencies	array, base (>=4.9 && <4.20), io-classes (>=1.4 && <1.5), stm (>=2.5 && <2.6) [details]
License	Apache-2.0[multiple license files]
Copyright	2019-2024 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	Concurrency
Bug tracker	https://github.com/input-output-hk/io-sim/issues
Source repo	head: git clone https://github.com/input-output-hk/io-sim(strict-stm)
Uploaded	by coot at 2024-02-02T16:54:37Z
Distributions	NixOS:1.4.0.0
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	2115 total (261 in the last 30 days)
Rating	2.0 (votes: 1) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2024-02-02 [all 1 reports]

Readme for strict-stm-1.4.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.