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.
Pour les articles homonymes, voir Zéphir.
Développé par | Fondation Linux et Wind River |
---|---|
Première version | [1] |
Dernière version | 3.0.0 ()[2] |
Dépôt | github.com/zephyrproject-rtos/zephyr |
Écrit en | C |
Environnement | X86, architecture ARM, ARC (en), RISC-V, Xtensa (d), architecture MIPS, Nios II (en) et architecture SPARC |
Type |
Système d'exploitation embarqué Système d'exploitation libre (d) Système d'exploitation temps réel Linux Foundation Project (d) |
Licence | Licence Apache version 2.0 |
Site web | www.zephyrproject.org |
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
- « https://www.zephyrproject.org/news/linux-foundation-announces-project-build-real-time-operating-system-internet-things-devices »
- « Release Zephyr v3.0.0 », (consulté le )
- (en) « Zephyr », sur RISC-V getting started guide (sur readthedocs.io)
- « Découverte de l'OS Zephyr | Linux Embedded », sur www.linuxembedded.fr (consulté le )
- « Zephyr : un OS temps réel open source pour l'IoT », Generation NT, (consulté le )
- Portail de l’informatique