package qcheck-stm
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_thread
Source
Module for building concurrent STM
tests over Thread
s
Context switches in Thread
s 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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>