this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr>"
3authors: [
4 "Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr>"
5]
6license: "LGPL-3.0-only"
7homepage: "https://gitlab.com/gadmm/memprof-limits"
8bug-reports: "https://gitlab.com/gadmm/memprof-limits/issues"
9depends: [
10 "ocaml" {>= "4.11" & < "4.12"}
11 "dune" {>= "1.0"}
12]
13build: ["dune" "build" "-p" name "-j" jobs]
14dev-repo: "git+https://gitlab.com/gadmm/memprof-limits.git"
15synopsis: "Memory limits based on memprof"
16description: """
17Memprof-limits provides per-thread global memory limits, and
18per-thread allocation limits à la Haskell, compatible with systhreads.
19
20Per-thread global memory limits let you bound the memory consumption
21of specific parts of your program, in terms of memory used by the
22whole program.
23
24Per-thread allocation limits let you bound the execution of parts of
25the program measured in number of allocation, analogous to the same
26feature in Haskell. Allocation limits count allocations but not
27deallocations, and is therefore a measure of the work done which can
28be more suitable than execution time.
29
30The implementation uses memprof with a low sampling rate that does not
31affect performance. A reimplementation of the memprof interface
32compatible with memprof-limits running at the same time is provided
33for profiling needs.
34
35THIS PACKAGE IS EXPERIMENTAL
36"""
37url {
38 src:
39 "https://gitlab.com/gadmm/memprof-limits/-/archive/0.1/memprof-limits-0.1.tar.bz2"
40 checksum: [
41 "md5=60f493b72979390032a8682ac5b1d0d3"
42 "sha512=aa7cf9047f0aa45bf8f49cad4326c1a3374dc8053969681d0c88ade396c299fa4371f51daa8f0239b2a3ce1b1848e77be4cbff776731bc7a4d52ecec500b5177"
43 ]
44}