Accelerating OCaml Programs on FPGA

Loïc Sylvestre (1) , Emmanuel Chailloux (1) , Jocelyn Sérot (2)

1 APR - Algorithmes, Programmes et Résolution
2 ISPR - Image, système de perception, robotique

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.

Mots clés: FPGA; OCaml; Virtual machine; Hardware acceleration; Compiling; High-level parallel programming

Domaines: Informatique [cs]

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⟩