package qcheck-lin

You can search for identifiers within the package.

in-package search v0.2.0

package qcheck-lin

qcheck-lin
- Library qcheck-lin.domain
  - Lin_domain
    
    Make_internal
    
    Make
- Library qcheck-lin.effect
  - Lin_effect
    
    Make_internal
    
    EffSpec
    
    Make
- Library qcheck-lin.lin
  - Lin
    
    Internal
    
    CmdSpec
    
    Make
    
    Fun
    
    Spec
    
    MakeCmd
- Library qcheck-lin.thread
  - Lin_thread
    
    Make_internal
    
    Make
- Sources
  - qcheck-lin.domain
    
    lin_domain.ml
  - qcheck-lin.effect
    
    lin_effect.ml
  - qcheck-lin.lin
    
    lin.ml
  - qcheck-lin.thread
    
    lin_thread.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Lin_thread`Source

Module for building concurrent Lin 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_internal (Spec : Lin.Internal.CmdSpec) : sig ... end

Functor to build an internal module representing concurrent tests

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

Functor to build a module for concurrent testing

package qcheck-lin

Module Lin_threadSource

Module `Lin_thread`Source