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