Module Goblint_parallel

Utilities for concurrency

module DomainsafeLazy : sig ... end

Lazy type which protects against concurrent calls of force.

module GobMutex : sig ... end

A mutex that supports multiple threads on a domain when parallelism is supported as detected by the presence of the domainslib library. It is mocked to a no-op when domainslib is not available for backwards compatibility.

module Threadpool : sig ... end

Concurrent data structures

module Data : sig ... end