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