Source file `goblint_parallel.ml`

1
2
3
4
5
6
7
8
9
10
11
(** {1 Utilities for concurrency} *)

module DomainsafeLazy = DomainsafeLazy

module GobMutex = GobMutex

module Threadpool = Threadpool

(** {1 Concurrent data structures} *)

module Data = Data