Towards better systems programming in OCaml with out-of-heap allocation - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1, 2)
1
2

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.
Fichier principal
Vignette du fichier
ml2020-paper8.pdf (213.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03142386 , version 1 (16-02-2021)

Identifiers

  • HAL Id : hal-03142386 , version 1

Cite

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⟩
67 View
282 Download

Share

Gmail Facebook Twitter LinkedIn More