Formation Linux Temps-réel et Xenomai

Public admis

  • Salarié en Poste
  • Demandeur d'emploi
  • Entreprise
  • Etudiant

Financements

Eligible CPF Votre OPCO Financement personnel

Objectifs de la formation

En fonction des contraintes temporelles qui lui sont imposées, le développeur dispose de plusieurs possibilités pour construire une application sur Linux. Depuis les processus ordonnancés en temps-réel souple par le noyau standard jusqu'aux extensions s'appuyant sur des micro-noyaux hard-realtime (comme Xenomai), ce cours vous propose un cheminement logique et illustré dans le panorama des solutions temps-réel disponibles avec Linux. Tous les concepts théoriques présentés dans le cours font l'objet de mise en pratique par des exemples précis et des séances d'exercices complètes.

PLB CONSULTANT


Informatique et Management
Voir la fiche entreprise

Tarif

Contacter l'organisme

Durée 3 jours (21h)
Modes
  • Centre
  • Entreprise
  • Distance
Sessions
Lieux Partout en France

PLB CONSULTANT


Informatique et Management
Voir la fiche

Tarif

Contacter l'organisme

Durée 3 jours (21h)
Modes
  • Centre
  • Entreprise
  • Distance
Sessions
Lieux Partout en France

Programme

Ordonnancement sous Linux

IntroductionNoyau et espace utilisateur
Organisation du système
Répartition des ressources.
Multi-tâche sous LinuxProcessus et threads Posix
Synchronisation et communication entre tâches.
Systèmes multi-processeurs symétriques (SMP)Multi-processeur, Multi-coeur, Hyperthreading
Affinités et migrations des tâches.
Temps-partagéOrdonnanceurs O(1) et CFS
Groupement automatique des tâches.
Priorités, nice.
 Travaux pratiques Comparaison des temps de création et commutation des processus et des threads. Vitesse de communication par file de messages. Utilisation de la mémoire partagée. Synchronisation par mutex et par variable condition. Influence de la priorité temps-partagé.

Temps-réel souple

Fifo et Round-robin Passage en temps-réel
Priorités
Configuration des noyaux 2.6.21 et postérieurs.
TimersCréation de timers Unix et Posix
Mesures temporelles.
Interruptions Principe
Organisation des handlers
Préemptibilité du noyau
Latences.
Problèmes temps-réel classiquesLancement de tâches en parallèle
Inversion de priorité
Reprise de mutex.
 Travaux pratiques Création de processus et de threads temps-réel. Mesure de précision des timers. Effet de la préemptibilité du noyau sur la latence des interruptions. Examen d'inversion de priorité. Héritage de priorité. Test de reprise de mutex.

Temps-réel amélioré avec Linux-rt

Patch Linux-rtPrincipe
Patch d'Ingo Molnar et Thomas Gleixner
Compilation du noyau.
Préemption totaleEffets de l'option de préemptibilité totale
Activation à la compilation.
Threadeds interruptsConfiguration de la priorité des handlers d'interruptions. Instrumentation et mesuresOutils RT-test et cyclictest. Travaux pratiques Compilation d'un noyau après application du patch Linux-rt. Vérification de la préemptibilité. Utilisation de cyclictest et comparaison avec le noyau standard. Comparaison du comportement des exemples du chapitre précédent.

Extensions temps-réel strict pour Linux

Principes du temps-réel strict (Hard Realtime) Noyau standard et extensions RT-Linux, RTAI, Xenomai... Installation et validation de XenomaiPatch et bibliothèque utilisateur
Compilation du noyau et des outils de test.
Applications sous Xenomai Tâches Xenomai
Timers et tâches périodiques
Communication et synchronisation.
Gestion des interruptionsHandler d'interruption dans l'espace utilisateur. Travaux pratiques Compilation et installation de Xenomai. Création de tâches. Synchronisation. Vérification des priorités par rapport aux tâches du noyau standard. Priorités par rapport au kernel Linux. Test de précision des timers. Mesure des latences d'interruption.

 

Prérequis

Cette formation Linux Xenomai s'adresse aux personnes ayant des connaissances de Linux (utilisateur) et du langage C.

Ces formations pourraient vous intéresser

Objectifs de la formation

  • Installer et configurer le système et les packages
  • Comprendre l'interface graphique et les systèmes de fichiers
  • Gérer les périphériques, les utilisateurs et les processus
  • Réaliser des sauvegardes et des restaurations
  • Gérer les impressions, le réseau, programmmer des tâches
  • Utiliser le NFS, Samba et gérer l'exploitation
Tarif

A partir de 3 000,00 €

Durée

5 jours

Modes
  • Centre
  • Entreprise
  • Distance

Linux - Programmation Shell

Proposé par CIT FORMATION INFORMATIQUE

Objectifs de la formation

Découvrir les fonctionnalités de l'interpréteur de commande des systèmes Linux et apprendre à créer vos propres scripts d'administration.

À l'issue de la formation, le stagiaire sera capable de :

  • Comprendre comment automatiser, fiabiliser les travaux répétitifs
  • Savoir développer plus rapidement qu'en programmation traditionnelle
  • Maîtriser les principales instructions du langage de script
  • Connaître les différentes facettes de chacun des interpréteurs

METHODES ET OUTILS PEDAGOGIQUES

  • Alternance exposés théoriques et exercices pratiques (80% pratique)
  • Support de cours 

EVALUATION

  • Tout au long de la formation, exercices pratiques permettant au formateur la validation des acquis et des compétences

