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

Accelerating OCaml Programs on FPGA

Abstract

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)

Identifiers

Cite

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⟩
133 View
161 Download

Altmetric

Share

More