package qcheck-lin

  1. Overview
  2. Docs
A multicore testing library for OCaml

Install 

dune-project
 Dependency

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

Authors

  1. J
    Jan Midtgaard
  2. O
    Olivier Nicole
  3. N
    Nicolas Osborne
  4. S
    Samuel Hym

Maintainers

  1. J
    Jan Midtgaard <mail@janmidtgaard.dk>

Sources

0.10.tar.gz
md5=ed5980f1cfbfa1e2d2ec5a87954dddf8
sha512=90c451903adb7cbd83aa0f2ad7738d662edc23affb669ed762564cdb2e140ca931afeaabc199fbb6028163fc41c17049961bef7fd2664c677cb1df552d10736d

doc/qcheck-lin.thread/Lin_thread/index.html

Module Lin_threadSource

Module for building concurrent Lin 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.

Functor to build an internal module representing concurrent tests

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

Functor to build a module for concurrent testing