OCaml et C : le meilleur des mondes (suite et fin)

Magazine
Marque
GNU/Linux Magazine
Numéro
116
Mois de parution
mai 2009


Résumé
Après avoir vu les techniques de binding permettant d'utiliser des bibliothèques C en OCaml, nous voyons maintenant comment implémenter la spécification de multiplexage ogg en OCaml.

1. Résumé de l'épisode précédent

Nous avons vu, lors du précèdent article, comment préparer un binding des fonctions de manipulation des flux ogg en OCaml. Ce binding consiste en une interface OCaml pour utiliser la bibliothèque libogg.

Nous avons aussi vu comment ce binding permet de tirer parti des avantages d'OCaml pour le traitement des tâches bas-niveau. En particulier, l'allocation puis le nettoyage des objets C est alors géré par le Garbage Collector (ramasse-miettes) d'OCaml.

Nous avons enfin noté que cela permettait de séparer les tâches du programmeur en deux parties distinctes : le traitement des opérations et manipulations bas-niveau, et l'implémentation de la logique de fonctionnement. Cette séparation permet de rendre le travail de débogage bien plus simple, puisque chacune de ces parties peut être vérifiée séparément. Elle rend enfin le code plus lisible, puisque la logique de fonctionnement est alors clairement séparée des opérations et...

Cet article est réservé aux abonnés. Il vous reste 96% à découvrir.
S'abonner à Connect
  • Accédez à tous les contenus de Connect en illimité
  • Découvrez chaque semaine un nouvel article premium
  • Consultez les nouveaux articles en avant-première
Je m'abonne


Article rédigé par

Par le(s) même(s) auteur(s)

OCaml et C : le meilleur des mondes

Magazine
Marque
GNU/Linux Magazine
Numéro
114
Mois de parution
mars 2009
Résumé
Cet article, le premier d'une série de deux, se propose d'illustrer les techniques de bindings de code C en OCaml avec un exemple pris dans la bibliothèque Ogg. Le but est de montrer comment le binding OCaml permet d'automatiser les tâches bas niveau du programmeur afin de se concentrer, dans le code OCaml, sur l'implémentation à proprement parler et la logique de programmation.

Les derniers articles Premiums

Les derniers articles Premium

Cryptographie : débuter par la pratique grâce à picoCTF

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

L’apprentissage de la cryptographie n’est pas toujours évident lorsqu’on souhaite le faire par la pratique. Lorsque l’on débute, il existe cependant des challenges accessibles qui permettent de découvrir ce monde passionnant sans avoir de connaissances mathématiques approfondies en la matière. C’est le cas de picoCTF, qui propose une série d’épreuves en cryptographie avec une difficulté progressive et à destination des débutants !

Game & Watch : utilisons judicieusement la mémoire

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

Au terme de l'article précédent [1] concernant la transformation de la console Nintendo Game & Watch en plateforme de développement, nous nous sommes heurtés à un problème : les 128 Ko de flash intégrés au microcontrôleur STM32 sont une ressource précieuse, car en quantité réduite. Mais heureusement pour nous, le STM32H7B0 dispose d'une mémoire vive de taille conséquente (~ 1,2 Mo) et se trouve être connecté à une flash externe QSPI offrant autant d'espace. Pour pouvoir développer des codes plus étoffés, nous devons apprendre à utiliser ces deux ressources.

Raspberry Pi Pico : PIO, DMA et mémoire flash

Magazine
Marque
Contenu Premium
Spécialité(s)
Résumé

Le microcontrôleur RP2040 équipant la Pico est une petite merveille et malgré l'absence de connectivité wifi ou Bluetooth, l'étendue des fonctionnalités intégrées reste très impressionnante. Nous avons abordé le sujet du sous-système PIO dans un précédent article [1], mais celui-ci n'était qu'une découverte de la fonctionnalité. Il est temps à présent de pousser plus loin nos expérimentations en mêlant plusieurs ressources à notre disposition : PIO, DMA et accès à la flash QSPI.

Abonnez-vous maintenant

et profitez de tous les contenus en illimité

Je découvre les offres

Déjà abonné ? Connectez-vous