LinuxRT

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

  • Portail des logiciels libres Portail des logiciels libres
  • Portail GNU/Linux Portail GNU/Linux
Ce document provient de « Linux-rt ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article LinuxRT de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”