Public concerné

Analystes d'exploitation - Développeurs d'applications sur UNIX - Exploitants et administrateurs

Pré-requis

Connaissance des principes de base du système UNIX

Tarif

A partir de 1 825,00 €

Durée

3 jour(s)

Modes
  • Entreprise
  • Distance
  • Centre

Objectifs de la formation

À l'issue de cette formation RedHat Entreprise Linus System Administration I, vous aurez acquis les connaissances et compétences nécessaires pour :

  • Introduire une ligne de commande
  • Savoir gérer du stockage physique
  • Installer et configurer des composants logiciels et des services
  • Établir des connexions réseau et contrôle des restrictions du pare-feu
  • Surveiller et gérer des processus exécutés
  • Gérer et sécuriser des fichiers et des systèmes de fichiers
  • Administrer des utilisateurs et des groupes
  • Vérifier les fichiers journaux et les historiques du système pour rechercher les problèmes
  • Résoudre des problèmes et analyser des systèmes avec Red Hat Insights
  • Gérer des systèmes à distance avec SSH et la console web
Tarif

A partir de 3 075,00 €

Durée

5j / 35h

Modes
  • Centre
  • Entreprise
  • Distance

Objectifs de la formation

  • Décrire le noyau et les périphériques
  • Paramétrer le noyau
  • Améliorer les performance du stockage
  • Décrire et optimiser le système de fichiers
  • Gérer les volumes logiques
  • Mettre en place les bases de la sécurité du noyau SELinux
  • Configurer un réseau
  • Utiliser les outils d'analyse
Tarif

Contacter l'organisme

Durée

3j / 21h

Modes
  • Centre
  • Entreprise
  • Distance

Objectifs de la formation

Concrètement, à l'issue de cette formation Temps réel sous Linux vous serez en mesure de :

  • Ordonnancer sous Linux
  • Maitriser la notion de temps-réel souple (ordonnancements Fifo et Round-Robin sur un noyau standard Vanilla, fluctuations des timers, latence d'interruption, problèmes temps-réel classiques.)
  • Maitriser la notion de temps-réel amélioré (principes de PREEMPT_RT, application du patch et compilation du noyau, mesure des améliorations de fluctuation ou de latence.)
  • Mettre en oeuvre l'extensions temps-réel strict (Installation et examen de Xenomai, exemple d'applications avec l'API Xenomai, handlers d'interruption.)
Tarif

A partir de 1 480,00 €

Durée

2j / 14h

Modes
  • Centre
  • Entreprise
  • Distance

Formation SQL Server 2017 sous Linux

Proposé par PLB CONSULTANT

Objectifs de la formation

Concrètement, à l'issue de cette formation SQL Server 2017 sous Linux vous aurez acquis les connaissances et les compétences nécessaires pour :

  • Appréhender les capacités de SQL Server 2017 sous Linux en en connaître composants clés
  • Comprendre comment déployer et configurer SQL Server 2017 sous Linux
  • Savoir installer les composants facultatifs supplémentaires sur SQL Server 2017
  • Être en mesure de connecter et gérer les images de SQL Server 2017 sous Linux
  • Savoir migrer des bases de données à partir d'autres systèmes de bases de données vers SQL Server 2017 sous Linux et assurer la reprise après sinistre
  • Connaître les fonctionnalités de haute disponibilité de SQL Server 2017 sous Linux
Tarif

Contacter l'organisme

Durée

2j / 14h

Modes
  • Centre
  • Entreprise
  • Distance

Formation Unix prise en main

Proposé par PLB CONSULTANT

Objectifs de la formation

  • Acquérir la connaissance des commandes fondamentales des systèmes d'exploitation Unix et Linux à travers des exercices modulaires de difficulté progressive
  • Devenir autonome pour une première prise en main d'un système
  • Passer l'étape importante de la maîtrise de l'éditeur "vi".
Tarif

A partir de 1 850,00 €

Durée

3j / 21h

Modes
  • Centre
  • Entreprise
  • Distance

Objectifs de la formation

A l'issue de cette formation, vous serez capable de :

  • Installer une distribution Linux et effectuer les tâches post-installation
  • Administrer les comptes et les groupes utilisateurs
  • Gérer les disques et le système de fichiers
  • Gérer le processus de démarrage et d'arrêt
  • Analyser l'activité du système
  • Installer des logiciels depuis la distribution ou installer depuis les sources
  • Configurer le client réseau
  • Administrer à distance.
Tarif

A partir de 2 800,00 €

Durée

5j / 35h

Modes
  • Centre
  • Distance

Objectifs de la formation

  • Mettre en œuvre les outils d'analyse du réseau et analyser ses dysfonctionnements
  • Implémenter un réseau sécurisé (routage, firewall, cryptage)
  • Gérer un DNS, un système NIS, administrer un serveur DHCP
  • Administrer des serveurs de fichiers d'entreprise
  • Mettre en œuvre un serveur de messagerie
  • Mutualiser une connexion Internet grâce à NetFilter
Tarif

A partir de 2 440,00 €

Durée

4j / 28h

Modes
  • Centre
  • Entreprise
  • Distance

Objectifs de la formation

A l'issue de cette formation, vous serez capable de :

  • Mettre en place des services indispensables dans un réseau local d'entreprise.
Tarif

A partir de 2 440,00 €

Durée

4j / 28h

Modes
  • Centre
  • Distance

Je cherche à faire...