this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Memory limits, allocation limits, and thread cancellation"
3description: """\
4Memprof-limits provides per-thread global memory limits, per-thread
5allocation limits, and cancellation of threads, with ways to
6ensure resource-safety after interruption.
7
8Global memory limits let you bound the memory consumption of a task,
9in terms of the major heap size.
10
11Allocation limits let you bound the execution time of a task measured
12in number of allocations. Allocation limits do not count
13deallocations, and are therefore a measure of the work done, which can
14be more suitable (reliable, portable, deterministic) than wall-clock
15time.
16
17Token limits lets you cancel a (CPU-bound) task preemptively and at a
18distance.
19
20Tasks are interrupted by raising an asynchronous exception.
21Memprof-limits provides features and guidance for reasoning about the
22consistency of state in the presence of such interrupts.
23
24The implementation uses OCaml's Memprof engine with a low sampling
25rate that does not affect performance. A reimplementation of the
26Memprof interface compatible with memprof-limits running at the same
27time is provided for profiling needs."""
28maintainer:
29 "Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr>"
30authors: "Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr>"
31license: "LGPL-3.0-only WITH LGPL-3.0-linking-exception"
32homepage: "https://gitlab.com/gadmm/memprof-limits/"
33doc: "https://guillaume.munch.name/software/ocaml/memprof-limits/"
34bug-reports: "https://gitlab.com/gadmm/memprof-limits/issues/"
35depends: [
36 "ocaml" {>= "4.12.0" & < "5.0"}
37 "dune" {>= "1.2"}
38]
39build: ["dune" "build" "-p" name "-j" jobs]
40dev-repo: "git+https://gitlab.com/gadmm/memprof-limits.git"
41url {
42 src:
43 "https://gitlab.com/gadmm/memprof-limits/-/archive/v0.2.0/memprof-limits-v0.2.0.tar.bz2"
44 checksum: [
45 "md5=2173a686a3191968666865e919ec2f02"
46 "sha512=693abfef75c9639b8bb6dcb6f97e21ce4ede519bce69155b4045c89f8d42a46f696d46d77c7f59a8b7309b7df138e3f60ea1c6d5eba257e0c278facbcfd7b82d"
47 ]
48}