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...

Full description

Saved in:
Bibliographic Details
Published inInternational journal of parallel programming Vol. 51; no. 2-3; pp. 186 - 207
Main Authors Sylvestre, Loïc, Chailloux, Emmanuel, Sérot, Jocelyn
Format Journal Article
LanguageEnglish
Published New York Springer US 01.06.2023
Springer Nature B.V
Springer Verlag
Subjects
Arrays
Circuits
Computer Science
Data structures
Field programmable gate arrays
Hardware
Java
Language
Microprocessors
Processor Architectures
Software Engineering/Programming and Operating Systems
Source programs
Special Issue on High-Level Parallel Programming and Applications (HLPP 2022)
Theory of Computation
Virtual environments
Compiling
FPGA
OCaml
Virtual machine
High-level parallel programming
Hardware acceleration
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:0885-7458
1573-7640
DOI:10.1007/s10766-022-00748-z