I am pleased to announce the version 0.3.0 of the package memprof-limits. The main contribution of this release is the support for OCaml 5 with multiple parallel domains.
Memprof-limits can henceforth be used to conveniently interrupt (CPU-bound) domains in your parallel computations, using cancellation tokens, with the support of features to ensure interrupt-safety and resource-safety.
As example of uses, plans are underway to use memprof-limits to ensure the resource-safety of user interrupts in the Rocq prover (eliminating a class of bugs) and to add tactics for portable timeouts (that count allocations rather than elapsed time).
- Read more: index (memprof-limits.index)
- Report bugs and suggestions: gadmm / memprof-limits ยท GitLab