- LinuxRT
-
Linux-rt
Linux-rt (où RT signifie Real Time) est le nom du système d'exploitation temps réel libre obtenu par l'application du Patch officiel PREEMPT-RT (maintenu par Ingo Molnar) sur le noyau Linux standard.
Un tel noyau est par exemple fourni en option par la distribution Ubuntu, et est au coeur de la distribution Demudi Linux.
Sommaire
Principe d'action du patch PREEMPT_RT
Ce patch a pour effet de donner au noyau Linux un comportement temps réel dur, tout en limitant le nombre de modifications apportées. Une partie des fonctionnalités ajoutées par Ingo Molnar ont depuis été introduites directement dans le noyau.
Il agit en rendant préemptible la majeure partie du code du noyau, et en particulier les sections critiques, les gestionnaires d'interruptions. Il modifie par ailleurs certains mécanismes pour réduire les temps de latences induits par le fonctionnement du système.
Ce patch met aussi en place un mécanisme de protections contre le problème connu sous le nom d'"inversion de priorité", par l'utilisation de sémaphore à héritage de priorité.
Comparaison avec la concurrence
Par rapport à des extensions concurrentes du noyau Linux tels que Xenomai ou RTAI, il ne fait que modifier le fonctionnement du noyau standard sans ajouter un second noyau ou une couche de virtualisation temps réel, ce qui simplifie et allège le système résultant.
Il n'ajoute aucune interface de programmation spécifique, utilisant l'API POSIX standard, et ne requière par là même aucune modification d'une application existante. Un programme prévu pour fonctionner sur un noyau Linux conventionnel fonctionnera donc naturellement sur linux-rt et en tirera immédiatement certains bénéfices (temps de latences réduits) sans aucune re-compilation.
Voir aussi
Liens internes
Liens externes
- (en) Description du fonctionnement du patch RT_PREEMPT
- (en) Wiki officiel du patch RT_PREEMPT
- Téléchargement du patch sur le site officiel du Noyau Linux
- Portail des logiciels libres
- Portail GNU/Linux
Catégories : Système d'exploitation | Noyau Linux
Wikimedia Foundation. 2010.