Tags populaires：
Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

GRiSP : Mini-VM BEAM pour systèmes embarqués et temps réel

2025-09-02
GRiSP : Mini-VM BEAM pour systèmes embarqués et temps réel

La famille GRiSP présente trois runtimes Erlang/Elixir : Metal, un BEAM miniature pour microcontrôleurs tenant sur 16 Mo de RAM ; Alloy, un système Linux temps réel basé sur Buildroot prenant en charge plusieurs VM ; et Forge, une solution basée sur Yocto offrant une personnalisation et un support à long terme. Tous se caractérisent par des temps de démarrage rapides, la sécurité et un démarrage BEAM direct, offrant une option intéressante pour l’informatique de pointe et les applications en temps réel.

Lire plus
(www.grisp.org)
Développement Informatique de pointe

Démarrage d'Erlang sur 16 Mo : Un Jalon pour GRiSP Nano

2025-07-22
Démarrage d'Erlang sur 16 Mo : Un Jalon pour GRiSP Nano

L'équipe GRiSP Nano a franchi une étape importante en réussissant à démarrer une machine virtuelle Erlang sur un microcontrôleur STM32U5 avec seulement 16 Mo de mémoire. Initialement prévu pour 32 Mo, un erratum du processeur a nécessité une réduction. Grâce à une série d'optimisations, notamment la suppression de la bibliothèque cryptographique, des drapeaux de compilation/liaison agressifs, la suppression de fichiers BEAM, des ajustements du système RTEMS et une optimisation de l'allocateur, ils ont surmonté les contraintes de mémoire. La désactivation temporaire de Unicode leur a permis d'atteindre l'invite du shell Erlang. Les projets futurs comprennent la relocalisation du code en RAM/Flash interne, la diffusion de variantes légères du noyau/stdlib, l'ajout d'une logique de démarrage économe en énergie et le développement d'une version Unicode légère.

Lire plus
(www.grisp.org)
Développement