package qcheck-stm

  1. Overview
  2. Docs
State-machine testing library for sequential and parallel model-based tests

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.9.tar.gz
md5=ce75e64a125c5593d8e3c91752406067
sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8

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

Module STM_threadSource

Module for building concurrent STM tests over Threads

Context switches in Threads may happen

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
OCaml

Innovation. Community. Security.