Stack allocation for OCaml
Allocating values on a stack instead of the garbage collected heap can improve performance by improving cache locality and avoiding GC pauses. However, it requires that the values do not escape the lifetime of their associated stack frame. We describe an extension to OCaml that allows values to be allocated on a stack and ensures through the type system that they do not escape their stack frame.
Fri 16 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
11:00 - 12:30
|Efficient “out of heap” pointers for multicore OCaml|
|Memo: an incremental computation library that powers Dune|
|Stack allocation for OCaml|
|Continuous Monitoring of OCaml Applications using Runtime EventsVirtual|