Formation Linux, temps réel sous Linux
Public admis
- Salarié en Poste
- Demandeur d'emploi
- Entreprise
- Etudiant
Financements
Eligible CPF Votre OPCO Financement personnel
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 | 2 jours (14h) |
| Modes |
|
| Sessions | |
| Lieux | Partout en France |
| Tarif |
A partir de 1 480,00 € |
| Durée | 2 jours (14h) |
| Modes |
|
| Sessions | |
| Lieux | Partout en France |
Description
Programme
Ordonnancement sous Linux
Introduction
Noyau et espace utilisateur, organisation du système, répartition des ressources.
Multi-tâche sous Linux
Processus 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.
Garde-fou temps réel.
Timers
Création de timers Unix et Posix.
Mesures temporelles.
Interruptions
Principe.
Organisation des handlers.
Préemptibilité du noyau.
Latences.
Problèmes temps-réel classiques
Lancement 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 PREEMPT_RT
Patch PREEMPT_RT
Principe.
Patch d'Ingo Molnar et Thomas Gleixner.
Compilation du noyau.
Préemption totale
Effets de l'option de préemptibilité totale.
Activation à la compilation.
Threadeds interrupts
Configuration de la priorité des handlers d'interruptions.
Instrumentation et mesures
Outils RT-test et cyclictest.
Travaux pratiques
Compilation d'un noyau après application du patch PREEMPT_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 Xenomai
Patch 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 interruptions
Interface de programmation RTDM.
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.
Conclusion
Discussions libres sur l'ensemble des thèmes abordés.
Travaux pratiques
Expérimentations libres suivant les demandes des participants.
Prérequis
Public
Ces formations pourraient vous intéresser
Objectifs de la formation
- Programmez des applications 3D temps réel avec l'API OpenGL
- Comprendre les principes de base
- Gérer la visualisation, les interactions, les matrices et l'éclairage
- Gérer le blending et les transparences, les listes d'affichage
- Appliquer des textures
- Gérer les tableaux de sommets, les tampons, les ombres et les shaders
| Tarif |
A partir de 3 250,00 € |
| Durée |
5 jours |
| Modes |
|
Objectifs de la formation
Cette formation Test Logiciel vous donne l'occasion de mettre en pratique des méthodes de test de logiciel tout au long du cycle de développement, pour garantir que le logiciel concerné soit parfaitement fonctionnel et plus facile à maintenir ; votre entreprise pourra ainsi gagner du temps et de l'argent et s'épargner bien des tracas. Concrètement, à l'issue de cette formation test de logiciel vous serez capable de :
- Mettre en oeuvre et mener des tests et l'Assurance Qualité
- Utiliser des techniques de conception de tests fonctionnels et structurels
- Gérer les tests, y compris la planification, l'estimation, le suivi et le contrôle
- Contrôler des composants clés via la gestion des configurations (CM)
| Tarif |
A partir de 1 995,00 € |
| Durée |
3j / 21h |
| Modes |
|
Objectifs de la formation
À l'issue de cette formation Animer un atelier collaboratif vous aurez acquis les connaissances et les compétences nécessaires pour :
- Accroître la communication et la motivation
- Animer et faciliter le travail d'un groupe lors d'ateliers et de réunions
- Être créatif et générer des idées en groupe
- Mettre en place une amélioration continue efficace et partagée
- Préparer efficacement un temps collectif
- Utiliser le management visuel
| Tarif |
Contacter l'organisme |
| Durée |
1j / 7h |
| Modes |
|
Objectifs de la formation
- Mettre en place un programme de détection et de lutte contre la corruption vous permettra de prévenir les risques juridiques planant sur votre administration
- La probité des élus est très surveillée par les électeurs ; alors prenez le temps de faire le point et de vous protéger vous, votre organisation et vos agents
| Tarif |
A partir de 420,00 € |
| Durée |
1 matinée 3h30 |
| Modes |
|
Objectifs de la formation
Concrètement, à l'issue de cette formation Outlook 2010 Avancé, vous aurez acquis les connaissances et compétences nécessaires pour :
- Connaître les possibilités d’automatisation afin de gagner du temps (Signatures spécifiques, modèles, règles, mises en forme conditionnelle, suivis et catégorisations, recherches avancées…)
- Maîtriser l’organisation de réunion et la gestion des tâches
- Savoir accorder des permissions d’accès et partager la messagerie, les contacts, les calendriers ou les tâches
- Savoir optimiser la gestion et l’archivage des messages
- Atteindre le niveau Avancé voire Expert de la certification TOSA® (Entre 725 et 1000 points)
| Tarif |
A partir de 390,00 € |
| Durée |
1j / 7h |
| Modes |
|
Formation Masterclass Google Gemini : Découvrez comment booster votre productivité avec l'IA intégrée à Google Workspace
Proposé par ADALIANCEObjectifs de la formation
- Maîtriser Google Gemini et savoir l'utiliser dans Google Workspace pour optimiser la gestion du temps et la productivité.
- Appliquer des techniques avancées d'interaction avec l'IA dans le cadre professionnel pour améliorer la qualité du travail collaboratif et de l'analyse de données (avec Google Sheets, Gmail, etc.).
| Tarif |
Contacter l'organisme |
| Durée |
1j / 7h |
| Modes |
|
Formation Certification Java 11 - Certified Professional Java SE 11 Developer - Partie 2
Proposé par PLB CONSULTANTObjectifs de la formation
À l'issue de cette formation Java SE 11 Developer, vous saurez :
- Effectuer un choix stratégique vous évitant de perdre du temps inutilement lors de l'examen
- Déterminer les sujets qui nécessiteront un travail de préparation complémentaire
- Augmenter vos chances de réussir l’examen de certification 1Z0-819
| Tarif |
A partir de 2 590,00 € |
| Durée |
4j / 28h |
| Modes |
|
Objectifs de la formation
- Mettre en œuvre l'ensemble des missions de la gestion de trésorerie en entreprise
- Appliquer les méthodes de gestion des flux et des différents financements afin d'optimiser la trésorerie
- Utiliser les nouveaux outils de gestion de trésorerie, notamment des risques financiers
| Tarif |
A partir de 5 614,00 € |
| Durée |
7 jours |
| Modes |
|
Objectifs de la formation
- Expliquer les techniques de marketing social permettant de renforcer l'efficacité des messages
- Faire découvrir une méthodologie utilisée dans le secteur de l'économie sociale et solidaire, au niveau international
- Familiariser et permettre une première appropriation des outils et des méthodes marketing
| Tarif |
A partir de 1 390,00 € |
| Durée |
2j / 14h |
| Modes |
|
Objectifs de la formation
- Réaliser la modélisation financière de l'investissement
- Evaluer la rentabilité et vérifier l'équilibre financier de l'investissement
- Valider les prévisions économiques du projet
| Tarif |
A partir de 1 999,00 € |
| Durée |
2 jours |
| Modes |
|
