Accelerating OCaml Programs on FPGA - Sorbonne Université Access content directly
Journal Articles International Journal of Parallel Programming Year : 2023

Accelerating OCaml Programs on FPGA


This paper aims to exploit the massive parallelism of Field-Programmable Gate Arrays (FPGAs) by programming them in OCaml, a multiparadigm and statically typed language. It first presents O2B, an implementation of the OCaml virtual machine using a softcore processor to run the entire OCaml language on an FPGA. It then introduces Macle, a language to express, in ML-style, hardware-accelerated user-defined functions, implemented as gates and registers on the same FPGA. Macle allows to implement pure computations and compose them in parallel. It also supports processing of dynamic data structures such as arrays, matrices and trees allocated by the OCaml runtime in the memory of the softcore processor. Macle functions can then be called, as hardware accelerators, by OCaml programs executed by O2B. This combination of Macle and OCaml codes in a single source program enables to easily prototype FPGA applications mixing numeric and symbolic computations.
Fichier principal
Vignette du fichier
preprint-accelerating.pdf (344.08 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03991412 , version 1 (10-11-2023)



Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot. Accelerating OCaml Programs on FPGA. International Journal of Parallel Programming, 2023, 51 (Special Issue on High-Level Parallel Programming and Applications (HLPP 2022)), pp.186-207. ⟨10.1007/s10766-022-00748-z⟩. ⟨hal-03991412⟩
90 View
78 Download



Gmail Mastodon Facebook X LinkedIn More