IRILL - Research and Innovation on Free Software
IRILL, Paris

La prochaine séance du [GdT Programmation / séminaire IRILL ] est jeudi 24 mars 2022 à 14h sur le campus Jussieu (15-16 101) :

ou à distance sur le lien galène suivant : https://galene.org:8443/group/irill/seminaire-IRILL/ :

Loic Sylvestre (APR/LIP6 - Sorbonne Université)


    parlera de :


       Macle : un langage dédié à l'accélération de programmes OCaml sur circuits FPGA

abstract :

La plateforme O2B (OCaml On Board) est une implémentation de la machine virtuelle OCaml dérivée d'OMicroB. Elle permet d'exécuter les programmes OCaml sur des circuits logiques programmables de type FPGA (Field-programmable gate array) par l'intermédiaire d'un processeur softcore.

La bibliothèque d'exécution d'O2B, écrite en C, donne alors accès à des fonctions externes, directement implantées au niveau « portes logiques », afin de les appeler en OCaml.

La programmation de ces fonctions pose cependant un certain nombre de difficultés, tant du point de vue de la sûreté d'exécution, de l'expressivité offerte au programmeur et de l'efficacité des circuits engendrés par les outils de synthèse.

C'est pourquoi nous concevons Macle (autoMata-based AppliCative LanguagE), un langage de programmation fonctionnel-impératif dédié à la programmation de ces fonctions externes. Cet exposé présente le noyau de Macle, sa compilation vers des produits d'automates synchrones et l'intéropérabilité entre Macle et OCaml.