Accueil🇫🇷Chercher

Zephyr (système d'exploitation)

Zephyr est un système d'exploitation temps réel open-source et libre sous Licence Apache 2.0, conçu pour les appareils aux ressources limitées, supportant plusieurs architectures. Un fork du projet sous licence BSD existe pour l'environnement Arduino 101, maintenu par Intel.

Il fonctionne également sur les processeurs RISC-V, notamment sur son émulation par Qemu et sur différentes implémentations matérielles[3].

Histoire

En , le projet Rocket voit le jour chez Wind River Systems. C'est un noyau dédié à l'Internet des Objets (IoT).

En , Zephyr passe sous l'Ă©gide de la Fondation Linux. Depuis, les contributeurs principaux sont Intel, Linaro, NXP Semiconductors, Synopsys, et UbiquiOS.

Fonctionnalités

Le noyau Zephyr est pensĂ© pour des appareils aux contraintes fortes en termes de mĂ©moire[4] : du capteur connectĂ© Ă  la montre connectĂ©e en passant par les « technologies portables Â» simple ou la passerelle IoT sans fil. Il est principalement utilisĂ© dans les objets connectĂ©s[5].

L'OS se distingue des autres solutions existantes sur plusieurs points :

  • Un unique espace d'adressage
  • Hautement configurable
  • Les ressources sont dĂ©finies statiquement, Ă  la compilation
  • Peu ou pas de vĂ©rification d'erreurs dynamique

De plus, l'OS expose un certain nombre d'interfaces de programmation pour permettre au développeur d'écrire son application.

Sécurité

Un groupe de travail est dédié au maintien et au développement de la sécurité pour le projet. En outre, le modèle de développement ouvert permet de multiplier les études et critiques du code, ce qui participe à le rendre sûr et plus sécurisé.

Espace d'adressage unique

Une image Zephyr fonctionnelle contient le code applicatif et le code du noyau, réunis en un seul binaire. L'application et le kernel s'exécutent dans le même espace d'adressage.

Hautement configurable

Zephyr permet de sélectionner uniquement les fonctionnalités voulues, et de les paramétrer si besoin (taille d'un espace mémoire réservé par exemple).

Ressources définies statiquement

Il n'est pas possible de définir une ressource pendant l’exécution d'une application. Ceci permet de diminuer la taille du code et d'augmenter les performances, en évitant du code de gestion dynamique supplémentaire.

VĂ©rification d'erreurs minimale

Là aussi, cela permet de gagner en taille de code compilé et performances. A noter qu'il est possible d'activer des services de vérifications dynamiques, pour aider à déboguer pendant la phase de développement.

API de développement

Les interfaces fournies sont classiques, et sont résumées ici:

  • Multithreading Ă  niveaux de prioritĂ©s, avec la possibilitĂ© de mĂ©langer threads prĂ©emptibles et coopĂ©ratifs. Optionnellement, l'ordonnanceur prĂ©emptif peut allouer des quanta de temps via un mĂ©canisme de type round-robin.
  • Gestion des interruptions, avec configuration statique ou dynamique des routines liĂ©es Ă  chaque interruption.
  • Synchronisation: sĂ©maphore (binaire ou Ă  compteur), mutex.
  • Communication entre threads: file de messages, flux d'octets.
  • Allocation de mĂ©moire dynamique pour des tailles de blocs mĂ©moire variables.
  • Gestion d'Ă©nergie avancĂ©e: tickless idle (inactif et modes de sommeil avancĂ©s.)

Voir aussi

Notes et références

  1. « https://www.zephyrproject.org/news/linux-foundation-announces-project-build-real-time-operating-system-internet-things-devices »
  2. « Release 3.3.0 », (consulté le )
  3. (en) « Zephyr », sur RISC-V getting started guide (sur readthedocs.io)
  4. « Découverte de l'OS Zephyr | Linux Embedded », sur www.linuxembedded.fr (consulté le )
  5. « Zephyr : un OS temps réel open source pour l'IoT », Generation NT, (consulté le )
    Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.