ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 20:00 - 20:30 at OCaml - Session 3 Chair(s): Thomas Gazagnaire

The goal of this talk is two-fold. First, we present memprof-limits, a probabilistic implementation of per-thread global memory limits, and per-thread allocation limits, for OCaml 4.12. Then, we will discuss the reasoning about programs in the presence of asynchronous exceptions; why memprof-limits improves on the situation; and why the situation, although still imperfect, is likely to remain the same until more ambitious evolutions of the language are made possible.

Fri 27 Aug

Displayed time zone: Seoul change