package qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

State-machine testing library for sequential and parallel model-based tests

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

Maintainers

J

Jan Midtgaard <mail@janmidtgaard.dk>

Sources

0.8.tar.gz

md5=8e7634814a61bf765ac6989f7fdc49cb

sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb

doc/qcheck-stm.thread/STM_thread/index.html

Module `STM_thread`Source

Module for building concurrent STM tests over Threads

Context switches in Threads may happen

at allocations and
at safepoints https://github.com/ocaml/ocaml/pull/10039.

This module relies on Gc.Memprof support to trigger more frequent context switching between threads at allocation sites. This works well in OCaml 4.11.0-4.14.x and 5.3.0 onwards where Gc.Memprof is available.

In OCaml 5.0-5.2 without Gc.Memprof support the context switching at allocation sites will be inferior. As a consequence the module may fail to trigger concurrency issues.

Context switches at safepoints will trigger much less frequently. This means the module may fail to trigger concurrency issues in connection with these. Consider yourself warned.

Sourcemodule Make (Spec : STM.Spec) : sig ... end

Sourcemodule MakeExt (Spec : STM.SpecExt) : sig ... end