Hardware Implementation of OCaml Using a Synchronous Functional Language - Sorbonne Université
Communication Dans Un Congrès Année : 2024

Hardware Implementation of OCaml Using a Synchronous Functional Language

Loïc Sylvestre
Jocelyn Sérot

Résumé

We present a hardware implementation of the high-level multi-paradigm language OCaml using a declarative language called Eclat. Eclat is tailored for programming reactive hardware applications mixing interaction with physical devices and long-running computations. It is compiled to synthesizable hardware descriptions for configuring Field Programmable Gate Arrays (FPGAs). We have implemented the OCaml Virtual Machine as an Eclat function to execute complex computations (programmed in OCaml) in reactive applications (programmed in Eclat). This implementation comprises a bytecode interpreter and a runtime system with automatic memory management. The OCaml programmers can customize this runtime by defining external Eclat functions, i.e., hardware accelerators.
Fichier non déposé

Dates et versions

hal-04401618 , version 1 (17-01-2024)

Identifiants

Citer

Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux. Hardware Implementation of OCaml Using a Synchronous Functional Language. PADL 2024: The 26th International Symposium on Practical Aspects of Declarative Languages, Jan 2024, Londres, United Kingdom. pp.151-168, ⟨10.1007/978-3-031-52038-9_10⟩. ⟨hal-04401618⟩
103 Consultations
0 Téléchargements

Altmetric

Partager

More