Formations informatiques à Grenoble et Sophia Antipolis

Formation LINUX Debug Kernel

Objectifs

Identifier et utiliser les différentes sources d’information relatives au fonctionnement du noyau Linux.

Collecter de manière exhaustive les informations liées à un dysfonctionnement du noyau en utilisant des outils comme debugfs et pstore.

Analyser les informations de debug recueillies, en utilisant des outils comme gdb, addr2line et crash.

Configurer le noyau Linux pour améliorer les capacités de debug, en utilisant des options comme kdump, kexec et printk.

Utiliser les outils de debug spécifiques au noyau Linux, tels que System.map, qemu, kgbd et ftrac.

Pré-requis

Bonne maîtrise de l'environnement Linux.

Participants

Toute personne souhaitant acquérir les connaissances sur le fonctionnement du noyau Linux et les outils de debug Kernel.

Programme de formation

LINUX Debug Kernel

SYSTÈMES DE FICHIERS ET DEBUG

  1. Système de fichiers virutel procfs

  2. Système de fichiers virutels sysfs

  3. Collecter des informations de debug avec debugfs

  4. Stocker des informations de manière persistente avec pstore

DEBUG USER SPACE

  1. Récupérer un core dump

  2. Utiliser gdb

  3. Détection de head corruption avec heap / alloc

ERREURS KERNEL ET DIALOGUE AVEC LE NOYAU

  1. cktrace

  2. warn

  3. Kernel tainted - liste des flags

  4. oops

  5. panic

  6. bug

CONFIGURER SON KERNEL POUR AMÉLIORER LE DEBUG

  1. debug info

  2. kdump / kexec

  3. Configuration de spin lock, mutex

    • Utilisation de locks
  4. printk

LES OUTILS DE DEBUG KERNEL

  1. System.map

  2. Mettre en place une console série

  3. Spécificités de l'utilisation d'une console série sous Xen

  4. Mise en place d'une netconsole

  5. Utiliser qemu pour debugger

  6. kgbd (port série)

  7. crash / kdump

  8. De l'importance de l'appareil photo

  9. Tracing / ftrace

  10. Quelques paramètres kernel utiles

    • panic=oops
    • vga=
    • earlyprintk=
    • ignore_loglevel
    • initcall=debug
    • log_buf_len

ANALYSER LES INFORMATIONS RECUEILLIES

  1. Identifier des adresses mémoire avec addr2line

  2. gdb : le couteau suisse du débogage

  3. crash : un outil d'analyse dédié au kernel

  4. printk : un outil d'aide à l'analyse

  5. Définir un format de message avec pr_*

  6. Extraire le device et son driver avec dev_*

  7. printk versus dev_* ?

Durée
2 jours
Lieux
Meylan Moirans Sophia Dans vos locaux Classe distancielle
Groupe de 8 personnes maximum
Demandez un devis
Cette thématique vous intéresse ?
Nos experts conçoivent votre formation sur-mesure On adore les moutons à 5 pattes !
Formations dans la même thématique