memprof-limitsversion
Memory limits based on memprof
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
Author | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr> |
---|---|
License | LGPL-3.0-only |
Published | |
Homepage | https://gitlab.com/gadmm/memprof-limits |
Issue Tracker | https://gitlab.com/gadmm/memprof-limits/issues |
Maintainer | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@inria.fr> |
Dependencies | |
Source [http] | https://gitlab.com/gadmm/memprof-limits/-/archive/0.1/memprof-limits-0.1.tar.bz2 md5=60f493b72979390032a8682ac5b1d0d3 sha512=aa7cf9047f0aa45bf8f49cad4326c1a3374dc8053969681d0c88ade396c299fa4371f51daa8f0239b2a3ce1b1848e77be4cbff776731bc7a4d52ecec500b5177 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/memprof-limits/memprof-limits.0.1/opam |
- coq-core>=8.19.2