Towards better systems programming in OCaml with out-of-heap allocation - Ecole Centrale de Nantes Accéder directement au contenu
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⟩
86 Consultations
406 Téléchargements

Partager

Gmail Facebook X LinkedIn More