Linux-rt
Linux rt
Linux-rt (où RT signifie en anglais « Real Time », littéralement « temps réel ») est une branche du noyau Linux initiée par Ingo Molnar dans le but de répondre aux contraintes d'un système temps réel.
L'application du patch officiel PREEMPT-RT sur le noyau Linux standard lui confère des fonctionnalités temps réel.
Un tel noyau est par exemple fourni en option par les distributions Debian, Ubuntu et Manjaro Linux[1], et est au cœur de la distribution Demudi Linux.
Principe d'action du patch PREEMPT_RT
Ce patch a pour effet de donner au noyau Linux un comportement quasi-temps réel, 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 latence induits par le fonctionnement du système.
Ce patch met aussi en place un mécanisme de protection 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 requiert 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 latence réduits) sans aucune re-compilation.
Notes et références
- ↑ (en) « Manjaro realtime kernels », sur Manjaro (consulté le )
Voir aussi
Articles connexes
Liens externes
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.