Towards better systems programming in OCaml with out-of-heap allocation - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03142386 , version 1

Citer

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⟩
106 Consultations
473 Téléchargements

Partager

More