Skip to Main content Skip to Navigation
Conference papers

Towards better systems programming in OCaml with out-of-heap allocation

Guillaume Munch-Maccagnoni 1, 2
1 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Abstract : The current multicore OCaml implementation bans so-called "naked pointers", pointers to outside the OCaml heap unless they follow drastic restrictions. A backwards-incompatible change has been proposed to make way for the new multicore GC in OCaml. I argue that out-of-heap pointers are not an anomaly, but are part of a better systems programming future.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03142386
Contributor : Guillaume Munch-Maccagnoni Connect in order to contact the contributor
Submitted on : Tuesday, February 16, 2021 - 2:31:59 AM
Last modification on : Friday, January 21, 2022 - 3:09:56 AM
Long-term archiving on: : Monday, May 17, 2021 - 6:24:16 PM

File

ml2020-paper8.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03142386, version 1

Citation

Guillaume Munch-Maccagnoni. Towards better systems programming in OCaml with out-of-heap allocation. ML Workshop 2020, Aug 2020, Jersey City, United States. pp.1-6. ⟨hal-03142386⟩

Share

Metrics

Les métriques sont temporairement indisponibles