Formation Debug Kernel


REFERENCE
 
 
KERN
DUREE
 
 
2 jours
TARIFS
 
 
1400 € HT
Niveau : Fondamental
Classe à distance: Possible

Vous pouvez suivre cette formation en direct depuis votre domicile ou votre lieu de travail. Plus d'informations sur notre solution de classe à distance...

OBJECTIFS :
 

Le point commun de toute plate-forme exploitée sous Linux, serveur, poste de travail, matériel embarqué, est sans aucun doute le noyau Linux. Les tests ou la mise en oeuvre de telles plate-formes dans des conditions plus ou moins extrêmes ou sur du matériel plus ou moins exotique conduisent assez fréquemment à des situations de blocage partiel (oops) ou total (panic) du noyau.

Cette formation Debug Kernel propose d’explorer avec le participant le système qui sous-tend le fonctionnement du noyau pour mieux l’appréhender et connaître les sources d’information liées.

Elle propose également des outils et des méthodes pour collecter les informations nécessaire à la dernière phase qui consiste en l’analyse du problème rencontré. Le participant est alors capable soit de corriger le dysfonctionnement soit de transmettre l’ensemble de ces informations au niveau compétent en faisant ainsi gagner du temps sur cette phase d’analyse.

Objectifs opérationnels :

Collecter de manière exhaustive les informations liées à un dysfonctionnement du noyau et analyser les informations ainsi recueillies.

Objectifs pédagogiques :

Concrètement, cette formation Debug Kernel vous apporte les connaissances et compétences nécessaires pour :

  • Connaître les sources d’information relatives au fonctionnement du noyau Linux
  • Savoir collecter de manière exhaustive les informations liées à un dysfonctionnement du noyau
  • Savoir analyser les informations ainsi recueillies
PRÉ-REQUIS :
 

Pour suivre cette formation Debug Kernel dans des conditions optimales, il est nécessaire d'avoir une certaine connaissance du système Linux, ainsi que des connaissances de base en langage C.

PUBLIC :
 

Ce cours Debug Kernel cible prinicpalement les développeurs Linux.

PROGRAMME :
 

Systèmes de fichiers et debug

Système de fichiers virtuel procfs
Système de fichiers virtuel sysfs
Collecter des informations de debug avec debugfs
Stocker des informations de manière persistante avec pstore

Debug user space

Récupérer un core dump
Utiliser gdb
Détection de head corruption avec heap / alloc

Erreurs kernel et dialogue avec le noyau

cktrace
warn
Kernel tainted – liste des flags
oops
panic
bug

Configurer son kernel pour améliorer le debug

debug info
kdump / kexec
Configuration de spin lock, mutex, utilisation de locks
printk

Les outils de debug kernel

system.map
Mettre en place une console série
Spécificités de l’utilisation d’une console série sous Xen
Mise en place d’une netconsole
Utiliser qemu pour debugger
kgbd (port série)
crash / kdump
De l’importance de l’appareil photo
Tracing / ftrace
Quelques paramètres kernel utiles :
panic=oops, vga=, earlyprintk=, ignore_loglevel, initcall_debug, log_buf_len

Analyser les informations recueillies

Identifier des adresses mémoire avec addr2line
gdb, le couteau suisse du débogage
Un outil d’analyse dédié au kernel : crash
Outil d’aide à l’analyse : printk
Définir un format de message avec pr_*
Extraire le device et son driver avec dev_*
printk versus dev_* ?

TRAVAUX PRATIQUES :
 

La formation alterne apports théoriques et mise en applications de chaque notion abordée.
Les participants travailleront à la fois sur des rapports de bugs réels mais aussi sur des simulations de crash grâce à l’émulateur qemu.

Il sera également fait appel à l’expérience des participants qui pourront proposer des informations relatives à une problématique rencontrée.

S'INSCRIRE À CETTE
FORMATION DEBUG KERNEL
Cliquez sur une date pour vous inscrire
Information pratiques sur
LA FORMATION
Lieu de la formation Paris - LA DEFENSE
Nous contacter 01 43 34 90 94
CETTE FORMATION SUR-MESURE Ce cours est réalisable en intra-entreprise, dans vos locaux ou nos salles de cours CONTACTER NOTRE SERVICE INTRA
D'autres formations
SUR LE MÊME THÈME

3 j

 

Unix - Linux - macOS

Les bases de Linux (niveau 1)
Compétences visées – Objectif opérationnel : L'objectif de cette formation est d'installer et d'administrer un système d'exploitation...

3 j

 

Unix - Linux - macOS

Linux Prise en Main
Cette formation Linux vous permettra de découvrir Linux de façon progressive et efficace. Elle vous présentera une sélection rigoureuse mais néanmoins...

4 j

 

Unix - Linux - macOS

Maîtriser les outils Linux
Cette formation vous permettra de :  Revoir le Shell Bash  Automatiser les traitements avec des shellscripts S'adapter aux expressions régulières,...
Plus de formations sur le même thème

Des questions ?

ON VOUS RAPPELLE

 

0

Formations
Informatique
et Management
en ligne à ce jour

+ 0

Stagiaires dans nos
salles de cours sur
l'année

0%

De participants
satisfaits ou très
satisfaits de nos
formations

0

Formateurs experts
validés PLB